|
Language Design — Research Program
- Flapjax: A Programming Language for Ajax Applications
- CZ: Multiple Inheritance without Diamonds
- Empirical Assessment of Object-Oriented Implementations with Multiple Inheritance and Static Typing
|
|
Concurrency — Research Program
- Parallel Programming with Object Assemblies
- Grace: Safe Multithreaded Programming for C/C++
- A Type and Effect System for Deterministic Parallel Java
- Thorn---Robust, Concurrent, Extensible Scripting on the JVM
|
|
Static Analysis and Types — Research Program
- Strictly Declarative Specification of Sophisticated Points-to Analyses
- Self Type Constructors
- Profile-Guided Static Typing for Dynamic Scripting Languages
|
|
Evolution and Transformation — Research Program
- Enhancing Source-Level Programming Tools with An Awareness of Transparent Program Transformations
- Static Extraction and Conformance Analysis of Hierarchical Runtime Architectural Structure using Annotations
- Demystifying Model Transformations: An Approach Based on Automated Rule Inference
|
|
Memory — Research Program
- Allocation Wall: a Limiting Factor of Java Applications on Emerging Multi-core Platforms
- NUMA-Aware Memory Manager with Thread Affinity Based Object Copying
- Executing Code in the Past: Efficient In-Memory Object Graph Versioning
|
|
Language Implementation — Research Program
- Optimizing Programs with Intended Semantics
- Minimizing Dependencies within Generic Classes for Faster and Smaller Programs
- Providing Rapid Feedback in Generated Modular Language Environments. Adding Error Recovery to Scannerless Generalized-LR Parsing
|
Please email any questions to
.
This e-mail address is being protected from spambots. You need JavaScript enabled to view it