Wolfram Amme
Datenabhängigkeitsanalyse in Programmen mit Zeigern
Kovac-Verlag, 1998.
Wolfram Amme
Implementierung und Evaluierung verschiedener Speichervergabestrategien in einem UNIX-ähnlichen Lehrbetriebssystem
Tectum-Verlag 1995.
Buchbeiträge
Michael Franz, Wolfram Amme, Matthew Beers, Niall Dalton, Peter H. Fröhlich, Vivek Haldar, Peter S. Housel, F. Reig, Christian H. Stork, Jeffery von Ronne, Sergej Zhenochin,
Andreas Hartmann:
Making Mobile Code Both Safe and Efficient
in J. Lala (Ed.; Foundations of Intrusion Tolerant Systems; IEEE Competer Society Press, 2003.
Jeffery von Ronne, Wolfram Amme, Michael Franz,
Andreas Hartman:
Efficient Online Optimization by Utlizing Offline Analysis and the SafeTSA - Representation in Recent Advances in Java Technology: Theory, Application, Implementation
Chapter 27, Trinity College, Dublin, Ireland, Computer Science Press, ISBN 0954414500, S. 233-241, 2003.
Journals
Wolfram Amme,
Thomas Heinze,
Jeffery von Ronne:
Intermediate Representations of Mobile Code
INFORMATICA, The International Journal of Computing and Informatics, Vol.32, SSI, Slovenia, pp. 1-25, 2008.
(PDF)
Wolfram Amme,
Philipp Adler,
Marc-Andre Möller:
Data Flow Analysis as a General Concept for the Transport of Verfifiable Program Annotations
Electronic Notes in Theoretical Competer Science, Vol. 176, No. 3, pp. 97-108, 2007.
http://dx.doi.org/10.1016/j.entcs.2006.06.019
Wolfram Amme, Jeffery von Ronne, Michael Franz:
SSA-Based Mobile Code: Implementation and Empirical Evaluation
ACM Journal Transactions on Architecture and Code Optimization, Vol 4, No. 2, 2007.
Wolfram Amme, Michael Franz:
Effiziente Codegenerierung für mobilen Code
Informatik Spektrum 26 (4), 237-246, 2003.
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
ACM SIGPLAN Notices, 36 (5), pp. 137-147, 2001.
Wolfram Amme, Peter Braun, Francois Thomasset, Eberhard Zehendner:
Data dependence analysis of assembly code
International Journal on Parallel Programming 28, 5, pp. 431-467, 2000.
Wolfram Amme, Eberhard Zehendner:
Data dependence analysis in programs with pointers
In: E. Zapata, D. Padua (ed.): Languages and Compilers for Parallel Computers, Journal of Parallel Computing, Special Issue, 1998.
Konferenzen, Workshops
Philipp Adler,
Wolfram Amme:
Efficient Bytecode Verification for Constrained Devices
Proceedings of the 2nd Workshop on Embedded Systems Security (WESS
2007) at IEEE/ACM EMSOFT'2007, Salzburg, Austria, October 2007.
(PDF)
Philipp Adler,
Wolfram Amme:
Type-Separation as a Method for Efficient Bytecode Verification
Proceedings of the 13th International Workshop on Compilers for
Parallel Computers (CPC 2007), Lisbon, Portugal, 09.-11. July 2007.
(PDF)
Thomas Heinze,
Wolfram Amme, Simon Moser:
Generic CSSA-Based Pattern over Boolean Data for an Improved WS-BPEL to Petri Net Mapping
Proceedings of the Third International Conference on Internet and Web
Applications and Services (ICIW 2008), June 8-13, Athens, Greece,
2008.
http://doi.ieeecomputersociety.org/10.1109/ICIW.2008.14
Símon Moser, Axel Martens, Wolfram Amme, A.Godlinski:
Advanced Verification of Distributed WS-BPEL Business Processes Incorporating CSSA-based Data Flow Analysis
Proceedings of IEEE Int. Conf. on Services Computing (SCC 2007), July 9-13, 2007, Salt Lake City, Utah, USA.
Wolfram Amme, Marc-Andre Möller,
Philipp Adler:
Data Flow Analysis as a General Concept for the Transport of Verfifiable Program Annotations
Proceedings of the 5th International Workshop on Compiler Optimization Meets Compiler Verification (COCV 2006), Vienna, Austria, 2nd April, 2006.
PDF
Philipp Adler,
Wolfram Amme, Jeffery v. Ronne, Michael Franz:
Producer-Side Platform-Independent Optimizations and Their Effects on Mobile-Code Performance
Proceedings of the 10th IEEE Annual Workshop on Interaction between Compilers and Computer Architectures (INTERACT-10), Austin, Texas, 12th February 2006.
PDF
Philipp Adler,
Wolfram Amme:
Improving the Java Virtual Machine Using Type-Separated Bytecode
Proceedings of the 12th International Workshop on Compilers for Parallel Computers (CPC 2006), A Coruna, Spain, 09.-11. January 2006.
PDF
Wolfram Amme,
Philipp Adler:
Improving the Java Virtual Machine Using Type-Seperated Bytecode
Proceedings of the 12th International Workshop on Compilers for Parallel Computers, CPC 2006, A Coruna, Spain, 09.-11- January 2006.
Wolfram Amme, Jeffery von Ronne, Michael Franz:
Quantifying the Benefits of SSA-Based Mobile Code
http://www.ics.uci.edu/%7Efranz/Site/pubs-pdf/BC35.pdf,to appear in 4th International Workshop on Compiler Optimization Meets Compiler Verification (COCV'05), http://www.complang.tuwien.ac.at/knoop/COCV2005/cocv2005.html, Edinburgh, Scotland, 2005.
Wolfram Amme, Jeffery von Ronne, Michael Franz:
Using the SafeTSA Representation to Boost the Performance of an Existing Java Virtual Machine
Procedings of the 9th Workshop on Compilers for Parallel Computers, CPC 2003, Amsterdam, Netherlands, 2003.
Andreas Hartmann,
Wolfram Amme, Jeffery von Ronne, Michael Franz:
Code Annotation for Safe and Efficient Dynamic Object Resolution
Compiler Optimization Meets Compiler Verification, COCV 2003, Warsaw, Poland, 2003.
Jeffery von Ronne,
Andreas Hartmann,
Wolfram Amme, Michael Franz:
Efficient Online Optimization by Utilizing Offline Analysis and the SafeTSA Representation
in: Principles and Practice of Programming in Java (TM) PPPJ'02, Trinity College, Dublin, Ireland, 2002.
Wolfram Amme, Niall Dalton, Michael Franz, Jeffery v. Ronne:
SafeTSA: A Type Safe and Referentially Secure Mobile-Code Representation Based on Static Single Assignment Form
Proceeding of the SIGLAN Conference Programming Language Design and Implementation (PLDI), Snowbird, Utah, 20.-22, June 2001.
Wolfram Amme, Jeffery von Ronne, Michael Franz, Niall Dalton:
Compile Time Elimination of Null- and Bounds-Checks
Proceedings of 9th Workshop on Compilers for Parallel Computers (CPC 2001), Edinburgh, Scotland, UK, 2001.
Wolfram Amme, Niall Dalton, Jeffery von Ronne:
SafeTSA- A Structured and Typed Intermediate Representation of Mobile Code
Proceeding of the International Workshop on Performance-Oriented Application Development for Distributed Architectures (PADDA 2001), Munich, Germany, pp. 13-14, 2001.
Michael Franz, Jeffery von Ronne, Wolfram Amme, Niall Dalton:
An Alternative to Stack-Based Mobile-Code Representations
Proceeding of the 5th World Multi-Conference on Systemics,Cybernetics and Informatics (SCI 2001), Munich, Germany, July 22-25, Orlando, Florida, USA, 2001.
Wolfram Amme, Niall Dalton, P. Fröhlich, V. Haldar, P.S. Housel, Jeffery von Ronne, Ch. H. Stork, S. Zhenochin, Michael Franz:
Reconciling Mobile-Code Security With Execution Efficiency
accepted for appearance at the DARPA Information Survivability Conference and Exposition (DISCEX II). Anaheim, California, 2001.
Peter Braun, Wolfram Amme, Francois Thomasset, Eberhard Zehendner:
A data flow framework for analyzing assembly code
8th International Workshop on Compilers for Parallel Computers (CPC 2000), Aussois, Frankreich, pp. 163-172, 2000.
Wolfram Amme, Heike Hotzel,
Wilhelm R. Rossak,
Rene Stolle:
CAJ - Chipcard Controlled Accounting System Jena
Proceedings of 2000 Americas Conference on Information Systems (AMCIS 2000), Long Beach, CA (USA), 2000.
Wolfram Amme, Markus Schordan:
Virtual Method Resolution with Types Alias Graphs
8th International Workshop on Compilers for Parallel Computers, Aussois (France), pp. 151-162, 2000.
Wolfram Amme, Niall Dalton, Michael Franz, Jeffery von Ronne:
A Type-Safe Mobile-Code representation aimed at supporting dynamic optimization at the target site
Proceedings of the 3rd ACM Workshop on Feedback-Directed and Dynamic Optimization FDDO-3, Monterey, California, USA, 2000.
Wolfram Amme, Heike Hotzel, Rene Stolle,
Wilhelm R. Rossak:
Ein allgemeingültiges Abrechnungssystem für Online- und Offline-Dienste: Report on work in progress
Proc. of the workshop Gemeinschaften in Neuen Medien, GeNeMe2000, Joseph EuL Verlag, Lohmar-Köln, BRD, pp. 149-158, 2000.
Wolfram Amme, Heike Hotzel,
Wilhelm R. Rossak,
Margitta Schmelz,
Rene Stolle:
Möglichkeiten zur Kommerzialisierung von digitaler Information
Proc. Of the 22. DGI Online Tagung, DGI, Frankfurt, pp. 250-266, 2000.
Wolfram Amme, Peter Braun, Welf Löwe, Eberhard Zehendner:
Mapping List Algorithms on Parallel Systems
5. Workshop Parallele Systeme und Algorithmen (PASA), Jena, Oktober 1999.
Wolfram Amme, Peter Braun, Welf Löwe, Eberhard Zehendner:
LogP Modelling of List Algorithms
11th Symposium on Computer Architecture and High Performance Computing (SBAC-PAD 99), Natal, Brasilien, Oktober 1999.
PDF
Wolfram Amme, M. Schordan,
L. Böszörményi,
Wilhelm R. Rossak:
PAOLA-Program Analysis in Object-oriented Languages
IWAOOS'99 - Intercontinental Workshop on Aliasing in Object-Oriented Systems, in association with the 13th European Conference on Object-Oriented Programming (ECOOP'99), Lisbon, Portugal, June 1999.
Wolfram Amme, Peter Braun, Francois Thomasset, Eberhard Zehendner:
Data dependence analysis of assembly code
In Proc. International Conference on Parallel Architectures and Compilation Techniques (PACT 98), Paris, 14. - 17. Oktober, pp. 340-347, 1998.
PDF
Wolfram Amme, Peter Braun, Eberhard Zehendner:
Datenabhängigkeitsanalyse zur Erhöhung des Parallelitätsgrades auf Anweisungsebene
17. Workshop Parallel-Algorithmen, -Rechnerstrukturen und -Systemsoftware (PARS), Karlsruhe, 16.-17. September, pp. 70-79, 1998.
Wolfram Amme, Peter Braun, Francois Thomasset, Eberhard Zehendner:
ADAM - Advanced data dependence analysis for machine code
In Proc. of 7th Workshop on Compilers for Parallel Computers (CPC 98), Linköping, 29. Juni - 1. Juli, pp. 207-217, 1998.
S. Bühling, Wolfram Amme, Eberhard Zehendner:
An abstract store representation for may and must alias analysis in C programs
In Proc. of the CPC' 98, Linköping, Schweden, July, 1998.
Wolfram Amme, Peter Braun, Eberhard Zehendner:
Scheduling parallel loops for processing linear lists
In Proc. of the 23rd Euromicro Conference New Frontiers of Information Technology, Budapest, 1.-4. September, pp. 426-430, 1997.
Wolfram Amme, Eberhard Zehendner:
Efficient calculation of data dependences in programs with pointers and structures
In Proc. 2nd Sino-German Workshop APPT'97, Koblenz, September 1997.
Wolfram Amme, Eberhard Zehendner:
Efficient calculation of data dependences in programs with pointers and structures
In Proc. 23rd Euromicro Conference, Budapest, Hungary, September, IEEE Computer Society, Los Alamitos, California, pp. 55-64, 1997.
Wolfram Amme, Eberhard Zehendner:
Experiences in analyzing data dependences for programs with pointers and structures
In Proc. 3rd Euro-Par'97, Passau , September, Springer Lecture Notes in Computer Science, Vol. 1300, pp. 342-346, 1997.
Wolfram Amme, Eberhard Zehendner:
A/D graphs: a data structure for data dependence analysis in programs with pointers
Proc. 4th Workshop on Parallel Systems and Algorithms (PASA'96), Jülich, World Scientific Publishing, pp. 259-279, 1996.
Wolfram Amme, Eberhard Zehendner:
A/D graphs: a data structure for data dependence analysis in programs with pointers
In: L. Böszörményi (ed.): Parallel Computation. Proc. 3rd International ACPC Conference with Special Emphasis on Parallel Databases and Parallel I/O, Klagenfurt, Springer Lecture Notes in Computer Science, Vol. 1127, pp. 229-230, 1996.
Wolfram Amme, Eberhard Zehendner:
Data dependence analysis in programs with pointers .
Proc. 6th Workshop on Compilers for Parallel Computers (CPC'96), Aachen, Konferenzen des Forschungszentrums Jülich, Vol. 21, pp. 371-382, 1996.
Technische Berichte
Wolfram Amme, Jeffery von Ronne, Michael Franz:
SSA-based Mobile Code: Implementation and Empirical Evaluation
Technical Report No. 05/06, Friedrich-Schiller-Universität Jena, Jenaer Schriften zur Mathematik und informatik, 2006.
PDF
Jeffery von Ronne, Wolfram Amme, Michael Franz:
SafeTSA: An Inherently Type-Safe SSA-based Code Format
Technical Report No. 004/06, Friedrich-Schiller-Universität Jena, Jenaer Schriften zur Mathematik und informatik, 2006.
PDF
Jeffery von Ronne, Wolfram Amme, Michael Franz:
SSA-Based Mobile Code: Implementation and Empirical Evaluation
Computer Science, The University of Texas at San Antonio, CS-TR-2006-005, 2006.
Jeffery von Ronne, Wolfram Amme, Michael Franz:
An Inherently Type-Safe SSA-Based Code Format
Computer Science, The University of Texas at San Antonio, CS-TR-2006-004, 2006.
Wolfram Amme, Michael Franz, Jeffery von Ronne:
Goodbye Java Virtual Machine Migrating to a Superior Mobile Code Alternative
Technical Report No. 21/02, Department of Information and Computer Science, University of California, Irvine, 2002.
Wolfram Amme, Jeffery von Ronne, Michael Franz:
Using the SafeTSA Representation to Boost the Performance of an Existing Java Virtual Machine
Technical Report No. 06/02, Friedrich-Schiller-Universität Jena, Jenaer Schriften zur Mathematik und Informatik, 2002.
Wolfram Amme, Niall Dalton, Peter Fröhlich, Vivek Haldar, Peter S. Housel, Jeffery von Ronne, Christian H. Stork, Sergej Zhenochin, Michael Franz:
Project transPROse: Reconciling Mobile-Code Security with Execution Efficiency
Technical Report No. 01-01, Department of Information and Computer Science, University of California, Irvine, 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
Technical report, Department of Information and Computer Science, University of California, Irvine, 2000.
Wolfram Amme, Peter Braun, Francois Thomasset, Eberhard Zehendner:
Data dependence analysis of assembly code
Technical report No. RR-3764, Institut National de Recherche en Informatique et en Automatique (INRIA), Rocquencourt (Frankreich), 33 Seiten, September 1999.
PDF
Wolfram Amme, Eberhard Zehendner:
Ein monotones Datenflußsystem zur Bestimmung von Datenabhängigkeiten in Programmen mit Zeigern
Berichte zur Rechnerarchitektur 2, 1, Friedrich-Schiller-Universität Jena, 1996.
Kay Salzwedel, Wolfram Amme, Eberhard Zehendner:
Entwurf und Implementierung eines hierarchischen Systems zur Berechnung von Datenabhängigkeiten
Berichte zur Rechnerarchitektur 2, 5, Friedrich-Schiller-Universität Jena, 1996.
Jürgen Frotscher, Wolfram Amme, Eberhard Zehendner:
Implementierung einer Programmtransformation durch inkrementelles Aktualisieren interner Datenstrukturen
Berichte zur Rechnerarchitektur 2, 6, Friedrich-Schiller-Universität Jena, 1996.
Wolfram Amme, Eberhard Zehendner:
Efficient calculation of data dependences in programs with pointers and structures
Berichte zur Rechnerarchitektur 2, 22, Friedrich-Schiller-Universität Jena, 1996.
Wolfram Amme, Eberhard Zehendner:
Ein Übersetzer für die Programmiersprache TinyPascal
Berichte zur Rechnerarchitektur 2, 24, Friedrich-Schiller-Universität Jena, 1996.
Wolfram Amme, Peter Braun, Eberhard Zehendner:
Effizienzbestimmung beim Parallelisieren von dynamischen Datenstrukturen
Berichte zur Rechnerarchitektur 2, 23, Friedrich-Schiller-Universität Jena, 1996.
Wolfram Amme, Peter Braun, Eberhard Zehendner:
Experiences in analyzing data dependences for programs with pointers and structures
Forschungsergebnisse der Fakultät für Mathematik und Informatik, Nr. Math/Inf/96/34, 1996.
Sonstiges
Wolfram Amme, Michael Franz, Jeffery von Ronne:
Typed Static Single Assignment Form - A Typed and Structured Intermediate Representation for Mobile Code
In Code Optimization: Trends, Challenges and Perspectives. Editors: C. Dulong, R. Gupta, R. Kennedy, J. Knoop, J. Pierce. Dagstuhl Report No. 286, Dagstuhl, 2000.
Gutachtertätigkeiten
SIGLAN Conference Programming Language Design and Implementation (PLDI), 2003.
2nd International Conference on the Principles and Practice of Programming in Java (PPPJ), Mitglied im Programmkommitee, 2003.
IEEE Transactions on Systems, Man and Cybernetics, 2002.
AMICS Conference, Long Beach, USA, 2000.
The Computer Journal, 1999.
Eingeladene Vorträge
Menügesteuerte Benutzeroberflächenerstellung in der Programmiersprache Java
January, University of Osnabrück, Osnabrück, Germany, 2003.
SafeTSA: Development of Syntax-Oriented Intermediate Representations for Mobile-Code
BoF:On Using the Jikes Research Virtual Machine (RVM), Juni, PLDI 2002, Berlin, Germany, 2002.
SafeTSA: An Alternative to Stack-Based Mobile-Code Representations
Mai, INRIA Rocquencourt, Frankreich, 2002.
SafeTSA - A Structured and Typed Intermediate Representation for Mobile Code
April, University of Technology, Munich, Munich, Germany, 2001.
Typed Static Singel Assignment Form - A Typed and Strutured Intermediate Representation for Mobile Code
September, Dagstuhl-Seminar Code Optimization: Trends, Challenges and Perspectives, Dagst uhl, Deutschland, 2000.
ParaMod - Data Dependence Analysis in Programs with Pointers
August, KAIST, Taejon, Südkorea, 1999.
Advanced Data Dependence Analysis for Machine Code
August, KAIST, Taejon, Südkorea, 1999.
Datenabhängigkeitsanalyse in Programmen mit Zeigern
November, Universität Klagenfurt, Klagenfurt, Österreich, 1998.
A single-pass method for data dependence analysis
April, INRIA Rocquencourt, Paris, Frankreich, 1997.
Datenabhängigkeitsanalyse in Programmen mit Zeigern
Juli, Universität Dresden, Dresden, 1996.
Datenabhängigkeitsanalyse in Programmen mit Zeigern
Juni, Universität Karlsruhe, Karlsruhe, 1996.
Auszeichnungen, Preise
Our contribution 'A Type-Safe Mobile Code Representation Aimed At Supporting Dynamic Optimization At The Target Site' received the Best Paper Award and simultaneously and independently also one of three First Prize Best Presen tation Awards at the Third ACM Workshop on Feedback-Directed and Dynamic Optimization (FDDO-3), Monterey, California, December 2000
Login