Frühere Bachelor- und Diplomarbeitsvorträge

[LVA und neuere Vorträge]
28.9.2015
  Rudolf Mildner: An Actor Constraint Prototype - Verifying Event Order
  Gabor Hernadi: Interactive Class-Diagram Generation and Abstraction
  Gregor Riegler: Evaluation and Implementation of an optional, pluggable Type System for Forth
6.7.2015 
  Jakob Wilhelm: Migration von Host-Assembler nach C
1.6.2015 
  Andreas Kraschitzer: Algebraische Optimierungen im GCC
  Kurt Micheli: Hashification of the Elektra's KeySet lookup
  Hermann Schützenhöfer: Optimization of Array Bounds Checking
4.5.2015 
  Klaus Bräutigam: Expedient Logging for C++ using Reflection
13.4.2015
12.1.2015
  Omid Karami: TBA
  Klaus Bräutigam: Reflective Logging in C++
1.12.2014
  Jakob Wilhelm: Migration von Host-Assembler nach C
6.10.2014
 1.9.2014
  Philipp Grandits: Active Objects Revisited: A concurrency library for Java based on an object-oriented approach to parallelism
 7.7.2014
  Florian Hahn: Introducing CASMI, an AST Interpreter for CASM
 2.6.2014 
  Manuel Mertl: Comparison and Evaluation of JavaScript Preprocessing Languages
  Gerhard Schraml: Comparison of space based middlewares for networked embedded systems
 5.5.2014
  Philipp Paulweber: An optimizing Compiler for the Abstract State Machine Language CASM
  Christian Berrer: A Type Provider for API Blueprint specified Web Services
  Florian Hahn: Introducing CASMI, an Interpreter for CASM
  Gerhard Schraml: Comparison of space based middlewares for networked embedded systems
  Felix Berlakovich: A universal storage backend for Elektra
 3.3.2014
  Thomas Leitner: Eine Sprache und ein Compiler für Vektor- und Matrix-Berechnungen mit SIMD-Befehlen
  Gerald Wodni: A Concatenative Literate Programming Language
  Philipp Grandits: Aktive Objekte: Eine nebenläufige Java-Bibliothek auf Basis eines objektorientierten Ansatzes der Parallelität
13.1.2014 15h!
2.12.2013
  Andreas Rohner: Garbage Collection fuer NILFS2
  Andreas Schuh: Automatisierung von Software-Mustern mittels Metaprogrammierung
4.11.2013

7.10.2013
 2.9.2013
   Falbesoner: Registerallokator für tcc
 5.8.2013
 1.7.2013
 3.6.2013
 6.5.2013
 8.4.2013 15h!
   Bakk2: Aigner Sebastian: Wiener Börse - Funktional
   Aigner Sebastian: Entwicklertools für Haskell
   Bakk1 (Wissenschaftliches Arbeiten): Jakob Englisch: Realtime Bigdata
   Julian Schrittwieser: Units of Measure - A Scala Macro System
 4.3.2013 
   Bakk1: Thomas Ogrisegg: A qemu based Profiling/Tracing Framework
 4.2.2013
   Uebersetzerbau: Harald Steinlechner: Compilation of non-strict functional programming languages
7.1.2013 
   Bakk1: Julian Schrittwieser: A System of Measurements in Scala
   Dipl1: Jakob Hollenstein: Visual Control of Audio-Visual Speech Synthesis
 3.12.2012 
   Bakk2: Wolfgang Bumiller: Ein QC Compiler
   Johannes Spießberger
 5.11.2012
   Prak2: Rebecca Nowak: Auswirkungen der unterschiedlichen Typisierungen von Java und Ruby auf die Implementierung abstrakter Datenstrukturen
 1.10.2012 
   Dipl1: Bernhard Urban: Implementation of a Java Just-In-Time Compiler in Haskell
   Dipl2: Daniel Auer: Wartbarkeit in aspektorientierter Programmierung
 3.9.2012
 6.8.2012
 2.7.2012
   Dipl1: Daniel Auer: Wartbarkeit in aspektorientierter Programmierung
 4.6.2012
   Hamed Jafari: Expressiveness of Java versus Ruby from the Perspective of a Java Developer
   Wolfgang Bumiller: QC Compiler
   Benjamin Plocek: Simulation of Electric Vehicle Charging
 7.5.2012 
   Prak2: Taylor Peer und Michael Wagner: Embedding C++ Code in Android Java Applications
 2.4.2012
 5.3.2012
