Polyvios Pratikakis und Michael Hicks - Info zur Person

(1 - 14 von 15

)

Software Composition: 4th International Workshop, SC 2005, ...books.google.com › books

books.google.de

Polyvios Pratikakis, Jaime Spacco, and Michael Hicks. Transparent proxies for java futures. In OOPSLA '04: Proceedings of the 19th annual ACM SIGPLAN ...

dblp: Michael Hicks 0001

dblp.uni-trier.de

List of computer science publications by Michael Hicks

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

link.springer.com

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

Alle Infos zum Namen "Polyvios Pratikakis"

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 ...

Existential Label Flow Inference Via CFL Reachability - Springer ...www.springerprofessional.de › existential-label-flow-inference-via-cfl-reac...

www.springerprofessional.de

Autoren: Polyvios Pratikakis, Jeffrey S. Foster, Michael Hicks. Verlag: Springer Berlin Heidelberg. Erschienen in: Static Analysis.

CiteSeerX — Active Bibliography: Osprey: A Practical Type System for...

citeseer.uark.edu

Locksmith: Practical Static Race Detection for C – Polyvios Pratikakis, Jeffrey S. Foster, Michael Hicks. 19, Type Qualifiers: Lightweight Specifications to Improve ...

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 ...

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 ...

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 Michael Hicks Person-Info