Roopsha Samanta

News
Nov 2018 Two new drafts available:
1. Augmented Example-based Synthesis
2. SemCluster: Clustering of Programming Assignments based on Quantitative Semantic Features
Oct 2018 Excited to be co-chairing the AEC and serving on the ERC of PLDI 2019
Sep 2018 Gave an invited talk at Papers We Love Conference 2018. video | slides
Aug 2018 Excited to be serving on the PC of CAV 2019
Apr 2018 Looking forward to DARS 2018 at CPS Week 2018
Feb 2018 Excited to be serving on the PC of OOPSLA 2018
Jan 2018 Excited to be serving on the PC of CAV 2018 and SYNT 2018
Jul 2017 Excited to co-chair DARS 2017 at CAV 2017
Jun 2017 Gave an invited talk at PLMW@PLDI 2017
Jan 2017 Enjoyed being a panelist in PLMW@POPL 2017
Dec 2016 Excited to be serving on the PC of FMCAD 2017 and SYNT 2017
Nov 2016 New journal paper in FMSD
Oct 16 Excited to be serving on the PC of CAV 2017
Sep 2016 Cool new website for PurPL (Purdue Programming Languages group)
Aug 2016 New graduate seminar on Computer-aided Program Reasoning
Jul 2016 Gave a talk on Qlose at CAV 2016, Toronto
Apr 2016 Starting as an Assistant Professor at Purdue University in Fall 2016
Apr 2016 New paper in CAV 2016
Feb 2016 Excited to be serving on the PC of SYNT 2016
Jan 2016 Gave a tutorial on Trace-based Synchronization Synthesis for Concurrent Programs at POPL 2016.