Dipl.-Inform. Jochen Schimmel
- Wissenschaftlicher Mitarbeiter
- Raum: 354
- jochen schimmel ∂does-not-exist.kit edu
Diplomarbeit (2008): Parallelisierung von Graphersetzungssystemen
| Titel | Autor | Arbeitsstatus |
|---|---|---|
| Automatische Korrektur von Wettlaufbedingungen | Atanas Dimitrov | abgeschlossen |
| Automatische Testgenerierung für parallele Programme durch dynamische Analyse | Filip Dimitrov | abgeschlossen |
| Automatisierte Parallelisierung mit AutoFutures | Jochen Huck | abgeschlossen |
| Laufzeit-Tuning des A*-Algorithmus | Philip Haußmann | abgeschlossen |
| Titel | Publikationsart | Jahr |
|---|---|---|
| Combining Unit Tests for Data Race Detection | Konferenzartikel |
2015 |
| Automatic Generation of Parallel Unit Tests | Konferenzartikel |
2013 |
| An Evaluation of Data Race Detectors Using Bug Repositories | Konferenzartikel |
2013 |
| Detecting Correlation Violations and Data Races by Inferring Non-deterministic Reads | Konferenzartikel |
2013 |
| Automatic Parallelization using AutoFutures | Konferenzartikel |
2012 |
| Exploiting Cache Traffic Monitoring for Run-Time Race Detection | Konferenzartikel |
2011 |
| Gene Expression with General Purpose Graph Rewriting Systems | Konferenzartikel |
2009 |
| Game Programming and XNA in Software Engineering Education | Konferenzartikel |
2008 |