黑料传送门

Institute of Software Engineering and Programming Languages

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

2025

8.
Rechenberger, Sascha; Fr眉hwirth, Thom
A refined operational semantics for FreeCHR
41st International Conference on Logic Programming
September 2025
Datei:
7.
Rechenberger, Sascha; Fr眉hwirth, Thom
Optimized Execution of FreeCHR
39th Workshop on (Constraint and Functional) Logic Programming
September 2025
Datei:
6.
Rechenberger, Sascha; Fr眉hwirth, Thom
FreeCHR 鈥� An Algebraic Framework for Constraint Handling Rules Embeddings
Theory and Practice of Logic Programming, 25 (3) :340鈥�373
Mai 2025
DOI:
5.
Rechenberger, Sascha; Fr眉hwirth, Thom
An instance of FreeCHR with refined operational semantics
2025
DOI:
Datei:

2023

4.
Rechenberger, Sascha; Fr眉hwirth, Thom
FreeCHR: An Algebraic Framework for CHR Embeddings
7th International Joint Conference on Rules and Reasoning (RuleML+RR '23), Oslo, Norway
Oktober 2023
DOI:
ISBN:978-3-031-45072-3
Weblink:

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:
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

Exercises, Seminars and Projects

  • Exercise: Grundlagen der praktischen Informatik
  • Seminar: Current Research on Declarative Programming

  • Seminar: Current Research on Declarative Programming

  • Exercise: Grundlagen der praktischen Informatik
  • Seminar: Current Research on Declarative Programming

  • Exercise: Logische Programmierung
  • Exercise: Constraint Programming
  • Seminar: Current Research on Declarative Programming

  • Exercise: Grundlagen der praktischen Informatik
  • Exercise: Rule-Based Programming

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

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

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

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

  • Exercise: Einf眉hrung in die Informatik
  • Project: Rule Based and Constraint Programming

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

  • Proseminar: Rule Based Models of Computation