Ruben Martins

Proceedings of the RTNS'2021: 29th International Conference on Real-Time Networks and Systems, 2021

Certifying CNF Encodings of Pseudo-Boolean Constraints (abstract).

[BibT_eX]

[DOI]

Stephan Gocht

Jakob Nordström

Proceedings of the Proceedings Seventh Workshop on Proof eXchange for Theorem Proving, 2021

SyRust: automatic testing of Rust libraries with semantic-aware program synthesis.

[BibT_eX]

[DOI]

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

Finding Invariants of Distributed Systems: It's a Small (Enough) World After All.

[BibT_eX]

[DOI]

Proceedings of the 18th USENIX Symposium on Networked Systems Design and Implementation, 2021

Replication of SOAR: A Synthesis Approach for Data Science API Refactoring.

[BibT_eX]

[DOI]

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2021

SOAR: A Synthesis Approach for Data Science API Refactoring.

[BibT_eX]

[DOI]

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering, 2021

Automated Code Repair to Ensure Spatial Memory Safety.

[BibT_eX]

[DOI]

Proceedings of the 2nd IEEE/ACM International Workshop on Automated Program Repair, 2021

Counterfeiting Congestion Control Algorithms.

[BibT_eX]

[DOI]

Proceedings of the HotNets '21: The 20th ACM Workshop on Hot Topics in Networks, 2021

2020

überSpark: Practical, Provable, End-to-End Guarantees on Commodity Heterogenous Interconnected Computing Platforms.

[BibT_eX]

[DOI]

Amit Vasudevan

Petros Maniatis

ACM SIGOPS Oper. Syst. Rev., 2020

SQUARES : A SQL Synthesizer Using Query Reverse Engineering.

[BibT_eX]

[DOI]

Proc. VLDB Endow., 2020

Program equivalence for assisted grading of functional programs.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2020

Program Equivalence for Assisted Grading of Functional Programs (Extended Version).

[BibT_eX]

[DOI]

CoRR, 2020

Coloring Unit-Distance Strips using SAT.

[BibT_eX]

[DOI]

Peter Oostema

Marijn Heule

Proceedings of the LPAR 2020: 23rd International Conference on Logic for Programming, 2020

UNCHARTIT: An Interactive Framework for Program Recovery from Charts.

[BibT_eX]

[DOI]

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

2019

Trinity: An Extensible Synthesis Framework for Data Science.

[BibT_eX]

[DOI]

Proc. VLDB Endow., 2019

Open-WBO-Inc: Approximation Strategies for Incomplete Weighted MaxSAT.

[BibT_eX]

[DOI]

J. Satisf. Boolean Model. Comput., 2019

MaxSAT Evaluation 2018: New Developments and Detailed Results.

[BibT_eX]

[DOI]

Fahiem Bacchus

Matti Järvisalo

J. Satisf. Boolean Model. Comput., 2019

Reflections on "Incremental Cardinality Constraints for MaxSAT".

[BibT_eX]

[DOI]

CoRR, 2019

Maximal multi-layer specification synthesis.

[BibT_eX]

[DOI]

Yanju Chen

Yu Feng

Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019

Encodings for Enumeration-Based Program Synthesis.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2019

An Android Malware Detection Framework Using Graph Embeddings and Convolutional Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence Research and Development, 2019

2018

Program synthesis using conflict-driven learning.

[BibT_eX]

[DOI]

Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

Learning-Sensitive Backdoors with Restarts.

[BibT_eX]

[DOI]

Edward Zulkoski

Christoph M. Wintersteiger

Proceedings of the Principles and Practice of Constraint Programming, 2018

The Effect of Structural Measures and Merges on SAT Solver Performance.

[BibT_eX]

[DOI]

Edward Zulkoski

Christoph M. Wintersteiger

Jia Hui Liang

Krzysztof Czarnecki

Vijay Ganesh

