| 2009 | ||
|---|---|---|
| 21 | Babak Salamat, Todd Jackson, Andreas Gal, Michael Franz: Orchestra: intrusion detection using parallel execution and monitoring of program variants in user-space. EuroSys 2009: 33-46 | |
| 20 | 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, Rick Reitmaier, Michael Bebenita, Mason Chang, Michael Franz: Trace-based just-in-time type specialization for dynamic languages. PLDI 2009: 465-478 | |
| 19 | Michael Bebenita, Mason Chang, Andreas Gal, Michael Franz: Stream-Based Dynamic Compilation for Object-Oriented Languages. TOOLS (47) 2009: 77-95 | |
| 18 | Mason Chang, Edwin W. Smith, Rick Reitmaier, Michael Bebenita, Andreas Gal, Christian Wimmer, Brendan Eich, Michael Franz: Tracing for web 3.0: trace compilation for the next generation web applications. VEE 2009: 71-80 | |
| 2008 | ||
| 17 | Babak Salamat, Andreas Gal, Todd Jackson, Karthikeyan Manivannan, Gregor Wagner, Michael Franz: Multi-variant Program Execution: Using Multi-core Systems to Defuse Buffer-Overflow Vulnerabilities. CISIS 2008: 843-848 | |
| 16 | Kevin Williams, Albert Noll, Andreas Gal, David Gregg: Optimization strategies for a java virtual machine interpreter on the cell broadband engine. Conf. Computing Frontiers 2008: 189-198 | |
| 15 | Gregor Wagner, Andreas Gal, Michael Franz: Slim VM: optimistic partial program loading for connected embedded Java virtual machines. PPPJ 2008: 117-126 | |
| 14 | Alexander Yermolovich, Andreas Gal, Michael Franz: Portable execution of legacy binaries on the Java virtual machine. PPPJ 2008: 63-72 | |
| 13 | Andreas Gal, Christian W. Probst, Michael Franz: Java bytecode verification via static single assignment form. ACM Trans. Program. Lang. Syst. 30(4): (2008) | |
| 2007 | ||
| 12 | Michael Bebenita, Andreas Gal, Michael Franz: Implementing fast JVM interpreters using Java itself. PPPJ 2007: 145-154 | |
| 11 | Michael Franz, Andreas Gal, Christian W. Probst: Automatic generation of machine emulators: Efficient synthesis of robust virtual machines for legacy software migration. Software Engineering 2007: 83-94 | |
| 2006 | ||
| 10 | Christian W. Probst, Andreas Gal, Robert Grimm, Olaf Spinczyk: Linguistic support for modern operating systems workshop on programming languages and operating systems 2006 (PLOS 2006). PLOS 2006: 1 | |
| 9 | Michael Stilkerich, Christian Wawersich, Andreas Gal, Wolfgang Schröder-Preikschat, Michael Franz: OSEK/VDX API for Java. PLOS 2006: 4 | |
| 8 | Andreas Gal, Christian W. Probst, Michael Franz: HotpathVM: an effective JIT compiler for resource-constrained devices. VEE 2006: 144-153 | |
| 2005 | ||
| 7 | Andreas Gal, Christian W. Probst, Michael Franz: Integrated Java Bytecode Verification. Electr. Notes Theor. Comput. Sci. 131: 27-38 (2005) | |
| 6 | Andreas Gal, Christian W. Probst, Michael Franz: Structural Encoding of Static Single Assignment Form. Electr. Notes Theor. Comput. Sci. 141(2): 85-102 (2005) | |
| 5 | Peter H. Fröhlich, Andreas Gal, Michael Franz: Supporting software composition at the programming language level. Sci. Comput. Program. 56(1-2): 41-57 (2005) | |
| 4 | Michael Franz, Deepak Chandra, Andreas Gal, Vivek Haldar, Christian W. Probst, Fermín Reig, Ning Wang: A portable virtual machine target for proof-carrying code. Sci. Comput. Program. 57(3): 275-294 (2005) | |
| 2004 | ||
| 3 | Olaf Spinczyk, Michael Schoettner, Andreas Gal: Programming Languages and Operating Systems. ECOOP Workshops 2004: 202-213 | |
| 2002 | ||
| 2 | Andreas Gal, Olaf Spinczyk, Darío Álvarez Gutiérrez: Object-Orientation and Operating Systems. ECOOP Workshops 2002: 174-183 | |
| 1 | Andreas Gal, Olaf Spinczyk, Wolfgang Schröder-Preikschat: On Aspect-Orientation in Distributed Real-time Dependable Systems. WORDS 2002: 261-270 | |