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

Rechenberger, Sascha; Frühwirth, Thom
A refined operational semantics for FreeCHR
41st International Conference on Logic Programming
September 2025

File:

https://arxiv.org/abs/2504.04962

Rechenberger, Sascha; Frühwirth, Thom
Optimized Execution of FreeCHR
39th Workshop on (Constraint and Functional) Logic Programming
September 2025

File:

https://arxiv.org/abs/2506.14485

Rechenberger, Sascha; Frühwirth, Thom
FreeCHR – An Algebraic Framework for Constraint Handling Rules Embeddings
Theory and Practice of Logic Programming, 25 (3) :340–373
May 2025

DOI:	10.1017/S1471068425000043

Rechenberger, Sascha; Frühwirth, Thom
An instance of FreeCHR with refined operational semantics
2025

DOI:	10.48550/arXiv.2505.22155
File:	https://arxiv.org/abs/2505.22155

2023

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
October 2023

DOI:	10.1007/978-3-031-45072-3_14
ISBN:	978-3-031-45072-3

2019

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

2018

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