Bild Luis Manuel Carril Rodriguez

Dr. Luis Manuel Carril Rodriguez

  • Wissenschaftlicher Mitarbeiter
  • Sprechstunden: Nach Vereinbarung

Aktuelle Veranstaltungen

 

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
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, 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
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], Institute of Electrical and Electronics Engineers (IEEE)
Projekte
Titel Kurzbeschreibung

Entwurfsmustergestützte Anwendungsparallelisierung 

Sicherung der Softwarequalität von Multicore-Anwendungen