M.Sc. Sascha Rechenberger

At the moment, I'm working on a generic method to implement Constraint Handling Rules (CHR) as a domain-specific language, embedded into any high level programming language. CHR is a rule based language extension, designed to quickly implement and prototype constraint solvers and other algorithms and programs in a declarative manner.

Publications

2019

3.
Rechenberger, Sascha
Informationstheoretische Analyse von SLS-Solvern
Masterarbeit
Universität Ulm
Institut für Theoretische Informatik
January 2019

2018

2.
Kögel, Stefan; Tichy, Matthias; Groner, Raffaela; Stegmaier, Michael; Götz, Stefan; Rechenberger, Sascha
Developing an Optimizing Compiler for the Game Boy as a Software Engineering Project
Software Engineering Education and Training Track of the 40th International Conference on Software Engineering (ICSE SEET 2018), Gothenburg, Sweden
May 2018
DOI:10.1145/3183377.3183388
File:https://www.icse2018.org/event/icse-2018-software-engineering-education-and-training-developing-an-optimizing-compiler-for-the-game-boy-as-a-software-engineering-project

2015

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

Teaching

Summer Term 2022

  • Lab: Constraint Programming
  • Proseminar: Declarative Programming Languages
  • Seminar: Rule Based and Constraint Programming
  • Project: Rule Based and Constraint Programming

Winter Term 2021/22

  • Lab: Rule Based Programming
  • Proseminar: Logic Based Programming Languages
  • Seminar: Rule Based and Constraint Programming
  • Project: Rule Based and Constraint Programming

Summer Term 2021

  • Übung: Einführung in die Informatik
  • Project: Rule Based and Constraint Programming

Winter Term 2020/21

  • Lab: Rule Based Programming
  • Proseminar: Logic Based Programming Languages
  • Seminar: Rule Based and Constraint Programming
  • Project: Rule Based and Constraint Programming

Summer Term 2020

  • Proseminar: Rule Based Models of Computation