Patrick Meredith

From FSL

Patrick is a second year Ph.D. student and a third year graduate 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.

1 Cirriculum Vitae
2 Projects
3 Publications by year

[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. [more ...]

Context Free Grammar Engine

The Context Free Grammar Engine (CFG) Engine is an extention of MOP using 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 archetecture. [more ...]