dblp.uni-trier.dewww.uni-trier.de

Polyvios Pratikakis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
5EEIulian Neamtiu, Michael Hicks, Jeffrey S. Foster, Polyvios Pratikakis: Contextual effects for version-consistent dynamic software updatingalland safe concurrent programming. POPL 2008: 37-49
4EEPolyvios Pratikakis, Jeffrey S. Foster, Michael Hicks, Iulian Neamtiu: Formalizing Soundness of Contextual Effects. TPHOLs 2008: 262-277
2006
3EEPolyvios Pratikakis, Jeffrey S. Foster, Michael W. Hicks: LOCKSMITH: context-sensitive correlation analysis for race detection. PLDI 2006: 320-331
2EEPolyvios Pratikakis, Jeffrey S. Foster, Michael Hicks: Existential Label Flow Inference Via CFL Reachability. SAS 2006: 88-106
2004
1EEPolyvios Pratikakis, Jaime Spacco, Michael W. Hicks: Transparent proxies for java futures. OOPSLA 2004: 206-223

Coauthor Index

1Jeffrey S. Foster [2] [3] [4] [5]
2Michael W. Hicks (Michael Hicks) [1] [2] [3] [4] [5]
3Iulian Neamtiu [4] [5]
4Jaime Spacco [1]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)