Roopsha Samanta

News
July'17 Co-chaired DARS 2017 at CAV 2017
June'17 Invited talk in PLMW@PLDI 2017
Jan'17 Panelist in PLMW@POPL 2017
Dec'16 Co-chairing DARS 2017 (colocated with CAV 2017)
Dec'16 On the PC of SYNT 2017
Dec'16 On the PC of FMCAD 2017
Sep'16 New journal paper in FMSD
Sep'16 On the PC of CAV 2017
Sep'16 Cool new website for PurPL (Purdue Programming Languages group)
Aug'16 New graduate seminar on Computer-aided Program Reasoning
Jul '16 Talk on Qlose at CAV 2016, Toronto
Apr '16 Starting as an Assistant Professor at Purdue University in Fall 2016
Apr '16 New paper in CAV 2016
Feb '16 On the PC of SYNT 2016
Jan '16 Tutorial on Trace-based Synchronization Synthesis for Concurrent Programs at POPL 2016.