Liana Hadarean
Amazon (United States)(US)
Publications by Year
Research Areas
Formal Methods in Verification, Logic, programming, and type systems, Security and Verification in Computing, Software Engineering Research, Software Testing and Debugging Techniques
Most-Cited Works
- → CVC4(2011)612 cited
- → SMT proof checking using a logical framework(2012)57 cited
- → A Tale of Two Solvers: Eager and Lazy Approaches to Bit-Vectors(2014)42 cited
- → Block public access: trust safety verification of access control policies(2020)22 cited
- → Lazy proofs for DPLL(T)-based SMT solvers(2016)21 cited
- → RAPID: checking API usage for the cloud in the cloud(2021)14 cited
- → Fine Grained SMT Proofs for the Theory of Fixed-Width Bit-Vectors(2015)14 cited
- → Automatic Generation of Propagation Complete SAT Encodings(2015)12 cited
- Comparing proof systems for linear real arithmetic LFSC(2010)
- An Efficient and Trustworthy Theory Solver for Bit-vectors in Satisfiability Modulo Theories(2015)