 | 2009 |
|---|
| 60 |       | 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 |
| 59 | | Michael Bebenita,
Mason Chang,
Andreas Gal,
Michael Franz:
Stream-Based Dynamic Compilation for Object-Oriented Languages.
TOOLS (47) 2009: 77-95 |
| 58 | | 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 |
| 57 | | Efe Yardimci,
Michael Franz:
Mostly static program partitioning of binary executables.
ACM Trans. Program. Lang. Syst. 31(5): (2009) |
| 56 | | 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) |
| 2008 |
|---|
| 55 | | 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 |
| 54 | | Lei Wang,
Michael Franz:
Automatic Partitioning of Object-Oriented Programs for Resource-Constrained Mobile Devices with Multiple Distribution Objectives.
ICPADS 2008: 369-376 |
| 53 | | Gregor Wagner,
Andreas Gal,
Michael Franz:
Slim VM: optimistic partial program loading for connected embedded Java virtual machines.
PPPJ 2008: 117-126 |
| 52 | | Alexander Yermolovich,
Andreas Gal,
Michael Franz:
Portable execution of legacy binaries on the Java virtual machine.
PPPJ 2008: 63-72 |
| 51 |  | Michael Franz:
Eliminating Trust From Application Programs By Way Of Software Architecture.
Software Engineering 2008: 112-126 |
| 50 | | Andreas Gal,
Christian W. Probst,
Michael Franz:
Java bytecode verification via static single assignment form.
ACM Trans. Program. Lang. Syst. 30(4): (2008) |
| 2007 |
|---|
| 49 | | Deepak Chandra,
Michael Franz:
Fine-Grained Information Flow Analysis and Enforcement in a Java Virtual Machine.
ACSAC 2007: 463-475 |
| 48 | | Michael Bebenita,
Andreas Gal,
Michael Franz:
Implementing fast JVM interpreters using Java itself.
PPPJ 2007: 145-154 |
| 47 | | 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 |
| 46 | | Michael Franz:
Containing the Ultimate Trojan Horse.
IEEE Security & Privacy 5(4): 52-56 (2007) |
| 45 | | 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) |
| 44 | | Wolfram Amme,
Jeffery von Ronne,
Michael Franz:
SSA-based mobile code: Implementation and empirical evaluation.
TACO 4(2): (2007) |
| 2006 |
|---|
| 43 | | Efe Yardimci,
Michael Franz:
Dynamic parallelization and mapping of binary executables on hierarchical platforms.
Conf. Computing Frontiers 2006: 127-138 |
| 42 | | Michael Stilkerich,
Christian Wawersich,
Andreas Gal,
Wolfgang Schröder-Preikschat,
Michael Franz:
OSEK/VDX API for Java.
PLOS 2006: 4 |
| 41 | | Andreas Gal,
Christian W. Probst,
Michael Franz:
HotpathVM: an effective JIT compiler for resource-constrained devices.
VEE 2006: 144-153 |
| 2005 |
|---|
| 40 | | Vivek Haldar,
Deepak Chandra,
Michael Franz:
Dynamic Taint Propagation for Java.
ACSAC 2005: 303-311 |
| 39 | | Vasanth Venkatachalam,
Christian W. Probst,
Michael Franz:
A Multilevel Introspective Dynamic Optimization System For Holistic Power-Aware Computing.
Power-aware Computing Systems 2005 |
| 38 | | Vasanth Venkatachalam,
Michael Franz:
Power reduction techniques for microprocessor systems.
ACM Comput. Surv. 37(3): 195-237 (2005) |
| 37 | | Andreas Gal,
Christian W. Probst,
Michael Franz:
Integrated Java Bytecode Verification.
Electr. Notes Theor. Comput. Sci. 131: 27-38 (2005) |
| 36 | | 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) |
| 35 | | Andreas Gal,
Christian W. Probst,
Michael Franz:
Structural Encoding of Static Single Assignment Form.
Electr. Notes Theor. Comput. Sci. 141(2): 85-102 (2005) |
| 34 | | 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) |
| 33 | | 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 |
|---|
| 32 | | Matthew Q. Beers,
Christian Stork,
Michael Franz:
Efficiently Verifiable Escape Analysis.
ECOOP 2004: 75-95 |
| 31 | | Vivek Haldar,
Michael Franz:
Symmetric behavior-based trust: a new paradigm for internet computing.
NSPW 2004: 79-84 |
| 30 | | 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 |
| 2003 |
|---|
| 29 | | Michael Franz:
Safe Code - It's Not Just for Applets Anymore.
JMLC 2003: 12-22 |
| 28 | | Thomas Kistler,
Michael Franz:
Continuous program optimization: A case study.
ACM Trans. Program. Lang. Syst. 25(4): 500-548 (2003) |
| 27 | | 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): (2003) |
| 26 | | Wolfram Amme,
Michael Franz:
Effiziente Codegenerierung für mobilen Code.
Informatik Spektrum 26(4): 237-246 (2003) |
| 2002 |
|---|
| 25 | | Vivek Haldar,
Michael Franz:
Towards trusted systems from the ground up.
ACM SIGOPS European Workshop 2002: 251-254 |
| 24 | | 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 |
| 2001 |
|---|
| 23 | | 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 |
| 22 | | Peter Housel,
Christian Stork,
Vivek Haldar,
Niall Dalton,
Michael Franz:
Towards Language-Agnostic Mobile Code.
Electr. Notes Theor. Comput. Sci. 59(1): (2001) |
| 21 | | Thomas Kistler,
Michael Franz:
Continuous Program Optimization: Design and Evaluation.
IEEE Trans. Computers 50(6): 549-566 (2001) |
| 2000 |
|---|
| 20 | | Peter H. Fröhlich,
Michael Franz:
Stand-Alone Messages: A Step Towards Component-Oriented Programming Languages.
JMLC 2000: 90-103 |
| 19 | | Michael Franz:
Oberon - The Overlooked Jewel.
The School of Niklaus Wirth 2000: 41-54 |
| 18 | | 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) |
| 1999 |
|---|
| 17 | | 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) |
| 16 | | Thomas Kistler,
Michael Franz:
A Tree-Based Alternative to Java Byte-Codes.
International Journal of Parallel Programming 27(1): 21-33 (1999) |
| 1998 |
|---|
| 15 | | Michael Franz:
The Java Virtual Machine: A Passing Fad?
IEEE Software 15(6): 26-29 (1998) |
| 14 | | Michael Franz:
Java - Anmerkungen eines Wirth-Schülers.
Informatik Spektrum 21(1): 23-26 (1998) |
| 13 | | Michael Franz:
Open Standards Beyond Java: On the Future of Mobile Code for the Internet.
J. UCS 4(5): 522-533 (1998) |
| 1997 |
|---|
| 12 | | Michael Franz:
Beyond Java: An Infrastructure for High-Performance Mobile Code on the World Wide Web.
WebNet 1997 |
| 11 | | Michael Franz:
Run-Time Code Generation as a Central System Service.
Workshop on Hot Topics in Operating Systems 1997: 112-117 |
| 10 | | Michael Franz,
Thomas Kistler:
Slim Binaries.
Commun. ACM 40(12): 87-94 (1997) |
| 9 | | Michael Franz:
Dynamic Linking of Software Components.
IEEE Computer 30(3): 74-81 (1997) |
| 8 | | Michael Franz:
The Programming Language Lagoona - A Fresh Look at Object-Orientation.
Software - Concepts and Tools 18(1): 14-26 (1997) |
| 1996 |
|---|
| 7 | | 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 |
| 1995 |
|---|
| 6 | | Marc M. Brandis,
Régis Crelier,
Michael Franz,
Josef Templ:
The Oberon System Family.
Softw., Pract. Exper. 25(12): 1331-1366 (1995) |
| 5 | | Michael Franz:
Protocol Extension: A Technique for Structuring Large Extensible Software-Systems.
Software - Concepts and Tools 16(2): 86-94 (1995) |
| 1994 |
|---|
| 4 | | Michael Franz:
Technological Steps toward a Software Component Industry.
Programming Languages and System Architectures 1994: 259-281 |
| 1993 |
|---|
| 3 | | Michael Franz:
Emulating an Operating System on Top of Another.
Softw., Pract. Exper. 23(6): 677-692 (1993) |
| 2 | | Michael Franz:
The Case for Universal Symbol Files.
Structured Programming 14(3): 136-147 (1993) |
| 1991 |
|---|
| 1 | | Michael Franz:
The rewards of generating true 32-bit code.
SIGPLAN Notices 26(1): 121-123 (1991) |
