M. Franz

发表

Automatic Partitioning of Object-Oriented Programs with Multiple Distribution Objectives

Lei Wang, M. Franz, 2007 .

Proofing : An Efficient and Safe Alternative to Mobile-Code Verification

Christian W. Probst, M. Franz, C. Probst, 2003 .

Trace-based just-in-time type specialization for dynamic languages

Mason Chang, Mohammad R. Haghighat, Michael Franz, 2009, PLDI '09.

Splitting Data Objects to Increase Cache Utilization ( Preliminary Version , 9 th October 1998 )

M. Franz, T. Kistler, 1998 .

Proo ng : E cient SSA-based Java Veri cation

Christian W. Probst, M. Franz, C. Probst, 2004 .

A Type-Safe Mobile-Code Representation Aimed at Supporting Dynamic Optimization At The Target Site

M. Franz, W. Amme, N. Dalton, 2007 .

Compiler Optimizations Should Pay for Themselves Applying the Spirit of Oberon to Code Optimization by Compiler

M. Franz, 1998 .

Preliminary Version Integrated Java Bytecode Verification

Christian W. Probst, M. Franz, C. Probst, 2005 .

Stream-Based Dynamic Compilation for Object-Oriented Languages

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

Implementing fast JVM interpreters using Java itself

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

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

Mason Chang, Andreas Gal, Michael Bebenita, 2007 .

On the architecture of software component systems

M. Franz, M. Franz, Michael Franz, 1998, Systems Implementation 2000.

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

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

Automated Layout of Data Members for Type-Safe Languages (Extended Abstract)

Michael Franz, Thomas Kistler, M. Franz, 1998 .

A Tree-Based Alternative to Java Byte-Codes

Michael Franz, Thomas Kistler, M. Franz, 1999, International Journal of Parallel Programming.

Upcompiling Legacy Code to Java

Stefan Brunthaler, Michael Franz, M. Franz, 2012 .

Power reduction techniques for microprocessor systems

Michael Franz, Vasanth Venkatachalam, M. Franz, 2005, CSUR.

Supporting software composition at the programming language level

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

HotpathVM: an effective JIT compiler for resource-constrained devices

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

Automatic Partitioning of Object-Oriented Programs for Resource-Constrained Mobile Devices with Multiple Distribution Objectives

Lei Wang, Michael Franz, Lei Wang, 2008, 2008 14th IEEE International Conference on Parallel and Distributed Systems.

Continuous program optimization: A case study

Michael Franz, Thomas Kistler, M. Franz, 2003, TOPL.

Continuous Program Optimization: Design and Evaluation

Michael Franz, Thomas Kistler, M. Franz, 2001, IEEE Trans. Computers.

An Inherently Type-Safe SSA-based Code Format

Jeffery von Ronne, Wolfram Amme, Michael Franz, 2006 .

Compartmental memory management in a modern web browser

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

Perpetual Adaptation of Software to Hardware: An Extensible Architecture for Providing Code Optimization as a Central System Service

Michael Franz, Thomas Kistler, M. Franz, 1999, ArXiv.

Java bytecode verification via static single assignment form

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

Component-Oriented Programming in Object-Oriented Languages

Michael Franz, Peter H. Fröhlich, M. Franz, 1999 .

Technological Steps toward a Software Component Industry

Michael Franz, M. Franz, 1994, Programming Languages and System Architectures.

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.

Active Integrity Constraints: From Theory to Implementation

Peter Schneider-Kamp, Luís Cruz-Filipe, Michael Franz, 2015, IC3K.

repAIrC: A Tool for Ensuring Data Consistency

Peter Schneider-Kamp, Luís Cruz-Filipe, Michael Franz, 2015, KMIS.

Automated data-member layout of heap objects to improve memory-hierarchy performance

Michael Franz, Thomas Kistler, M. Franz, 2000, TOPL.

A Practical Mobile-Code Format with Linear Verification Effort

Ning Wang, Michael Franz, M. Franz, 2003 .

Slim binaries

Michael Franz, Thomas Kistler, M. Franz, 1997, CACM.

The Case for Dynamic Optimization - Improving Memory-Hierarchy Performance by Continuously Adapting

Michael Franz, Thomas Kistler, M. Franz, 1999 .

Structural Encoding of Static Single Assignment Form

Christian W. Probst, Michael Franz, Andreas Gal, 2005, COCV@ETAPS.

Integrated Java Bytecode Verification

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

A Denial of Service Attack on the Java Bytecode Verifier

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