Carlos Galindo

According to our database, Carlos Galindo authored at least 11 papers between 2020 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2024

Field-sensitive program slicing.

Carlos Galindo, Jens Krinke, Sergio Pérez, Josep Silva

J. Syst. Softw., April, 2024

2023

Exception-sensitive program slicing.

Carlos Galindo, Sergio Pérez, Josep Silva

J. Log. Algebraic Methods Program., 2023

Program slicing of Java programs.

Carlos Galindo, Sergio Pérez, Josep Silva

J. Log. Algebraic Methods Program., 2023

Slicing Shared-Memory Concurrent Programs The Threaded System Dependence Graph Revisited.

Carlos Galindo, Marisa Llorens, Sergio Pérez, Josep Silva

Proceedings of the IEEE International Conference on Software Maintenance and Evolution, 2023

Context-sensitive analysis of data interference for concurrent programs.

Carlos Galindo, Marisa Llorens, Sergio Pérez, Josep Silva

Proceedings of the 2023 International Workshop on Petri Nets and Software Engineering (PNSE 2023) co-located with the 44th International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2023), 2023

Slicing Petri Nets to Reduce Their Complexity - Abstract.

Carlos Galindo, Marisa Llorens, Sergio Pérez, Josep Silva

Proceedings of the Joint Proceedings of the Workshop on Algorithms & Theories for the Analysis of Event Data and the International Workshop on Petri Nets for Twin Transition co-located with the 44th International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2023), 2023

2022

A Program Slicer for Java (Tool Paper).

Carlos Galindo, Sergio Pérez, Josep Silva

Proceedings of the Software Engineering and Formal Methods - 20th International Conference, 2022

Program Slicing Techniques with Support for Unconditional Jumps.

Carlos Galindo, Sergio Pérez, Josep Silva

Proceedings of the Formal Methods and Software Engineering, 2022

2021

Reversible CSP Computations.

Carlos Galindo, Naoki Nishida, Josep Silva, Salvador Tamarit

IEEE Trans. Parallel Distributed Syst., 2021

2020

ReverCSP: Time-Travelling in CSP Computations.

Carlos Galindo, Naoki Nishida, Josep Silva, Salvador Tamarit

Proceedings of the Reversible Computation - 12th International Conference, 2020

Slicing Unconditional Jumps with Unnecessary Control Dependencies.

Carlos Galindo, Sergio Pérez, Josep Silva

Proceedings of the Logic-Based Program Synthesis and Transformation, 2020