Proceedings of the Principles and Practice of Constraint Programming, 2018

Approximation Strategies for Incomplete MaxSAT.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2018

Parallel Maximum Satisfiability.

[BibT_eX]

[DOI]

Proceedings of the Handbook of Parallel Constraint Reasoning., 2018

2017

Incremental bounded model checking for embedded software.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2017

Relating Complexity-theoretic Parameters with SAT Solver Performance.

[BibT_eX]

[DOI]

Edward Zulkoski

Christoph M. Wintersteiger

CoRR, 2017

Component-based synthesis for complex APIs.

[BibT_eX]

[DOI]

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

Component-based synthesis of table consolidation and transformation tasks from examples.

[BibT_eX]

[DOI]

Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017

Automated Synthesis of Semantic Malware Signatures using Maximum Satisfiability.

[BibT_eX]

[DOI]

Proceedings of the 24th Annual Network and Distributed System Security Symposium, 2017

2016

Type-Directed Code Reuse using Integer Linear Programming.

[BibT_eX]

[DOI]

CoRR, 2016

Automatic Generation of Propagation Complete SAT Encodings.

[BibT_eX]

[DOI]

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

Hunter: next-generation code reuse for Java.

[BibT_eX]

[DOI]

Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

2015

Improving linear search algorithms with model-based approaches for MaxSAT solving.

[BibT_eX]

[DOI]

J. Exp. Theor. Artif. Intell., 2015

Deterministic Parallel MaxSAT Solving.

[BibT_eX]

[DOI]

Int. J. Artif. Intell. Tools, 2015

Parallel search for maximum satisfiability.

[BibT_eX]

[DOI]

Constraints An Int. J., 2015

From AgentSpeak to C for Safety Considerations in Unmanned Aerial Vehicles.

[BibT_eX]

[DOI]

Proceedings of the Towards Autonomous Robotic Systems - 16th Annual Conference, 2015

Exploiting Resolution-Based Representations for MaxSAT Solving.

[BibT_eX]

[DOI]

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2015, 2015

Successful Use of Incremental BMC in the Automotive Industry.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Industrial Critical Systems, 2015

Generalized Totalizer Encoding for Pseudo-Boolean Constraints.

[BibT_eX]

[DOI]

Saurabh Joshi

Proceedings of the Principles and Practice of Constraint Programming, 2015

2014

On Using Incremental Encodings in Unsatisfiability-based MaxSAT Solving.

[BibT_eX]

[DOI]

J. Satisf. Boolean Model. Comput., 2014

Incremental Bounded Model Checking for Embedded Software (extended version).

[BibT_eX]

[DOI]

CoRR, 2014

Open-WBO: A Modular MaxSAT Solver, .

[BibT_eX]

[DOI]

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2014, 2014

Incremental Cardinality Constraints for MaxSAT.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2014

2013

Community-Based Partitioning for MaxSAT Solving.

[BibT_eX]

[DOI]

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2013, 2013

2012

An overview of parallel SAT solving.

[BibT_eX]

[DOI]

Constraints An Int. J., 2012

Parallel search for maximum satisfiability.

[BibT_eX]

[DOI]

AI Commun., 2012

Clause Sharing in Parallel MaxSAT.

[BibT_eX]

[DOI]

Proceedings of the Learning and Intelligent Optimization - 6th International Conference, 2012

On Partitioning for Maximum Satisfiability.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2012, 2012

2011

Exploiting Cardinality Encodings in Parallel Maximum Satisfiability.

[BibT_eX]

[DOI]

Proceedings of the IEEE 23rd International Conference on Tools with Artificial Intelligence, 2011

2010

Improving Unsatisfiability-Based Algorithms for Boolean Optimization.

[BibT_eX]

[DOI]

Proceedings of the Theory and Applications of Satisfiability Testing, 2010

Improving Search Space Splitting for Parallel SAT Solving.

[BibT_eX]

[DOI]