Calvin Loncaric

Publication Activity (10 Years)

Years Active: 2015-2018
Publications (10 Years): 6

Top Topics

Abductive Reasoning

Radiation Therapy

Top Venues

Publications

Calvin Loncaric, Michael D. Ernst, Emina Torlak
Generalized data structure synthesis. ICSE (2018)
Calvin Loncaric
Cozy: synthesizing collection data structures. SIGSOFT FSE (2016)
Calvin Loncaric
Data structure synthesis. SIGSOFT FSE (2016)
Stuart Pernsteiner, Calvin Loncaric, Emina Torlak, Zachary Tatlock, Xi Wang, Michael D. Ernst, Jonathan Jacky
Investigating Safety of a Radiotherapy Machine Using System Models with Pluggable Checkers. CAV (2) (2016)
Calvin Loncaric, Emina Torlak, Michael D. Ernst
Fast synthesis of fast collections. PLDI (2016)
Calvin Loncaric, Satish Chandra, Cole Schlesinger, Manu Sridharan
A practical framework for type inference error explanation. OOPSLA (2016)
Michael D. Ernst, Dan Grossman, Jon Jacky, Calvin Loncaric, Stuart Pernsteiner, Zachary Tatlock, Emina Torlak, Xi Wang
Toward a Dependability Case Language and Workflow for a Radiation Therapy System. SNAPL (2015)