Liana Hadarean

Publication Activity (10 Years)

Years Active: 2011-2023
Publications (10 Years): 6

Top Topics

Logical Framework

Top Venues

ESEC/SIGSOFT FSE

Publications

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
Compositional Taint Analysis for Enforcing Security Policies at Scale. ESEC/SIGSOFT FSE (2023)
Michael Emmi, Liana Hadarean, Ranjit Jhala, Lee Pike, Nicolás Rosner, Martin Schäf, Aritra Sengupta, Willem Visser
RAPID: checking API usage for the cloud in the cloud. ESEC/SIGSOFT FSE (2021)
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
Block public access: trust safety verification of access control policies. ESEC/SIGSOFT FSE (2020)
Liana Hadarean
One-click formal methods. ICST (2020)
Guy Katz, Clark W. Barrett, Cesare Tinelli, Andrew Reynolds, Liana Hadarean
Lazy proofs for DPLL(T)-based SMT solvers. FMCAD (2016)
Martin Brain, Liana Hadarean, Daniel Kroening, Ruben Martins
Automatic Generation of Propagation Complete SAT Encodings. VMCAI (2016)
Liana Hadarean, Clark W. Barrett, Andrew Reynolds, Cesare Tinelli, Morgan Deters
Fine Grained SMT Proofs for the Theory of Fixed-Width Bit-Vectors. LPAR (2015)
Liana Hadarean, Alex Horn, Tim King
A Concurrency Problem with Exponential DPLL(T) Proofs. CoRR (2015)
Liana Hadarean, Kshitij Bansal, Dejan Jovanovic, Clark W. Barrett, Cesare Tinelli
A Tale of Two Solvers: Eager and Lazy Approaches to Bit-Vectors. CAV (2014)
Aaron Stump, Duckki Oe, Andrew Reynolds, Liana Hadarean, Cesare Tinelli
SMT proof checking using a logical framework. Formal Methods Syst. Des. 42 (1) (2013)
Clark W. Barrett, Christopher L. Conway, Morgan Deters, Liana Hadarean, Dejan Jovanovic, Tim King, Andrew Reynolds, Cesare Tinelli
CVC4. CAV (2011)