13.2.2012
   Dipl1: Andreas Schuh: Automatisierung von Software-Mustern mittels Meta-Programmierung
   Prak1: Hamed Jafari und Wilfried Nesensohn: Expressiveness of Java versus Ruby and Common Lisp from the Perception of a Java Developer
 9.1.2012
 5.12.2011 
   Dipl1: Martin Wieser: Fehlererkennung bei Robotern auf Basis eines Künstlichen Immunsystems
   Prak1: Benjamin Plocek: Simulation of Electric Vehicle Charging
 7.11.2011 
   Prak2: Harald Steinlechner: Compiling F# Functions for GPUs
   Prak2: Michael Tfirst: Modeling the TI C64X architecture in xADL
   Prak1: Michael Schröder: Optimierung von Lua
   Dipl2: Mario Budischek: Vergleich von Java-Webframeworks
 3.10.2011
   Prak1: Michael Wagner und Taylor Peer: Embedding C++ Code in Android Java Applications
 1. 8.2011
   Prak1: Michael Tfirst: Modelling the TI C64x in xADL
 4. 7.2011 
   Prak1+2: Benedikt Schraik: Softwaredocumentation in Tcl - Erweiterung für Doxygen für tcl/itcl Support
   Prak2: Andreas Rohner: Indirect branch prediction optimization in LLVM
   Prak2: Georg Brandstätter: Generizität in Java und C# 4.0
   Prak1: Philip Pickering: Über die Verbindung objektorientierter und funktionaler Aspekte in modernen Sprachen – wie funktional ist Scala?
 6. 6.2011 
   Prak1: Sebastian Aigner: Wiener Börse - funktional
   Dipl2: Mihai Ghete: An Attribute Evaluator for Graphs
   Prak2: Ivo Friedberg: Ein Foreign Function Interface für Bolare
30. 5.2011
   Prak1: Mathias Lehnfeld: Verbindung von 'computation' und 'deduction' im ISAC-System
   Dipl1: Arthur Oberhauser: Co-Evolution neuronaler Netzen im Roboterfußball mittels HyperNEAT 
   epilog: Günter Khyo: Language Support for Linux Device Driver Programming
 2. 5.2011 
   Dipl2: Christoph Leiter: Typestate Tracking für sichere nebenläufige Programmierung
   Dipl2: Robert Stefan: Type Systems for Processor Description Languages
   Dipl2: Dominik Hofer: XVSM for iOS
   Prak1: Harald Steinlechner: Compiling F# Functions for GPUs
   Prak1: Boris Dabrowski: Reflexion in Java und Common Lisp
 4. 4.2011
   Prak1: Georg Brandstätter: Generizität in Java und C# 4.0
 7. 3.2011 
  Prak1: Developing a Data-Type-Generator for Bolare
 7. 2.2011
  Dipl2: Günter Khyo: Language Support for Linux Device Driver Programming
  Prak1:  Dominik Hofer: Überblick über XVSM  
