GENIAL!
Tools to accelerate innovation along the automotive value chain
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
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
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
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
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
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
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
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
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
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
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
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
Operator-Präzedenz-Parsing
Bachelorarbeit
Universität Ulm
May 2013
Dipl.-Inf. Alexander Breckel
Dipl.-Inf.
Alexander
Breckel
Research Assistant
Universität Ulm
Institute of Software Engineering and Programming Languages
Ulm University
Ulm University
89081 Ulm
Germany