Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Viktor Kuncak
Synthesizing Java Expressions From Free-Form Queries
ACM SIGPLAN Notices
Computer Science
Comfusy: A Tool for Complete Functional Synthesis
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
MUNCH - Automated Reasoner for Sets and Multisets
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Executing Specifications Using Synthesis and Constraint Solving
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Towards a Compiler for Reals
ACM Transactions on Programming Languages and Systems
Software
Complete Functional Synthesis
An Integrated Proof Language for Imperative Programs
ACM SIGPLAN Notices
Computer Science
Existential Heap Abstraction Entailment Is Undecidable
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Runtime Checking for Program Verification
Full Functional Verification of Linked Data Structures
