Difference between revisions of "Brandon Moore"

From FSL
Jump to: navigation, search
(Add email address (and add icon to CV link))
Line 11: Line 11:
  
 
== Publications by year ==
 
== Publications by year ==
 +
 +
=== 2014 ===
 +
 +
<pub authors="brandon" year="= 2014"> </pub>
  
 
=== 2013 ===
 
=== 2013 ===

Revision as of 03:09, 29 November 2014

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

2014


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