Difference between revisions of "Brandon Moore"
From FSL
(link to new website) |
(2013 publications) |
||
| Line 9: | Line 9: | ||
== Publications by year == | == Publications by year == | ||
| + | |||
| + | === 2013 === | ||
| + | |||
| + | <pub authors="brandon" year="= 2013"> </pub> | ||
=== 2012 === | === 2012 === | ||
Revision as of 00:49, 1 April 2013
I am a PhD student studying programming languages and formal methods.
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
