Dr. Ing. Ali Jannesari
- Alumni
- Sprechstunden: nach Vereinbarung
Diplomarbeit (2005): Analysis of Agile Software Development Methods for Embedded Systems
Dissertation (2010): Dynamic Race Detection in Parallel Programs
| Titel | Autor | Arbeitsstatus |
|---|---|---|
| Dynamische Wettlauferkennung für korrelierte Variable in parallelen Programmen | Markus Westphal | abgeschlossen |
| Erkennung der Arten von Synchronisierungsprimitiven im universellen Wettlaufsdetektor Helgrind+ | Christophe Schmaltz | abgeschlossen |
| Erkennung von bedingungssynchronisation bei parallelen Programmen mit POSIX-Threads | Kai-bin Bao | abgeschlossen |
| Parallelisieren von Kürzeste-Wege-Algorithmen für die Anwendung auf Straßengraphen | Christian Frommeyer | abgeschlossen |
| Titel | Publikationsart | Jahr |
|---|---|---|
| Automatic Generation of Parallel Unit Tests | Konferenzartikel |
2013 |
| Combining Unit Tests for Data Race Detection | Konferenzartikel |
2015 |
| Detecting Correlation Violations and Data Races by Inferring Non-deterministic Reads | Konferenzartikel |
2013 |
| Dynamic Data Race Detection for Correlated Variables | Konferenzartikel |
2011 |
| Library-Independent Data Race Detection | Zeitschriftenartikel |
2014 |
| Titel | Publikationsart | Jahr |
|---|---|---|
| Identifying Ad-hoc Synchronization for Enhanced Race Detection | Konferenzartikel |
2010 |
| Dynamic Race Detection in Parallel Programs | Dissertation |
2010 |
| Helgrind+: An Efficient Dynamic Race Detector | Konferenzartikel |
2009 |
| Parallelizing Bzip2: A Case Study in Multicore Software Engineering | Zeitschriftenartikel |
2009 |
| On-the-fly Race Detection in Multi-Threaded Programs | Konferenzartikel |
2008 |
| Software Engineering for Multicore Systems: An Experience Report | Konferenzartikel |
2008 |
| Parallelizing BZip2. A Case Study in Multicore Software Engineering | Technischer Artikel |
2008 |
| Software Engineering for Multicore Systems - An Experience Report | Technischer Artikel |
2007 |