Liana Hadarean

15 papers A* 2A 1B 3Journal 3Unranked 3
YearRankTypeTitle / Venue / Authors
2024 J jnl
State of the art in program analysis.
Int. J. Softw. Tools Technol. Transf.
Pietro Ferrara, Liana Hadarean
2023 — conf
Compositional Taint Analysis for Enforcing Security Policies at Scale.
ESEC/SIGSOFT FSE
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
2023 — ed.
Proceedings of the 12th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, SOAP 2023, Orlando, FL, USA, 17 June 2023
SOAP@PLDI
Pietro Ferrara, Liana Hadarean
2021 — conf
RAPID: checking API usage for the cloud in the cloud.
ESEC/SIGSOFT FSE
Michael Emmi, Liana Hadarean, Ranjit Jhala, Lee Pike, Nicolás Rosner, Martin Schäf, Aritra Sengupta, Willem Visser
2020 — conf
Block public access: trust safety verification of access control policies.
ESEC/SIGSOFT FSE
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
2020 A conf
One-click formal methods.
ICST
Liana Hadarean
2017 — ed.
Proceedings of the 15th International Workshop on Satisfiability Modulo Theories affiliated with the International Conference on Computer-Aided Verification (CAV 2017), Heidelberg, Germany, July 22 - 23, 2017.
SMT
Martin Brain, Liana Hadarean
2016 B conf
Automatic Generation of Propagation Complete SAT Encodings.
VMCAI
Martin Brain, Liana Hadarean, Daniel Kroening, Ruben Martins
2016 B conf
Lazy proofs for DPLL(T)-based SMT solvers.
FMCAD
Guy Katz, Clark W. Barrett, Cesare Tinelli, Andrew Reynolds, Liana Hadarean
2015 J jnl
A Concurrency Problem with Exponential DPLL(T) Proofs.
CoRR
Liana Hadarean, Alex Horn, Tim King
2015 — —
Efficient and Trustworthy Theory Solver for Bit-vectors in SatisfiabilityModulo Theories.
Liana Hadarean
2015 B conf
Fine Grained SMT Proofs for the Theory of Fixed-Width Bit-Vectors.
LPAR
Liana Hadarean, Clark W. Barrett, Andrew Reynolds, Cesare Tinelli, Morgan Deters
2014 A* conf
A Tale of Two Solvers: Eager and Lazy Approaches to Bit-Vectors.
CAV
Liana Hadarean, Kshitij Bansal, Dejan Jovanovic, Clark W. Barrett, Cesare Tinelli
2013 J jnl
SMT proof checking using a logical framework.
Formal Methods Syst. Des.
Aaron Stump, Duckki Oe, Andrew Reynolds, Liana Hadarean, Cesare Tinelli
2011 A* conf
CVC4.
CAV
Clark W. Barrett, Christopher L. Conway, Morgan Deters, Liana Hadarean, Dejan Jovanovic, Tim King, Andrew Reynolds, Cesare Tinelli