I am a PhD student studying programming languages and formal methods.
You may explore the work in progress.
Publications by year
- Reachability Logic
- Grigore Rosu, Andrei Stefanescu, Stefan Ciobaca and Brandon Moore
Technical Report http://hdl.handle.net/2142/32952, July 2012
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