Author of the publication

Structurally Defined Conditional Data-Flow Static Analysis.

, and . TACAS (2), volume 10806 of Lecture Notes in Computer Science, page 249-265. Springer, (2018)

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

PAClab: a program analysis collaboratory., , , and . ESEC/SIGSOFT FSE, page 1616-1620. ACM, (2020)Minimally Comparing Relational Abstract Domains., and . ATVA, volume 14216 of Lecture Notes in Computer Science, page 159-175. Springer, (2023)Confidence Preservation Property in Knowledge Distillation Abstractions., and . SGAI Conf., volume 14381 of Lecture Notes in Computer Science, page 59-72. Springer, (2023)Identifying Minimal Changes in the Zone Abstract Domain., and . TASE, volume 13931 of Lecture Notes in Computer Science, page 221-239. Springer, (2023)Exploiting Domain and Program Structure to Synthesize Efficient and Precise Data Flow Analyses (T)., and . ASE, page 608-618. IEEE Computer Society, (2015)Formal specification and verification of user-centric privacy policies for ubiquitous systems., , , and . IDEAS, page 31:1-31:10. ACM, (2019)Redesigning Soot's data-flow analysis framework for abstract interpretation.. ISSTA/ECOOP Workshops, page 78-84. ACM, (2018)Structurally Defined Conditional Data-Flow Static Analysis., and . TACAS (2), volume 10806 of Lecture Notes in Computer Science, page 249-265. Springer, (2018)Accurate String Constraints Solution Counting with Weighted Automata., and . ASE, page 440-452. IEEE, (2019)Structural Test Input Generation for 3-Address Code Coverage Using Path-Merged Symbolic Execution., , , , and . AST, page 79-89. IEEE, (2023)