Home | english  | Impressum | Sitemap | KIT
Bild Luis Manuel Carril Rodriguez

Dr. Luis Manuel Carril Rodriguez

Wissenschaftlicher Mitarbeiter
Sprechstunden: Nach Vereinbarung
Raum: 371
Tel.: +49 721 608-47344
luis rodriguezQbf6∂kit edu

Dissertation (2017): Predicting Errors in Concurrent Systems



Betreute Studien-/ Bachelor- und Diplom-/ Masterarbeiten
Titel Autor Arbeitsstatus
Mohamed Aymen Srasra

abgeschlossen 

Johannes Sailer

abgeschlossen 

Christoph Hennebold

abgeschlossen 

Sven Meisinger

abgeschlossen 

Philipp Schmurr

abgeschlossen 

veraltet 



Aktuelle Veranstaltungen

 

Veröffentlichungen


2017
Predicting Errors in Concurrent Systems. Dissertation.
Carril Rodríguez, L. M.
2017. Karlsruhe
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
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
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, ACM, New York (NY). 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
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
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], IEEE
Projekte
Titel Kurzbeschreibung

Entwurfsmustergestützte Anwendungsparallelisierung 

Sicherung der Softwarequalität von Multicore-Anwendungen