<commit_before>## Software Systems

## Syllabus

1. [Unicorn](https://github.com/cksystemsgroup/unicorn)
2. SMT Solving
3. SAT Solving
4. Adiabatic Quantum Computing
5. Gate-Model Quantum Machines

## Software

The class is based on the [unicorn](https://github.com/cksystemsgroup/unicorn) toolchain which encodes symbolic execution of RISC-V machine code in logically equivalent SMT and SAT formulae as well as quadratic unconstrained binary optimization (QUBO) models and quantum circuits (QCs).

## Projects<commit_msg>Finally SWS<commit_after>## Software Systems

This is an advanced class on software systems for masters students in computer science. The goal of the class is to introduce students to ongoing scientific work in systems and prepare them for working on their masters thesis, in systems but not necessarily. The class focuses on advanced topics that are often unfamiliar to students such as SMT and SAT solving as well as adiabatic quantum computing and gate-model quantum machines.

After taking the class, students are able to understand the difference between motivation and problem definition, and know what is involved in defining an interesting problem to work on, regardless of any particular motivation, how to work on a problem for which they a-priori do not know a solution, and finally how to give a presentation with proper problem definition, solution, and conclusions.

## Syllabus

1. [Unicorn](https://github.com/cksystemsgroup/unicorn)
2. SMT Solving
3. SAT Solving
4. Adiabatic Quantum Computing
5. Gate-Model Quantum Machines

## Software

The class is based on the [unicorn](https://github.com/cksystemsgroup/unicorn) toolchain which encodes symbolic execution of RISC-V machine code in logically equivalent SMT and SAT formulae as well as quadratic unconstrained binary optimization (QUBO) models and quantum circuits (QCs).

## Projects

Instead of assignments, students are asked to work in teams of 2-3 students on a coding project defined in class. Projects may involve unicorn but do not have to.
{'fraction_non_alphanumeric': 0.050955414012738856, 'fraction_numerical': 0.005879470847623714, 'mean_word_length': 4.9533527696793005, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 3, 'https://': 4, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '1898151', 'n_tokens_mistral': 533, 'n_tokens_neox': 481, 'n_words': 279}