Carlos Galindo

17 papers A 2B 3C 4Journal 5Unranked 3
YearRankTypeTitle / Venue / Authors
2025 J jnl
The expression dependence graph.
J. Log. Algebraic Methods Program.
Carlos Galindo, Sergio Pérez, Josep Silva
2025 B conf
Undecidability of Context-Sensitive Field-Insensitive Analyses.
SMC
Carlos Galindo, Carlos Martín-Abellán, Josep Silva
2024 C conf
DOM-Based Online Store Comments Extraction.
WEBIST
Julián Alarte, Carlos Galindo, Carlos Martín, Josep Silva
2024 J jnl
Field-sensitive program slicing.
J. Syst. Softw.
Carlos Galindo, Jens Krinke, Sergio Pérez, Josep Silva
2024 — conf
Programming Contests as Complementary Activities in University Programming Courses.
CSEDU (2)
Julián Alarte, Carlos Galindo, Josep Silva
2024 A conf
RevEx: An Online Consumer Reviews Extraction Tool.
CIKM
Julián Alarte, Carlos Galindo, Carlos Martín, Josep Silva
2023 — conf
Context-sensitive analysis of data interference for concurrent programs.
PNSE@Petri Nets
Carlos Galindo, Marisa Llorens, Sergio Pérez, Josep Silva
2023 J jnl
Exception-sensitive program slicing.
J. Log. Algebraic Methods Program.
Carlos Galindo, Sergio Pérez, Josep Silva
2023 J jnl
Program slicing of Java programs.
J. Log. Algebraic Methods Program.
Carlos Galindo, Sergio Pérez, Josep Silva
2023 — conf
Slicing Petri Nets to Reduce Their Complexity - Abstract.
ATAED/PN4TT@Petri Nets
Carlos Galindo, Marisa Llorens, Sergio Pérez, Josep Silva
2023 A conf
Slicing Shared-Memory Concurrent Programs The Threaded System Dependence Graph Revisited.
ICSME
Carlos Galindo, Marisa Llorens, Sergio Pérez, Josep Silva
2022 B conf
A Program Slicer for Java (Tool Paper).
SEFM
Carlos Galindo, Sergio Pérez, Josep Silva
2022 B conf
Field-Sensitive Program Slicing.
SEFM
Carlos Galindo, Jens Krinke, Sergio Pérez, Josep Silva
2022 C conf
Program Slicing Techniques with Support for Unconditional Jumps.
ICFEM
Carlos Galindo, Sergio Pérez, Josep Silva
2021 J jnl
Reversible CSP Computations.
IEEE Trans. Parallel Distributed Syst.
Carlos Galindo, Naoki Nishida, Josep Silva, Salvador Tamarit
2020 C conf
ReverCSP: Time-Travelling in CSP Computations.
RC
Carlos Galindo, Naoki Nishida, Josep Silva, Salvador Tamarit
2020 C conf
Slicing Unconditional Jumps with Unnecessary Control Dependencies.
LOPSTR
Carlos Galindo, Sergio Pérez, Josep Silva