2009 |
18 | EE | Mason Chang,
Edwin 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 | EE | 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 | EE | 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 | EE | Gregor Wagner,
Andreas Gal,
Michael Franz:
Slim VM: optimistic partial program loading for connected embedded Java virtual machines.
PPPJ 2008: 117-126 |
14 | EE | Alexander Yermolovich,
Andreas Gal,
Michael Franz:
Portable execution of legacy binaries on the Java virtual machine.
PPPJ 2008: 63-72 |
13 | EE | 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 | EE | 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 | EE | 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 | EE | Michael Stilkerich,
Christian Wawersich,
Andreas Gal,
Wolfgang Schröder-Preikschat,
Michael Franz:
OSEK/VDX API for Java.
PLOS 2006: 4 |
8 | EE | Andreas Gal,
Christian W. Probst,
Michael Franz:
HotpathVM: an effective JIT compiler for resource-constrained devices.
VEE 2006: 144-153 |
2005 |
7 | EE | Andreas Gal,
Christian W. Probst,
Michael Franz:
Integrated Java Bytecode Verification.
Electr. Notes Theor. Comput. Sci. 131: 27-38 (2005) |
6 | EE | 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 | EE | 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 | EE | 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 | EE | Olaf Spinczyk,
Michael Schoettner,
Andreas Gal:
Programming Languages and Operating Systems.
ECOOP Workshops 2004: 202-213 |
2002 |
2 | EE | Andreas Gal,
Olaf Spinczyk,
Darío Álvarez Gutiérrez:
Object-Orientation and Operating Systems.
ECOOP Workshops 2002: 174-183 |
1 | EE | Andreas Gal,
Olaf Spinczyk,
Wolfgang Schröder-Preikschat:
On Aspect-Orientation in Distributed Real-time Dependable Systems.
WORDS 2002: 261-270 |