Andreas Gal

According to our database, Andreas Gal authored at least 31 papers between 2002 and 2011.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2011

Compiler-Generated Software Diversity.

Todd Jackson, Babak Salamat, Andrei Homescu, Karthikeyan Manivannan, Gregor Wagner, Andreas Gal, Stefan Brunthaler, Christian Wimmer, Michael Franz

Proceedings of the Moving Target Defense, 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

Automated construction of JavaScript benchmarks.

Gregor Richards, Andreas Gal, Brendan Eich, Jan Vitek

Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

Compartmental memory management in a modern web browser.

Gregor Wagner, Andreas Gal, Christian Wimmer, Brendan Eich, Michael Franz

Proceedings of the 10th International Symposium on Memory Management, 2011

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

Proceedings of the 7th Symposium on Dynamic Languages, 2011

2010

Trace-based compilation in execution environments without interpreters.

Michael Bebenita, Mason Chang, Gregor Wagner, Andreas Gal, Christian Wimmer, Michael Franz

Proceedings of the 8th International Conference on Principles and Practice of Programming in Java, 2010

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

Proceedings of the 5th International Conference on Virtual Execution Environments, 2009

Stream-Based Dynamic Compilation for Object-Oriented Languages.

Michael Bebenita, Mason Chang, Andreas Gal, Michael Franz

Proceedings of the Objects, Components, Models and Patterns, 47th International Conference, 2009

Phase detection using trace compilation.

Christian Wimmer, Marcelo Silva Cintra, Michael Bebenita, Mason Chang, Andreas Gal, Michael Franz

Proceedings of the 7th International Conference on Principles and Practice of Programming in Java, 2009

SlimVM: a small footprint Java virtual machine for connected embedded systems.

Christoph Kerschbaumer, Gregor Wagner, Christian Wimmer, Andreas Gal, Christian Steger, Michael Franz

Proceedings of the 7th International Conference on Principles and Practice of Programming in Java, 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, Rick Reitmaier, Michael Bebenita, Mason Chang, Michael Franz

Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2009

Orchestra: intrusion detection using parallel execution and monitoring of program variants in user-space.

Babak Salamat, Todd Jackson, Andreas Gal, Michael Franz

Proceedings of the 2009 EuroSys Conference, Nuremberg, Germany, April 1-3, 2009, 2009

2008

Java bytecode verification via static single assignment form.

Andreas Gal, Christian W. Probst, Michael Franz

ACM Trans. Program. Lang. Syst., 2008

Portable execution of legacy binaries on the Java virtual machine.

Alexander Yermolovich, Andreas Gal, Michael Franz

Proceedings of the 6th International Symposium on Principles and Practice of Programming in Java, 2008

Slim VM: optimistic partial program loading for connected embedded Java virtual machines.

Gregor Wagner, Andreas Gal, Michael Franz

Proceedings of the 6th International Symposium on Principles and Practice of Programming in Java, 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

Proceedings of the Second International Conference on Complex, 2008

Optimization strategies for a java virtual machine interpreter on the cell broadband engine.

Kevin Williams, Albert Noll, Andreas Gal, David Gregg

Proceedings of the 5th Conference on Computing Frontiers, 2008

2007

Automatic generation of machine emulators: Efficient synthesis of robust virtual machines for legacy software migration.

Michael Franz, Andreas Gal, Christian W. Probst

Proceedings of the Software Engineering 2007, 2007

Implementing fast JVM interpreters using Java itself.

Michael Bebenita, Andreas Gal, Michael Franz

Proceedings of the 5th International Symposium on Principles and Practice of Programming in Java, 2007

2006

HotpathVM: an effective JIT compiler for resource-constrained devices.

Andreas Gal, Christian W. Probst, Michael Franz

Proceedings of the 2nd International Conference on Virtual Execution Environments, 2006

OSEK/VDX API for Java.

Michael Stilkerich, Christian Wawersich, Andreas Gal, Wolfgang Schröder-Preikschat, Michael Franz

Proceedings of the 3rd Workshop on Programming Languages and Operating Systems: Linguistic Support for Modern Operating Systems, 2006

Linguistic support for modern operating systems workshop on programming languages and operating systems 2006 (PLOS 2006).

Christian W. Probst, Andreas Gal, Robert Grimm, Olaf Spinczyk

Proceedings of the 3rd Workshop on Programming Languages and Operating Systems: Linguistic Support for Modern Operating Systems, 2006

2005

Supporting software composition at the programming language level.

Peter H. Fröhlich, Andreas Gal, Michael Franz

Sci. Comput. Program., 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

Structural Encoding of Static Single Assignment Form.

Andreas Gal, Christian W. Probst, Michael Franz

Proceedings of the Fourth International Workshop on Compiler Optimization meets Compiler Verification, 2005

Integrated Java Bytecode Verification.

Andreas Gal, Christian W. Probst, Michael Franz

Proceedings of the First International Workshop on Abstract Interpretation of Object-oriented Languages, 2005

Average case vs. worst case: margins of safety in system design.

Christian W. Probst, Andreas Gal, Michael Franz

Proceedings of the New Security Paradigms Workshop 2005, 2005

2004

Programming Languages and Operating Systems.

Olaf Spinczyk, Michael Schöttner, Andreas Gal

Proceedings of the Object-Oriented Technology: ECOOP 2004 Workshop Reader, 2004

2003

A portable Virtual Machine target for Proof-Carrying Code.

Michael Franz, Deepak Chandra, Andreas Gal, Vivek Haldar, Fermín Reig, Ning Wang

Proceedings of the 2003 Workshop on Interpreters, Virtual Machines and Emulators, 2003

2002

On Aspect-Orientation in Distributed Real-time Dependable Systems.

Andreas Gal, Olaf Spinczyk, Wolfgang Schröder-Preikschat

Proceedings of the 7th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2002), 2002

Object-Orientation and Operating Systems.

Andreas Gal, Olaf Spinczyk, Darío Álvarez Gutiérrez

Proceedings of the Object-Oriented Technology, 2002