Object-Orientation and Operating Systems. - Andreas Gal; Olaf Spinczyk; Darío Álvarez Gutiérrez (ECOOP Workshops, 2002)

On Aspect-Orientation in Distributed Real-time Dependable Systems. - Andreas Gal; Olaf Spinczyk; Wolfgang Schröder-Preikschat (WORDS, 2002)

A portable Virtual Machine target for Proof-Carrying Code. - Michael Franz; Deepak Chandra; Andreas Gal; Vivek Haldar; Fermín Reig; Ning Wang (IVME, 2003)

Programming Languages and Operating Systems. - Olaf Spinczyk; Michael Schöttner; Andreas Gal (ECOOP Workshops, 2004)

Average case vs. worst case: margins of safety in system design. - Christian W. Probst; Andreas Gal; Michael Franz (NSPW, 2005)

Integrated Java Bytecode Verification. - Andreas Gal; Christian W. Probst; Michael Franz (AIOOL@VMCAI, 2005)

Structural Encoding of Static Single Assignment Form. - Andreas Gal; Christian W. Probst; Michael Franz (COCV@ETAPS, 2005)

A portable virtual machine target for proof-carrying code. - Michael Franz; Deepak Chandra; Andreas Gal; Vivek Haldar; Christian W. Probst; Fermín Reig; Ning Wang (Sci. Comput. Program., 2005)

Supporting software composition at the programming language level. - Peter H. Fröhlich; Andreas Gal; Michael Franz (Sci. Comput. Program., 2005)

Linguistic support for modern operating systems workshop on programming languages and operating systems 2006 (PLOS 2006). - Christian W. Probst; Andreas Gal; Robert Grimm 001; Olaf Spinczyk (PLOS, 2006)

OSEK/VDX API for Java. - Michael Stilkerich; Christian Wawersich; Andreas Gal; Wolfgang Schröder-Preikschat; Michael Franz (PLOS, 2006)

HotpathVM: an effective JIT compiler for resource-constrained devices. - Andreas Gal; Christian W. Probst; Michael Franz (VEE, 2006)

Implementing fast JVM interpreters using Java itself. - Michael Bebenita; Andreas Gal; Michael Franz (PPPJ, 2007)

Automatic generation of machine emulators: Efficient synthesis of robust virtual machines for legacy software migration. - Michael Franz; Andreas Gal; Christian W. Probst (Software Engineering, 2007)

Optimization strategies for a java virtual machine interpreter on the cell broadband engine. - Kevin Williams 001; Albert Noll; Andreas Gal; David Gregg (Conf. Computing Frontiers, 2008)

Multi-variant Program Execution: Using Multi-core Systems to Defuse Buffer-Overflow Vulnerabilities. - Babak Salamat; Andreas Gal; Todd Jackson; Karthikeyan Manivannan; Gregor Wagner; Michael Franz (CISIS, 2008)

Slim VM: optimistic partial program loading for connected embedded Java virtual machines. - Gregor Wagner; Andreas Gal; Michael Franz (PPPJ, 2008)

Portable execution of legacy binaries on the Java virtual machine. - Alexander Yermolovich; Andreas Gal; Michael Franz (PPPJ, 2008)

Java bytecode verification via static single assignment form. - Andreas Gal; Christian W. Probst; Michael Franz (ACM Trans. Program. Lang. Syst., 2008)

Orchestra: intrusion detection using parallel execution and monitoring of program variants in user-space. - Babak Salamat; Todd Jackson; Andreas Gal; Michael Franz (EuroSys, 2009)

Trace-based just-in-time type specialization for dynamic languages. - Andreas Gal; Brendan Eich; Mike Shaver; David Anderson; David Mandelin; Mohammad R. Haghighat; Blake Kaplan; Graydon Hoare; Boris Zbarsky; Jason Orendorff; Jesse Ruderman; Edwin W. Smith; et al. (PLDI, 2009)

SlimVM: a small footprint Java virtual machine for connected embedded systems. - Christoph Kerschbaumer; Gregor Wagner; Christian Wimmer; Andreas Gal; Christian Steger; Michael Franz (PPPJ, 2009)

Phase detection using trace compilation. - Christian Wimmer; Marcelo Silva Cintra; Michael Bebenita; Mason Chang; Andreas Gal; Michael Franz (PPPJ, 2009)

Stream-Based Dynamic Compilation for Object-Oriented Languages. - Michael Bebenita; Mason Chang; Andreas Gal; Michael Franz (TOOLS (47), 2009)

Tracing for web 3.0: trace compilation for the next generation web applications. - Mason Chang; Edwin W. Smith; Rick Reitmaier; Michael Bebenita; Andreas Gal; Christian Wimmer; Brendan Eich; Michael Franz (VEE, 2009)

Trace-based compilation in execution environments without interpreters. - Michael Bebenita; Mason Chang; Gregor Wagner; Andreas Gal; Christian Wimmer; Michael Franz (PPPJ, 2010)

The impact of optional type information on jit compilation of dynamically typed languages. - Mason Chang; Bernd Mathiske; Edwin W. Smith; Avik Chaudhuri; Andreas Gal; Michael Bebenita; Christian Wimmer; Michael Franz (DLS, 2011)

Compartmental memory management in a modern web browser. - Gregor Wagner; Andreas Gal; Christian Wimmer; Brendan Eich; Michael Franz (ISMM, 2011)

Automated construction of JavaScript benchmarks. - Gregor Richards; Andreas Gal; Brendan Eich; Jan Vitek (OOPSLA, 2011)

"Slimming" a Java virtual machine by way of cold code removal and optimistic partial program loading. - Gregor Wagner; Andreas Gal; Michael Franz (Sci. Comput. Program., 2011)

Compiler-Generated Software Diversity. - Todd Jackson; Babak Salamat; Andrei Homescu; Karthikeyan Manivannan; Gregor Wagner; Andreas Gal; Stefan Brunthaler 001; Christian Wimmer; Michael Franz (Moving Target Defense, 2011)