Calvin Loncaric

Registered user since Fri 2 Sep 2016

Name:Calvin Loncaric
Country:United States
Affiliation:Oracle
Research interests:Programming Languages, Program Synthesis, Distributed Systems, Concurrency, Model Checking, Formal Methods, Software Verification

Contributions

Show activities from other conferences

ECOOP and ISSTA 2023-profile
View general profile