Author of the publication

Phoenix: a tool for automated data-driven synthesis of repairs for static analysis violations.

, , , , , and . ICSE (Companion Volume), page 53-56. ACM, (2020)

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

Post-silicon patching for verification/debugging with high-level models and programmable logic., and . ASP-DAC, page 232-237. IEEE, (2012)Optimal Transport-based Coverage Control for Swarm Robot Systems: Generalization of the Voronoi Tessellation-based Method., , and . ACC, page 3032-3037. IEEE, (2021)VizSmith: Automated Visualization Synthesis by Mining Data-Science Notebooks., , , , and . ASE, page 129-141. IEEE, (2021)Simultaneous Circuit Transformation and Routing., , , and . ASP-DAC/VLSI Design, page 479-483. IEEE Computer Society, (2002)Deep generative model super-resolves spatially correlated multiregional climate data., , , and . CoRR, (2022)Some set partition statistics in non-crossing partitions and generating functions., and . Discret. Math., 307 (24): 3147-3160 (2007)FSX: fine-grained incremental unit test generation for C/C++ programs., , , , and . ISSTA, page 106-117. ACM, (2016)Investigation of Comfort of Uniform Shirt Made of Cellulose Considering Environmental Load., , , and . CISIM, volume 9339 of Lecture Notes in Computer Science, page 527-538. Springer, (2015)Phoenix: a tool for automated data-driven synthesis of repairs for static analysis violations., , , , , and . ICSE (Companion Volume), page 53-56. ACM, (2020)AMPIC: Adaptive Model Predictive Ising Controller for large-scale urban traffic signals., , , and . CoRR, (2024)