Registered user since Tue 19 Apr 2016

Name: P. Madhusudan

Affiliation: University of Illinois at Urbana-Champaign

SPLASH 2014 Activities

• Author of Natural Proofs for Asynchronous Programs using Almost-Synchronous Invariants within the OOPSLA-track in SPLASH 2014
• Show activities from other conferences