- Aspectizing Server-Side Distribution We discuss how a collection of domain-specific and
- cJ: Enhancing Java with Safe Type Conditions Shan Shan Huang David Zook
- Application Generators Yannis Smaragdakis and Don Batory
- Morphing Software for Easier Evolution Shan Shan Huang1,2
- Program Generators and the Tools to Make Them Yannis Smaragdakis, Shan Shan Huang, David Zook
- Generating AspectJ Programs with Meta-AspectJ
- J-Orchestra: Enhancing Java Programs with Distribution Capabilities
- DySy: Dynamic Symbolic Execution for Invariant Inference Christoph Csallner
- Ioannis Smaragdakis Implementing Large-Scale Object-Oriented Components
- A New Java Runtime for a Parallel World Christoph Reichenbach
- Layered Development with (Unix) Dynamic Libraries Abstract. Layered software development has demonstrably good reuse proper-
- Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are
- Noname manuscript No. (will be inserted by the editor)
- Transactions with Isolation and Cooperation Yannis Smaragdakis Anthony Kay Reimer Behrends Michal Young
- Appletizing: Running Legacy Java Code Remotely From a Web Browser Eli Tilevich, Yannis Smaragdakis Marcus Handte
- General and Efficient Locking without Blocking Yannis Smaragdakis Anthony Kay Reimer Behrends Michal Young
- Statically Safe Program Generation with Shan Shan Huang David Zook Yannis Smaragdakis
- Adaptive Locks: Combining Transactions and Locks for Efficient Concurrency Takayuki Usui
- Taming the Wildcards: Combining Definition-and Use-Site Variance
- Resolving and Exploiting the k-CFA Paradox Illuminating Functional vs. Object-Oriented Program Analysis
- Morphing: Structurally Shaping a Class by Reflecting on Others
- Adaptive Locks: Combining Transactions and Locks for Efficient Concurrency
- Adaptive Locks: Combining Transactions and Locks for Efficient Concurrency Takayuki Usui, Reimer Behrends
- Strictly Declarative Specification of Sophisticated Points-to Analyses Martin Bravenboer Yannis Smaragdakis
- Exception Analysis and Points-to Analysis: Better Together Martin Bravenboer
- Expressive and Safe Static Reflection with MorphJ Shan Shan Huang
- Statically Safe Program Generation with Shan Shan Huang, David Zook, and Yannis Smaragdakis
- Scoping Constructs for Software Generators Yannis Smaragdakis and Don Batory
- DiSTiL is a software generator that implements a declarative domain-specific language (DSL) for con-
- DSD-Crasher: A Hybrid Analysis Tool for Bug CHRISTOPH CSALLNER
- SOFTWARE--PRACTICE AND EXPERIENCE Softw. Pract. Exper. 2000; 00:17 Prepared using speauth.cls [Version: 2002/09/23 v2.2]
- J-Orchestra: Automatic Java Application Partitioning Eli Tilevich and Yannis Smaragdakis
- J-Orchestra: Automatic Java Application Partitioning Eli Tilevich and Yannis Smaragdakis
- NRMI: Natural and Efficient Middleware Eli Tilevich and Yannis Smaragdakis
- Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed
- Automatic Partitioning: A Promising Approach to Prototyping Ubiquitous Computing Applications
- Automatic Application Partitioning: The J-Orchestra approach
- General Adaptive Replacement Policies Yannis Smaragdakis
- ... A B C A D E A... Asecond Athird
- Trace Reduction for Virtual Memory Simulations Scott F. Kaplan, Yannis Smaragdakis, and Paul R. Wilson
- Mixin Layers: An Object-Oriented Implementation Technique for Refinements and Collaboration-Based Designs
- Mixin-Based Programming in C++1 Abstract. Combinations of C++ features, like inheritance, templates, and class
- Morphing: Safely Shaping a Class in the Image of Others
- Easy Language Extension with Meta-AspectJ Shan Shan Huang, Yannis Smaragdakis
- Adaptive Caches: Effective Shaping of Cache Behavior to Workloads Ranjith Subramanian Yannis Smaragdakis
- DSD-Crasher: A Hybrid Analysis Tool for Bug Finding Christoph Csallner, Yannis Smaragdakis
- Domain-Specific Languages and Program Generation with Meta-AspectJ
- The Case for Compressed Caching in Virtual Memory Systems Paul R. Wilson, Scott F. Kaplan, and Yannis Smaragdakis
- Performing Replacement in Modem Pools Yannis Smaragdakis
- Using Datalog for Fast and Easy Program Analysis Yannis Smaragdakis1,2
- Sound Predictive Race Detection in Polynomial Time Yannis Smaragdakis
