Carlos Galindo

17 papers A 2B 3C 4Journal 5Unranked 3

Year	Rank	Type	Title / 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