Andreas Gal

发表

A portable virtual machine target for proof-carrying code

Ning Wang, Michael Franz, Deepak Chandra, 2005, Sci. Comput. Program..

Compiler-Generated Software Diversity

Michael Franz, Christian Wimmer, Babak Salamat, 2011, Moving Target Defense.

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

Michael Franz, Andreas Gal, Christian W. Probst, 2005, NSPW '05.

Stream-Based Dynamic Compilation for Object-Oriented Languages

Michael Franz, Mason Chang, Andreas Gal, 2009, TOOLS.

Object-Orientation and Operating Systems

Darío Álvarez Gutiérrez, Olaf Spinczyk, Andreas Gal, 2002, ECOOP Workshops.

"Slimming" a Java virtual machine by way of cold code removal and optimistic partial program loading

Michael Franz, Andreas Gal, Gregor Wagner, 2011, Sci. Comput. Program..

Compartmental memory management in a modern web browser

Michael Franz, Christian Wimmer, Andreas Gal, 2011, ISMM '11.

Untyped Memory in the Java Virtual Machine

Michael Franz, Andreas Gal, Christian W. Probst, 2005 .

Implementing fast JVM interpreters using Java itself

Michael Franz, Andreas Gal, Michael Bebenita, 2007, PPPJ.

The impact of optional type information on jit compilation of dynamically typed languages

Avik Chaudhuri, Michael Franz, Christian Wimmer, 2011, DLS '11.

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

Michael Franz, Andreas Gal, Christian W. Probst, 2007, Software Engineering.

Code generating routers: a network-centric approach to mobile code

Andreas Gal, M. Franz, C. W. Probst, 2003, 2002 14th International Conference on Ion Implantation Technology Proceedings (IEEE Cat. No.02EX505).

Supporting software composition at the programming language level

Michael Franz, Andreas Gal, Peter H. Fröhlich, 2005, Sci. Comput. Program..

A portable Virtual Machine target for Proof-Carrying Code

Michael Franz, Deepak Chandra, Andreas Gal, 2003, IVME '03.

Orchestra: A User Space Multi-Variant Execution Environment

Michael Franz, Babak Salamat, Andreas Gal, 2008 .

Tracing for web 3.0: trace compilation for the next generation web applications

Michael Franz, Christian Wimmer, Mason Chang, 2009, VEE '09.

Incremental Dynamic Code Generation with Trace Trees

Michael Franz, Andreas Gal, 2006 .

Trace-based compilation in execution environments without interpreters

Michael Franz, Christian Wimmer, Mason Chang, 2010, PPPJ.

A Denial of Service Attack on the Java Bytecode Verifier

Michael Franz, Andreas Gal, Christian W. Probst, 2003 .

Automated construction of JavaScript benchmarks

Jan Vitek, Andreas Gal, Gregor Richards, 2011, OOPSLA '11.

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

Michael Franz, Babak Salamat, Andreas Gal, 2009, EuroSys '09.

STROKE IN FABRY DISEASE: GENOTYPE-PHENOTYPE CORRELATION

Andreas Gal, Lionel Ginsberg, Renzo Manara, 2012 .

Java bytecode verification via static single assignment form

Michael Franz, Andreas Gal, Christian W. Probst, 2008, TOPL.

Efficient bytecode verification and compilation in a virtual machine

Michael Franz, Andreas Gal, M. Franz, 2006 .

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

Robert Grimm, Olaf Spinczyk, Andreas Gal, 2006, PLOS '06.

Efcient Execution Model for Component-Oriented Software

Michael Franz, Andreas Gal, Peter Hans Fr, 2002 .

HotpathVM: an effective JIT compiler for resource-constrained devices

Michael Franz, Andreas Gal, Christian W. Probst, 2006, VEE '06.

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

Albert Noll, David Gregg, Andreas Gal, 2008, CF '08.

CellVM: A Homogeneous Virtual Machine Runtime System for a Heterogeneous Single-Chip Multiprocessor

Albert Noll, Andreas Gal, A. Gal, 2008 .

Programming Languages and Operating Systems

Olaf Spinczyk, Michael Schöttner, Andreas Gal, 2004, ECOOP Workshops.

Integrated Java Bytecode Verification

Michael Franz, Andreas Gal, Christian W. Probst, 2005, AIOOL@VMCAI.

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

Christian Steger, Michael Franz, Christian Wimmer, 2009, PPPJ '09.

Reverse Stack Execution

Babak Salamat, Andreas Gal, Alexander Yermolovich, 2007 .

Multi-variant Program Execution: Using Multi-core Systems to Defuse Buffer-Overflow Vulnerabilities

Michael Franz, Babak Salamat, Andreas Gal, 2008, 2008 International Conference on Complex, Intelligent and Software Intensive Systems.

Portable execution of legacy binaries on the Java virtual machine

Michael Franz, Andreas Gal, Alexander Yermolovich, 2008, PPPJ '08.

Reverse Stack Execution in a MultiVariant Execution Environment

Michael Franz, Babak Salamat, Andreas Gal, 2012 .

Dynamic Adaptive Power Management For And By A Java Virtual Machine

Michael Franz, Andreas Gal, Michael Rauch, 2006 .

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

Michael Franz, Andreas Gal, Gregor Wagner, 2008, PPPJ '08.

Phase detection using trace compilation

Michael Franz, Christian Wimmer, Mason Chang, 2009, PPPJ '09.

Proceedings of the 5th Workshop on Programming Languages and Operating Systems, PLOS 2009, in Conjunction with the 22nd ACM Symposium on Operating Systems Principles, SOSP 2009: Foreword

Eric Eide, Olaf Spinczyk, Andreas Gal, 2009 .

An Efficient Execution Model for Dynamically Reconfigurable Component Software

Andreas Gal, Peter H. Fröhlich, A. Gal, 2002 .

On Reconciling Objects, Components, and Eciency in Programming Languages

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

Learning from Components : Fitting AOP for System Software

Andreas Gal, Michael Franz, 1969 .

Open Components £ [position Paper]

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

Executing Legacy Applications on a Java Operating System

Andreas Gal, Michael Franz, Michael Yang, 2004 .

Making the Compilation “ Pipeline ” Explicit : Dynamic Compilation Using Trace Tree Serialization

Mason Chang, Andreas Gal, Michael Bebenita, 2007 .

Stopping Buffer Overflow Attacks at Run-Time : Simultaneous Multi-Variant Program Execution on a Multicore Processor

Michael Franz, Babak Salamat, Andreas Gal, 2007 .

Efficient Just-InTime Execution of Dynamically Typed Languages Via Code Specialization Using Precise Runtime Type Inference

Mason Chang, Andreas Gal, Michael Bebenita, 2007 .

Build Management for AspectC++∗

Olaf Spinczyk, Andreas Gal, 2002 .

One Method At A Time Is Quite A Waste Of Time

Andreas Gal, Michael Bebenita, Michael Franz, 2007 .