Markus Schordan, TU Wien

Talks

• May 12, 2009: Development of Infrastructures for Automatic Program Analysis, IFIP Working Group 2.4 Software Implementation Technology, Port Townsend, WA, USA.
• April 27, 2009: SSA Form w.r.t. Pointer Analysis Precision, Static-Single-Assignment Form Seminar, Autrans, France.
• February 04, 2009: Development of Infrastructures for Automatic Program Analysis, Workshop on Timing Analysis and Symbolic Computation (TASCo), Vienna University of Technology, Vienna.
• January 30, 2009: Entwicklung von Infrastrukturen für automatische Programmanalyse, Alpen-Adria Universität Klagenfurt.
• May 06, 2008: An Example of Source-To-Source Analysis with SATIrE
  25. Workshop der GI Fachgruppe Programmiersprachen und Rechenkonzepte, Bad Honnef, Germany.
  
• April 17, 2008: SATIrE: Static Analysis Tool Integration Engine
  Dagstuhl Seminar 08161: Scalable Program Analysis, Schloss Dagstuhl, Germany.
  
• Oct 11, 2007: Towards Automatic Extraction of the Visitor Design Pattern Language from Existing Source Code
  14. Kolloquium Programmiersprachen und Grundlagen der Programmierung, Timmendorfer Strand, Germany.
  
• May 03, 2007: Combining Tools and Languages for Static Analysis and Optimization of High-Level Abstractions
  GI Fachgruppe für Programmiersprachen und Rechenkonzepte, Bad Honnef, Germany.
  
• April 27, 2007: Static Analysis and Source-To-Source Transformation with SATIrE
  Workshop on Automatic Test-Data Generation for Measurement-based Execution Time Determination, Mondsee, Austria.
  
• April 16, 2007: A C/C++ Infrastructure for Generating WCET Annotations
  ARTIST2 Cluster Compilers and Timing Analysis Meeting, Nice, France.
  
• November 30, 2006: Tool Integration for Static Analysis of Real-World Applications
  Saarland University, Saarbruecken, Germany.
• November 03, 2006: Integration of ROSE and PAG
  ARTIST2 Cluster Compilers and Timing Analysis Meeting, Dortmund, Germany.
  
• July 07, 2006: Analysis and Transformation of Object-Oriented Applications with ROSE and PAG
  Australian National University, Canberra, Australia. [invited talk]
  
• July 05, 2006: Recognition and Optimization of Object-Oriented High-Level Abstractions
  University of Sydney, Sydney, Australia. [invited talk]
  
• July 04, 2006: Analysis and Transformation of High-Level Abstractions with ROSE
  University of New South Wales, Sydney, Australia. [invited talk]
  
• July 01, 2006: ROSE: An Infrastructure for Abstraction-Aware High-Level Optimization of Scientific Applications
  Workshop on High Productivity Programming Languages and Models (HPPLM), a satellite event of the 20th ACM International Conference on Supercomputing (ICS'06), Cairns, Queensland, Australia. [invited talk]
  
• June 11, 2006: On Building Infrastructures for Domain-Specific Analysis and Optimization of General-Purpose Languages
  13th AURORA-Plenary Meeting with focus on High Productivity Languages, Strobl, Austria.
  
• May 16, 2006: The Language of the Visitor Design Pattern
  10th Brazilian Symposium on Programing Languages (SBLP'06), Parque Nacional do Itatiaia, Rio de Janeiro, Brazil.
• March 06, 2006: Automation of PAG Integration and Specification of Analyses for C/C++
  ARTIST2 Cluster Compilers and Timing Analysis Meeting, Munich, Germany.
• March 02, 2005: Characterization of Aliasing Patterns and Evaluation of its Impact on Code Improving Transformations
  ARTIST2 Cluster Compilers and Timing Analysis Meeting, Amsterdam.
• November 10, 2005: On the Impact of Alias Analysis Precision on Slicing
  Dagstuhl Seminar 05451: Beyond Program Slicing, Schloss Dagstuhl, Germany.
• September 30, 2005: Specifying Transformation Sequences as Computation on Program Fragments with an Abstract Attribute Grammar
  Fifth IEEE International Workshop on Source Code Analysis and Manipulation (SCAM'05)
  Budapest, Hungary.
  
• March 7, 2005: Characterization of Aliasing Patterns and its Impact on Scheduling for DSP Codes
  Dagstuhl Seminar 05101, Scheduling for Parallel Architectures: Theory, Applications, Challenges, Schloss Dagstuhl, Germany.
• October 19, 2004: Library Aware High-Level Optimizations of Applications
  University Vienna, Vienna, Austria. [invited talk]
• June 6, 2004: Library Aware High-Level Optimizations
  Ninth AURORA Plenary Meeting, Strobl/Wolfgangsee, Austria.
• August 26, 2003: A Source-To-Source Architecture for User-Defined Optimizations
  Joint Modular Languages Conference (JMLC'03), Klagenfurt, Austria.
  
• January 2000: Virtual Method Resolution with Typed Alias Graphs
  8th International Workshop on Compilers for Parallel Computers (CPC'00), Aussois, France.
• June 1999: PAOLA - Program Analysis of Object-Oriented Languages
  International Workshop on Aliasing in Object-Oriented Systems (IWAOOS'99), Lisbon, Portugal.
• April 1999: JavaSet: Extending Java by Persistent Sets
  3rd International Austrian-Israeli Technion Symposium, Software for Communication Technologies'99, Hagenberg, Linz, Austria.
• November 1999: JavaSet: Eine Erweiterung von Java um persistente Mengen
  Java-Informations-Tage (JIT'98), Frankfurt/Main, Germany.