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.

[edit] Conference and Workshop Publications

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
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
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
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
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


[edit] Posters and Doctoral Symposia

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

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


[edit] Technical Reports

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

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


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


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

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

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