Dr. Luis Manuel Carril Rodriguez
- Wissenschaftlicher Mitarbeiter
- Sprechstunden: Nach Vereinbarung
Dissertation (2017): Predicting Errors in Concurrent Systems
| Titel | Autor | Arbeitsstatus |
|---|---|---|
| Automatische Generierung von CharakterisierungenTests | Mohamed Aymen Srasra | abgeschlossen |
| Automatische Generierung von parallelen Testfällen | Johannes Sailer | abgeschlossen |
| Filterung zur Minimierung unkritischer Operationen und false positives in Programmabläufen | Christoph Hennebold | abgeschlossen |
| Modellbasierte Generierung von Nebenläufigkeitstests | Sven Meisinger | abgeschlossen |
| Wettlauferkennung mittels Symbolischer Ausführung | Philipp Schmurr | abgeschlossen |
| Extraktion von Verhaltensmodell von Multithread-Programm | veraltet |
Veröffentlichungen
2017
Predicting Errors in Concurrent Systems. Dissertation
Carril Rodríguez, L. M.
2017. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000070459
Carril Rodríguez, L. M.
2017. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000070459
2016
Predicting Data Races from Program Traces
Carril Rodriguez, L. M.
2016. International Working Group Software Engineering for Parallel Systems (SEPARS), Technical University of Munich (TUM), Garching, Germany, 23.02.2016
Carril Rodriguez, L. M.
2016. International Working Group Software Engineering for Parallel Systems (SEPARS), Technical University of Munich (TUM), Garching, Germany, 23.02.2016
2015
Pattern-driven parallelization of sequential software
Molitorisz, K.; Carril Rodriguez, L. M.
2015. parallel 2015, Softwarekonferenz für Parallel Programming, Concurrency und Multicore-Systeme, Karlsruhe, IHK, 21.-24. April 2015
Molitorisz, K.; Carril Rodriguez, L. M.
2015. parallel 2015, Softwarekonferenz für Parallel Programming, Concurrency und Multicore-Systeme, Karlsruhe, IHK, 21.-24. April 2015
Interleaving Generation for Data Race and Deadlock Reproduction
Carril Rodriguez, L. M.; Tichy, W. F.
2015. Proceedings of the 2nd International Workshop on Software Engineering for Parallel Systems : SEPS 2015, Pittsburgh, PA, USA, 25-30 October, 26–34, Association for Computing Machinery (ACM). doi:10.1145/2837476.2837480
Carril Rodriguez, L. M.; Tichy, W. F.
2015. Proceedings of the 2nd International Workshop on Software Engineering for Parallel Systems : SEPS 2015, Pittsburgh, PA, USA, 25-30 October, 26–34, Association for Computing Machinery (ACM). doi:10.1145/2837476.2837480
Predicting and witnessing data races using CSP
Carril Rodriguez, L. M.; Tichy, W. F.
2015. Nasa Formal Methods Symposium 2015. Part 3 : 7th International Symposium, NFM 2015, April 27-29, 2015, Pasadena, CA, USA. Ed.: K. Havelund, 400–407, Springer International Publishing. doi:10.1007/978-3-319-17524-9_28
Carril Rodriguez, L. M.; Tichy, W. F.
2015. Nasa Formal Methods Symposium 2015. Part 3 : 7th International Symposium, NFM 2015, April 27-29, 2015, Pasadena, CA, USA. Ed.: K. Havelund, 400–407, Springer International Publishing. doi:10.1007/978-3-319-17524-9_28
2014
Musterbasierte Anwendungsparallelisierung
Molitorisz, K.; Carril Rodriguez, L.
2014. Softwarekonferenz für Parallel Programming, Concurrency und Multicore-Systeme (Parallel’14), Karlsruhe, 5.-7. Mai 2014
Molitorisz, K.; Carril Rodriguez, L.
2014. Softwarekonferenz für Parallel Programming, Concurrency und Multicore-Systeme (Parallel’14), Karlsruhe, 5.-7. Mai 2014
2013
On Detecting Concurrency Defects Automatically at the Design Level
Padberg, F.; Carril Rodriguez, L. M.; Blersch, M.; Denninger, O.
2013. 20th Asia-Pacific Software Engineering Conference (APSEC 2013), Bangkok, Thailand, 2 - 5 December 2013 ; [proceedings], Institute of Electrical and Electronics Engineers (IEEE)
Padberg, F.; Carril Rodriguez, L. M.; Blersch, M.; Denninger, O.
2013. 20th Asia-Pacific Software Engineering Conference (APSEC 2013), Bangkok, Thailand, 2 - 5 December 2013 ; [proceedings], Institute of Electrical and Electronics Engineers (IEEE)
| Titel | Kurzbeschreibung |
|---|---|
| QualiCore | Sicherung der Softwarequalität von Multicore-Anwendungen |
| Forschungsprojekt AParT - Entwurfsmustergestütze Anwendungsparallelisierung | Entwurfsmustergestützte Anwendungsparallelisierung |