Calvin Loncaric

According to our database, Calvin Loncaric authored at least 8 papers between 2015 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Data Structure Synthesis.

Calvin Loncaric

PhD thesis, 2018

Generalized data structure synthesis.

Calvin Loncaric, Michael D. Ernst, Emina Torlak

Proceedings of the 40th International Conference on Software Engineering, 2018

2016

Cozy: synthesizing collection data structures.

Calvin Loncaric

Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

Data structure synthesis.

Calvin Loncaric

Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

Fast synthesis of fast collections.

Calvin Loncaric, Emina Torlak, Michael D. Ernst

Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2016

A practical framework for type inference error explanation.

Calvin Loncaric, Satish Chandra, Cole Schlesinger, Manu Sridharan

Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, 2016

Investigating Safety of a Radiotherapy Machine Using System Models with Pluggable Checkers.

Stuart Pernsteiner, Calvin Loncaric, Emina Torlak, Zachary Tatlock, Xi Wang, Michael D. Ernst, Jonathan Jacky

Proceedings of the Computer Aided Verification - 28th International Conference, 2016

2015

Toward a Dependability Case Language and Workflow for a Radiation Therapy System.

Michael D. Ernst, Dan Grossman, Jon Jacky, Calvin Loncaric, Stuart Pernsteiner, Zachary Tatlock, Emina Torlak, Xi Wang

Proceedings of the 1st Summit on Advances in Programming Languages, 2015