Author of the publication

Quantifying the Exploration of the Korat Solver for Imperative Constraints.

, , , , and . ACM SIGSOFT Softw. Eng. Notes, 44 (4): 15 (2019)

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

AquaSense: Automated Sensitivity Analysis of Probabilistic Programs via Quantized Inference., , and . ATVA, volume 14216 of Lecture Notes in Computer Science, page 288-301. Springer, (2023)Dancing with uncertainty., , and . RACES@SPLASH, page 51-60. ACM, (2012)Special Session: Does Approximation Make Testing Harder (or Easier)?, , and . VTS, page 1-9. IEEE, (2019)ApproxCaliper: A Programmable Framework for Application-aware Neural Network Optimization., , , , , , , , , and 2 other author(s). MLSys, mlsys.org, (2023)Minotaur: Adapting Software Testing Techniques for Hardware Errors., , , , , , and . ASPLOS, page 1087-1103. ACM, (2019)SixthSense: Debugging Convergence Problems in Probabilistic Programs via Program Representation Learning., , and . FASE, volume 13241 of Lecture Notes in Computer Science, page 123-144. Springer, (2022)Continualization of Probabilistic Programs With Correction., and . ESOP, volume 12075 of Lecture Notes in Computer Science, page 366-393. Springer, (2020)Storm: program reduction for testing and debugging probabilistic programming systems., , , and . ESEC/SIGSOFT FSE, page 729-739. ACM, (2019)Diamont: Dynamic Monitoring of Uncertainty for Distributed Asynchronous Programs., , , and . RV, volume 12974 of Lecture Notes in Computer Science, page 184-206. Springer, (2021)Resurgence of Regression Test Selection for C++., , and . ICST, page 323-334. IEEE, (2019)