Marius Kamp, M. Sc.

imageScientific Staff
Office hour:
    by arrangement, Room 05.136, n.V. per E-Mail

projects

Analysis of Code Repositories
Director: Philippsen, M.
Coworker: Dotzler, G.; Kamp, M.; Kreutzer, P.

Lectures

WS 2019/2020

SS 2019

WS 2018/2019

SS 2018

WS 2017/2018

SS 2017

WS 2016/2017

SS 2016

WS 2015/2016

SS 2015

Publications

  1. Kamp, M.; Kreutzer, P.; Philippsen, M.: SeSaMe: A Data Set of Semantically Similar Java Methods. In: Storey, M.; Adams, B.; Haiduc, S. (Ed.): Proceedings of the 16th International Conference on Mining Software Repositories (MSR 2019) (16th International Conference on Mining Software Repositories (MSR 2019), Montreal, QC, Canada). Piscataway, NJ, USA: IEEE Press, 2019, pp. 529-533 (BibTeX)
  2. Oster, N.; Kamp, M.; Philippsen, M.: AuDoscore: Automatic Grading of Java or Scala Homework. In: Strickroth, S.; Müller, O.; Striewe, M. (Ed.): Proceedings of the Third Workshop "Automatische Bewertung von Programmieraufgaben" (ABP 2017) (Third Workshop "Automatische Bewertung von Programmieraufgaben" (ABP 2017), Potsdam, Germany). http://ceur-ws.org/Vol-2015/: CEUR Workshop Proceedings (CEUR-WS), 2017, pp. -, Online Proceedings for Scientific Conferences and Workshops (CEUR-WS)vol. 2015 - ISSN 1613-0073 (BibTeX)
  3. Dotzler, G.; Kamp, M.; Kreutzer, P.; Philippsen, M.: More Accurate Recommendations for Method-Level Changes. In: ACM (Ed.): Proceedings of 2017 11th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE2017) (11th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE2017), Paderborn, Germany). New York, NY, USA: ACM DL, 2017, pp. 798-808. - ISBN 978-1-4503-5105-8 (BibTeX)

Supervised theses

Finished theses

  1. Stefan Schwanecke: Vergleich zweier Verfahren zur Funktionssynthese.[SP/DT/BT/MT]
    Advisors: Novac, D.; Kamp, M.; Philippsen, M.: submitted on November 12, 2018
  2. Markus Wich: Ermittlung der Genauigkeit des Ergebnisses der symbolischen Ausführung.[SP/DT/BT/MT]
    Advisors: Novac, D.; Kamp, M.; Philippsen, M.: submitted on September 30, 2018
  3. Adrian Kretschmer: Erweiterung und Evaluation eines Werkzeugs zur Identifikation von semantisch ähnlichen Code-Fragmenten. [MASPROJ]
    Advisors: Kreutzer, P.; Kamp, M.; Philippsen, M.: submitted on February 25, 2018
  4. Simon Rainer: Modernisierung und Erweiterung eines im Lehrbetrieb eingesetzten Just-in-Time-Übersetzers. [MASPROJ]
    Advisors: Kreutzer, P.; Kamp, M.; Philippsen, M.: submitted on February 12, 2018
  5. Christian Spangler: Semantische Code-Suche mittels Funktionssynthese.[BT]
    Advisors: Kreutzer, P.; Kamp, M.; Philippsen, M.: submitted on December 21, 2017
  6. Andreas Grünwald: Analyse und Bewertung von Software-Architekturen zwecks Unterstützung der präventiven Wartung durch Restrukturierung.[MT]
    Advisors: Oster, N.; Kreutzer, P.; Kamp, M.; Philippsen, M.: submitted on April 4, 2017
  7. Guillermo Janner: Werkzeug zur automatischen Ergänzung bestehender Testsuiten zur maschinellen Bewertung studentischer Abgaben.[MT]
    Advisors: Kamp, M.; Oster, N.; Philippsen, M.: submitted on February 15, 2017
  8. Adrian Kretschmer: Implementierung und Evaluierung einer Hierarchie von Verfahren zum semantischen Vergleich von Code-Fragmenten.[BT]
    Advisors: Kreutzer, P.; Kamp, M.; Philippsen, M.: submitted on November 3, 2016
  9. Thorsten Schwachhofer: Entwicklung eines Simulink Targets.[BT]
    Advisors: Blaß, T.; Kamp, M.; Philippsen, M.: submitted on October 4, 2016
  10. Markus Straussberger: Erweiterung (und Beschreibung) eines parametrisierbaren skriptfähigen Web Interfaces.[BT]
    Advisors: Blaß, T.; Kamp, M.; Philippsen, M.: submitted on October 4, 2016
  11. Michael Sammler: Implementierung des Kerns eines Konverters für grafische Sprachen von Speicherprogrammierbaren Steuerungen.[BT]
    Advisors: Blaß, T.; Kamp, M.; Philippsen, M.: submitted on October 4, 2016
  12. Lukas Spranger: Optimierung eines Verfahrens zur symbolischen Ausführung von Code-Fragmenten.[SP/DT/BT/MT]
    Advisors: Dotzler, G.; Kamp, M.; Philippsen, M.: submitted on April 19, 2016
  13. Simon Rainer: Automatische Generierung von Joern-Abfragen.[BT]
    Advisors: Dotzler, G.; Kamp, M.; Philippsen, M.: submitted on March 1, 2016
  14. Michael Baer: Verbesserung von Mutationstests mit Hilfe der symbolischen Ausführung.[SP/DT/BT/MT]
    Advisors: Dotzler, G.; Kamp, M.; Oster, N.; Philippsen, M.: submitted on December 16, 2015
watermark seal