Patrick Meredith
From FSL
Patrick is a third year Ph.D. student with a background in compilers and architecture, and, a love of programming languages (which sort of goes with the former).
He is an Eagle Scout who graduated from Granite City High School in 2001. Granite City, Illinois is a beautiful town filled with steel mills and pot holes. He has Bachelor's and Master's Degrees in Computer Science, both from the University of Illinois.
Contents |
[edit] Cirriculum Vitae
[edit] Projects
| K-Scheme |
|---|
K-Scheme is a definition of Scheme written in the rewrite-based K framework. K-Scheme supports the meta-programming features of Scheme, as well as giving an executable specification for much of the (finite) non-determinism allowed in Scheme by the specification. A new and improved version of K-Scheme is nearly ready for release. [more ...]
| Context Free Grammar Monitoring Algorithm |
|---|
The Context Free Grammar Engine (CFG) Monitoring Algorithm extends MOP with context free grammars to specify program properties for runtime verification. [more ...]
| BusMOP |
|---|
BusMOP is an extension of MOP for monitoring buses using FPGA-implemented monitors. The current implementation is based on PCI, but it could be extended to work with any bus architecture. [more ...]
[edit] Publications by year
[edit] 2009
- Efficient Formalism-Independent Monitoring of Parametric Properties
- Feng Chen, Patrick Meredith, Dongyun Jin and Grigore Rosu
ASE'09, to appear
PDF, BIB - Handling Mixed-Criticality in SoC-based Real-Time Embedded Systems
- Rodolfo Pellizzoni, Patrick Meredith, Min-Young Nam, Mu Sun, Marco Caccamo and Lui Sha
Emsoft'09, to appear
PDF, BIB - Monitoring Oriented Programming - A Project Overview
- Feng Chen, Dongyun Jin, Patrick Meredith, and Grigore Rosu
ICICIS'09, invited paper/talk
PDF, ICICIS'09, BIB
[edit] 2008
- Hardware Runtime Monitoring for Dependable COTS-based Real-Time Embedded Systems
- Rodolfo Pellizzoni, Patrick Meredith, Marco Caccamo and Grigore Rosu
RTSS'08, IEEE, pp. 481-491. 2008
PDF, Experiments, RTSS'08 slides, RTSS'08, BIB - Efficient Monitoring of Parametric Context-Free Patterns
- Patrick Meredith, Dongyun Jin, Feng Chen and Grigore Rosu
ASE'08, IEEE/ACM, pp 148-157. 2008 ACM Sigsoft Distinguished Paper
PDF, Experiments, ASE'08 slides(KEY), ASE'08 slides(MOV), ASE'08 slides(PPT), IEEE/ACM ASE'08, BIB - Efficient Monitoring of Parametric Context-Free Patterns
- Patrick Meredith, Dongyun Jin, Feng Chen and Grigore Rosu
Technical report UIUCDCS-R-2008-2954, April 2008
PDF, TR@UIUC, BIB
[edit] 2007
- A K Definition of Scheme
- Patrick Meredith, Mark Hills and Grigore Rosu
Technical Report UIUCDCS-R-2007-2907, October 2007
PDF, TR@UIUC, BIB - An Executable Rewriting Logic Semantics of K-Scheme
- Patrick Meredith, Mark Hills and Grigore Rosu
8th Workshop on Scheme and Functional Programming, Technical Report DIUL-RT-0701, pp. 91-103, September 2007
PDF, SCHEME'07, BIB
[edit] 2005
How Successful is Data Structure Analysis in Isolating and Analyzing Linked Data Structures?
Patrick Meredith, Balpreet Pankaj, Swarup Sahoo, Chris Lattner, and Vikram Adve Technical Report UIUCDCS-R-2005-2658, December 2005
