Cristina David

Alan Mycroft

CoRR, 2024

Towards Translating Real-World Code with LLMs: A Study of Translating to Rust.

[BibT_eX]

[DOI]

CoRR, 2024

Conjugate operators for transparent, explorable research outputs.

[BibT_eX]

[DOI]

CoRR, 2024

2023

Synthesising Programs with Non-trivial Constants.

[BibT_eX]

[DOI]

J. Autom. Reason., June, 2023

Ownership Guided C to Rust Translation.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

2022

Decomposition Without Regret.

[BibT_eX]

[DOI]

Weixin Zhang

Meng Wang

CoRR, 2022

Decomposition Without Regret (Poster).

[BibT_eX]

[DOI]

Weixin Zhang

Meng Wang

Proceedings of the STAF 2022 Workshop Proceedings: 10th International Workshop on Bidirectional Transformations (BX 2022), 2022

Using graph neural networks for program termination.

[BibT_eX]

[DOI]

Yoav Alon

Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022

2021

Synbit: synthesizing bidirectional programs using unidirectional sketches.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2021

2020

Automated formal synthesis of provably safe digital controllers for continuous plants.

[BibT_eX]

[DOI]

Acta Informatica, 2020

2019

Keratoconus Detection Algorithm using Convolutional Neural Networks: Challenges.

[BibT_eX]

[DOI]

Alexandru Lavric

Valentin Popa

Cristian Costel Paval

Proceedings of the 11th International Conference on Electronics, 2019

2018

Program Synthesis for Program Analysis.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 2018

Bit-Precise Procedure-Modular Termination Analysis.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 2018

Counterexample Guided Inductive Synthesis Modulo Theories.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 30th International Conference, 2018

2017

Kayak: Safe Semantic Refactoring to Java Streams.

[BibT_eX]

[DOI]

Pascal Kesseli

CoRR, 2017

DSSynth: an automated digital controller synthesis tool for physical plants.

[BibT_eX]

[DOI]

Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

Sound and Automated Synthesis of Digital Stabilizing Controllers for Continuous Plants.

[BibT_eX]

[DOI]

Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, 2017

Automated Formal Synthesis of Digital Controllers for State-Space Physical Plants.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 29th International Conference, 2017

2016

Danger Invariants.

[BibT_eX]

[DOI]

Proceedings of the FM 2016: Formal Methods, 2016

2015

Automatically inferring loop invariants via algorithmic learning.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2015

Danger Invariants.

[BibT_eX]

[DOI]

CoRR, 2015

Synthesising Interprocedural Bit-Precise Termination Proofs (extended version).

[BibT_eX]

[DOI]

CoRR, 2015

Using Program Synthesis for Program Analysis.

[BibT_eX]

[DOI]

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2015

Synthesising Interprocedural Bit-Precise Termination Proofs (T).

[BibT_eX]

[DOI]

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

Propositional Reasoning about Safety and Termination of Heap-Manipulating Programs.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 2015

Unrestricted Termination and Non-termination Arguments for Bit-Vector Programs.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 2015

2014

Expressive program verification via structured specifications.

[BibT_eX]

[DOI]

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

HIPimm: verifying granular immutability guarantees.

[BibT_eX]

[DOI]

Andreea Costea

Asankhaya Sharma

Proceedings of the ACM SIGPLAN 2014 workshop on Partial evaluation and program manipulation, 2014

Model and Proof Generation for Heap-Manipulating Programs.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 2014

2013

Bi-Abduction with Pure Properties for Specification Inference.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems - 11th Asian Symposium, 2013

2012

Automated verification of shape, size and bag properties via user-defined predicates in separation logic.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2012

From Verification to Specification Inference.

[BibT_eX]

[DOI]

Proceedings of the Sixth International Symposium on Theoretical Aspects of Software Engineering, 2012

2011

Immutable specifications for more concise and precise verification.

[BibT_eX]

[DOI]

Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

A HIP and SLEEK verification system.

[BibT_eX]

[DOI]

Proceedings of the Companion to the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

Structured Specifications for Better Verification of Heap-Manipulating Programs.

[BibT_eX]

[DOI]

Proceedings of the FM 2011: Formal Methods, 2011

2010

A Specification Logic for Exceptions and Beyond.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2010

Automatically Inferring Quantified Loop Invariants by Algorithmic Learning from Simple Templates.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems - 8th Asian Symposium, 2010

2009

Automated Verification Using Unified Control Flows.

[BibT_eX]

[DOI]

Proceedings of the TASE 2009, 2009

Translation and optimization for a core calculus with exceptions.

[BibT_eX]

[DOI]