Polyvios Pratikakis

PhD Student

Office: A.V.Williams Building, Room 4132
Computer Science Department
University of Maryland

Office Phone: (301)-405-2722
Email: [polyvios at cs dot umd dot edu]

I am graduating this year and looking for employment. Here are my CV and my research statement.

Publications

Research

I am working with Prof. Mike Hicks and Prof. Jeff Foster. I have worked on the following research projects:

Locksmith: A tool for finding races in C programs.
Transparent Proxies for Java
Existential context sensitivity in label flow analysis. We formalized a framework for flow analysis that supports existentially quantified types. Context sensitivity is achieved efficiently by encoding of the analysis as a CFL reachability problem. In proving our system's soundness, we have formalized a "copying" system that simulates inlining of functions in every calling context. We proved the copying system sound and reduced our (much more efficient) CFL-reachability formulation to it.

Teaching

TA for CMSC424 in Fall2002.
TA for CMSC424 in Spring2003.

Polyvios Pratikakis

Publications

Research

Teaching

Links