Not registered as user yet

Name: Sriram Rajamani

Affiliation: Microsoft Research

PLDI 2015 Activities

• Author of Efficient Synthesis of Probabilistic Programs within the Research Papers-track in PLDI 2015
• Show activities from other conferences