Liana Hadarean

According to our database, Liana Hadarean authored at least 13 papers between 2011 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

State of the art in program analysis.

Pietro Ferrara, Liana Hadarean

Int. J. Softw. Tools Technol. Transf., October, 2024

2023

Compositional Taint Analysis for Enforcing Security Policies at Scale.

Subarno Banerjee, Siwei Cui, Michael Emmi, Antonio Filieri, Liana Hadarean, Peixuan Li, Linghui Luo, Goran Piskachev, Nicolás Rosner, Aritra Sengupta, Omer Tripp, Jingbo Wang

Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023

2021

RAPID: checking API usage for the cloud in the cloud.

Michael Emmi, Liana Hadarean, Ranjit Jhala, Lee Pike, Nicolás Rosner, Martin Schäf, Aritra Sengupta, Willem Visser

Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021

2020

Block public access: trust safety verification of access control policies.

Malik Bouchet, Byron Cook, Bryant Cutler, Anna Druzkina, Andrew Gacek, Liana Hadarean, Ranjit Jhala, Brad Marshall, Daniel Peebles, Neha Rungta, Cole Schlesinger, Chriss Stephens, Carsten Varming, Andy Warfield

Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

One-click formal methods.

Liana Hadarean

Proceedings of the 13th IEEE International Conference on Software Testing, 2020

2016

Automatic Generation of Propagation Complete SAT Encodings.

Martin Brain, Liana Hadarean, Daniel Kroening, Ruben Martins

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

Lazy proofs for DPLL(T)-based SMT solvers.

Guy Katz, Clark W. Barrett, Cesare Tinelli, Andrew Reynolds, Liana Hadarean

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

2015

Efficient and Trustworthy Theory Solver for Bit-vectors in SatisfiabilityModulo Theories.

Liana Hadarean

PhD thesis, 2015

A Concurrency Problem with Exponential DPLL(T) Proofs.

Liana Hadarean, Alex Horn, Tim King

CoRR, 2015

Fine Grained SMT Proofs for the Theory of Fixed-Width Bit-Vectors.

Liana Hadarean, Clark W. Barrett, Andrew Reynolds, Cesare Tinelli, Morgan Deters

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

2014

A Tale of Two Solvers: Eager and Lazy Approaches to Bit-Vectors.

Liana Hadarean, Kshitij Bansal, Dejan Jovanovic, Clark W. Barrett, Cesare Tinelli

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

2013

SMT proof checking using a logical framework.

Aaron Stump, Duckki Oe, Andrew Reynolds, Liana Hadarean, Cesare Tinelli

Formal Methods Syst. Des., 2013

2011

CVC4.

Clark W. Barrett, Christopher L. Conway, Morgan Deters, Liana Hadarean, Dejan Jovanovic, Tim King, Andrew Reynolds, Cesare Tinelli

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