10. 1.2011 
  Dipl2: Patrick Sabin: Implementing a Reversible Debugger for Python
  Prak1: Michael Fuska: Linear Scan Register Allocation
  Prak2: Sara Kofler: Auswirkung der Unterschiedlichen Typisierung von Java und Ruby auf die Implementierung von abstrakten Datenstrukturen
 6.12.2010 
  Prak1: Klaus Brätigam: Automatic Array Bound Check Removal
  Prak2: Max Resch: Nebenläufigkeit in C# und Ada. Ein Vergleich mit .NET 4, .NET 3.5 und Ada 2003
  Dipl2: Clemens Punzengruber: Robotersteuerung mittels Genetic Programming für die RoboCup Standard Platform League
 8.11.2010 
  Dipl1: Christoph Leiter: Implementierung einer Sprache für nebenläufige Programmierung mittels Zugriffskontrolle
  Prak1: Daniel Lehrner: Consensus and time synchronization between mobile robots
  Prak1: Thomas Strasser: Scanner-Generator
  Dipl2: Tim Blechmann: Supernova - A Multiprocessor Aware Real-Time Audio Synthesis Engine For SuperCollider
 4.10.2010 
  Prak2: Johannes Maschler: Multi-robot coordination with space-based middleware
 6. 9.2010 
  Dipl2: Markus Raab: A Modular Approach to Configuration Storage
  Prak2: Julius Graf: Vergleich von PHP mit Java Servlets/JSP für eine Webanwendung mit offline Funktionalität
  Dipl1: Mario Budischek: Vergleich von Java Webframeworks
  Dipl1: Tim Blechmann: Supernova - A Multiprocessor Aware Real-Time Audio Synthesis Engine For SuperCollider
 5. 7.2010
  Dipl2: Michal Revucky: C++ Templates and Concepts vs. Java's Genericity
  Prak2: Christoph Erkinger, Thomas Pani: Vergleich des Konzepts Design by Contract in Eiffel und C#
  Prak2: Fabian Mühlböck: Parallelität mit C# und .NET 4 im Vergleich zu .NET 3.5 und Ada
  Prak2: Markus Suchi: Austrian Kangaroos: Software Architektur
  Prak2: Helmut Brunner: Object Recognition in the RoboCup SPL
  Prak2: Simon Sperl: Detection of Repetition and its Application in Reverse Inlining / Refactoring
 7. 6.2010 
  Dipl2: Jakob Sievers: Trace-Rewriting für Python
  Prak1: Thomas Danecker: Stepping through Lazy Code
  Dipl2: Andreas Bolka: Automatische SIMD-Vektorisierung mit LLVM
  Prak1: Johannes Maschler
  Prak1: Thomas Ogrisegg: Perfctr auf Alpha
 3. 5.2010 
  Prak1: Christoph Erkinger, Thomas Pani: Vergleich des Konzepts Design by Contract in Eiffel und C#
  Prak1: Andreas Rohner: Optimierung von switch im LLVM
12. 4.2010 
  Dipl2: Viktoria Willner: Wie gut kann man erwarten, dass Schüler Java anhand gängiger Tools lernen?
  Prak1: Sara Kofler, Rebecca Nowak: Auswirkungen der unterschiedlichen Typisierung von Java und Ruby auf die Implementierung von abstrakten Datenstrukturen
  Prak1: Max Resch, Fabian Mühlböck: Parallelität mit C# und .NET 4 im Vergleich zu .NET 3.5 und Ada
  Dipl1: Markus Raab: A Modular Approach to Configuration Storage
  Dipl2: Christian Baumann: Efficiently Implementing PostScript in C#
  Prak1: Simon Sperl: Reverse Inlining
 1. 3.2010 
  Prak2: Bernhard Miller: Entwicklung eines Partikelfilters zur Selbstlokalisierung in der RoboCup Standard Platform League
  Dipl2: Andreas Neustifter: Efficient Profiling in the LLVM Compiler Infrastructure
  Prak2: Gerald Wodni: SWIG Erweiterung für das GForth C Interface
 1. 2.2010 
  Prak2: Markus Töpfer: RoboCup Standard Platform League - Network Communication
11. 1.2010
  Dipl1: Andreas Bolka: Automatische SIMD-Vektorisierung mit LLVM
7.12.2009 
  Prak1: Andreas Rohner: Compiler für eine Skriptsprache mit polymorphen Datentypen
  Dipl1: Patrick Sabin: Implementing a Reversible Debugger in Python
  Dipl1: Viktoria Willner: Unterrichts-Werkzeuge für Java
  Dipl1: Andreas Bolka: Vektorisierung fuer das LLVM Framework
2.11.2009 
  Prak1: Markus Popp: Beschleunigen von Ruby
  Dipl1: Mihai Ghete: Attributed Grammars in Bison
5.10.2009
  Dipl2: Stefan Ehmann
  Dipl1: Günther Khyo

Anton Ertl