( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Verifying dereference safety via expanding-scope analysis.

, , , , , и . ISSTA, стр. 213-224. ACM, (2008)

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.

Stephen Wagner

Stephen Novak

Andreas Stephen

Stephen Stürzenbaum

Stephen Steffes

 

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

Declarative Object Identity Using Relation Types., , , и . ECOOP, том 4609 из Lecture Notes in Computer Science, стр. 54-78. Springer, (2007)Adaptive optimization in the Jalapeño JVM, , , , и . Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications - OOPSLA \textquotesingle00, стр. 47--65. ACM, (октября 2000)Adaptive optimization in the Jalapeño JVM (poster session)., , , , и . OOPSLA Addendum, стр. 125-126. ACM, (2000)The Jalapeño Dynamic Optimizing Compiler for Java, , , , , , , , , и . Proceedings of the ACM 1999 Conference on Java Grande, стр. 129--141. ACM, (1999)Performance analysis of idle programs., , , и . OOPSLA, стр. 739-753. ACM, (2010)Verifying dereference safety via expanding-scope analysis., , , , , и . ISSTA, стр. 213-224. ACM, (2008)Static specification mining using automata-based abstractions., , , и . ISSTA, стр. 174-184. ACM, (2007)Debugging crashes using continuous contrast set mining., , , , , и . ICSE (SEIP), стр. 61-70. ACM, (2020)A compiler and runtime for heterogeneous computing., , , , , , и . DAC, стр. 271-276. ACM, (2012)Efficient Dependence Analysis for Java Arrays., и . Euro-Par, том 2150 из Lecture Notes in Computer Science, стр. 273-277. Springer, (2001)