Roopsha Samanta

News
Feb'19 SemCluster: Clustering of Programming Assignments based on Quantitative Semantic Features (conditionally) accepted to PLDI 2019!
Feb'19 Delighted and honored to receive an NSF Career Award!
Nov'18 Two new drafts available:
1. Augmented Example-based Synthesis
2. SemCluster: Clustering of Programming Assignments based on Quantitative Semantic Features
Oct'18 Excited to be co-chairing the AEC and serving on the ERC of PLDI 2019
Sep'18 Gave an invited talk at Papers We Love Conference 2018. video | slides
Aug'18 Excited to be serving on the PC of CAV 2019
Apr'18 Looking forward to DARS 2018 at CPS Week 2018
Feb'18 Excited to be serving on the PC of OOPSLA 2018
Jan'18 Excited to be serving on the PC of CAV 2018 and SYNT 2018
Jul'17 Excited to co-chair DARS 2017 at CAV 2017
Jun'17 Gave an invited talk at PLMW@PLDI 2017
Jan'17 Enjoyed being a panelist in PLMW@POPL 2017
Dec'16 Excited to be serving on the PC of FMCAD 2017 and SYNT 2017
Nov'16 New journal paper in FMSD
Oct'16 Excited to be serving 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 Gave a 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 Excited to be serving on the PC of SYNT 2016
Jan'16 Gave a tutorial on Trace-based Synchronization Synthesis for Concurrent Programs at POPL 2016.