Author of the publication

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

Static Specification Mining Using Automata-Based Abstractions., , , and . IEEE Trans. Software Eng., 34 (5): 651-666 (2008)Space- and Time-Efficient Implementation of the Java Object Model., , and . ECOOP, volume 2374 of Lecture Notes in Computer Science, page 111-132. Springer, (2002)TAJ: effective taint analysis of web applications., , , , and . PLDI, page 87-97. ACM, (2009)The Complexity of Andersen's Analysis in Practice., and . SAS, volume 5673 of Lecture Notes in Computer Science, page 205-221. Springer, (2009)Effective typestate verification in the presence of aliasing., , , , and . ISSTA, page 133-144. ACM, (2006)A comparative study of static and profile-based heuristics for inlining., , , and . Dynamo, page 52-64. ACM, (2000)Design, Implementation and Evaluation of Adaptive Recompilation with On-Stack Replacement., and . CGO, page 241-252. IEEE Computer Society, (2003)Multiple Data Parallelism with HPF and KeLP., , , and . HPCN Europe, volume 1401 of Lecture Notes in Computer Science, page 828-839. Springer, (1998)A Survey of Adaptive Optimization in Virtual Machines., , , , and . Proc. IEEE, 93 (2): 449-466 (2005)The serverless trilemma: function composition for serverless computing., , , , , , , and . Onward!, page 89-103. ACM, (2017)