Brandon Moore

From FSL
Revision as of 14:44, 8 January 2017 by Bmmoore (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
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

Thesis

My thesis is not yet visible in in IDEALS. In the meantime, here is a 25px-Pdf_icon.png local copy Info_circle.png.

Current Projects

I have been formalizing results about Matching Logic in Coq, with Stefan Ciobaca.

You may explore the work in progress.

Publications

Program Verification by Coinduction 
Brandon Moore and Grigore Rosu
Technical Report http://hdl.handle.net/2142/73177, February 2015
PDF, Matching Logic, DOI, BIB
ROSRV: Runtime Verification for Robots 
Jeff Huang and Cansu Erdogan and Yi Zhang and Brandon Moore and Qingzhou Luo and Aravind Sundaresan and Grigore Rosu
RV'14, LNCS 8734, pp 247-254. 2014
PDF, Slides(PPTX), Slides(PDF), ROSRV, DOI, RV'14, BIB
All-Path Reachability Logic 
Andrei Stefanescu and Stefan Ciobaca and Radu Mereuta and Brandon Moore and Traian Florin Serbanuta and Grigore Rosu
RTA'14, LNCS 8560, pp 425-440. 2014
PDF, Slides(PPTX), Matching Logic, DOI, RTA'14, BIB
One-Path Reachability Logic 
Grigore Rosu and Andrei Stefanescu and Stefan Ciobaca and Brandon Moore
LICS'13, IEEE, pp 358-367. 2013
PDF, Slides(PPTX), Reachability Logic, LICS'13, BIB
Reachability Logic 
Grigore Rosu and Andrei Stefanescu and Stefan Ciobaca and Brandon Moore
Technical Report http://hdl.handle.net/2142/32952, Jul 2012
PDF, Reachability Logic, DOI, BIB


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