Author of the publication

LifeJacket: verifying precise floating-point optimizations in LLVM.

, and . SOAP@PLDI, page 24-29. ACM, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

IsaRare: Automatic Verification of SMT Rewrites in Isabelle/HOL., , , , , , , and . TACAS (1), volume 14570 of Lecture Notes in Computer Science, page 311-330. Springer, (2024)Reasoning About Vectors Using an SMT Theory of Sequences., , , , , , , , , and . IJCAR, volume 13385 of Lecture Notes in Computer Science, page 125-143. Springer, (2022)Syntax-Guided Rewrite Rule Enumeration for SMT Solvers., , , , , , and . SAT, volume 11628 of Lecture Notes in Computer Science, page 279-297. Springer, (2019)LifeJacket: verifying precise floating-point optimizations in LLVM., and . SOAP@PLDI, page 24-29. ACM, (2016)Partitioning Strategies for Distributed SMT Solving., , , , , and . FMCAD, page 199-208. IEEE, (2023)cvc4sy: Smart and Fast Term Enumeration for Syntax-Guided Synthesis., , , , and . CAV (2), volume 11562 of Lecture Notes in Computer Science, page 74-83. Springer, (2019)lazybvtoint at the SMT Competition 2020., , , , , and . CoRR, (2021)Even Faster Conflicts and Lazier Reductions for String Solvers., , , , and . CAV (2), volume 13372 of Lecture Notes in Computer Science, page 205-226. Springer, (2022)EmptyHeaded: A Relational Engine for Graph Processing., , , , , and . ACM Trans. Database Syst., 42 (4): 20:1-20:44 (2017)Reductions for Strings and Regular Expressions Revisited., , , and . FMCAD, page 225-235. IEEE, (2020)