BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Collaborated with:
∅ E.Torlak M.D.Ernst S.C.0001 C.Schlesinger M.Sridharan S.Pernsteiner Z.Tatlock X.W.0005 J.Jacky
Talks about:
synthesi (2) structur (2) collect (2) fast (2) data (2) radiotherapi (1) framework (1) pluggabl (1) investig (1) synthes (1)

Person: Calvin Loncaric

DBLP DBLP: Loncaric:Calvin

Contributed to:

FSE 20162016
CAV (2) 20162016
OOPSLA 20162016
PLDI 20162016

Wrote 5 papers:

FSE-2016-Loncaric #data type #synthesis
Data structure synthesis (CL), pp. 1073–1075.
FSE-2016-Loncaric16a #data type #named
Cozy: synthesizing collection data structures (CL), pp. 1103–1105.
CAV-2016-PernsteinerLTTW #modelling #safety #using
Investigating Safety of a Radiotherapy Machine Using System Models with Pluggable Checkers (SP, CL, ET, ZT, XW0, MDE, JJ), pp. 23–41.
OOPSLA-2016-Loncaric0SS #fault #framework #type inference
A practical framework for type inference error explanation (CL, SC0, CS, MS), pp. 781–799.
PLDI-2016-LoncaricTE #performance #synthesis
Fast synthesis of fast collections (CL, ET, MDE), pp. 355–368.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.