Home | deutsch  | Legals | Sitemap | KIT
Bild Luis Manuel Carril Rodriguez

Dr. Luis Manuel Carril Rodriguez

Scientific Staff Member
Office Hours: Nach Vereinbarung
luis rodriguezWtz4∂kit edu

Dissertation (2017): Predicting Errors in Concurrent Systems



Advised thesis subjects
Title Author Status of Work
Mohamed Atmen Srasra

Finished 

Johannes Sailer

Finished 

Christoph Hennebold

Finished 

Sven Meisinger

Finished 

Philipp Schmurr

Finished 

veraltet 



Current Courses

 

Publications


2017
Predicting Errors in Concurrent Systems. Dissertation.
Carril Rodríguez, L. M.
2017. Karlsruhe. 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
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
Projects
Title Teaser

Entwurfsmustergestützte Anwendungsparallelisierung 

Sicherung der Softwarequalität von Multicore-Anwendungen