| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Christian Wimmer, Stefan Brunthaler, Per Larsen, Michael Franz |
Fine-grained modularity and reuse of virtual machine components.  |
AOSD  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Babak Salamat, Todd Jackson, Gregor Wagner, Christian Wimmer, Michael Franz |
Runtime Defense against Code Injection Attacks Using Replicated Execution. |
IEEE Trans. Dependable Sec. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Gregor Wagner, Andreas Gal, Christian Wimmer, Brendan Eich, Michael Franz |
Compartmental memory management in a modern web browser. |
ISMM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Adam Welc, Michael Franz, Krzysztof Palacz |
ACM SIGPLAN international workshop on programming language and systems technologies for internet clients: (PLASTIC 2011). |
OOPSLA Companion |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Wimmer, Michael Franz |
Linear scan register allocation on SSA form. |
CGO |
2010 |
DBLP DOI BibTeX RDF |
SSA form deconstruction, lifetime analysis, linear scan, Java, register allocation, just-in-time compilation, SSA form |
| 1 | Carrie Gates, Michael Franz, John P. McDermott (eds.) |
Twenty-Sixth Annual Computer Security Applications Conference, ACSAC 2010, Austin, Texas, USA, 6-10 December 2010 |
ACSAC |
2010 |
DBLP BibTeX RDF |
|
| 1 | Michael Bebenita, Mason Chang, Gregor Wagner, Andreas Gal, Christian Wimmer, Michael Franz |
Trace-based compilation in execution environments without interpreters. |
PPPJ |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfram Amme, Jeffery von Ronne, Philipp Adler, Michael Franz |
The effectiveness of producer-side machine-independent optimizations for mobile code. |
Softw., Pract. Exper. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Efe Yardimci, Michael Franz |
Mostly static program partitioning of binary executables. |
ACM Trans. Program. Lang. Syst. |
2009 |
DBLP DOI BibTeX RDF |
Continuous compilation and optimization, dynamic parallelization, binary translation |
| 1 | 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 |
DBLP DOI BibTeX RDF |
trace-based compilation, dynamically typed languages |
| 1 | Alexander Yermolovich, Christian Wimmer, Michael Franz |
Optimization of dynamic languages using hierarchical layering of virtual machines. |
DLS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Bebenita, Mason Chang, Andreas Gal, Michael Franz |
Stream-Based Dynamic Compilation for Object-Oriented Languages. |
TOOLS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
tamarin, trace trees, tracing, javascript, forth, dynamic compilation, type specialization, dynamically typed languages |
| 1 | Christian Wimmer, Marcelo Silva Cintra, Michael Bebenita, Mason Chang, Andreas Gal, Michael Franz |
Phase detection using trace compilation. |
PPPJ |
2009 |
DBLP DOI BibTeX RDF |
trace compilation, Java, optimization, data flow, just-in-time compilation, phase detection |
| 1 | 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 |
DBLP DOI BibTeX RDF |
connected embedded systems, optimization, Java virtual machine, just-in-time compilation, code-size reduction |
| 1 | Babak Salamat, Todd Jackson, Andreas Gal, Michael Franz |
Orchestra: intrusion detection using parallel execution and monitoring of program variants in user-space. |
EuroSys |
2009 |
DBLP DOI BibTeX RDF |
multi-variant execution, intrusion detection, vulnerability, multi-core processors, process monitoring |
| 1 | Andreas Gal, Christian W. Probst, Michael Franz |
Java bytecode verification via static single assignment form. |
ACM Trans. Program. Lang. Syst. |
2008 |
DBLP DOI BibTeX RDF |
Java bytecode verification, dataflow analysis, static single assignment form |
| 1 | Lei Wang, Michael Franz |
Automatic Partitioning of Object-Oriented Programs for Resource-Constrained Mobile Devices with Multiple Distribution Objectives. |
ICPADS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Franz |
Eliminating Trust From Application Programs By Way Of Software Architecture. |
Software Engineering |
2008 |
DBLP BibTeX RDF |
|
| 1 | Gregor Wagner, Andreas Gal, Michael Franz |
Slim VM: optimistic partial program loading for connected embedded Java virtual machines. |
PPPJ |
2008 |
DBLP DOI BibTeX RDF |
cold code removal, embedded connected devices, Java virtual machine, just-in-time compilation |
| 1 | Alexander Yermolovich, Andreas Gal, Michael Franz |
Portable execution of legacy binaries on the Java virtual machine. |
PPPJ |
2008 |
DBLP DOI BibTeX RDF |
system emulation, legacy software |
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfram Amme, Jeffery von Ronne, Michael Franz |
SSA-based mobile code: Implementation and empirical evaluation. |
TACO |
2007 |
DBLP DOI BibTeX RDF |
SafeTSA, Virtual machines, static single-assignment form |
| 1 | Vasanth Venkatachalam, Michael Franz, Christian W. Probst |
A new way of estimating compute-boundedness and its application to dynamic voltage scaling. |
IJES |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Franz |
Containing the Ultimate Trojan Horse. |
IEEE Security & Privacy |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Deepak Chandra, Michael Franz |
Fine-Grained Information Flow Analysis and Enforcement in a Java Virtual Machine. |
ACSAC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Michael Bebenita, Andreas Gal, Michael Franz |
Implementing fast JVM interpreters using Java itself. |
PPPJ |
2007 |
DBLP DOI BibTeX RDF |
interpreter design, metacircular/self-interpreters, minimal trusted computing base, Java virtual machine |
| 1 | Michael Stilkerich, Christian Wawersich, Andreas Gal, Wolfgang Schröder-Preikschat, Michael Franz |
OSEK/VDX API for Java. |
PLOS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Gal, Christian W. Probst, Michael Franz |
HotpathVM: an effective JIT compiler for resource-constrained devices. |
VEE |
2006 |
DBLP DOI BibTeX RDF |
embedded and resource-constrained systems, mixed-mode interpretive compiled systems, software trace scheduling, virtual machines, dynamic compilation, static single assignment form |
| 1 | Efe Yardimci, Michael Franz |
Dynamic parallelization and mapping of binary executables on hierarchical platforms. |
Conf. Computing Frontiers |
2006 |
DBLP DOI BibTeX RDF |
dynamic parallelization, continuous optimization |
| 1 | Peter H. Fröhlich, Andreas Gal, Michael Franz |
Supporting software composition at the programming language level. |
Sci. Comput. Program. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Gal, Christian W. Probst, Michael Franz |
Structural Encoding of Static Single Assignment Form. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Gal, Christian W. Probst, Michael Franz |
Integrated Java Bytecode Verification. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfram Amme, Jeffery von Ronne, Michael Franz |
Quantifying the Benefits of SSA-Based Mobile Code. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Vasanth Venkatachalam, Michael Franz |
Power reduction techniques for microprocessor systems. |
ACM Comput. Surv. |
2005 |
DBLP DOI BibTeX RDF |
power reduction, Energy dissipation |
| 1 | Vasanth Venkatachalam, Christian W. Probst, Michael Franz |
A Multilevel Introspective Dynamic Optimization System For Holistic Power-Aware Computing. |
Power-aware Computing Systems |
2005 |
DBLP BibTeX RDF |
|
| 1 | Vivek Haldar, Deepak Chandra, Michael Franz |
Dynamic Taint Propagation for Java. |
ACSAC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Vivek Haldar, Michael Franz |
Symmetric behavior-based trust: a new paradigm for internet computing. |
NSPW |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Q. Beers, Christian H. Stork, Michael Franz |
Efficiently Verifiable Escape Analysis. |
ECOOP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfram Amme, Michael Franz |
Effiziente Codegenerierung für mobilen Code. |
Informatik Spektrum |
2003 |
DBLP DOI BibTeX RDF |
Schlüsselwörter Mobiler Code, Zwischencoderepräsentationen für mobilen Code, Dynamische Compilierung, JIT-Compiler |
| 1 | Andreas Hartmann, Wolfram Amme, Jeffery von Ronne, Michael Franz |
Code Annotation for Safe and Efficient Dynamic Object Resolution. |
Electr. Notes Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Kistler, Michael Franz |
Continuous program optimization: A case study. |
ACM Trans. Program. Lang. Syst. |
2003 |
DBLP DOI BibTeX RDF |
continuous program optimization, dynamic reoptimization, Dynamic code generation |
| 1 | Michael Franz |
Safe Code - It's Not Just for Applets Anymore. |
JMLC |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Vivek Haldar, Michael Franz |
Towards trusted systems from the ground up. |
ACM SIGOPS European Workshop |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeffery von Ronne, Andreas Hartmann, Wolfram Amme, Michael Franz |
Efficient online optimization by utilizing offline analysis and the safeTSA representation. |
PPPJ/IRE |
2002 |
DBLP DOI BibTeX RDF |
Java, World Wide Web (WWW) |
| 1 | Peter Housel, Christian H. Stork, Vivek Haldar, Niall Dalton, Michael Franz |
Towards Language-Agnostic Mobile Code. |
Electr. Notes Theor. Comput. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Kistler, Michael Franz |
Continuous Program Optimization: Design and Evaluation. |
IEEE Trans. Computers |
2001 |
DBLP DOI BibTeX RDF |
profiling, Dynamic compilation, memory optimization, continuous optimization, trace scheduling |
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Kistler, Michael Franz |
Automated data-member layout of help objects to improve memory-hierarchy performance. |
ACM Trans. Program. Lang. Syst. |
2000 |
DBLP DOI BibTeX RDF |
dynmaic data structures, memory-hierarchy optimization, dynamic optimization |
| 1 | Michael Franz |
Oberon - The Overlooked Jewel. |
The School of Niklaus Wirth |
2000 |
DBLP BibTeX RDF |
|
| 1 | Peter H. Fröhlich, Michael Franz |
Stand-Alone Messages: A Step Towards Component-Oriented Programming Languages. |
JMLC |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Kistler, Michael Franz |
A Tree-Based Alternative to Java Byte-Codes. |
International Journal of Parallel Programming |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Kistler, Michael Franz |
Perpetual Adaptation of Software to Hardware: An Extensible Architecture for Providing Code Optimization as a Central System Service |
CoRR |
1999 |
DBLP BibTeX RDF |
|
| 1 | Michael Franz |
The Java Virtual Machine: A Passing Fad? |
IEEE Software |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Franz |
Open Standards Beyond Java: On the Future of Mobile Code for the Internet. |
J. UCS |
1998 |
DBLP BibTeX RDF |
|
| 1 | Michael Franz |
Java - Anmerkungen eines Wirth-Schülers. |
Informatik Spektrum |
1998 |
DBLP DOI BibTeX RDF |
Programmiersprachen, Java, World Wide Web, Pascal |
| 1 | Michael Franz |
The Programming Language Lagoona - A Fresh Look at Object-Orientation. |
Software - Concepts and Tools |
1997 |
DBLP BibTeX RDF |
|
| 1 | Michael Franz, Thomas Kistler |
Slim Binaries. |
Commun. ACM |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Franz |
Dynamic Linking of Software Components. |
IEEE Computer |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Franz |
Beyond Java: An Infrastructure for High-Performance Mobile Code on the World Wide Web. |
WebNet |
1997 |
DBLP BibTeX RDF |
|
| 1 | Michael Franz |
Run-Time Code Generation as a Central System Service. |
Workshop on Hot Topics in Operating Systems |
1997 |
DBLP BibTeX RDF |
|
| 1 | Michael Franz |
Adaptive Compression of Syntax Trees and Iterative Dynamic Code Optimization: Two Basic Technologies for Mobile Object Systems. |
Mobile Object Systems |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Franz |
Protocol Extension: A Technique for Structuring Large Extensible Software-Systems. |
Software - Concepts and Tools |
1995 |
DBLP BibTeX RDF |
|
| 1 | Marc M. Brandis, Régis Crelier, Michael Franz, Josef Templ |
The Oberon System Family. |
Softw., Pract. Exper. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Franz |
Technological Steps toward a Software Component Industry. |
Programming Languages and System Architectures |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Franz |
The Case for Universal Symbol Files. |
Structured Programming |
1993 |
DBLP BibTeX RDF |
|
| 1 | Michael Franz |
Emulating an Operating System on Top of Another. |
Softw., Pract. Exper. |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Franz |
The rewards of generating true 32-bit code. |
SIGPLAN Notices |
1991 |
DBLP DOI BibTeX RDF |
Oberon |
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")