Carlos Galindo

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 13

Top Topics

Solving Constraint Satisfaction Problems

Program Slicing

Top Venues

J. Log. Algebraic Methods Program.

PNSE@Petri Nets

Publications

Julián Alarte, Carlos Galindo, Josep Silva
Programming Contests as Complementary Activities in University Programming Courses. CSEDU (2) (2024)
Carlos Galindo, Jens Krinke, Sergio Pérez, Josep Silva
Field-sensitive program slicing. J. Syst. Softw. 210 (2024)
Carlos Galindo, Marisa Llorens, Sergio Pérez, Josep Silva
Slicing Shared-Memory Concurrent Programs The Threaded System Dependence Graph Revisited. ICSME (2023)
Carlos Galindo, Marisa Llorens, Sergio Pérez, Josep Silva
Slicing Petri Nets to Reduce Their Complexity - Abstract. ATAED/PN4TT@Petri Nets (2023)
Carlos Galindo, Sergio Pérez, Josep Silva
Program slicing of Java programs. J. Log. Algebraic Methods Program. 130 (2023)
Carlos Galindo, Sergio Pérez, Josep Silva
Exception-sensitive program slicing. J. Log. Algebraic Methods Program. 130 (2023)
Carlos Galindo, Marisa Llorens, Sergio Pérez, Josep Silva
Context-sensitive analysis of data interference for concurrent programs. PNSE@Petri Nets (2023)
Carlos Galindo, Jens Krinke, Sergio Pérez, Josep Silva
Field-Sensitive Program Slicing. SEFM (2022)
Carlos Galindo, Sergio Pérez, Josep Silva
A Program Slicer for Java (Tool Paper). SEFM (2022)
Carlos Galindo, Sergio Pérez, Josep Silva
Program Slicing Techniques with Support for Unconditional Jumps. ICFEM (2022)
Carlos Galindo, Naoki Nishida, Josep Silva, Salvador Tamarit
Reversible CSP Computations. IEEE Trans. Parallel Distributed Syst. 32 (6) (2021)
Carlos Galindo, Naoki Nishida, Josep Silva, Salvador Tamarit
ReverCSP: Time-Travelling in CSP Computations. RC (2020)
Carlos Galindo, Sergio Pérez, Josep Silva
Slicing Unconditional Jumps with Unnecessary Control Dependencies. LOPSTR (2020)