Concise Read-Only Specifications for Better Synthesis of Programs with Pointers

von Costea, Andreea
Veröffentlicht in ESOP (29. : 2020 : Online) Programming languages and systems (2020)

Towards A Polyglot Framework for Factorized ML

von Justo, David A.
Veröffentlicht in VLDB (47. : 2021 : Kopenhagen; Online) 47th International Conference on Very Large Data Bases 2021 ; Part 4 of 4 (2021)

Integrated formal methods : 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017 : proceedings

Veröffentlicht 2017

Deductive Synthesis of Programs with Pointers: Techniques, Challenges, Opportunities

von Itzhaky, Shachar
Veröffentlicht in CAV (33. : 2021 : Online) Computer aided verification ; Part 1 (2021)

Software verification : 12th international conference, VSTTE 2020, and 13th international workshop, NSV 2020, Los Angeles, CA, USA, July 20-21, 2020 : revised selected papers

Veröffentlicht 2020