Emma Turetsky

Publication Activity (10 Years)

Years Active: 2010-2019
Publications (10 Years): 4

Top Topics

Generation Process

Computer Assisted

Top Venues

ACM Trans. Program. Lang. Syst.

Publications

Vineeth Kashyap, Jason Ruchti, Lucja Kot, Emma Turetsky, Rebecca Swords, David Melski, Eric M. Schulte
Automated Customized Bug-Benchmark Generation. CoRR (2019)
Vineeth Kashyap, Jason Ruchti, Lucja Kot, Emma Turetsky, Rebecca Swords, Shih An Pan, Julien Henry, David Melski, Eric M. Schulte
Automated Customized Bug-Benchmark Generation. SCAM (2019)
Thomas W. Reps, Emma Turetsky, Prathmesh Prabhu
Newtonian Program Analysis via Tensor Product. ACM Trans. Program. Lang. Syst. 39 (2) (2017)
Thomas W. Reps, Emma Turetsky, Prathmesh Prabhu
Newtonian program analysis via tensor product. POPL (2016)
Deborah S. Gross, Robert Atlas, Jeffrey Rzeszotarski, Emma Turetsky, Janara M. Christensen, Sami Benzaid, Jamie F. Olson, Thomas Smith, Leah E. Steinberg, Jon Sulman, Anna M. Ritz, Benjamin J. Anderson, Catherine Nelson, David R. Musicant, Lei Chen, David C. Snyder, James J. Schauer
Environmental chemistry through intelligent atmospheric data analysis. Environ. Model. Softw. 25 (6) (2010)