Michael Franz

	2012
74		Christian Wimmer, Stefan Brunthaler, Per Larsen, Michael Franz: Fine-grained modularity and reuse of virtual machine components. AOSD 2012: 203-214
	2011
73		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
72		Gregor Wagner, Andreas Gal, Christian Wimmer, Brendan Eich, Michael Franz: Compartmental memory management in a modern web browser. ISMM 2011: 119-128
71		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
70		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
69		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)
68		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)
	2010
67		Carrie Gates, Michael Franz, John P. McDermott: Twenty-Sixth Annual Computer Security Applications Conference, ACSAC 2010, Austin, Texas, USA, 6-10 December 2010 ACM 2010
66		Christian Wimmer, Michael Franz: Linear scan register allocation on SSA form. CGO 2010: 170-179
65		Michael Bebenita, Mason Chang, Gregor Wagner, Andreas Gal, Christian Wimmer, Michael Franz: Trace-based compilation in execution environments without interpreters. PPPJ 2010: 59-68
	2009
64		Alexander Yermolovich, Christian Wimmer, Michael Franz: Optimization of dynamic languages using hierarchical layering of virtual machines. DLS 2009: 79-88
63		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
62		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
61		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
60		Christian Wimmer, Marcelo Silva Cintra, Michael Bebenita, Mason Chang, Andreas Gal, Michael Franz: Phase detection using trace compilation. PPPJ 2009: 172-181
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 H. 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): 362-376 (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 H. Stork, Vivek Haldar, Niall Dalton, Michael Franz: Towards Language-Agnostic Mobile Code. Electr. Notes Theor. Comput. Sci. 59(1): 142-157 (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)

Coauthor Index

1	Philipp Adler	[56]
2	Wolfram Amme	[23] [24] [26] [27] [36] [44] [56]
3	David Anderson	[62]
4	Michael Bebenita	[48] [58] [59] [60] [62] [65] [73]
5	Matthew Q. Beers	[32]
6	Marc M. Brandis	[6]
7	Stefan Brunthaler	[70] [74]
8	Deepak Chandra	[30] [33] [40] [49]
9	Mason Chang	[58] [59] [60] [62] [65] [73]
10	Avik Chaudhuri	[73]
11	Marcelo Silva Cintra	[60]
12	Régis Crelier	[6]
13	Niall Dalton	[22] [23]
14	Brendan Eich	[58] [62] [72]
15	Peter H. Fröhlich	[20] [34]
16	Andreas Gal	[33] [34] [35] [37] [41] [42] [47] [48] [50] [52] [53] [55] [58] [59] [60] [61] [62] [63] [65] [68] [70] [72] [73]
17	Carrie Gates	[67]
18	Mohammad R. Haghighat	[62]
19	Vivek Haldar	[22] [25] [30] [31] [33] [40]
20	Andreas Hartmann	[24] [27]
21	Graydon Hoare	[62]
22	Andrei Homescu	[70]
23	Peter Housel	[22]
24	Todd Jackson	[55] [63] [69] [70]
25	Blake Kaplan	[62]
26	Christoph Kerschbaumer	[61]
27	Thomas Kistler	[10] [16] [17] [18] [21] [28]
28	Per Larsen	[74]
29	David Mandelin	[62]
30	Karthikeyan Manivannan	[55] [70]
31	Bernd Mathiske	[73]
32	John P. McDermott	[67]
33	Jason Orendorff	[62]
34	Krzysztof Palacz	[71]
35	Christian W. Probst	[33] [35] [37] [39] [41] [45] [47] [50]
36	Fermín Reig	[33]
37	Rick Reitmaier	[58] [62]
38	Jeffery von Ronne	[23] [24] [27] [36] [44] [56]
39	Jesse Ruderman	[62]
40	Babak Salamat	[55] [63] [69] [70]
41	Wolfgang Schröder-Preikschat	[42]
42	Mike Shaver	[62]
43	Edwin W. Smith	[58] [62] [73]
44	Christian Steger	[61]
45	Michael Stilkerich	[42]
46	Christian H. Stork	[22] [32]
47	Josef Templ	[6]
48	Vasanth Venkatachalam	[38] [39] [45]
49	Gregor Wagner	[53] [55] [61] [65] [68] [69] [70] [72]
50	Lei Wang	[54]
51	Ning Wang	[33]
52	Christian Wawersich	[42]
53	Adam Welc	[71]
54	Christian Wimmer	[58] [60] [61] [64] [65] [66] [69] [70] [72] [73] [74]
55	Efe Yardimci	[43] [57]
56	Alexander Yermolovich	[52] [64]
57	Boris Zbarsky	[62]

Colors in the list of coauthors

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page