Michael Franz - researchr alias

researchr

You are not signed in
Sign in
Sign up

2011

2010

Trace-based compilation in execution environments without interpretersMichael Bebenita, Mason Chang, Gregor Wagner, Andreas Gal, Christian Wimmer, Michael Franz. pppj 2010: 59-68 [doi]

Twenty-Sixth Annual Computer Security Applications Conference, ACSAC 2010, Austin, Texas, USA, 6-10 December 2010Carrie Gates, Michael Franz, John P. McDermott, editors, ACM, 2010.

Linear scan register allocation on SSA formChristian Wimmer, Michael Franz. CGO 2010: 170-179 [doi]

2009

The effectiveness of producer-side machine-independent optimizations for mobile codeWolfram Amme, Jeffery von Ronne, Philipp Adler, Michael Franz. SPE, 39(10):923-946, 2009. [doi]

Stream-Based Dynamic Compilation for Object-Oriented LanguagesMichael Bebenita, Mason Chang, Andreas Gal, Michael Franz. TOOLS 2009: 77-95 [doi]

Tracing for web 3.0: trace compilation for the next generation web applicationsMason Chang, Edwin W. Smith, Rick Reitmaier, Michael Bebenita, Andreas Gal, Christian Wimmer, Brendan Eich, Michael Franz. vee 2009: 71-80 [doi]

Trace-based just-in-time type specialization for dynamic languagesAndreas 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. PLDI 2009: 465-478 [doi]

SlimVM: a small footprint Java virtual machine for connected embedded systemsChristoph Kerschbaumer, Gregor Wagner, Christian Wimmer, Andreas Gal, Christian Steger, Michael Franz. pppj 2009: 133-142 [doi]

Orchestra: intrusion detection using parallel execution and monitoring of program variants in user-spaceBabak Salamat, Todd Jackson, Andreas Gal, Michael Franz. eurosys 2009: 33-46 [doi]

Phase detection using trace compilationChristian Wimmer, Marcelo Silva Cintra, Michael Bebenita, Mason Chang, Andreas Gal, Michael Franz. pppj 2009: 172-181 [doi]

Mostly static program partitioning of binary executablesEfe Yardimci, Michael Franz. TOPLAS, 31(5), 2009. [doi]

Optimization of dynamic languages using hierarchical layering of virtual machinesAlexander Yermolovich, Christian Wimmer, Michael Franz. DLS 2009: 79-88 [doi]

2008

Eliminating Trust From Application Programs By Way Of Software ArchitectureMichael Franz. se 2008: 112-126

Java bytecode verification via static single assignment formAndreas Gal, Christian W. Probst, Michael Franz. TOPLAS, 30(4), 2008. [doi]

Multi-variant Program Execution: Using Multi-core Systems to Defuse Buffer-Overflow VulnerabilitiesBabak Salamat, Andreas Gal, Todd Jackson, Karthikeyan Manivannan, Gregor Wagner, Michael Franz. cisis 2008: 843-848 [doi]

Slim VM: optimistic partial program loading for connected embedded Java virtual machinesGregor Wagner, Andreas Gal, Michael Franz. pppj 2008: 117-126 [doi]

Automatic Partitioning of Object-Oriented Programs for Resource-Constrained Mobile Devices with Multiple Distribution ObjectivesLei Wang, Michael Franz. icpads 2008: 369-376 [doi]

Portable execution of legacy binaries on the Java virtual machineAlexander Yermolovich, Andreas Gal, Michael Franz. pppj 2008: 63-72 [doi]

2007

SSA-based mobile code: Implementation and empirical evaluationWolfram Amme, Jeffery von Ronne, Michael Franz. taco, 4(2), 2007. [doi]

Implementing fast JVM interpreters using Java itselfMichael Bebenita, Andreas Gal, Michael Franz. pppj 2007: 145-154 [doi]

Fine-Grained Information Flow Analysis and Enforcement in a Java Virtual MachineDeepak Chandra, Michael Franz. acsac 2007: 463-475 [doi]

Containing the Ultimate Trojan HorseMichael Franz. ieeesp, 5(4):52-56, 2007. [doi]

Automatic generation of machine emulators: Efficient synthesis of robust virtual machines for legacy software migrationMichael Franz, Andreas Gal, Christian W. Probst. se 2007: 83-94

A new way of estimating compute-boundedness and its application to dynamic voltage scalingVasanth Venkatachalam, Michael Franz, Christian W. Probst. ijes, 3(1/2):17-30, 2007. [doi]

2006

HotpathVM: an effective JIT compiler for resource-constrained devicesAndreas Gal, Christian W. Probst, Michael Franz. vee 2006: 144-153 [doi]

OSEK/VDX API for JavaMichael Stilkerich, Christian Wawersich, Andreas Gal, Wolfgang Schröder-Preikschat, Michael Franz. asplos 2006: 4 [doi]

Dynamic parallelization and mapping of binary executables on hierarchical platformsEfe Yardimci, Michael Franz. cf 2006: 127-138 [doi]

2005

Quantifying the Benefits of SSA-Based Mobile CodeWolfram Amme, Jeffery von Ronne, Michael Franz. ENTCS, 141(2):103-119, 2005. [doi]

