Michael Franz

Andrei Homescu, Steven Neisius, Per Larsen, Stefan Brunthaler, Michael Franz: Profile-guided automated software diversity. CGO 2013: 1-11

Christian Wimmer, Stefan Brunthaler, Per Larsen, Michael Franz: Fine-grained modularity and reuse of virtual machine components. AOSD 2012: 203-214

Andrei Homescu, Michael Stewart, Per Larsen, Stefan Brunthaler, Michael Franz: Microgadgets: Size Does Matter in Turing-Complete Return-Oriented Programming. WOOT 2012: 64-76

Gregor Wagner, Andreas Gal, Michael Franz: "Slimming" a Java virtual machine by way of cold code removal and optimistic partial program loading. Sci. Comput. Program. 76(11): 1037-1053 (2011)

Babak Salamat, Todd Jackson, Gregor Wagner, Christian Wimmer, Michael Franz: Runtime Defense against Code Injection Attacks Using Replicated Execution. IEEE Trans. Dependable Sec. Comput. 8(4): 588-601 (2011)

Mason Chang, Bernd Mathiske, Edwin W. Smith, Avik Chaudhuri, Andreas Gal, Michael Bebenita, Christian Wimmer, Michael Franz: The impact of optional type information on jit compilation of dynamically typed languages. DLS 2011: 13-24

Gregor Wagner, Andreas Gal, Christian Wimmer, Brendan Eich, Michael Franz: Compartmental memory management in a modern web browser. ISMM 2011: 119-128

Adam Welc, Michael Franz, Krzysztof Palacz: ACM SIGPLAN international workshop on programming language and systems technologies for internet clients: (PLASTIC 2011). OOPSLA Companion 2011: 331-332

Todd Jackson, Babak Salamat, Andrei Homescu, Karthikeyan Manivannan, Gregor Wagner, Andreas Gal, Stefan Brunthaler, Christian Wimmer, Michael Franz: Compiler-Generated Software Diversity. Moving Target Defense 2011: 77-98

Christian Wimmer, Michael Franz: Linear scan register allocation on SSA form. CGO 2010: 170-179

Todd Jackson, Christian Wimmer, Michael Franz: Multi-variant program execution for vulnerability detection and analysis. CSIIRW 2010: 38

Karthikeyan Manivannan, Christian Wimmer, Michael Franz: Decentralized information flow control on a bare-metal JVM. CSIIRW 2010: 64

Michael Franz: E unibus pluram: massive-scale software diversity as a defense mechanism. NSPW 2010: 7-16

Michael Bebenita, Mason Chang, Gregor Wagner, Andreas Gal, Christian Wimmer, Michael Franz: Trace-based compilation in execution environments without interpreters. PPPJ 2010: 59-68

Carrie Gates, Michael Franz, John P. McDermott (Eds.): Twenty-Sixth Annual Computer Security Applications Conference, ACSAC 2010, Austin, Texas, USA, 6-10 December 2010. ACM 2010, isbn 978-1-4503-0133-6

Wolfram Amme, Jeffery von Ronne, Philipp Adler, Michael Franz: The effectiveness of producer-side machine-independent optimizations for mobile code. Softw., Pract. Exper. 39(10): 923-946 (2009)

Efe Yardimci, Michael Franz: Mostly static program partitioning of binary executables. ACM Trans. Program. Lang. Syst. 31(5) (2009)

Alexander Yermolovich, Christian Wimmer, Michael Franz: Optimization of dynamic languages using hierarchical layering of virtual machines. DLS 2009: 79-88

Babak Salamat, Todd Jackson, Andreas Gal, Michael Franz: Orchestra: intrusion detection using parallel execution and monitoring of program variants in user-space. EuroSys 2009: 33-46

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

Christoph Kerschbaumer, Gregor Wagner, Christian Wimmer, Andreas Gal, Christian Steger, Michael Franz: SlimVM: a small footprint Java virtual machine for connected embedded systems. PPPJ 2009: 133-142

Christian Wimmer, Marcelo Silva Cintra, Michael Bebenita, Mason Chang, Andreas Gal, Michael Franz: Phase detection using trace compilation. PPPJ 2009: 172-181

