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