Follow
Liana Hadarean
Liana Hadarean
Amazon Web Services
Verified email at amazon.com
Title
Cited by
Cited by
Year
Cvc4
C Barrett, CL Conway, M Deters, L Hadarean, D Jovanović, T King, ...
Computer Aided Verification: 23rd International Conference, CAV 2011 …, 2011
20432011
SMT proof checking using a logical framework
A Stump, D Oe, A Reynolds, L Hadarean, C Tinelli
Formal Methods in System Design 42, 91-118, 2013
832013
A tale of two solvers: Eager and lazy approaches to bit-vectors
L Hadarean, K Bansal, D Jovanović, C Barrett, C Tinelli
International Conference on Computer Aided Verification, 680-695, 2014
652014
Lazy proofs for DPLL (T)-based SMT solvers
G Katz, C Barrett, C Tinelli, A Reynolds, L Hadarean
2016 Formal Methods in Computer-Aided Design (FMCAD), 93-100, 2016
362016
Fine grained SMT proofs for the theory of fixed-width bit-vectors
L Hadarean, C Barrett, A Reynolds, C Tinelli, M Deters
Logic for Programming, Artificial Intelligence, and Reasoning: 20th …, 2015
252015
Block public access: trust safety verification of access control policies
M Bouchet, B Cook, B Cutler, A Druzkina, A Gacek, L Hadarean, R Jhala, ...
Proceedings of the 28th ACM Joint Meeting on European Software Engineering …, 2020
242020
Cvc4
CC Clark Barrett, M Deters, L Hadarean, D Jovanovic, T King, A Reynolds, ...
23rd International Conference on Computer Aided Verification (CAV’11) 6806 …, 2011
232011
Automatic generation of propagation complete SAT encodings
M Brain, L Hadarean, D Kroening, R Martins
Verification, Model Checking, and Abstract Interpretation: 17th …, 2016
162016
An efficient and trustworthy theory solver for bit-vectors in satisfiability modulo theories
L Hadarean
New York University, 2015
162015
Cvc4
B Clark, LC Christopher, M Deters, L Hadarean, D Jovanovic, T King
CAV 6806, 171-177, 2011
152011
RAPID: checking API usage for the cloud in the cloud
M Emmi, L Hadarean, R Jhala, L Pike, N Rosner, M Schäf, A Sengupta, ...
Proceedings of the 29th ACM Joint Meeting on European Software Engineering …, 2021
132021
Comparing proof systems for linear real arithmetic with LFSC
A Reynolds, L Hadarean, C Tinelli, Y Ge, A Stump, C Barrett
International Workshop on Satisfiability Modulo Theories, 2010
122010
Certified interpolant generation for EUF
A Reynolds, C Tinelli, L Hadarean
Satisfiability Modulo Theories (SMT) 2011, 30, 2011
92011
Computer Aided Verification: 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011
C Barrett, CL Conway, M Deters, L Hadarean, D Jovanovic, T King, ...
Proceedings, ch. CVC4, 171-177, 0
5
Smt-comp 2019
L Hadarean, A Hyvärinen, A Niemetz, G Reger
Int. Satisfiability Modulo Theories (SMT) Competition, Tech. Rep, 2019
42019
Quantifying permissiveness of access control policies using model counting techniques and automated policy downscaling
WJ Eiers, LS Hadarean, KS Luckow, N Rungta
US Patent 11,165,783, 2021
32021
Cvc3 proof conversion to lfsc
A Reynolds, C Tinelli, A Stump, L Hadarean, Y Ge, C Barrett
Technical Report, 2010
22010
Compositional taint analysis for enforcing security policies at scale
S Banerjee, S Cui, M Emmi, A Filieri, L Hadarean, P Li, L Luo, ...
Proceedings of the 31st ACM Joint European Software Engineering Conference …, 2023
12023
One-click formal methods
L Hadarean
2020 IEEE 13th International Conference on Software Testing, Validation and …, 2020
12020
Certified Satisfiability Modulo Theories (SMT) Solving for System Verification
C Barrett, B Ekici, L Hadarean, G Katz, C Keller, A Mebsout, A Reynolds, ...
University of Iowa, 2017
2017
The system can't perform the operation now. Try again later.
Articles 1–20