Michael Bebenita, Mason Chang, Andreas Gal, Michael Franz: Stream-Based Dynamic Compilation for Object-Oriented Languages. TOOLS (47) 2009: 77-95

Mason Chang, Edwin W. 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

Efe Yardimci, Michael Franz: Dynamic Parallelization and Vectorization of Binary Executables on Hierarchical Platforms. J. Instruction-Level Parallelism 10 (2008)

Andreas Gal, Christian W. Probst, Michael Franz: Java bytecode verification via static single assignment form. ACM Trans. Program. Lang. Syst. 30(4) (2008)

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

Lei Wang, Michael Franz: Automatic Partitioning of Object-Oriented Programs for Resource-Constrained Mobile Devices with Multiple Distribution Objectives. ICPADS 2008: 369-376

Alexander Yermolovich, Andreas Gal, Michael Franz: Portable execution of legacy binaries on the Java virtual machine. PPPJ 2008: 63-72

Gregor Wagner, Andreas Gal, Michael Franz: Slim VM: optimistic partial program loading for connected embedded Java virtual machines. PPPJ 2008: 117-126

Michael Franz: Eliminating Trust From Application Programs By Way Of Software Architecture. Software Engineering 2008: 112-126

Michael Franz: Containing the Ultimate Trojan Horse. IEEE Security & Privacy 5(4): 52-56 (2007)

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

Wolfram Amme, Jeffery von Ronne, Michael Franz: SSA-based mobile code: Implementation and empirical evaluation. TACO 4(2) (2007)

Deepak Chandra, Michael Franz: Fine-Grained Information Flow Analysis and Enforcement in a Java Virtual Machine. ACSAC 2007: 463-475

Michael Bebenita, Andreas Gal, Michael Franz: Implementing fast JVM interpreters using Java itself. PPPJ 2007: 145-154

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

Michael Stilkerich, Christian Wawersich, Andreas Gal, Wolfgang Schröder-Preikschat, Michael Franz: OSEK/VDX API for Java. PLOS 2006: 4

Efe Yardimci, Michael Franz: Dynamic parallelization and mapping of binary executables on hierarchical platforms. Conf. Computing Frontiers 2006: 127-138

Andreas Gal, Christian W. Probst, Michael Franz: HotpathVM: an effective JIT compiler for resource-constrained devices. VEE 2006: 144-153

Vasanth Venkatachalam, Michael Franz: Power reduction techniques for microprocessor systems. ACM Comput. Surv. 37(3): 195-237 (2005)

Andreas Gal, Christian W. Probst, Michael Franz: Integrated Java Bytecode Verification. Electr. Notes Theor. Comput. Sci. 131: 27-38 (2005)

Andreas Gal, Christian W. Probst, Michael Franz: Structural Encoding of Static Single Assignment Form. Electr. Notes Theor. Comput. Sci. 141(2): 85-102 (2005)

Wolfram Amme, Jeffery von Ronne, Michael Franz: Quantifying the Benefits of SSA-Based Mobile Code. Electr. Notes Theor. Comput. Sci. 141(2): 103-119 (2005)

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)

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)

Vivek Haldar, Deepak Chandra, Michael Franz: Dynamic Taint Propagation for Java. ACSAC 2005: 303-311

Vasanth Venkatachalam, Christian W. Probst, Michael Franz: A Multilevel Introspective Dynamic Optimization System For Holistic Power-Aware Computing. Power-aware Computing Systems 2005

Matthew Q. Beers, Christian H. Stork, Michael Franz: Efficiently Verifiable Escape Analysis. ECOOP 2004: 75-95

Vivek Haldar, Deepak Chandra, Michael Franz: Awarded Best Paper! Semantic Remote Attestation - Virtual Machine Directed Approach to Trusted Computing. Virtual Machine Research and Technology Symposium 2004: 29-41

Vivek Haldar, Michael Franz: Symmetric behavior-based trust: a new paradigm for internet computing. NSPW 2004: 79-84

