( en | de | ru )

 

Disambiguierung von "Fink, Stephen J."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
From typestate verification to interpretable deep models (invited talk abstract).

, , , , und . ISSTA, Seite 4-5. ACM, (2019)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Stephen J Maxfield

Stephen J Hannahs

Stephen Stürzenbaum

Stephen Steffes

Stephen Wagner

 

Weitere Publikationen von Autoren mit dem selben Namen

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