The documents distributed by this server have been provided by the
contributing authors as a means to ensure timely dissemination
of scholarly and technical
work on a non-commercial basis. Copyright and all rights therein
are maintained by the authors or by other copyright holders, notwithstanding
that they
have offered their works here electronically. It is understood
that all persons copying this information will adhere to the terms
and constraints
invoked by each author's copyright. These works may not be reposted
without the explicit permission of the copyright holder. Some of
the work provided here is provided as a low-resolution scan (excerpt);
these images are quite intentionally unfit for printing. If you
require copies of these
papers, please contact the appropriate publishers directly.
Patents Issued
Book
Peer-Reviewed Book Chapters
BC.7
|
M. Franz, W. Amme, M. Beers, N. Dalton, P. H. Fröhlich,
V. Haldar, A. Hartmann, P. S. Housel, F. Reig, J. von Ronne, Ch.
H. Stork, and S. Zhenochin; “Making Mobile Code Both Safe
And Efficient”; in J. Lala (Ed.), Foundations of
Intrusion Tolerant Systems; IEEE Computer Society Press, ISBN 0-7695-2057-X,
pp. 337-356; December 2003. (Expanded version of conference paper
C.15) |
BC.6
|
M. Franz; “A
Fresh Look At Low-Power Mobile Computing”;
in L. Benini,
M. Kandemir, J. Ramanujam (Eds.), Compilers and Operating Systems
for Low Power; Kluwer Academic Publishers, Boston; ISBN 1-4020-7573-1,
pp. 209-220; September 2003. (Expanded version of conference
paper
C.18) |
BC.5
|
M. Franz; “Safe Code—It’s Not Just For Applets
Anymore”; in L. Böszörményi and Peter Schojer
(Eds.), Modular Programming Languages: Proceedings of the Sixth
Joint Modular Languages Conference (JMLC 2003), Klagenfurt,
Austria; Springer Lecture Notes in Computer Science, No. 2789,
ISBN 3-540-40796-0; pp. 12–22; August 2003. (Full Text of
Invited Keynote Address) |
BC.4
|
J. von Ronne, A. Hartmann, W. Amme, and M. Franz; “Efficient
Online Optimization by Utilizing Offline Analysis and the SafeTSA
Representation”; in J.
Powers and J. T. Waldron (Eds.), Recent Advances in Java Technology:
Theory, Application, Implementation;
Computer Science Press, Trinity College Dublin, Dublin, Ireland,
ISBN 0-9544145-0-0, pp. 233-241; November 2002. (Expanded version
of conference paper C.22) |
| BC.3 |
M. Franz; “Oberon: The Overlooked
Jewel”; in L.
Böszörmenyi, J. Gutknecht, G. Pomberger
(Eds.), The School of Niklaus Wirth: The Art of Simplicity;
Morgan Kaufmann, San Francisco, ISBN 1-55860-723-4, pp. 41-53;
September 2000. |
| BC.2 |
J. Gutknecht and M. Franz; “Oberon
with Gadgets: A Simple Component Framework”; in M. Fayad,
D. Schmidt, R. Johnson (Eds.), Implementing Application Frameworks:
Object-Oriented Frameworks at Work; Wiley, ISBN 0-4712-5201-8;
September 1999. (A precursor to this article was published as
UCI ICS Technical Report No. 96-55.) |
| BC.1 |
M. Franz; “Adaptive
Compression of Syntax Trees and Iterative Dynamic Code Optimization:
Two Basic
Technologies for Mobile-Object Systems”;
in J.
Vitek and Ch. Tschudin (Eds.), Mobile Object Systems: Towards
the Programmable Internet, Springer Lecture Notes in Computer
Science, No. 1222, ISBN 3-540-62852-5 , pp. 263-276; February
1997. |
Peer-Reviewed Journal Articles
Note: Several conference proceedings have appeared as "special
issues" of journals. My contributions to such journal special issues
that contain
regular conference proceedings are not included in
this section but are listed under "conference papers" below.
| J.24 |
E. Yardimci and M. Franz; "Mostly-Static Program Partitioning of Binary Executables;" accepted for publication in ACM Transactions on Programming Languages and Systems (TOPLAS). |
| J.23 |
A. Gal, Ch. W. Probst, and M. Franz; Java
Bytecode Verification via Static Single Assignment Form; in ACM Transactions on Programming Languages and Systems (TOPLAS), Vol. 30, No. 4, Article No. 21, pp. 1-21; July 2008. |
| J.22 |
E. Yardimci and M. Franz; "Dynamic Parallelization of Binary Executables on Hierarchical Platforms;'' in The Journal of Instruction-Level Parallelism, Vol. 10, Paper 6, ISSN 1942-9525, pp. 1-24; June 2008. |
| J.21 |
M. Franz; "Containing
the Ultimate Trojan Horse"; IEEE
Security and Privacy Magazine, Vol. 5, No. 4, pp. 64-68; July
2007. |
| J.20 |
W. Amme, J. von Ronne, and M. Franz; "SSA-Based
Mobile Code: Implementation and Empirical Evaluation"; ACM
Transactions on Architecture and Code Optimization (TACO), Vol. 4, No. 2, Article
No. 13; June 2007. (A precursor
to this article was published as Technical Report No. 2006-005,
Department of Computer Science, University of Texas at San Antonio) |
| J.19 |
V. Venkatachalam, M. Franz, and Ch. W. Probst; “A
New Way Of Estimating Compute Boundedness And Its Application
To Dynamic
Voltage Scaling”; to appear in International Journal
of Embedded Systems, Fall 2006. |
| J.18 |
V. Venkatachalam and M. Franz; “Power
Reduction Techniques For Microprocessor Systems;” ACM Computing Surveys (CSUR),
Vol. 37, No. 3, pp. 195-237; September 2005. |
| J.17 |
M. Franz, D. Chandra, A. Gal, V. Haldar, Ch. W. Probst, F. Reig,
and N. Wang; “A Portable
Virtual Machine Target For Proof-Carrying Code”; Science
of Computer Programming, (Special Issue on Interpreters, Virtual
Machines, and Emulators), Vol. 57, No. 3, pp. 275-294; September
2005. (Expanded version of conference paper C.28) |
| J.16 |
M. Franz, P. H. Fröhlich, and A. Gal; “Supporting
Software Composition at the Programming-Language Level”;
Science of Computer Programming, (Special Issue on New Software
Composition Concepts), Vol. 56, Nos. 1-2, pp. 41-57; April 2005.
(A precursor to this article was published as UCI ICS Technical
Report
No. 03-22.) |
| J.15 |
W. Amme and M. Franz; “Effiziente
Codegenerierung für mobilen Code”;
Informatik-Spektrum; Vol. 26, No. 4, pp. 237-246; August 2003.
(A precursor to this
article was published as Technical Report No. 07/03, Friedrich-Schiller-Universität
Jena, Germany.) |
| J.14 |
T. Kistler and M. Franz; “Continuous Program Optimization:
A Case Study”; ACM Transactions on Programming Languages
and Systems (TOPLAS); Vol. 25, No. 4, pp. 500-548; July 2003. (Precursors
to this article were published as UCI ICS Technical Reports No.
99-12
and 00-19.) |
| J.13 |
T. Kistler and M. Franz; “Continuous
Program Optimization: Design and Evaluation”; IEEE
Transactions on Computers, Vol. 50, No. 6, pp. 549-566; June
2001. |
| J.12 |
T. Kistler and M. Franz; “Automated
Data-Member Layout of Heap Objects to Improve Memory-Hierarchy
Performance”; ACM
Transactions on Programming Languages and Systems (TOPLAS);
Vol. 22, No. 3, pp. 490-505; May 2000. (Precursors to this article
were published as UCI ICS Technical Reports No.
99-21 and No. 98-22.) |
| J.11 |
T. Kistler and M. Franz; “A
Tree-Based Alternative to Java Byte-Codes” (expanded
version of conference paper C.05); International Journal of
Parallel Programming; Vol. 27, No.1, pp. 21-34; February
1999. |
| J.10 |
M. Franz; “The
Java Virtual Machine: A Passing Fad?”; IEEE
Software,
Vol. 15, No. 6, pp. 26-29; November 1998. |
| J.09 |
M. Franz; “Open
Standards Beyond Java: On the Future of Mobile Code for the Internet” (expanded
version of conference paper C.08); Journal of Universal Computer
Science (j.ucs), Vol. 4, No. 5, pp. 521-532; May 1998. |
| J.08 |
M. Franz; “Java
- Anmerkungen eines Wirth-Schülers” (in
German); Informatik-Spektrum,
Vol. 21, No. 1, pp. 23-26; February 1998. |
| J.07 |
M. Franz and T. Kistler; “Slim
Binaries”; Communications
of the ACM, Vol. 40, No. 12, pp. 87-94;
December 1997. (A precursor to this article was published as
UCI ICS Technical Report No. 96-24.) |
| J.06 |
M. Franz; “The Programming Language
Lagoona: A Fresh Look at Object-Orientation”; Software
- Concepts and Tools, Vol. 18, No. 1, pp. 14-26; March 1997.
(A precursor to this article was published as UCI ICS Technical
Report No.
96-40.) |
| J.05 |
M. Franz; “Dynamic
Linking of Software Components”; IEEE
Computer, Vol. 30, No. 3,
pp. 74-81; March 1997. (A precursor to this article was published
as UCI ICS Technical Report No. 96-26.) |
| J.04 |
M. Brandis, R. Crelier, M. Franz, and J. Templ; “The
Oberon System Family”; Software
- Practice and Experience,
Vol. 25, No. 12, pp. 1331-1366; December 1995. (A precursor to
this article was published as ETH Zürich Dept. Informatik Technical
Report No. 174.) |
| J.03 |
M. Franz; “Protocol Extension:
A Technique for Structuring Large Extensible Software-Systems”; Software
- Concepts and Tools, Vol. 16, No. 2, pp. 86-94; July 1995.
(A precursor to this article was published as ETH Zürich Dept.
Informatik Technical Report No. 226.) |
| J.02 |
M. Franz; “The Case for Universal
Symbol Files”; Structured
Programming, Vol. 14, No. 3, pp. 136-147;
October 1993. |
| J.01 |
M. Franz; “Emulating an Operating
System on Top of Another”; Software
- Practice and Experience,
Vol. 23, No. 6, pp. 677-692; June 1993. |
Peer-Reviewed Conference Papers
Note: Several conference proceedings have appeared as "special
issues" of journals. They are included in this section rather than
under "journal
articles" above, and for faster identification have been marked with
an asterisk.
| C.61 |
Ch. Wimmer, M. Cintra, M. Bebenita, M. Chang, A. Gal, and M. Franz; "Phase Detection using Trace Compilation;" accepted for publication in The 7th International Conference on the Principles and Practice of Programming in Java 2009 (PPPJ 2009), Calgary, Alberta; August 2009.
|
| C.60 |
Ch. Kerschbaumer, G. Wagner, Ch. Wimmer, A. Gal, Ch. Steger, and M. Franz; :SlimVM: A Small Footprint Java Virtual Machine for Connected Embedded Systems;" accepted for publication in The 7th International Conference on the Principles and Practice of Programming in Java 2009 (PPPJ 2009), Calgary, Alberta; August 2009. |
| C.59 |
M. Bebenita, M. Chang, A. Gal, and M. Franz; "Stream-Based Dynamic Compilation for Object-Oriented Languages;" accepted for publication in 47th International Conference on Objects, Models, Components, Patterns (TOOLS-EUROPE 2009), Zurich, Switzerland; June 2009. |
| C.58 |
A. Gal, B. Eich, M. Shaver, D. Anderson, B. Kaplan. G. Hoare, D. Mandelin, B. Zbarsky, J. Orendorff, J. Ruderman, E. Smith, R. Reitmaier, M. R. Haghighat, M. Bebenita, M. Chang, and M Franz; "Trace-based Just-in-Time Type Specialization for Dynamic Languages;" accepted for publication in Programming Language Design and Implementation (PLDI 2009), Dublin, Ireland; June 2009. (34 accepted out of 196 submissions) |
| C.57 |
B. Salamat, T. Jackson, A. Gal, and M. Franz; "Intrusion Detection Using Parallel Execution and Monitoring of Program Variants in User-Space;" in EuroSys'09, Nürnberg, Germany; April 2009. (25 accepted out of 148 submissions)
|
| C.56 |
M. Franz; "Information-Flow Aware Virtual Machines: Foundations For Trustworthy Computing;" in Cybersecurity Applications and Technologies Conference for Homeland Security (CATCH 2009), Washington, D.C.; March 2009. |
| C.55 |
M. Chang, E. Smith, R. Reitmaier, A. Gal, M. Bebenita, Ch. Wimmer, B. Eich, and M. Franz; "Tracing for Web 3.0: Trace Compilation for the Next Generation Web Applications;" in The 2009 ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments (VEE 2009), Washington, D.C.; March 2009. |
| C.54 |
L. Wang and M. Franz; "Automatic Partitioning of Object-Oriented Programs for Resource-Constrained Mobile Devices with Multiple Distribution Objectives;" in The 14th IEEE International Conference on Parallel and Distributed Systems (ICPADS'08), Melbourne, Victoria, Australia, December 2008. |
| C.53 |
G. Wagner, A. Gal, and M. Franz; "SlimVM: Optimistic Partial Program Loading for Connected Embedded Java Virtual Machines;" in The International Conference on the Principles and Practice on Programming in Java 2008 (PPPJ 2008), Modena, Italy; September 2008. Best Paper Award. |
| C.52 |
A. Yermolovich, A. Gal, and M. Franz; "Portable Execution of Legacy Binaries on the Java Virtual Machine;" in The International Conference on the Principles and Practice on Programming in Java 2008 (PPPJ 2008), Modena, Italy; September 2008. |
| C.51 |
A. Noll, A. Gal, and M. Franz; "CellVM: A Homogeneous Virtual Machine Runtime System for a Heterogeneous Single-Chip Multiprocessor;" in 2008 Workshop on Cell Systems and Applications, Beijing, China; June 2008. |
| C.50 |
B. Salamat, A. Gal, and M. Franz; "Reverse Stack Execution in a Multi-Variant Execution Environment;" in 2008 Workshop on Compiler and Architectural Techniques for Application Reliability and Security (CATARS'08), Anchorage, Alaska; June 2008. |
| C.49 |
B. Salamat, A. Gal, T. Jackson, K. Manivannan, G. Wagner, and M. Franz; "Multi-Variant Program Execution: Using Multi-Core Systems to Defuse Buffer-Overflow Vulnerabilities;'' in Proceedings of the 2008 International Workshop on Multi-Core Computing Systems (MuCoCoS 2008), Barcelona, Spain; March 2008. |
| C.48 |
M. Franz; Eliminating Trust From Application Programs By Way Of Software Architecture; in Proceedings of Software Engineering 2008 (SE 2008), Munich, Germany, Lecture Notes in Informatics (LNI) No. 121, GI-Edition, Gesellschaft für Informatik, Bonn, ISBN 978-3-88579-215-4, pp. 112-126; February 2008. |
| C.47 |
M. Franz; "Understanding and Countering Insider Threats In Software Development;" in P. Kropf, M. Benyoucef, and H. Mili (Eds.), 2008 International Montreal Conference on e-Technologies (MCETECH 2008), Montreal, Canada, IEEE Computer Society, ISBN 0-7695-3082-6, pp. 81-90; January 2008. |
| C.46 |
D. Chandra and M. Franz; "Fine-Grained
Information Flow Analysis and Enforcement in a Java Virtual Machine";
in 23rd Annual Computer Security Applications Conference
(ACSAC 2007), Miami Beach, Florida;
December 2007. |
| C.45 |
M. Bebenita, A. Gal, and M. Franz; "Implementing
Fast JVM Interpreters In Java Itself"; in V. Amaral, L. Veiga, L. Marcelino,
and H. C. Cunningham (Eds.), Principles and Practices of Programming
in Java,
Proceedings of the 5th International Conference (PPPJ 2007), Lisbon,
Portugal, ACM Press, ISBN 978-1-59593-672-1, pp. 145-154;
September 2007. |
| C.44 |
A. Gal, M. Bebenita, and M. Franz; "One
Method At A Time Is Quite a Waste of Time"; in Proceedings of the
Second ECOOP Workshop on Implementation, Compilation, Optimization
of Object-Oriented Languages, Programs and Systems (ICOOOLPS'2007), Berlin, Germany, Report No. 2007-5, Technische Universität
Berlin, ISSN 1436-9915, pp. 11-16; July 2007. |
| C.43 |
M. Franz, A. Gal, and C. W. Probst; "Automatic
Generation of Machine Emulators: Efficient Synthesis of Robust
Virtual Machines
for Legacy Software Migration"; in W.-G. Bleek, J. Raasch, H.
Züllighoven (Eds.), Proceedings of Software Engineering
2007 (SE 2007) Hamburg, Germany, Lecture Notes in Informatics
(LNI) No. 105, GI-Edition, Gesellschaft für Informatik,
Bonn, ISBN 978-3-88579-199-7, pp. 83-94; March 2007. |
| C.42 |
A. Gal, M. Franz, and Ch. W. Probst; "HotpathVM:
An Effective JIT for Resource-Constrained Devices";
in Virtual
Execution Environments (VEE 2006), Ottawa, Canada, ACM Press,
ISBN 1-59593-332-6, pp. 144-153; June 2006. |
| C.41 |
E. Yardimci and M. Franz; "Dynamic
Parallelization of Binary Executables on Hierarchical Platforms;" in Computing
Frontiers 2006, Ischia, Italy, ACM Press, ISBN 1-59593-302-6,
pp. 127-138; May 2006. |
| C.40 |
Ph. Adler, W. Amme, M. Franz, and J. von Ronne; "Producer-Side
Platform-Independent Optimizations and Their Effects on Mobile-Code
Performance;" to appear in The 10th IEEE Annual Workshop
on Interaction between Compilers and Computer Architectures (INTERACT-10), Austin,
Texas; February 2006. |
| C.39 |
V. Haldar, D. Chandra, and M. Franz; "Dynamic
Taint Propagation for Java;" in Twenty-First Annual Computer Security Applications
Conference (ACSAC 2005), Tucson, Arizona, IEEE Computer Society
Publications, ISBN 0-7695-2461-3, pp. 274-282; December 2005. |
| C.38 |
V. Haldar, D. Chandra, and M. Franz; "Practical,
Dynamic Information-Flow for Virtual Machines;" in Programming
Language Interference and Dependence (PLID'05), London, England;
September 2005. |
| C.37 |
Ch. W. Probst, and M. Franz; "Average
Case vs. Worst Case Margins of Safety in System Design;" in Ch. F. Hempelmann, V. Raskin (Eds.),
New Security Paradigms Workshop 2005 (NSPW 2005), Lake
Arrowhead, California, ACM Press, ISBN 1-59593-317-4, pp. 25-32;
September 2005. |
| C*36 |
A. Gal, Ch. W. Probst, and M. Franz; “Structural
Encoding of Static Single Assignment Form”; 4th
International Workshop on Compiler Optimization Meets Compiler
Verification (COCV’05), Edinburgh, Scotland; April
2005. Revised post-conference version published as Electronic
Notes in Theoretical Computer Science (ENTCS), Vol. 141,
No. 2, pp. 85-102; November~2005. |
| C*35 |
W. Amme, J. von Ronne, and M. Franz; “Quantifying
the Benefits of SSA-Based Mobile Code”; in 4th
International Workshop on Compiler Optimization Meets Compiler
Verification (COCV’05), Edinburgh, Scotland;
April 2005. Revised post-conference version published as Electronic
Notes in Theoretical Computer Science (ENTCS), Vol. 141, No. 2,
pp. 103-119; November 2005. |
| C*34 |
A. Gal, Ch. W. Probst, and M. Franz; “Integrated
Java Bytecode Verification”; in 1st
International Workshop on Abstract Interpretation of Object-Oriented
Programming Languages
(AIOOL’05), Paris, France; January 2005. Published
as Electronic Notes in Theoretical Computer Science (ENTCS), Vol.~131, pp.~27--38; May~2005. |
| C.33 |
V. Haldar and M. Franz; “Symmetric
Behavior-Based Trust: A New Paradigm for Internet Computing”;
in Carla Marceau, Simon Foley (Eds.), New
Security Paradigms Workshop 2004 (NSPW-2004), White Point,
Nova Scotia, ACM Press, ISBN 1-59593-076-0, pp. 79-84;
September 2004. (This paper was one of 4 papers selected for the “Highlights
of NSPW 2004” session
at ACSAC 2004.) |
| C.32 |
J. von Ronne, N. Wang, and M. Franz; “Interpreting
Programs in Static Single Assignment Form”;
in Proceedings of the ACM
SIGPLAN 2004 Workshop on Interpreters, Virtual Machines and Emulators
(IVME’04), Washington, D.C.,
pp. 23-30; June 2004. (Precursors to this paper were published
as UCI ICS Technical Reports No. 03-19
and No. 03-12.) |
| C.31 |
M. Beers, Ch. Stork, and M. Franz; “Efficiently
Verifiable Escape Analysis”; in M. Odersky (Ed.), Proceedings
of the 18th European
Conference on Object-Oriented Programming (ECOOP 2004), Oslo,
Norway, Springer Lecture Notes in Computer Science, Vol. 3086,
ISBN 3-540-22159-X, pp. 75-95; June 2004. (A precursor to this
paper was published as UCI ICS Technical Report No. 03-29.) |
| C.30 |
V. Haldar, D. Chandra, and M. Franz; “Semantic
Remote Attestation: A Virtual Machine Directed Approach to Trusted
Computing”;
in Proceedings of the 3rd
USENIX Virtual Machine Research & Technology
Symposium (VM’04), San Jose, California, ISBN 1-931971-20-X,
pp. 29-41; May 2004. (Best Paper Award; a precursor
to this paper was published as UCI ICS Technical
Report No. 03-20.) |
| C.29 |
Ch. W. Probst, A. Gal, and M. Franz; “Code Generating Routers:
A Network-Centric Approach to Mobile Code”; in Proceedings
of the 2003 IEEE 18th
Annual Workshop on Computer Communications (CCW’2003), Dana
Point, California, IEEE Press, ISBN 0-7803-8239-0,
pp. 179-186; October 2003. |
| C.28 |
M. Franz, D. Chandra, A. Gal, V. Haldar, F. Reig, and N. Wang; “A
Portable Virtual Machine Target For Proof-Carrying Code”;
in Proceedings
of the ACM SIGPLAN 2003 Workshop on Interpreters, Virtual Machines
and Emulators
(IVME’03), San Diego, California, pp. 24-31; June 2003.
(A precursor to this paper was published as UCI ICS Technical Report
No. 03-11.) |
| C.27 |
J. von Ronne, A. Hartmann, W. Amme, and M. Franz; “Code
Annotation for Safe and Efficient Dynamic Object Resolution”;
in Proceedings of the 2003
Workshop on Compiler Optimization meets Compiler Verification (COCV-2003),
Warsaw, Poland, April 2003. |
| C.26 |
A. Gal, M. Franz , D. Beuche, “Learning from Components:
Fitting AOP for System Software”, in Proceedings of the Second
AOSD
2003 Workshop on Aspects, Components, and Patterns for Infrastructure
Software, Boston, Massachusetts; March 2003. |
| C.25 |
V. Haldar, Ch. Stork, and M. Franz; “The
Source Is The Proof”; in C. Serban, S. Saydjari (Eds.),
in Proceedings of the ACM
SIGSAC 2002 Workshop on New Security Paradigms (NSPW-2002), Virginia Beach, Virginia, ACM
Press, ISBN 1-58113-598-X, pp. 69-73; September 2002. |
| C.24 |
V. Haldar and M. Franz; “Towards Trusted
Systems, From The Ground Up" to appear in Proceedings
of the Tenth ACM SIGOPS
European Workshop: Can We Really Depend On An OS?, Saint-Emilion,
France, September 2002. |
| C.23 |
M. Franz; “Enhancing Class Files:
A Migration Path to Better Mobile-Code Representations" to
appear in D. Bakken (Ed.), DSN
Fast Abstracts, Supplement to the Proceedings of the 2002 International
Conference on Dependable Systems and Networks (DSN-2002),
Washington, D.C., June 2002. |
| C.22 |
J. von Ronne, A. Hartmann, W. Amme, and M. Franz; “Efficient
Online Optimization by Utilizing Offline Analysis and the SafeTSA
Representation; in Proceedings of the 2nd
Workshop on Intermediate Representation Engineering for Virtual
Machines (IRE 2002), Dublin, Ireland, June 2002. |
| C.21 |
D. Chandra, Ch. Fensch, W.-K. Hong, L. Wang, E. Yardimci, and
M. Franz; “Code Generation at the Proxy:
An Infrastructure-Based Approach to Ubiquitous Mobile Code" to
appear in Proceedings of the Fifth
ECOOP Workshop on Object-Orientation and Operating Systems (ECOOP-OOOSWS
2002), Malaga, Spain, June 2002. |
| C.20 |
A. Gal, P. H. Fröhlich, and M. Franz; “An
Efficient Execution Model for Dynamically Reconfigurable Component
Software" to appear in Proceedings of the 7th
International Workshop on Component-Oriented Programming (WCOP
2002), Malaga, Spain, June 2002. |
| C.19 |
P. H. Fröhlich and M. Franz; “On
Certain Basic Properties of Component-Oriented Programming Languages",
in Proceedings of the First
OOPSLA Workshop on Language Mechanisms for Programming Software
Components, Tampa Bay, Florida; October 2001. |
| C.18 |
M. Franz; “A Fresh Look At Low-Power
Mobile Computing" in Proceedings of the Workshop
on Compilers and Operating Systems for Low Power 2001 (COLP'01),
Barcelona, Spain; September 2001. |
| C*17 |
P. S. Housel, Ch. H. Stork, V. Haldar, N. Dalton, and M. Franz; “Towards
Language Agnostic Mobile Code"; in N. Benton
and A. Kennedy (Eds.), Proceedings of the First
Workshop on Multi-Language Infrastructure and Interoperability
(BABEL'01), Florence, Italy; September 2001. Also
published as Electronic Notes in Theoretical Computer Science
(ENTCS), Vol. 59, No. 1, pp. 142-157; November 2001. |
| C.16 |
W. Amme, N. Dalton, J. von Ronne, and M. Franz; “SafeTSA:
A Type Safe and Referentially Secure Mobile-Code Representation
Based on Static Single Assignment Form"; in Proceedings
of the ACM
Sigplan Conference on Programming Language Design and Implementation
(PLDI 2001), Snowbird, Utah, pp. 137147; June 2001.
(A precursor to this paper was published as UCI ICS Technical
Report No. 00-43.) |
| C.15 |
W. Amme, N. Dalton, P. H. Fröhlich, V. Haldar, P. S. Housel,
J. von Ronne, Ch. H. Stork, S. Zhenochin, and M. Franz; “Project
transPROse: Reconciling Mobile-Code Security With Execution Efficiency";
in The
Second DARPA Information Survivability Conference and Exhibition
(DISCEX II), Anaheim, California; IEEE Computer Society
Press, ISBN 0-7695-1212-7, pp. II.196II.210; June 2001. (A precursor
to this paper was published as UCI ICS Technical Report No. 01-01.) |
| C.14 |
W. Amme, N. Dalton, M. Franz, and J. von Ronne; “A
Type-Safe Mobile Code Representation Aimed At Supporting Dynamic
Optimization At The Target Site"; in Third
ACM Workshop on Feedback-Directed and Dynamic Optimization (FDDO-3),
Monterey, California, December 2000. (Best Paper Award; additionally
and independently, the paper's presentation was one of three
simultaneous winners of the Best Presentation Award) |
| C.13 |
P. H. Fröhlich and M. Franz; “Stand-Alone
Messages: A Step Towards Component-Oriented Programming Languages";
in J. Gutknecht and W. Weck (Eds.), Modular
Programming Languages: Proceedings of the Fifth Joint Modular
Languages Conference (JMLC 2000), Zurich, Switzerland;
Springer Lecture Notes in Computer Science, No. 1891, ISBN 3-540-67958-8;
pp. 90-103; September 2000. |
| C.12 |
M. Franz, P. H. Fröhlich, and T. Kistler; “Towards
Language Support for Component-Oriented Real-Time Programming";
in The
Fifth IEEE International Workshop on Object-Oriented Real-Time
Dependable Systems (WORDS'99F, Monterey, California, November
1999); IEEE Computer Society Press, ISBN 0-7695-0616-X;
April 2000. |
| C.11 |
T. Kistler and M. Franz; “Computing
the Similarity of Profiling Data: Heuristics for Guiding Adaptive
Compilation"; in Proceedings of the Workshop
on Profile and Feedback-Directed Compilation, Paris,
France, September 1998. |
| C.10 |
M. Franz; “On the Architecture of
Software Component Systems"; in R. N. Horspool (Ed.), Systems
Implementation 2000, (Proceedings of the IFIP TC2 WG2.4 Working
Conference on Systems Implementation 2000: Languages, Methods
and Tools, Berlin, Germany), Chapman & Hall, ISBN 0-412-83530-4,
pp. 207-220; February 1998. |
| C.09 |
M. Franz and T. Kistler; “Does Java
Have Alternatives?"; in D.J. Richardson and D. Wile (Eds.), Proceedings
of the Third California Software Symposium (CSS'97), Irvine,
California, pp. 5-10; November 1997. |
| C.08 |
M. Franz; “Beyond Java: An Infrastructure
for High-Performance Mobile Code on the World Wide Web";
in S. Lobodzinski and I. Tomek (Eds.), Proceedings of WebNet'97,
World Conference of the WWW, Internet, and Intranet, Association
for the Advancement of Computing in Education; ISBN 1-880094-27-4,
pp. 33-38; October 1997. (Best Paper Award) |
| C.07 |
M. Franz; “Run-Time Code Generation
as a Central System Service"; in The Sixth Workshop on
Hot Topics in Operating Systems (HotOS-VI), IEEE Computer
Society Press, ISBN 0-8186-7834-8, pp. 112-117; May 1997. |
| C.06 |
M. Franz; “Toward an Execution Model
for Component Software"; in M. Mühlhäuser (Ed.), Special
Issues in Object-Oriented Programming: Workshop Reader of the
10th European Conference on Object-Oriented Programming (ECOOP'96),
dpunkt Verlag, Heidelberg, ISBN 3-920993-67-5, pp. 144-149; March
1997. |
| C.05 |
M. Franz and T. Kistler; “A Tree-Based
Alternative to Java Byte-Codes"; in Proceedings of the
International Workshop on Security and Efficiency Aspects of
Java, Eilat, Israel; January 1997. |
| C.04 |
M. Franz; “Compiler Optimizations
Should Pay for Themselves"; in P. Schulthess (Ed.), Advances
in Modular Languages: Proceedings of the Joint Modular Languages
Conference, Universitätsverlag Ulm, ISBN 3-89559-220-X,
pp. 111-121; September 1994. |
| C.03 |
M. Franz; “Technological Steps toward
a Software Component Industry"; in J. Gutknecht (Ed.), Programming
Languages and System Architectures: Proceedings of the International
Conference, Zurich, Switzerland, Springer Lecture Notes in
Computer Science, No. 782, pp. 259-281; March 1994. |
| C.02 |
M. Franz; “Immediate Object-Level Software Reuse on Different
Target Architectures using Fast On-The-Fly Code Generation"; in Position
Paper Collection of the Second International Workshop on Software
Reusability, Lucca, Italy; March 1993. |
| C.01 |
M. Franz and S. Ludwig; “Portability
Redefined"; in Proceedings
of the Second International Modula-2 Conference, Loughborough,
England, pp. 216-224; September 1991. |
Selected Further Publications
Note: Technical reports that have subsequently been published
as book chapters, journal articles, or conference papers are not
listed again here.
| TR. 07-10 |
M. Chang, M. Bebenita, A. Yermolovich, A. Gal, and M. Franz; Efficient
Just-In-Time Execution of Dynamically Typed Languages Via Code
Specialization Using Precise Runtime Type Inference; Technical
Report No. 07-10, Donald Bren School of Information and Computer
Science,
University of
California, Irvine; September 2007 |
| TR. 06-19 |
M. Rauch, A. Gal, and M. Franz; Dynamic
Adaptive Power Management For - And By - A Java Virtual Machine;
Technical Report No. 06-19, Donald Bren School of Information
and Computer Science, University of California, Irvine; November
2006 |
| TR. 06-16 |
A. Gal and M. Franz; Incremental
Dynamic Code Generation with Trace Trees; Technical Report
No. 06-16, Donald Bren School of Information and Computer Science,
University of California, Irvine; November 2006. |
| W.06a |
M. Stilkerich, Ch. Wawersich, W. Schroder-Preikschat, A. Gal,
and M. Franz; "OSEK/VDX API for Java"; in Linguistic Support
for Modern Operating Systems (PLOS 2006), San Jose, California;
October 2006. |
UTSA TR. 2006-004 |
J. von Ronne, W. Amme, and M. Franz; SafeTSA:
An Inherently Type-Safe SSA-based Code Format. Technical
Report No. 2006-004, Department of Computer Science, University
of Texas at San Antonio; August 2006. |
| TR. 04-23 |
C. Petrescu-Prahova and M. Franz; Safe
and Portable Three Address Code; Technical Report No. 04-23,
School of Information and Computer Science, University of California,
Irvine; November 2004. |
| P.04 |
E. Yardimci, N. Dalton, Ch. Fensch, and M. Franz; “Azure:
A Virtual Machine for Improving Execution of Sequential Programs
on Throughput-Oriented Explicitly-Parallel Processors”; in
Proceedings of the 11th
International Workshop on Compilers for Parallel Computers (CPC
2004), Seeon, Germany, Shaker Verlag, pp.
61-174; July 2004. |
| TR. 04-09 |
A. Gal, Ch. W. Probst, and M. Franz; Complexity-Based
Denial of Service Attacks on Mobile-Code Systems; Technical Report No.
04-09, School of Information and Computer Science, University of
California, Irvine; April 2004. |
| TR. 04-06 |
V. Haldar and M. Franz; Mandatory
Access Control at the Object Level; Technical Report No. 03-32, School of Information and Computer
Science, University of California, Irvine; April 2004. |
| TR. 03-26 |
N. Wang and M. Franz; A
Practical Mobile-Code Format With Linear Verification Effort;
Technical Report No. 03-26, School of Information and Computer
Science, University of California, Irvine; November 2003. |
| TR. 03-25 |
N. Wang, P. S. Housel, G. Zhang, and M. Franz; An
Efficient XML Schema Typing System;
Technical Report No. 03-25, School of Information and Computer
Science, University of California, Irvine; November 2003. |
| TR. 03-22 |
M. Franz, P. H. Fröhlich, and A. Gal; Supporting
Software Composition at the Programming-Language Level;
Technical Report No. 03-22, School of Information and Computer
Science, University
of California, Irvine; October 2003. |
| TR. 03-21 |
V. Haldar, Ch. W. Probst, V. Venkatachalam, and M. Franz; Virtual
Machine Driven Dynamic Voltage Scaling; Technical
Report No. 03-21, School of Information and Computer Science,
University of California, Irvine; October 2003. |
| TR. 03-18 |
R. E. Diaconescu, L. Wang, and M. Franz; Automatic
Distribution of Java Byte-Code Based on Dependence Analysis; Technical Report
No. 03-18, School of Information and Computer Science, University
of California, Irvine; October 2003. |
| TR. 03-13 |
V. Venkatachalam, L. Wang, A. Gal, Ch.
Probst, and M. Franz; ProxyVM:
A Network-based Compilation Scheme for Resource-Constrained Devices; Technical Report No. 03-13,
School of Information and Computer Science, University of California,
Irvine; March 2003. |
| TR. 02-24 |
N. Wang, M. Franz, and N. Dalton; Enabling
Efficient Program Analysis for Dynamic Optimization of a Family
of Safe Mobile Code
Formats; Technical Report No. 02-24, Department of Information
and Computer Science, University of California, Irvine; September
2002, revised February 2003. |
| TR. 02-12 |
P. H. Fröhlich, A. Gal, and M. Franz; On
Reconciling Objects, Components, and Efficiency in Programming
Languages; Technical Report No. 02-10, Department of
Information and Computer Science, University of California,
Irvine; March 2002. |
| J-TR. 06/02 |
W. Amme, J. von Ronne, and M. Franz; Using
the SafeTSA Representation to Boost the Performance of an Existing
Java Virtual Machine; Technical Report No. 06/02 (Jenaer
Schriften zur Mathematik und Informatik), Institut für
Informatik, Friedrich-Schiller-Universität Jena, Germany;
March 2002. |
| TR. 00-42 |
Ch. H. Stork, V. Haldar, and M. Franz; Generic
Adaptive Syntax-Directed Compression for Mobile Code;
Technical Report No. 00-42, Department of Information and Computer
Science, University of California, Irvine; November 2000, revised
April 2001. |
| TR. 99-49 |
P. H. Fröhlich and M. Franz; Component-Oriented
Programming in Object-Oriented Languages; Technical
Report No. 99-49, Department of Information and Computer Science,
University of California, Irvine; November 1999. |
| TR. 98-34 |
M. Franz and T. Kistler; Splitting
Data Objects to Increase Cache Utilization; Technical
Report No. 98-34, Department of Information and Computer Science,
University of California, Irvine; October 1998. |
| P.98a |
M. Franz and T. Kistler; "Yest
li u Java alternativy?" (in Russian); Kompyuteruy Ezenedelnik, No.
14, pp. 26-28 and 45-46, April 1998. |
| P.97 |
M. Franz; "Java: kriticheskaya
otsenka" (in Russian); Mir PK, No. 77, ISSN 0235-3520,
pp. 56-60; August 1997. |
| P.95 |
M. Franz; "Proyekt OMI i kodogeneratsiya na letu" (in Russian); Technologiya
Programmirovaniya, 1:1, p. 183; February 1995. |
| P.91 |
M. Franz; "The
Rewards of Generating True 32-bit Code"; ACM
Sigplan Notices, 26:1, pp. 121-123; January 1991. |
| TR. 90-142 |
M. Franz; MacOberon Reference Manual; Technical Report
No. 142, Departement Informatik, ETH Zürich; November 1990. |
| TR. 90-141 |
M. Franz; The Implementation of MacOberon; Technical Report
No. 141, Departement Informatik, ETH Zürich; October 1990. |
|