Andreas Hartmann, Wolfram Amme, Jeffery von Ronne, Michael Franz: Code Annotation for Safe and Efficient Dynamic Object Resolution. Electr. Notes Theor. Comput. Sci. 82(2): 362-376 (2003)

Wolfram Amme, Michael Franz: Effiziente Codegenerierung für mobilen Code. Informatik Spektrum 26(4): 237-246 (2003)

Thomas Kistler, Michael Franz: Continuous program optimization: A case study. ACM Trans. Program. Lang. Syst. 25(4): 500-548 (2003)

Michael Franz: Safe Code - It's Not Just for Applets Anymore. JMLC 2003: 12-22

Vivek Haldar, Christian H. Stork, Michael Franz: The source is the proof. NSPW 2002: 69-73

Jeffery von Ronne, Andreas Hartmann, Wolfram Amme, Michael Franz: Efficient online optimization by utilizing offline analysis and the safeTSA representation. PPPJ/IRE 2002: 181-186

Vivek Haldar, Michael Franz: Towards trusted systems from the ground up. ACM SIGOPS European Workshop 2002: 251-254

Thomas Kistler, Michael Franz: Continuous Program Optimization: Design and Evaluation. IEEE Trans. Computers 50(6): 549-566 (2001)

Peter Housel, Christian H. Stork, Vivek Haldar, Niall Dalton, Michael Franz: Towards Language-Agnostic Mobile Code. Electr. Notes Theor. Comput. Sci. 59(1): 142-157 (2001)

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

Thomas Kistler, Michael Franz: Automated data-member layout of help objects to improve memory-hierarchy performance. ACM Trans. Program. Lang. Syst. 22(3): 490-505 (2000)

Michael Franz: Oberon - The Overlooked Jewel. The School of Niklaus Wirth 2000: 41-54

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

Thomas Kistler, Michael Franz: A Tree-Based Alternative to Java Byte-Codes. International Journal of Parallel Programming 27(1): 21-33 (1999)

Michael Franz, Peter H. Fröhlich, Thomas Kistler: Towards language support for component-oriented real-time programming. WORDS (Fall) 1999: 125-129

Thomas Kistler, Michael Franz: Perpetual Adaptation of Software to Hardware: An Extensible Architecture for Providing Code Optimization as a Central System Service. CoRR cs.OS/9903014 (1999)

Michael Franz: Java - Anmerkungen eines Wirth-Schülers. Informatik Spektrum 21(1): 23-26 (1998)

Michael Franz: Open Standards Beyond Java: On the Future of Mobile Code for the Internet. J. UCS 4(5): 522-533 (1998)

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

Michael Franz, Thomas Kistler: Slim Binaries. Commun. ACM 40(12): 87-94 (1997)

Michael Franz: Dynamic Linking of Software Components. IEEE Computer 30(3): 74-81 (1997)

Michael Franz: The Programming Language Lagoona - A Fresh Look at Object-Orientation. Software - Concepts and Tools 18(1): 14-26 (1997)

Michael Franz: Run-Time Code Generation as a Central System Service. Workshop on Hot Topics in Operating Systems 1997: 112-117

Michael Franz: Beyond Java: An Infrastructure for High-Performance Mobile Code on the World Wide Web. WebNet 1997

Michael Franz: Adaptive Compression of Syntax Trees and Iterative Dynamic Code Optimization: Two Basic Technologies for Mobile Object Systems. Mobile Object Systems 1996: 263-276

Marc M. Brandis, Régis Crelier, Michael Franz, Josef Templ: The Oberon System Family. Softw., Pract. Exper. 25(12): 1331-1366 (1995)

Michael Franz: Protocol Extension: A Technique for Structuring Large Extensible Software-Systems. Software - Concepts and Tools 16(2): 86-94 (1995)

Michael Franz: Technological Steps toward a Software Component Industry. Programming Languages and System Architectures 1994: 259-281

Michael Franz: Emulating an Operating System on Top of Another. Softw., Pract. Exper. 23(6): 677-692 (1993)

Michael Franz: The Case for Universal Symbol Files. Structured Programming 14(3): 136-147 (1993)

Michael Franz: The rewards of generating true 32-bit code. SIGPLAN Notices 26(1): 121-123 (1991)