Searching for authors named "Polyvios Pratikakis" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

6 documents found, showing 1 through 6.

Transparent proxies for java futures
by Polyvios Pratikakis, Michael Hicks, Jaime Spacco — 2004 — In Proceedings of the nineteenth annual
…A proxy object is a surrogate or placeholder that controls access to another target object. Proxies can be used to support distributed programming, lazy or parallel evaluation, access control, and other simple forms of behavioral reflection. However, wrapper proxies (like futures or suspensions for …
Cited by 14 (1 self) – Add To MetaCart

Existential Label Flow Inference via CFL Reachability
by Polyvios Pratikakis, Michael Hicks, Jeffrey S. Foster — 2005 — In SAS‘06
…Label flow analysis is a fundamental static analysis problem with a wide variety of applications. Previous work by Mossin developed a polynomial time subtyping-based label flow inference that supports Hindley-Milner style polymorphism with polymorphic recursion. Rehof et al have developed an efficie…
Cited by 3 (3 self) – Add To MetaCart

Locksmith: Practical Static Race Detection for C
by Polyvios Pratikakis, Jeffrey S. Foster, Michael Hicks
…Locksmith is a static analysis tool for automatically detecting data races in C programs. In this paper, we describe each of Locksmith’s component analyses precisely, and present systematic measurements that isolate interesting tradeoffs between precision and efficiency in each analysis. Using a ben…
Add To MetaCart

Formalizing Soundness of Contextual Effects
by Polyvios Pratikakis, Jeffrey S. Foster, Michael Hicks, Iulian Neamtiu
…Abstract. A contextual effects system generalizes standard type and effect systems: where a standard effects system computes the effect of an expression e, a contextual effects system additionally computes the prior and future effect of e, which characterize the behavior of computation prior to, and…
Add To MetaCart

Contextual Effects for Version-Consistent Dynamic Software Updating and Safe Concurrent Programming ∗ Abstract
by Iulian Neamtiu, Michael Hicks, Jeffrey S. Foster, Polyvios Pratikakis
…This paper presents a generalization of standard effect systems that we call contextual effects. A traditional effect system computes the effect of an expression e. Our system additionally computes the effects of the computational context in which e occurs. More specifically, we compute the effect o…
Cited by 2 (1 self) – Add To MetaCart

Refereed Publications [1] Type-Preserving Compilation for Realistic Object-Oriented Compilers
by Polyvios Pratikakis, Advisor Michael Hicks, Coadvisor Jeffrey Foster, Advisors Michael Hicks, Jeffrey Foster, Mentor Chris Hawblitzel — 2002
…Worked on formalization and proof of soundness for Contextual Effects, and encoding and mechanization of proof in Coq.…
Add To MetaCart

Showing 1 through 6.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB