Carlos Galindo

Valencian Research Institute for Artificial Intelligence (VRAIN)
Computer Science Department (DSIC)
Universitat Politècnica de València

Teaching

I am currently teaching the following courses (2022-23):

• Programación (PRG) (in Spanish)
  (1^st year of the Bachelor's Degree in Informatics Engineering)
• Estructuras de Datos y Algoritmos (EDA) (in English)
  (2^nd year of the Bachelor's Degree in Informatics Engineering)

Office hours

Research

My main line of research is program slicing, and other interests include programming languages, static analysis, and compiler design.

2023

• Carlos Galindo, Sergio Pérez, Josep Silva
  Program slicing of Java programs
  Journal of Logical and Algebraic Methods in Programming (JLAMP), 130. 2023
  Available: PDF preprint and DOI.
• Carlos Galindo, Sergio Pérez, Josep Silva
  Exception-sensitive program slicing
  Journal of Logical and Algebraic Methods in Programming (JLAMP), 130. 2023
  Available: PDF preprint and DOI.

2022

• Carlos Galindo, Sergio Pérez, Josep Silva
  Program Slicing Techniques with Support for Unconditional Jumps
  23rd International Conference on Formal Engineering Methods (ICFEM 2022), pp. 123–139, 2022.
  Available: PDF preprint and DOI.
• Carlos Galindo, Jens Krinke, Sergio Pérez, Josep Silva
  Field-Sensitive Program Slicing
  20th International Conference on Software Engineering and Formal Methods (SEFM 2022), pp. 74–90, 2022.
  Available: PDF preprint and DOI.
• Carlos Galindo, Sergio Pérez, Josep Silva
  A Program Slicer for Java (Tool Paper)
  20th International Conference on Software Engineering and Formal Methods (SEFM 2022), pp. 74–90, 2022.
  Available: PDF preprint and DOI.
• Carlos Galindo, Sergio Pérez, Josep Silva
  The Expression Dependence Graph
  XXI Jornadas de PROgramación y LEnguajes (PROLE 2022)

2021

• Carlos Galindo, Naoki Nishida, Josep Silva, Salvador Tamarit
  Reversible CSP Computations
  IEEE Transactions on Parallel and Distributed Systems (TPDS), Vol. 32, No. 6, pp. 1425–1436, 2021.
  Available: PDF preprint and DOI.
• Carlos Galindo, Sergio Pérez, Josep Silva
  Object Variable Dependencies in Object-Oriented Programs
  XX Jornadas de PROgramación y LEnguajes (PROLE 2021)
• Carlos Galindo, Sergio Pérez, Josep Silva
  Conditional Control Dependence to Represent Catch Statements in the System Dependence Graph
  XX Jornadas de PROgramación y LEnguajes (PROLE 2021)

2020

• Carlos Galindo, Sergio Pérez, Josep Silva
  Data Dependence for Object-Oriented Programs
  Proceedings of the 11th Workshop on Tools for Automatic Program Analysis (TAPAS 2020).
• Carlos Galindo, Sergio Pérez, Josep Silva
  Program slicing with exception handling
  Proceedings of the 11th Workshop on Tools for Automatic Program Analysis (TAPAS 2020).
• Carlos Galindo, Naoki Nishida, Josep Silva, Salvador Tamarit
  ReverCSP: Time-travelling in CSP Computation
  Proceedings of the 12th International Conference on Reversible Computation (RC 2020), Lecture Notes in Computer Science, volume 12227, pages 239–245. Oslo, Norway, July 9–10, 2020.
  Available: PDF preprint and DOI.
• Carlos Galindo, Sergio Pérez, Josep Silva
  Slicing Unconditional Jumps with Unnecessary Control Dependencies
  Proceedings of the 29th Infornational Conference on Logic Based Program Synthesis and Transformation (LOPSTR 2020). Springer LNCS, vol 12561, 2020.
  Available: PDF preprint and DOI.

Contact

You can email me at cargaji vrain upv es (replace spaces with at, dot, dot).

Address:
Building 1F, Laboratory L202 (2^nd floor)
Universitat Politècnica de València
Valencia, Spain