Ruzica Piskac

Formal Methods Syst. Des., 2020

Succinct Explanations With Cascading Decision Trees.

[BibT_eX]

[DOI]

Jialu Zhang

CoRR, 2020

Privacy Preserving CTL Model Checking through Oblivious Graph Algorithms.

[BibT_eX]

[DOI]

Proceedings of the WPES'20: Proceedings of the 19th Workshop on Privacy in the Electronic Society, 2020

Solving $\mathrm {LIA} ^\star $ Using Approximations.

[BibT_eX]

[DOI]

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2020

Formal Methods and Computing Identity-based Mentorship for Early Stage Researchers.

[BibT_eX]

[DOI]

Proceedings of the 51st ACM Technical Symposium on Computer Science Education, 2020

Towards checkpoint placement for dynamic memory allocation in intermittent computing.

[BibT_eX]

[DOI]

Nicholas Shoemaker

Proceedings of the 11th ACM SIGPLAN International Workshop on Tools for Automatic Program Analysis, 2020

Check before You Change: Preventing Correlated Failures in Service Updates.

[BibT_eX]

[DOI]

Proceedings of the 17th USENIX Symposium on Networked Systems Design and Implementation, 2020

Efficient Automated Reasoning About Sets and Multisets with Cardinality Constraints.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning - 10th International Joint Conference, 2020

Grammar Filtering for Syntax-Guided Synthesis.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019

Identifying Maximal Non-Redundant Integer Cone Generators.

[BibT_eX]

[DOI]

Slobodan Mitrovic

CoRR, 2019

Lazy counterfactual symbolic execution.

[BibT_eX]

[DOI]

Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

G2Q: Haskell constraint solving.

[BibT_eX]

[DOI]

William T. Hallahan

Anton Xue

Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell, 2019

Synthesizing functional reactive programs.

[BibT_eX]

[DOI]

Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell, 2019

Live Programming By Example.

[BibT_eX]

[DOI]

William T. Hallahan

Proceedings of the Extended Abstracts of the 2019 CHI Conference on Human Factors in Computing Systems, 2019

Temporal Stream Logic: Synthesis Beyond the Bools.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

2018

Statically Verifying Continuous Integration Configurations.

[BibT_eX]

[DOI]

CoRR, 2018

New Applications of Software Synthesis: Verification of Configuration Files and Firewall Repair.

[BibT_eX]

[DOI]

Proceedings of the Static Analysis - 25th International Symposium, 2018

Programming by Example: Efficient, but Not "Helpful".

[BibT_eX]

[DOI]

Proceedings of the 9th Workshop on Evaluation and Usability of Programming Languages and Tools, 2018

Programming-by-example for audio: synthesizing digital signal processing programs.

[BibT_eX]

[DOI]

Proceedings of the 6th ACM SIGPLAN International Workshop on Functional Art, 2018

2017

An auditing language for preventing correlated failures in the cloud.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2017

Synthesizing configuration file specifications with association rule learning.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2017

Vehicle Platooning Simulations with Functional Reactive Programming.

[BibT_eX]

[DOI]

Proceedings of the 1st International Workshop on Safe Control of Connected and Autonomous Vehicles, 2017

2016

Probabilistic Automated Language Learning for Configuration Files.

[BibT_eX]

[DOI]

Ennan Zhai

Proceedings of the Computer Aided Verification - 28th International Conference, 2016

2015

From Decision Procedures to Synthesis Procedures.

[BibT_eX]

[DOI]

Proceedings of the 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2015

InSynth: A System for Code Completion using Types and Weights.

[BibT_eX]

Proceedings of the Software Engineering & Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, 17. März, 2015

StriSynth: Synthesis for Live Programming.

[BibT_eX]

[DOI]

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

A Type-Directed Approach to Program Repair.

[BibT_eX]

[DOI]

Alex Reinking

Proceedings of the Computer Aided Verification - 27th International Conference, 2015

2014

GRASShopper - Complete Heap Verification with Mixed Specifications.

[BibT_eX]

[DOI]

Damien Zufferey

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014

The FMCAD 2014 graduate student forum.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods in Computer-Aided Design, 2014

Automating Separation Logic with Trees and Data.

[BibT_eX]

[DOI]

Damien Zufferey

Proceedings of the Computer Aided Verification - 26th International Conference, 2014

2013

Functional synthesis for linear arithmetic and sets.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2013

Complete completion using types and weights.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2013

Automating Separation Logic Using SMT.

[BibT_eX]

[DOI]

Damien Zufferey

Proceedings of the Computer Aided Verification - 25th International Conference, 2013

Incremental, Inductive Coverability.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 25th International Conference, 2013

From Search to Computation: Redundancy Criteria and Simplification at Work.

[BibT_eX]

[DOI]

Proceedings of the Programming Logics - Essays in Memory of Harald Ganzinger, 2013

2012

Software synthesis procedures.

[BibT_eX]

[DOI]

Commun. ACM, 2012

2011

Decision Procedures for Program Synthesis and Verification.

[BibT_eX]

[DOI]

PhD thesis, 2011

Decision Procedures for Automating Termination Proofs.

[BibT_eX]

[DOI]

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2011

Interactive Synthesis of Code Snippets.

[BibT_eX]

[DOI]

Tihomir Gvero

Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

2010

Deciding Effectively Propositional Logic Using DPLL and Substitution Sets.

[BibT_eX]

[DOI]

Leonardo Mendonça de Moura

Nikolaj S. Bjørner

J. Autom. Reason., 2010

Collections, Cardinalities, and Relations.

[BibT_eX]

[DOI]

Kuat Yessenov

Proceedings of the Verification, 2010

Building a Calculus of Data Structures.

[BibT_eX]

[DOI]

Proceedings of the Verification, 2010

Complete functional synthesis.

[BibT_eX]

[DOI]

Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2010

Ordered Sets in the Calculus of Data Structures.

[BibT_eX]

[DOI]

Philippe Suter

Proceedings of the Computer Science Logic, 24th International Workshop, 2010

Comfusy: A Tool for Complete Functional Synthesis.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

MUNCH - Automated Reasoner for Sets and Multisets.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning, 5th International Joint Conference, 2010

2009

Combining Theories with Shared Set Operations.

[BibT_eX]

[DOI]

Proceedings of the Frontiers of Combining Systems, 7th International Symposium, 2009

2008

Decision Procedures for Multisets with Cardinality Constraints.

[BibT_eX]

[DOI]

Proceedings of the Verification, 2008

Fractional Collections with Cardinality Bounds, and Mixed Linear Arithmetic with Stars.

[BibT_eX]

[DOI]

Proceedings of the Computer Science Logic, 22nd International Workshop, 2008

Linear Arithmetic with Stars.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 20th International Conference, 2008

2005

Verification of an Off-Line Checker for Priority Queues.

[BibT_eX]

[DOI]

Hans de Nivelle