Andreas Gal

Publication Activity (10 Years)

Years Active: 2002-2011
Publications (10 Years): 0

Publications

Mason Chang, Bernd Mathiske, Edwin W. Smith, Avik Chaudhuri, Andreas Gal, Michael Bebenita, Christian Wimmer, Michael Franz
The impact of optional type information on jit compilation of dynamically typed languages. DLS (2011)
Gregor Wagner, Andreas Gal, Christian Wimmer, Brendan Eich, Michael Franz
Compartmental memory management in a modern web browser. ISMM (2011)
Gregor Wagner, Andreas Gal, Michael Franz
"Slimming" a Java virtual machine by way of cold code removal and optimistic partial program loading. Sci. Comput. Program. 76 (11) (2011)
Gregor Richards, Andreas Gal, Brendan Eich, Jan Vitek
Automated construction of JavaScript benchmarks. OOPSLA (2011)
Michael Bebenita, Mason Chang, Gregor Wagner, Andreas Gal, Christian Wimmer, Michael Franz
Trace-based compilation in execution environments without interpreters. PPPJ (2010)
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)
Christoph Kerschbaumer, Gregor Wagner, Christian Wimmer, Andreas Gal, Christian Steger, Michael Franz
SlimVM: a small footprint Java virtual machine for connected embedded systems. PPPJ (2009)
Michael Bebenita, Mason Chang, Andreas Gal, Michael Franz
Stream-Based Dynamic Compilation for Object-Oriented Languages. TOOLS (47) (2009)
Christian Wimmer, Marcelo Silva Cintra, Michael Bebenita, Mason Chang, Andreas Gal, Michael Franz
Phase detection using trace compilation. PPPJ (2009)
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)
Babak Salamat, Todd Jackson, Andreas Gal, Michael Franz
Orchestra: intrusion detection using parallel execution and monitoring of program variants in user-space. EuroSys (2009)
Alexander Yermolovich, Andreas Gal, Michael Franz
Portable execution of legacy binaries on the Java virtual machine. PPPJ (2008)
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)
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)
Andreas Gal, Christian W. Probst, Michael Franz
Java bytecode verification via static single assignment form. ACM Trans. Program. Lang. Syst. 30 (4) (2008)
Gregor Wagner, Andreas Gal, Michael Franz
Slim VM: optimistic partial program loading for connected embedded Java virtual machines. PPPJ (2008)
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)
Michael Bebenita, Andreas Gal, Michael Franz
Implementing fast JVM interpreters using Java itself. PPPJ (2007)
Michael Stilkerich, Christian Wawersich, Andreas Gal, Wolfgang Schröder-Preikschat, Michael Franz
OSEK/VDX API for Java. PLOS (2006)
Andreas Gal, Christian W. Probst, Michael Franz
HotpathVM: an effective JIT compiler for resource-constrained devices. VEE (2006)
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)
Andreas Gal, Christian W. Probst, Michael Franz
Integrated Java Bytecode Verification. Electron. Notes Theor. Comput. Sci. 131 (2005)
Peter H. Fröhlich, Andreas Gal, Michael Franz
Supporting software composition at the programming language level. Sci. Comput. Program. 56 (1-2) (2005)
Christian W. Probst, Andreas Gal, Michael Franz
Average case vs. worst case: margins of safety in system design. NSPW (2005)
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) (2005)
Andreas Gal, Christian W. Probst, Michael Franz
Structural Encoding of Static Single Assignment Form. Electron. Notes Theor. Comput. Sci. 141 (2) (2005)
Olaf Spinczyk, Michael Schöttner, Andreas Gal
Programming Languages and Operating Systems. ECOOP Workshops (2004)
Michael Franz, Deepak Chandra, Andreas Gal, Vivek Haldar, Fermín Reig, Ning Wang
A portable Virtual Machine target for Proof-Carrying Code. IVME (2003)
Andreas Gal, Olaf Spinczyk, Darío Álvarez Gutiérrez
Object-Orientation and Operating Systems. ECOOP Workshops (2002)
Andreas Gal, Olaf Spinczyk, Wolfgang Schröder-Preikschat
On Aspect-Orientation in Distributed Real-time Dependable Systems. WORDS (2002)