Zdancewic, Stephan A

Email Address
ORCID
Disciplines
Research Projects
Organizational Units
Position
Introduction
Research Interests

Filters

2003 - 200912020 - 20251
2
2
Reset filters

Settings

Search Results

Now showing 1 - 2 of 2
  • Publication
    Formalizing Java-MaC
    (2003-07-13) Sammapun, Usa; Sharykin, Raman; DeLap, Margaret; Kim, Myong; Zdancewic, Stephan A
    The Java-MaC framework is a run-time verification system for Java programs that can be used to dynamically test and enforce safety policies. This paper presents a formal model of the Java-MaC safety properties in terms of an operational semantics for Middleweight Java, a realistic subset of full Java. This model is intended to be used as a framework for studying the correctness of Java-MaC program instrumentation, optimizations, and future experimentation with run-time monitor expressiveness. As a preliminary demonstration of this model's applicability for these tasks, the paper sketches a correctness result for a simple program instrumentation scheme.
  • Publication
    Opportunistic Parallelism for Scripting Languages
    (2025-09-15) Tong, Luke; Zdancewic, Stephan A
    Scripting languages are often used to connect external network calls or native libraries into a cohesive application. Previous work has introduced a novel opportunistic evaluation strategy based on a core lambda calculus. This work introduces a compiler from a subset of Python to an intermediate representation EPIC, which is opportunistically parallel and confluent. This would hopefully allow scripts written in Python to achieve significant performance gains through parallelism while requiring no changes.