Andreas Gal

31 papers A* 1A 2B 2C 6Misc 1Journal 4Unranked 14
YearRankTypeTitle / Venue / Authors
2011 J jnl
"Slimming" a Java virtual machine by way of cold code removal and optimistic partial program loading.
Sci. Comput. Program.
Gregor Wagner, Andreas Gal, Michael Franz
2011 A conf
Automated construction of JavaScript benchmarks.
OOPSLA
Gregor Richards, Andreas Gal, Brendan Eich, Jan Vitek
2011 C conf
Compartmental memory management in a modern web browser.
ISMM
Gregor Wagner, Andreas Gal, Christian Wimmer, Brendan Eich, Michael Franz
2011 — ch.
Compiler-Generated Software Diversity.
Moving Target Defense
Todd Jackson, Babak Salamat, Andrei Homescu, Karthikeyan Manivannan, Gregor Wagner, Andreas Gal, Stefan Brunthaler, Christian Wimmer, Michael Franz
2011 C conf
The impact of optional type information on jit compilation of dynamically typed languages.
DLS
Mason Chang, Bernd Mathiske, Edwin W. Smith, Avik Chaudhuri, Andreas Gal, Michael Bebenita, Christian Wimmer, Michael Franz
2010 — conf
Trace-based compilation in execution environments without interpreters.
PPPJ
Michael Bebenita, Mason Chang, Gregor Wagner, Andreas Gal, Christian Wimmer, Michael Franz
2009 A conf
Orchestra: intrusion detection using parallel execution and monitoring of program variants in user-space.
EuroSys
Babak Salamat, Todd Jackson, Andreas Gal, Michael Franz
2009 — conf
Phase detection using trace compilation.
PPPJ
Christian Wimmer, Marcelo Silva Cintra, Michael Bebenita, Mason Chang, Andreas Gal, Michael Franz
2009 — conf
SlimVM: a small footprint Java virtual machine for connected embedded systems.
PPPJ
Christoph Kerschbaumer, Gregor Wagner, Christian Wimmer, Andreas Gal, Christian Steger, Michael Franz
2009 — conf
Stream-Based Dynamic Compilation for Object-Oriented Languages.
TOOLS (47)
Michael Bebenita, Mason Chang, Andreas Gal, Michael Franz
2009 A* conf
Trace-based just-in-time type specialization for dynamic languages.
PLDI
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
2009 B conf
Tracing for web 3.0: trace compilation for the next generation web applications.
VEE
Mason Chang, Edwin W. Smith, Rick Reitmaier, Michael Bebenita, Andreas Gal, Christian Wimmer, Brendan Eich, Michael Franz
2008 J jnl
Java bytecode verification via static single assignment form.
ACM Trans. Program. Lang. Syst.
Andreas Gal, Christian W. Probst, Michael Franz
2008 Misc conf
Multi-variant Program Execution: Using Multi-core Systems to Defuse Buffer-Overflow Vulnerabilities.
CISIS
Babak Salamat, Andreas Gal, Todd Jackson, Karthikeyan Manivannan, Gregor Wagner, Michael Franz
2008 — conf
Optimization strategies for a java virtual machine interpreter on the cell broadband engine.
Conf. Computing Frontiers
Kevin Williams, Albert Noll, Andreas Gal, David Gregg
2008 — conf
Portable execution of legacy binaries on the Java virtual machine.
PPPJ
Alexander Yermolovich, Andreas Gal, Michael Franz
2008 — conf
Slim VM: optimistic partial program loading for connected embedded Java virtual machines.
PPPJ
Gregor Wagner, Andreas Gal, Michael Franz
2007 C conf
Automatic generation of machine emulators: Efficient synthesis of robust virtual machines for legacy software migration.
Software Engineering
Michael Franz, Andreas Gal, Christian W. Probst
2007 — conf
Implementing fast JVM interpreters using Java itself.
PPPJ
Michael Bebenita, Andreas Gal, Michael Franz
2006 B conf
HotpathVM: an effective JIT compiler for resource-constrained devices.
VEE
Andreas Gal, Christian W. Probst, Michael Franz
2006 C conf
Linguistic support for modern operating systems workshop on programming languages and operating systems 2006 (PLOS 2006).
PLOS
Christian W. Probst, Andreas Gal, Robert Grimm, Olaf Spinczyk
2006 C conf
OSEK/VDX API for Java.
PLOS
Michael Stilkerich, Christian Wawersich, Andreas Gal, Wolfgang Schröder-Preikschat, Michael Franz
2005 J jnl
A portable virtual machine target for proof-carrying code.
Sci. Comput. Program.
Michael Franz, Deepak Chandra, Andreas Gal, Vivek Haldar, Christian W. Probst, Fermín Reig, Ning Wang
2005 C conf
Average case vs. worst case: margins of safety in system design.
NSPW
Christian W. Probst, Andreas Gal, Michael Franz
2005 — conf
Integrated Java Bytecode Verification.
AIOOL@VMCAI
Andreas Gal, Christian W. Probst, Michael Franz
2005 — conf
Structural Encoding of Static Single Assignment Form.
COCV
Andreas Gal, Christian W. Probst, Michael Franz
2005 J jnl
Supporting software composition at the programming language level.
Sci. Comput. Program.
Peter H. Fröhlich, Andreas Gal, Michael Franz
2004 — conf
Programming Languages and Operating Systems.
ECOOP Workshops
Olaf Spinczyk, Michael Schöttner, Andreas Gal
2003 — conf
A portable Virtual Machine target for Proof-Carrying Code.
IVME
Michael Franz, Deepak Chandra, Andreas Gal, Vivek Haldar, Fermín Reig, Ning Wang
2002 — conf
Object-Orientation and Operating Systems.
ECOOP Workshops
Andreas Gal, Olaf Spinczyk, Darío Álvarez Gutiérrez
2002 — conf
On Aspect-Orientation in Distributed Real-time Dependable Systems.
WORDS
Andreas Gal, Olaf Spinczyk, Wolfgang Schröder-Preikschat