A portable virtual machine target for proof-carrying codeMichael Franz, Deepak Chandra, Andreas Gal, Vivek Haldar, Christian W. Probst, Fermín Reig, Ning Wang. SCP, 57(3):275-294, 2005. [doi]

Supporting software composition at the programming language levelPeter H. Fröhlich, Andreas Gal, Michael Franz. SCP, 56(1-2):41-57, 2005. [doi]

Structural Encoding of Static Single Assignment FormAndreas Gal, Christian W. Probst, Michael Franz. ENTCS, 141(2):85-102, 2005. [doi]

Integrated Java Bytecode VerificationAndreas Gal, Christian W. Probst, Michael Franz. ENTCS, 131:27-38, 2005. [doi]

Dynamic Taint Propagation for JavaVivek Haldar, Deepak Chandra, Michael Franz. acsac 2005: 303-311 [doi]

Power reduction techniques for microprocessor systemsVasanth Venkatachalam, Michael Franz. ACM Comput. Surv., 37(3):195-237, 2005. [doi]

A Multilevel Introspective Dynamic Optimization System For Holistic Power-Aware ComputingVasanth Venkatachalam, Christian W. Probst, Michael Franz. dagstuhl 2005: [doi]

2004

Efficiently Verifiable Escape AnalysisMatthew Q. Beers, Christian Stork, Michael Franz. ECOOP 2004: 75-95 [doi]

Awarded Best Paper! Semantic Remote Attestation - Virtual Machine Directed Approach to Trusted ComputingVivek Haldar, Deepak Chandra, Michael Franz. jvm 2004: 29-41 [doi]

Symmetric behavior-based trust: a new paradigm for internet computingVivek Haldar, Michael Franz. nspw 2004: 79-84 [doi]

2003

2002

Towards trusted systems from the ground upVivek Haldar, Michael Franz. sigopsE 2002: 251-254 [doi]

Efficient online optimization by utilizing offline analysis and the safeTSA representationJeffery von Ronne, Andreas Hartmann, Wolfram Amme, Michael Franz. pppj 2002: 181-186 [doi]

2001

SafeTSA: A Type Safe and Referentially Secure Mobile-Code Representation Based on Static Single Assignment FormWolfram Amme, Niall Dalton, Michael Franz, Jeffery von Ronne. PLDI 2001: 137-147

Towards Language-Agnostic Mobile CodePeter Housel, Christian Stork, Vivek Haldar, Niall Dalton, Michael Franz. TCS, 59(1), 2001. [doi]

Continuous Program Optimization: Design and EvaluationThomas Kistler, Michael Franz. TC, 50(6):549-566, 2001. [doi]

2000

Oberon - The Overlooked JewelMichael Franz. BIRTHDAY 2000: 41-54

Stand-Alone Messages: A Step Towards Component-Oriented Programming LanguagesPeter H. Fröhlich, Michael Franz. jmlc 2000: 90-103

Automated data-member layout of help objects to improve memory-hierarchy performanceThomas Kistler, Michael Franz. TOPLAS, 22(3):490-505, 2000. [doi]

1999

A Tree-Based Alternative to Java Byte-CodesThomas Kistler, Michael Franz. ijpp, 27(1):21-33, 1999.

1998

The Java Virtual Machine: A Passing Fad?Michael Franz. IEEE Software, 15(6):26-29, 1998. [doi]

Open Standards Beyond Java: On the Future of Mobile Code for the InternetMichael Franz. jucs, 4(5):522-533, 1998. [doi]

Java - Anmerkungen eines Wirth-SchülersMichael Franz. insk, 21(1):23-26, 1998. [doi]

1997

Slim BinariesMichael Franz, Thomas Kistler. CACM, 40(12):87-94, 1997.

Dynamic Linking of Software ComponentsMichael Franz. Computer, 30(3):74-81, 1997.

Run-Time Code Generation as a Central System ServiceMichael Franz. hotos 1997: 112-117

Beyond Java: An Infrastructure for High-Performance Mobile Code on the World Wide WebMichael Franz. webnet 1997:

The Programming Language Lagoona - A Fresh Look at Object-OrientationMichael Franz. stp, 18(1):14-26, 1997.

1996

Adaptive Compression of Syntax Trees and Iterative Dynamic Code Optimization: Two Basic Technologies for Mobile Object SystemsMichael Franz. mos 1997: 263-276

1995

The Oberon System FamilyMarc M. Brandis, Régis Crelier, Michael Franz, Josef Templ. SPE, 25(12):1331-1366, 1995.

Protocol Extension: A Technique for Structuring Large Extensible Software-SystemsMichael Franz. stp, 16(2):86-94, 1995.

1994

Technological Steps toward a Software Component IndustryMichael Franz. plsa 1994: 259-281

1993

The Case for Universal Symbol FilesMichael Franz. stp, 14(3):136-147, 1993.

Emulating an Operating System on Top of AnotherMichael Franz. SPE, 23(6):677-692, 1993.

1991

The rewards of generating true 32-bit codeMichael Franz. SIGPLAN, 26(1):121-123, 1991. [doi]