Difference between revisions of "Brandon Moore"
From FSL
(2013 publications) |
(Current CV) |
||
| Line 1: | Line 1: | ||
[[Image:Brandon-moore.jpg|right|thumb]] | [[Image:Brandon-moore.jpg|right|thumb]] | ||
I am a PhD student studying programming languages and formal methods. | I am a PhD student studying programming languages and formal methods. | ||
| + | [[Media:Bmmoore-cv.pdf | CV]] | ||
== Current Projects == | == Current Projects == | ||
Revision as of 00:55, 1 April 2013
I am a PhD student studying programming languages and formal methods. CV
Contents |
Current Projects
I have been formalizing results about Matching Logic in Coq, with Stefan Ciobaca.
You may explore the work in progress.
Publications by year
2013
2012
- Reachability Logic
- Grigore Rosu, Andrei Stefanescu, Stefan Ciobaca and Brandon Moore
Technical Report http://hdl.handle.net/2142/32952, July 2012
PDF, TR@UIUC
2011
Thread contracts for safe parallelism
Rajesh K. Karmani, P. Madhusudan, Brandon M. Moore University of Illinois at Urbana-Champaign, Urbana, IL, USA
PPoPP '11 Proceedings of the 16th ACM symposium on Principles and practice of parallel programming
