Dr. Ing. Ali Jannesari
- Office Hours: nach Vereinbarung
Diplomarbeit (2005): Analysis of Agile Software Development Methods for Embedded Systems
Dissertation (2010): Dynamic Race Detection in Parallel Programs
| Title | Author | State |
|---|---|---|
| Dynamische Wettlauferkennung für korrelierte Variable in parallelen Programmen | Markus Westphal | |
| Erkennung der Arten von Synchronisierungsprimitiven im universellen Wettlaufsdetektor Helgrind+ | Christophe Schmaltz | |
| Erkennung von bedingungssynchronisation bei parallelen Programmen mit POSIX-Threads | Kai-bin Bao | |
| Parallelisieren von Kürzeste-Wege-Algorithmen für die Anwendung auf Straßengraphen | Christian Frommeyer |
| Title | Kind of Publication | Year |
|---|---|---|
| Combining Unit Tests for Data Race Detection | Konferenzartikel |
2015 |
| Library-Independent Data Race Detection | Zeitschriftenartikel |
2014 |
| Automatic Generation of Parallel Unit Tests | Konferenzartikel |
2013 |
| Detecting Correlation Violations and Data Races by Inferring Non-deterministic Reads | Konferenzartikel |
2013 |
| Dynamic Data Race Detection for Correlated Variables | Konferenzartikel |
2011 |
| Title | Kind of Publication | Year |
|---|---|---|
| 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 |