Roopsha Samanta

News
Panelist in PLMW@POPL 2017
Co-chairing DARS 2017 (colocated with CAV 2017)
On the PC of SYNT 2017
On the PC of FMCAD 2017
New journal paper in FMSD
On the PC of CAV 2017
Cool new website for PurPL (Purdue Programming Languages group)
New graduate seminar on Computer-aided Program Reasoning
Talk on Qlose at CAV 2016, Toronto
Starting as an Assistant Professor at Purdue University in Fall 2016
New paper in CAV 2016
On the PC of SYNT 2016
Tutorial on Trace-based Synchronization Synthesis for Concurrent Programs at POPL 2016.