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.

[edit] 2009


[edit] 2008

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


[edit] 2007

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


[edit] 2006

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


[edit] 2005

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


[edit] 2004

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

Retrieved from "http://fsl.cs.uiuc.edu/index.php/Publications%2C_Mark_Hills"
Views