Publications By Type, Mark Hills

From FSL
Jump to: navigation, search

This page includes publications categorized by type: refereed conference and workshop publications, technical reports, posters, etc.

Conference and Workshop Publications

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

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

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

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

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


Posters and Doctoral Symposia

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

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


Technical Reports

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

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



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


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

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

Personal tools
Namespaces

Variants
Actions
Navigation