Brandon Moore
From FSL
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