Dipl.-Inf. Alexander Breckel

My research focuses on tools and methods to assist and improve typical programming tasks. For this, I have developed and implemented the concept of code portals, a mechanism to embed related code fragments into the surrounding source code document. In my work, I apply methods of formal verification via automated theorem provers to ensure correctness, and employ prototyping and continuous refactoring to quickly explore a solution space.

Research Projects

GENIAL!

Tools to accelerate innovation along the automotive value chain

Various projects with industrial partners

  • Requirements engineering
  • formal methods
  • model analysis

Inline

Non-linear representation of source code through Code Portals

Publications

2016

5.
Breckel, Alexander; Tichy, Matthias
Live Programming with Code Portals
Workshop on Live Programming Systems (LIVE'16), Rome, Italy
July 2016
File:http://conf.researchr.org/getImage/live-2016/orig/LIVE_2016_paper_5.pdf
4.
Breckel, Alexander; Tichy, Matthias
Embedding Programming Context into Source Code
Proceedings of the 24th IEEE International Conference on Program Comprehension (ICPC'16, co-located with ICSE'16), Austin, Texas, USA
May 2016
DOI:10.1109/ICPC.2016.7503732
3.
Breckel, Alexander; Tichy, Matthias
Inline: Now You’re Coding with Portals
Tool Demonstration, Proceedings of the 24th IEEE International Conference on Program Comprehension (ICPC'16, co-located with ICSE'16), Austin, Texas, USA
May 2016
DOI:10.1109/ICPC.2016.7503743

2012

2.
Breckel, Alexander
Error Mining: Bug Detection through Comparison with Large Code Databases
Proceedings of the 9th International Working Conference on Mining Software Repositories
June 2012
DOI:10.1109/MSR.2012.6224278

2011

1.
Breckel, Alexander
Error Mining - Statische Analyse von Programmcode durch Vergleich mit umfangreichen Programmdatenbanken
Diplomarbeit
Universität Ulm
June 2011

Teaching

  • Introduction to Compiler Construction
    (Teaching Assistant, WiSe 2012, WiSe 2013, WiSe 2014)
  • Proseminar: The League of Extraordinary Programming Languages
    (SoSe 2013, WiSe 2013, SoSe 2014, WiSe 2014)
  • Advanced Compiler Construction
    (Teaching Assistant, SoSe 2012, SoSe 2013, SoSe 2014)

Supervised Theses

2019

6.
Georgi, Juliane
Let’s Speak Graphic! Design and Implementation of an Editor Prototype for Graphical Ontology Creation
Bachelorarbeit
Universität Ulm
June 2019
5.
Pfäffle, Armin
Prototypische Implementierung von Code Portalen in IDEs am Beispiel Atom
Diplomarbeit
Universität Ulm
December 2016

2015

4.
Rechenberger, Sascha
Monadische Interpretation multiparadigmatischer Sprachkonstrukte
Bachelorarbeit
Universität Ulm
January 2015

2013

3.
Bloier, Benjamin
Bottom-Up-Parsergenerator: Entwicklung und Implementierung für ELR(1)-Grammatiken
Diplomarbeit
Universität Ulm
October 2013
2.
Bild, Raffael
Automated Recursion Removal - A Study on Applying the Cumulative Function Method as an Optimization Pass within the LLVM Framework
Diplomarbeit
Universität Ulm
May 2013
1.
Baier, Uwe
Operator-Präzedenz-Parsing
Bachelorarbeit
Universität Ulm
May 2013

Dipl.-Inf. Alexander Breckel

Dipl.-Inf. Alexander Breckel
Dipl.-Inf. Alexander Breckel

Research Assistant
Universität Ulm
Institute of Software Engineering and Programming Languages
Ulm University
89081 Ulm
Germany
URL:
Room: O27 4102
Telephone: +49731/50-24167