Brandon Moore

From FSL
Revision as of 21:57, 8 April 2013 by Bmmoore (Talk | contribs)

Jump to: navigation, search
Brandon-moore.jpg

I am a PhD student studying programming languages and formal methods.

25px-Pdf_icon.png CV Info_circle.png
Email

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

Personal tools
Namespaces

Variants
Actions
Navigation