Publications, Mark Hills

From FSL
Jump to: navigation, search


This is the default publications view, with publications grouped by year. You can also view them grouped by publication type, such as paper, technical report, etc. Presentation slides are included with the associated publications, and can also be found on a separate presentations page.

2009


2008

Towards a Module System for K
Blank.gifMark Hills and Grigore Rosu
Blank.gifWADT'08, LNCS 5486, pp 187-205. 2009
Blank.gifPDF, LNCS, WADT'08, BIB
A Rewriting Logic Approach to Static Checking of Units of Measurement in C
Blank.gifMark Hills, Feng Chen and Grigore Rosu
Blank.gifRULE'08, ENTCS, to appear, 2008
Blank.gifPDF, RULE'08 slides, RULE'08, BIB
Pluggable Policies for C
Blank.gifMark Hills, Feng Chen and Grigore Rosu
Blank.gifTechnical Report UIUCDCS-R-2008-2931, January 2008
Blank.gifPDF, TR@UIUC, BIB
Memory Representations in Rewriting Logic Semantics Definitions
Blank.gifMark Hills
Blank.gifWRLA'08, ENTCS, to appear, 2008
Blank.gifPDF, WRLA'08 slides, WRLA'08, BIB


2007

A K Definition of Scheme
Blank.gifPatrick Meredith, Mark Hills and Grigore Rosu
Blank.gifTechnical Report UIUCDCS-R-2007-2907, October 2007
Blank.gifPDF, TR@UIUC, BIB
An Executable Rewriting Logic Semantics of K-Scheme
Blank.gifPatrick Meredith, Mark Hills and Grigore Rosu
Blank.gif8th Workshop on Scheme and Functional Programming, Technical Report DIUL-RT-0701, pp. 91-103, September 2007
Blank.gifPDF, SCHEME'07, BIB
A Rewriting Approach to the Design and Evolution of Object-Oriented Languages
Blank.gifMark Hills and Grigore Rosu
Blank.gifOOPSLA'07 Companion, ACM Press, pp 827-828. 2007
Blank.gifPDF, OOPSLA'07 poster, ACM, OOPSLA'07, BIB
A Rewriting Approach to the Design and Evolution of Object-Oriented Languages
Blank.gifMark Hills and Grigore Rosu
Blank.gifTechnical Report Bericht-Nr. 2007-7, pp. 23-26, July 2007
Blank.gifPDF, ECOOP'07 Doctoral Symposium slides, ECOOP'07 Doctoral Symposium, BIB
KOOL: An Application of Rewriting Logic to Language Prototyping and Analysis
Blank.gifMark Hills and Grigore Rosu
Blank.gifRTA'07, LNCS 4533, pp 246-256. 2007
Blank.gifPDF, RTA'07 slides, LNCS, RTA'07, BIB
On Formal Analysis of OO Languages using Rewriting Logic: Designing for Performance
Blank.gifMark Hills and Grigore Rosu
Blank.gifFMOODS'07, LNCS 4468, pp 107-121. 2007
Blank.gifPDF, FMOODS'07 slides, LNCS, FMOODS'07, BIB


2006

A Rewrite Framework for Language Definitions and for Generation of Efficient Interpreters
Blank.gifMark Hills, Traian Florin Serbanuta and Grigore Rosu
Blank.gifWRLA'06, ENTCS 176(4), pp. 215-231. 2007
Blank.gifPDF, Experiments, ENTCS, WRLA'06, BIB
A Rewriting Based Approach to OO Language Prototyping and Design
Blank.gifMark Hills and Grigore Rosu
Blank.gifTechnical Report UIUCDCS-R-2006-2786, October 2006
Blank.gifPDF, TR@UIUC, BIB
KOOL: A K-based Object-Oriented Language
Blank.gifMark Hills and Grigore Rosu
Blank.gifTechnical Report UIUCDCS-R-2006-2779, October 2006
Blank.gifPDF, TR@UIUC, BIB
A Rewrite Logic Approach to Semantic Definition, Design and Analysis of Object-Oriented Languages
Blank.gifFeng Chen, Mark Hills and Grigore Rosu
Blank.gifTechnical Report UIUCDCS-R-2006-2702, March 2006
Blank.gifPDF, TR@UIUC, BIB


2005

Automatic and Precise Dimensional Analysis
Blank.gifMarcelo d'Amorim, Mark Hills, Feng Chen and Grigore Rosu
Blank.gifTechnical Report UIUCDCS-R-2005-2668, December 2005
Blank.gifPDF, Sources, TR@UIUC, BIB
An Executable Semantic Definition of the Beta Language using Rewriting Logic
Blank.gifMark Hills, T. Baris Aktemur and Grigore Rosu
Blank.gifTechnical Report UIUCDCS-R-2005-2650, November 2005
Blank.gifPDF, TR@UIUC, BIB


2004

An Orchestration Language for Parallel Objects
Blank.gifL.V. Kale, Mark Hills and Chao Huang
Blank.gifLCR'04
Blank.gifPDF, PPL Paper Page, LCR'04, BIB

Personal tools
Namespaces

Variants
Actions
Navigation