| 2025 | SMC | Undecidability of Context-Sensitive Field-Insensitive Analyses. | Carlos Galindo, Carlos Martn-Abelln, Josep Silva |
| 2024 | CIKM | RevEx: An Online Consumer Reviews Extraction Tool. | Julin Alarte, Carlos Galindo, Carlos Martn, Josep Silva |
| 2024 | CSEDU | Programming Contests as Complementary Activities in University Programming Courses. | Julin Alarte, Carlos Galindo, Josep Silva |
| 2024 | WEBIST | DOM-Based Online Store Comments Extraction. | Julin Alarte, Carlos Galindo, Carlos Martn, Josep Silva |
| 2022 | ICFEM | Program Slicing Techniques with Support for Unconditional Jumps. | Carlos Galindo, Sergio Prez, Josep Silva |
| 2022 | WWW | HybEx: A Hybrid Tool for Template Extraction. | Julin Alarte, Josep Silva |
| 2022 | SEFM | Field-Sensitive Program Slicing. | Carlos Galindo, Jens Krinke, Sergio Prez, Josep Silva |
| 2022 | SEFM | A Program Slicer for Java (Tool Paper). | Carlos Galindo, Sergio Prez, Josep Silva |
| 2020 | LOPSTR | Slicing Unconditional Jumps with Unnecessary Control Dependencies. | Carlos Galindo, Sergio Prez, Josep Silva |
| 2020 | RC | ReverCSP: Time-Travelling in CSP Computations. | Carlos Galindo, Naoki Nishida, Josep Silva, Salvador Tamarit |
| 2018 | WISE | Main Content Extraction from Heterogeneous Webpages. | Julin Alarte, David Insa, Josep Silva, Salvador Tamarit |
| 2017 | LOPSTR | Erlang Code Evolution Control. | David Insa, Sergio Prez, Josep Silva, Salvador Tamarit |
| 2017 | SAC | Computing super reduced program slices by composing slicing techniques. | David Insa, Sergio Prez, Josep Silva |
| 2017 | SOFSEM | Webpage Menu Detection Based on DOM. | Julin Alarte, David Insa, Josep Silva |
| 2016 | ITiCSE | Where You Sit MattersHow Classroom Seating Might Affect Marks. | David Insa, Josep Silva, Salvador Tamarit |
| 2015 | ITiCSE | Semi-Automatic Assessment of Unrestrained Java Code: A Library, a DSL, and a Workbench to Assess Exams and Exercises. | David Insa, Josep Silva |
| 2015 | LOPSTR | A Generalized Model for Algorithmic Debugging. | David Insa, Josep Silva |
| 2015 | WWW | TeMex: The Web Template Extractor. | Julin Alarte, David Insa, Josep Silva, Salvador Tamarit |
| 2013 | ITiCSE | The influence of students distribution on their grades. | Carlos Herrero, Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit |
| 2013 | ITiCSE | An empirical analysis of the influence of classmates on the academic performance. | Carlos Herrero, Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit |
| 2013 | LOPSTR | A New Hybrid Debugging Architecture for Eclipse. | Juan Gonzlez, David Insa, Josep Silva |
| 2013 | PEPM | Precise explanation of success typing errors. | Konstantinos Sagonas, Josep Silva, Salvador Tamarit |
| 2013 | TAP | Speeding Up Algorithmic Debugging Using Balanced Execution Trees. | David Insa, Josep Silva, Adrin Riesco |
| 2012 | CICLING | Information Extraction from Webpages Based on DOM Distances. | Carlos J. Castillo, Hctor Valero, Jos Guadalupe Ramos, Josep Silva |
| 2012 | FASE | System Dependence Graphs in Sequential Erlang. | Josep Silva, Salvador Tamarit, Csar Toms |
| 2012 | LOPSTR | Enhancing Declarative Debugging with Loop Expansion and Tree Compression. | David Insa, Josep Silva, Csar Toms |
| 2011 | CIKM | XQuery optimization based on program slicing. | Jess Manuel Almendros-Jimnez, Josep Silva, Salvador Tamarit |
| 2011 | EPIA | Optimal Divide and Query. | David Insa, Josep Silva |
| 2010 | LOPSTR | Scaling Up Algorithmic Debugging with Virtual Execution Trees. | David Insa, Josep Silva |
| 2010 | LOPSTR | Graph Generation to Statically Represent CSP Processes. | Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit |
| 2010 | MPC | A Tracking Semantics for CSP. | Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit |
| 2010 | PDPTA | Translating CSP Specifications to Equivalent Petri Nets. | Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit |
| 2010 | SAC | An algorithm to generate the context-sensitive synchronized control flow graph. | Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit |
| 2009 | PEPM | SOC: a slicer for CSP specifications. | Michael Leuschel, Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit |
| 2008 | LOPSTR | The MEB and CEB Static Analysis for CSP Specifications. | Michael Leuschel, Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit |
| 2007 | LOPSTR | Preserving Sharing in the Partial Evaluation of Lazy Functional Programs. | Sebastian Fischer, Josep Silva, Salvador Tamarit, Germn Vidal |
| 2007 | SOFSEM | A Program Slicing Based Method to Filter XML/DTD Documents. | Josep Silva |
| 2006 | ADBIS | Multi-source Materialized Views Maintenance: Multi-level Views. | Josep Silva, Jorge Belenguer, Matilde Celma |
| 2006 | JELIA | A Slicing Tool for Lazy Functional Logic Programs. | Claudio Ochoa, Josep Silva, Germn Vidal |
| 2006 | LOPSTR | Improving Offline Narrowing-Driven Partial Evaluation Using Size-Change Graphs. | Gustavo Arroyo, J. Guadalupe Ramos, Josep Silva, Germn Vidal |
| 2006 | LOPSTR | A Comparative Study of Algorithmic Debugging Strategies. | Josep Silva |
| 2006 | PPDP | Combining algorithmic debugging and program slicing. | Josep Silva, Olaf Chitil |
| 2005 | ICFP | Fast narrowing-driven partial evaluation for inductively sequential programs. | J. Guadalupe Ramos, Josep Silva, Germn Vidal |
| 2004 | LOPSTR | Run-Time Profiling of Functional Logic Programs. | Bernd Brassel, Michael Hanus, Frank Huch, Josep Silva, Germn Vidal |
| 2004 | PEPM | Dynamic slicing based on redex trails. | Claudio Ochoa, Josep Silva, Germn Vidal |
| 2004 | SOFSEM | An Embedded Language Approach to Router Specification in Curry. | J. Guadalupe Ramos, Josep Silva, Germn Vidal |