
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 |