Liana Hadarean

NYU
lianah [at] cs [dot] nyu [dot] edu

Publications

  • Liana Hadarean, Kshitij Bansal, Dejan Jovanovic, Clark Barrett, and Cesare Tinelli. A bit lazy: A lazy DPLL(T)-style bit-vector solver . Semiconductor Research Corporation (SRC) Techcon , Austin, TX, 2013.
  • Vijay Saraswat, David Cunningham, Liana Hadarean, Louis Mandel, Avraham Shinnar, and Olivier Tardieu. Constrained Types - Future Directions . 18th International Conference on Principles and Practice of Constraint Programming. Qu├ębec City, Canada. (Position Paper)
    [PDF]
  • Aaron Stump, Duckki Oe, Andrew Reynolds, Liana Hadarean, and Cesare Tinelli. SMT Proof Checking Using a Logical Framework. Formal Methods in System Design. 42(1): 91-118.
    [PDF]
  • Clark Barrett, Christopher Conway, Morgan Deters, Liana Hadarean, Dejan Jovanovic, Tim King, Andrew Reynolds, and Cesare Tinelli. CVC4 . In G.Gopalakrishnan and S.Qadeer, editors, 23rd International Conference on Computer Aided Verification (CAV'11), Snowbird, Utah, volume 6806 of Lecture Notes in Computer Science. Springer, 2011.
    [BibTex] [PDF]
  • Andrew Reynolds, Cesare Tinelli, and Liana Hadarean. Certified interpolant generation for EUF . In S. Lahiri and S. Seshia, editors, Proceedings of the 9th International Workshop on Satisfiability Modulo Theories (Snowbird, USA) , 2011.
    [BibTex] [PDF]
  • Andrew Reynolds, Liana Hadarean, Cesare Tinelli, Yeting Ge,Aaron Stump and Clark Barrett. Comparing Proof Systems for Linear Real Arithmetic with LFSC . In Proceedings of the 8th International Workshop on Satisfiability Modulo Theories (SMT'10) , Edinburgh, UK, 2010.
    [BibTex] [PDF]