Join us on:
Facebook
LinkedIn
Plaxo

Research Program

Language Design — Research Program
  1. Flapjax: A Programming Language for Ajax Applications
  2. CZ: Multiple Inheritance without Diamonds
  3. Empirical Assessment of Object-Oriented Implementations with Multiple Inheritance and Static Typing
Concurrency — Research Program
  1. Parallel Programming with Object Assemblies
  2. Grace: Safe Multithreaded Programming for C/C++
  3. A Type and Effect System for Deterministic Parallel Java
  4. Thorn---Robust, Concurrent, Extensible Scripting on the JVM
Reliability and Monitoring — Research Program
  1. How Java VM Can Get More from a Hardware Performance Monitor
  2. A Concurrent Dynamic Analysis Framework for Multicore Hardware
  3. Inferred Call Path Profiling
Software Tools and Libraries — Research Program
  1. Accelerating the Creation of Customized, Language-Specific IDEs in Eclipse
  2. Debug All Your Code: Portable Mixed-Environment Debugging
  3. The Design of a Task Parallel Library
Static Analysis and Types — Research Program
  1. Strictly Declarative Specification of Sophisticated Points-to Analyses
  2. Self Type Constructors
  3. Profile-Guided Static Typing for Dynamic Scripting Languages
Evolution and Transformation — Research Program
  1. Enhancing Source-Level Programming Tools with An Awareness of Transparent Program Transformations
  2. Static Extraction and Conformance Analysis of Hierarchical Runtime Architectural Structure using Annotations
  3. Demystifying Model Transformations: An Approach Based on Automated Rule Inference
Memory — Research Program
  1. Allocation Wall: a Limiting Factor of Java Applications on Emerging Multi-core Platforms
  2. NUMA-Aware Memory Manager with Thread Affinity Based Object Copying
  3. Executing Code in the Past: Efficient In-Memory Object Graph Versioning
Language Implementation — Research Program
  1. Optimizing Programs with Intended Semantics
  2. Minimizing Dependencies within Generic Classes for Faster and Smaller Programs
  3. 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