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
Januar 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
Mai 2018
DOI:10.1145/3183377.3183388
Datei:/fileadmin/website_uni_ulm/iui.inst.170/home/stegmaier/ICSE2018_Stegmaier_OptimizingCompilerForGameBoy.pdf

2015

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

Teaching

Winter Term 2022/23

  • Übung: Grundlagen der praktischen Informatik
  • Seminar: Rule Based and Constraint Programming
  • Project: Rule Based and Constraint Programming

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