Patrick Meredith

From FSL
Revision as of 22:49, 22 August 2013 by Pmeredit (Talk | contribs)

Jump to: navigation, search

Patrick is a Post Doctorate Researcher at the University of Illinois 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, Master's, and Doctorate Degrees in Computer Science, all from the University of Illinois.

He immensely dislikes writing in the third person, and would like all readers to know that more information is provided in his curriculum vitae below.

Curriculum Vitae

CV

Publications

RV-Android: Efficient Parametric Android Runtime Verification, a Brief Tutorial 
Philip Daian and Ylies Falcone and Patrick Meredith and Traian Florin Serbanuta and Shinichi Shiraishi and Akihito Iwai and Grigore Rosu
RV'15, Lecture Notes in Computer Science 9333, pp 342-357. 2015
PDF, Slides(PDF), RV-Android, DOI, RV'15, BIB
Maximal Sound Predictive Race Detection with Control Flow Abstraction 
Jeff Huang and Patrick Meredith and Grigore Rosu
PLDI'14, ACM, pp 337-348. 2014
PDF, Slides(PPT), Slides(PDF), jPredictor, DOI, PLDI'14, BIB
Efficient Parametric Runtime Verification with Deterministic String Rewriting 
Patrick Meredith and Grigore Rosu
ASE'13, IEEE/ACM, pp 70-80. 2013
PDF, Slides(PPT), Slides(KEY), Slides(PDF), MOP, DOI, ASE'13, BIB
Security-Policy Monitoring and Enforcement with JavaMOP 
Soha Hussein and Patrick Meredith and Grigore Rosu
PLAS'12, ACM, pp 3:1-3:11. 2012
PDF, MOP, DOI, PLAS'12, BIB
Runtime Verification with the RV System 
Patrick Meredith and Grigore Rosu
RV'10, Springer, pp 136-152. 2010
PDF, Slides(PPT), Slides(PDF), RV, DOI, RV'10, BIB



Publications by year


Publications

Personal tools
Namespaces

Variants
Actions
Navigation