Polyvios Pratikakis und Jeffrey - Info zur Person

(1 - 14 von 16

)

dblp: Jeffrey S. Foster

dblp.uni-trier.de

List of computer science publications by Jeffrey S. Foster

Formalizing Soundness of Contextual Effects | SpringerLinklink.springer.com › chapter

link.springer.com

Polyvios Pratikakis · Jeffrey S. Foster · Michael Hicks · Iulian Neamtiu.

Jeffrey S. Foster - Citações do Google Acadêmico

scholar.google.com.br

Michael Hicks,; Alex Aiken,; Manuel Fahndrich,; Polyvios Pratikakis,; Yit Phang Khoo,; Jinseong Jeon,; Chris Hayden,; Saurabh Srivastava,; Avik Chaudhuri, ...

Publications - Polyvios Pratikakis - UMD CSwww.cs.umd.edu › ~polyvios › publications

www.cs.umd.edu

Polyvios Pratikakis, Jeffrey S. Foster and Michael Hicks. ACM Transactions on Programming Languages and Systems (TOPLAS) March

Contextual Effects for Version-Consistent Dynamic Software ...web.njit.edu › ~ineamtiu › pubs › MT-TR

web.njit.edu

Iulian Neamtiu, Michael Hicks, Jeffrey S. Foster, and Polyvios Pratikakis. Technical Report CS-TR-4875, University of Maryland, Department of Computer ...

Contextual Effects for Version-Consistent Dynamic Software ...

web.njit.edu

... Version-Consistent Dynamic Software Updating and Safe Concurrent Programming. Iulian Neamtiu, Michael Hicks, Jeffrey S. Foster, and Polyvios Pratikakis.

POPL 08 Schedule

cseweb.ucsd.edu

Iulian Neamtiu, Michael Hicks, Jeffrey Foster and Polyvios Pratikakis HIGH-LEVEL SMALL-STEP OPERATIONAL SEMANTICS FOR TRANSACTIONS

Formalizing Soundness of Contextual Effectsciteseerx.ist.psu.edu › viewdoc › summary

citeseerx.ist.psu.edu

author = {Polyvios Pratikakis and Jeffrey S. Foster and Michael Hicks and Iulian Neamtiu}, title = {Formalizing Soundness of Contextual Effects}, year = {} } ...

POPL'08 - UCSD CSEcseweb.ucsd.edu › conferences › popl › popl-accepted

cseweb.ucsd.edu

... for Version-Consistent Dynamic Software Updating and Safe Concurrent Programming, Iulian Neamtiu, Michael Hicks, Jeffrey Foster and Polyvios Pratikakis.

NSF Award Search: Award# Collaborative Research: Type...

www.nsf.gov

Polyvios Pratikakis, Jeffrey S. Foster, and Michael Hicks. "Existential Label Flow Inference via CFL Reachability," Static Analysis Symposium Seoul, Korea. August , 2006, p Saurabh Srivastava, Michael Hicks, and Jeffrey S. Foster. "Modular Information Hiding and Type-Safe Linking for C," In ACM SIGPLAN ...

POPL 08 Schedule

cseweb.ucsd.edu

Iulian Neamtiu, Michael Hicks, Jeffrey Foster and Polyvios Pratikakis HIGH- LEVEL SMALL-STEP OPERATIONAL SEMANTICS FOR TRANSACTIONS Katherine Moore and Dan Grossman SEMANTICS OF TRANSACTIONAL MEMORY AND AUTOMATIC MUTUAL EXCLUSION Martin Abadi, Andrew Birrell, Tim Harris and ...

Programmeerimiskeelte semantika uurimisseminar

kodu.ut.ee

Polyvios Pratikakis, Jeffrey S. Foster, Michael Hicks. (PLDI'06). http://www.cs.umd.edu/~jfoster/papers/pldi06.html; Fast and accurate static data-race detection ...

Alle Infos zum Namen "Polyvios Pratikakis"

Verwandte Suchanfragen zu Polyvios Pratikakis

Dimitrios Skarlatos
Hans Vandierendonck
Michael Hicks

Maria Oikonomidou

Personen
Vorname "Polyvios" (3)
Name "Pratikakis" (3)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Polyvios Pratikakis und Jeffrey Person-Info