Calvin Loncaric -

Registered user since Fri 2 Sep 2016

Name:Calvin Loncaric

Country:United States

Affiliation:Oracle

Personal website: https://calvin.loncaric.us/

GitHub: https://github.com/Calvin-L

Research interests:Programming Languages, Program Synthesis, Distributed Systems, Concurrency, Model Checking, Formal Methods, Software Verification

Contributions

2023

ECOOP/ISSTA

Committee Member in Program Committee within the Student Research Competition-track
Committee Member in Program Committee within the Student Research Competition-track

2018

ICSE

Author of Generalized Data Structure Synthesis within the Technical Papers -track

2016

SPLASH

Author of A Practical Framework for Type Inference Error Explanation within the OOPSLA-track

PLDI

Author of Fast Synthesis of Fast Collections within the Research Papers-track