Zobrazeno 1 - 6
of 6
pro vyhledávání: '"Calvin Loncaric"'
Publikováno v:
PLDI
Many applications require specialized data structures not found in the standard libraries, but implementing new data structures by hand is tedious and error-prone. This paper presents a novel approach for synthesizing efficient implementations of com
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::40c556d33dd8c66acf46ec53c1ba6ccc
https://doi.org/10.1145/2980983.2908122
https://doi.org/10.1145/2980983.2908122
Autor:
Calvin Loncaric
Publikováno v:
SIGSOFT FSE
Many applications require specialized data structures not found in standard libraries. Implementing new data structures by hand is tedious and error-prone. To alleviate this difficulty, we built a tool called Cozy that synthesizes data structures usi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3a8addeb6719265775de466981571ce4
https://doi.org/10.1145/2950290.2986032
https://doi.org/10.1145/2950290.2986032
Autor:
Calvin Loncaric
Publikováno v:
SIGSOFT FSE
All mainstream languages ship with libraries implementing lists, maps, sets, trees, and other common data structures. These libraries are sufficient for some use cases, but other applications need specialized data structures with different operations
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6fa4656255efe348e565d6359a461eb4
https://doi.org/10.1145/2950290.2983946
https://doi.org/10.1145/2950290.2983946
Publikováno v:
OOPSLA
Many languages have support for automatic type inference. But when inference fails, the reported error messages can be unhelpful, highlighting a code location far from the source of the problem. Several lines of work have emerged proposing error repo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3fd067b932bed3aed057e9e0623ac4d0
https://doi.org/10.1145/2983990.2983994
https://doi.org/10.1145/2983990.2983994
Autor:
Calvin Loncaric, Stuart Pernsteiner, Zachary Tatlock, Michael D. Ernst, Emina Torlak, Xi Wang, Jonathan Jacky
Publikováno v:
Computer Aided Verification ISBN: 9783319415390
CAV (2)
CAV (2)
Formal techniques for guaranteeing software correctness have made tremendous progress in recent decades. However, applying these techniques to real-world safety-critical systems remains challenging in practice. Inspired by goals set out in prior work
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9f3dee51b10ecfc33d1cb3c7e0ada612
https://doi.org/10.1007/978-3-319-41540-6_2
https://doi.org/10.1007/978-3-319-41540-6_2
Autor:
Jessica Peck, Christine Alvarado, Kiley Sobel, Calvin Loncaric, Fiona Tay, Alexa Keizur, Miranda C. Parker, Andy Kearney
Publikováno v:
Human–Computer Interaction Series ISBN: 9783319155937
This paper presents LogiSketch, a system that recognizes hand-drawn digital logic diagrams and then allows students to simulate those diagrams. LogiSketch is one of few complete sketch recognition systems (and the first in its domain) that allows the
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b669021632cc44f8f2425e7ec261bff6
https://doi.org/10.1007/978-3-319-15594-4_8
https://doi.org/10.1007/978-3-319-15594-4_8