( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Redesigning Soot's data-flow analysis framework for abstract interpretation.

. ISSTA/ECOOP Workshops, стр. 78-84. ACM, (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.

Jonah Sherman

Anatoly Sherman

Claudia Ines Elena de Theissen

Adrien Elena

Sherman Herrold

 

Другие публикации лиц с тем же именем

The Java Pathfinder Workshop 2022., , , , , , , , , и 5 other автор(ы). ACM SIGSOFT Softw. Eng. Notes, 48 (1): 19-21 (января 2023)User-defined backtracking criteria for symbolic execution., и . ACM SIGSOFT Softw. Eng. Notes, 39 (1): 1-5 (2014)PAClab: a program analysis collaboratory., , , и . ESEC/SIGSOFT FSE, стр. 1616-1620. ACM, (2020)Minimizing the Size of Path Conditions Using Convex Polyhedra Abstract Domain., и . ACM SIGSOFT Softw. Eng. Notes, 40 (1): 1-5 (2015)Minimally Comparing Relational Abstract Domains., и . ATVA, том 14216 из Lecture Notes in Computer Science, стр. 159-175. Springer, (2023)Confidence Preservation Property in Knowledge Distillation Abstractions., и . SGAI Conf., том 14381 из Lecture Notes in Computer Science, стр. 59-72. Springer, (2023)Identifying Minimal Changes in the Zone Abstract Domain., и . TASE, том 13931 из Lecture Notes in Computer Science, стр. 221-239. Springer, (2023)Exploiting Domain and Program Structure to Synthesize Efficient and Precise Data Flow Analyses (T)., и . ASE, стр. 608-618. IEEE Computer Society, (2015)Redesigning Soot's data-flow analysis framework for abstract interpretation.. ISSTA/ECOOP Workshops, стр. 78-84. ACM, (2018)Formal specification and verification of user-centric privacy policies for ubiquitous systems., , , и . IDEAS, стр. 31:1-31:10. ACM, (2019)