VariantSync
Automating the Synchronization of Code Clones
M.Sc. Paul Maximilian Bittner
Discovering ways for synchronising and aligning diverged forks, branches, and code clones in general is the main focus of my work. The key idea is to reduce the effort for developers as much as possible while being transparent and impairing workflows as little as possible. Currently, I am working on a methodology for recording feature-to-code traces during software development that is voluntary for developers.
In general, I'm interested in everything that makes programming easier with a focus on variability management: software product lines, cool libraries or frameworks, programming language concepts, and game engines. Until January'20, I was part of the great team at the Institute of Computer Graphics at TU Braunschweig where I also gained a broad background on both computer graphics and vision.
Anything of your interest? Don't hesitate to contact me.
Research Projects
Teaching
Winter Term 2020/21
Software Engineering Project: Development of Eclipse Plug-Ins for VariantSync: Leiter und Ansprechpartner
Summer Term 2020
Software-Produktlinien: Übungsleiter und Ansprechpartner
Program Committees
- SPLC2020: 24th Systems and Software Product Line Conference (Challenge Solutions Track)
Featured Publications
SAT Encodings of the At-Most-k Constraint: A Case Study on Configuring University Courses
At universities, some fields of study offer multiple branches to graduate in. These branches are defined by mandatory and optional courses. Configuring a branch manually can be a difficult task, especially if some courses have already been attended. Hence, a tool providing guidance on choosing courses is desired. Feature models enable modelling such behaviour, as they are designed to define valid configurations from a set of features. Unfortunately, the branches contain constraints instructing to choose at least k out of n courses in essence. Encoding some of these constraints naïvely in propositional calculus is practically infeasible. We develop a new encoding by combining existing approaches. Furthermore, we report on our experience of encoding the constraints of the computer science master at TU Braunschweig and discuss the impact for research on configurability.
Find the implementation of the encodings in Java as well as our evaluation results on Github (here)!
Publications
2021
10.
Sundermann,
Chico;
Nieke,
Michael;
Bittner,
Paul Maximilian;
Heß,
Tobias;
Thüm,
Thomas;
Schaefer,
Ina
Applications of #SAT Solvers on Feature Models
Proc. Int'l Working Conf. on Variability Modelling of Software-Intensive Systems (VaMoS)
Herausgeber: ACM, New York, NY, USA
2021
Applications of #SAT Solvers on Feature Models
Proc. Int'l Working Conf. on Variability Modelling of Software-Intensive Systems (VaMoS)
Herausgeber: ACM, New York, NY, USA
2021
| DOI: | 10.1145/3442391.3442404 |
| ISBN: | 9781450388245 |
| Datei: | fileadmin/website_uni_ulm/iui.inst.170/publications/2021-VaMoS-Sundermann.pdf |
9.
Kehrer,
Timo;
Thüm,
Thomas;
Schultheiß,
Alexander;
Bittner,
Paul Maximilian
Bridging the Gap Between Clone-and-Own and Software Product Lines
Proc. Int'l Conf. on Software Engineering, New Ideas and Emerging Results (ICSE-NIER)
Herausgeber: ACM, New York, NY, USA
2021
Bridging the Gap Between Clone-and-Own and Software Product Lines
Proc. Int'l Conf. on Software Engineering, New Ideas and Emerging Results (ICSE-NIER)
Herausgeber: ACM, New York, NY, USA
2021
2020
8.
Bertel,
Tobias;
Mühlhausen,
Moritz;
Kappel,
Moritz;
Bittner,
Paul Maximilian;
Richardt,
Christian;
Magnor,
Marcus
Depth Augmented Omnidirectional Stereo for 6-DoF VR Photography
Proc. IEEE Virtual Reality Workshop (VR), Seite 660-661
Herausgeber: IEEE, Piscataway, NJ, USA
2020
Depth Augmented Omnidirectional Stereo for 6-DoF VR Photography
Proc. IEEE Virtual Reality Workshop (VR), Seite 660-661
Herausgeber: IEEE, Piscataway, NJ, USA
2020
| DOI: | 10.1109/VRW50115.2020.00181 |
| ISBN: | 978-1-7281-6532-5 |
| Datei: | https://graphics.tu-bs.de/publications/bertel2020depth |
7.
Schultheiß,
Alexander;
Bittner,
Paul Maximilian;
Kehrer,
Timo;
Thüm,
Thomas
On the Use of Product-Line Variants as Experimental Subjects for Clone-and-Own Research: A Case Study
Proc. Int'l Systems and Software Product Line Conf. (SPLC)
Herausgeber: ACM, New York, NY, USA
2020
On the Use of Product-Line Variants as Experimental Subjects for Clone-and-Own Research: A Case Study
Proc. Int'l Systems and Software Product Line Conf. (SPLC)
Herausgeber: ACM, New York, NY, USA
2020
| DOI: | 10.1145/3382025.3414972 |
| ISBN: | 9781450375696 |
| Datei: | fileadmin/website_uni_ulm/iui.inst.170/publications/2020-SPLC-Schultheiss.pdf |
6.
Bittner,
Paul Maximilian
Semi-Automated Inference of Feature Traceability During Software Development
TU Braunschweig, Germany
2020
Semi-Automated Inference of Feature Traceability During Software Development
TU Braunschweig, Germany
2020
| DOI: | 10.24355/dbbs.084-202002271120-0 |
5.
Mühlhausen,
Moritz;
Kappel,
Moritz;
Kassubeck,
Marc;
Bittner,
Paul Maximilian;
Castillo,
Susana;
Magnor,
Marcus
Temporal Consistent Motion Parallax for Omnidirectional Stereo Panorama Video
Proc. ACM Symposium on Virtual Reality Software and Technology (VRST)
Herausgeber: ACM, New York, NY, USA
2020
Temporal Consistent Motion Parallax for Omnidirectional Stereo Panorama Video
Proc. ACM Symposium on Virtual Reality Software and Technology (VRST)
Herausgeber: ACM, New York, NY, USA
2020
| DOI: | 10.1145/3385956.3418965 |
| Datei: | https://graphics.tu-bs.de/publications/muhlhausen2020temporal |
2019
4.
Bittner,
Paul Maximilian;
Tauscher,
Jan-Philipp;
Grogorick,
Steve;
Magnor,
Marcus
Evaluation of Optimised Centres of Rotation Skinning
Poster @ International Conference on Computational Visual Media 2019
April 2019
Evaluation of Optimised Centres of Rotation Skinning
Poster @ International Conference on Computational Visual Media 2019
April 2019
| Datei: | https://graphics.tu-bs.de/publications/bittner2019evaluation |
3.
Grogorick,
Steve;
Überheide,
Matthias;
Tauscher,
Jan-Philipp;
Bittner,
Paul Maximilian;
Magnor,
Marcus
Gaze and Motion-aware Real-Time Dome Projection System
Proc. IEEE Virtual Reality Workshop (VR), Seite 1780-1783
Herausgeber: IEEE, Piscataway, NJ, USA
März 2019
Gaze and Motion-aware Real-Time Dome Projection System
Proc. IEEE Virtual Reality Workshop (VR), Seite 1780-1783
Herausgeber: IEEE, Piscataway, NJ, USA
März 2019
| DOI: | 10.1109/VR.2019.8797902 |
| ISBN: | 978-1-7281-1377-7 |
| Datei: | https://graphics.tu-bs.de/publications/grogorick2019gaze |
2.
Tauscher,
Jan-Philipp;
Schottky,
Fabian Wolf;
Grogorick,
Steve;
Bittner,
Paul Maximilian;
Mustafa,
Maryam;
Magnor,
Marcus
Immersive EEG: Evaluating Electroencephalography in Virtual Reality
Proc. IEEE Virtual Reality Workshop (VR), Seite 1794-1800
Herausgeber: IEEE, Piscataway, NJ, USA
März 2019
Immersive EEG: Evaluating Electroencephalography in Virtual Reality
Proc. IEEE Virtual Reality Workshop (VR), Seite 1794-1800
Herausgeber: IEEE, Piscataway, NJ, USA
März 2019
| DOI: | 10.1109/VR.2019.8797858 |
| Datei: | https://graphics.tu-bs.de/publications/tauscher2019immersive |
1.
Bittner,
Paul Maximilian;
Thüm,
Thomas;
Schaefer,
Ina
SAT Encodings of the At-Most-k Constraint - A Case Study on Configuring University Courses
Proc. Int'l Conf. on Software Engineering and Formal Methods (SEFM), Seite 127-144
Herausgeber: Springer, Berlin, Heidelberg
2019
SAT Encodings of the At-Most-k Constraint - A Case Study on Configuring University Courses
Proc. Int'l Conf. on Software Engineering and Formal Methods (SEFM), Seite 127-144
Herausgeber: Springer, Berlin, Heidelberg
2019
| DOI: | 10.1007/978-3-030-30446-1_7 |
M.Sc. Paul Maximilian Bittner
M.Sc.
Paul Maximilian
Bittner
Research Assistant
University Ulm
Institute of Software Engineering and Programming Languages
Albert-Einstein-Allee 11
89069
Ulm
Germany