I'm a postdoc researcher in Computer Science at the Extensions of Logic Programming (ELP) research group, which is part of the Valencian Research Institute for Artificial Intelligence (VRAIN) at the Universitat Politècnica de València.
After my degree in 2012, I joined the ELP, where I have had the pleasure of working with great researchers (and better people) such as
María Alpuente, Demis Ballis, Francisco Frechina, and Santiago Escobar. You can take a look at our joint work in the "Publications and Works" section of this page.
In December of 2017, I successfully defended my Ph.D. dissertation, which was focused on the formal development of rewriting-based techniques for (Maude) program analysis and debugging.
Journal Papers*
- M. Alpuente, D. Ballis, and J. Sapiña. Static correction of Maude Programs with Assertions. In Journal of Systems and Software (JSS), volume 153, pages 64-85. Elsevier, 2019.
[PDF]<· NEW!
- M. Alpuente, D. Ballis, S. Escobar, and J. Sapiña. Symbolic Analysis of Maude Theories with Narval. In Theory and Practice of Logic Programming (TPLP), volume 19, issue 5-6, pages 874-890. Cambridge University Press, 2019.
[PDF]<· NEW!
- M. Alpuente, A. Cuenca-Ortega, S. Escobar, and J. Sapiña. Inspecting Maude Variants with GLINTS. In Theory and Practice of Logic Programming (TPLP), volume 17, issue 5-6, pages 689-707. Cambridge University Press, 2017.
[PDF]
- M. Alpuente, D. Ballis, F. Frechina, and J. Sapiña. Assertion-based Analysis via Slicing with ABETS (System Description). In Theory and Practice of Logic Programming (TPLP), volume 16, issue 5-6, pages 515-532. Cambridge University Press, 2016.
[PDF]
- M. Alpuente, D. Ballis, F. Frechina, and J. Sapiña. Debugging Maude Programs via Runtime Assertion Checking and Trace Slicing. In Special Issue on Automated Verification of Programs and Web Systems, volume 85 of Journal of Logical and Algebraic Methods in Programming (JLAMP), issue 5, pages 707-736. Elsevier, 2016.
[PDF]
- M. Alpuente, D. Ballis, F. Frechina, and J. Sapiña. Exploring Conditional Rewriting Logic Computations. In Special Issue on Symbolic Computation in Software Science, volume 69 of Journal of Symbolic Computation (JSC), pages 3-39. Elsevier, 2015.
[PDF]
Conference Papers*
- S. Escobar, and J. Sapiña. Most General Variant Unifiers. Technical Communications of the 35th International Conference on Logic Programming (ICLP 2019).
[PDF]<· NEW!
- M. Alpuente, D. Ballis, and J. Sapiña. Inferring Safe Maude Programs with ÁTAME. In Proc. of the 6th International Congress on Mathematical Software (ICMS 2018), 2018.
[PDF]
- M. Alpuente, D. Ballis, F. Frechina, and J. Sapiña. Combining Runtime Checking and Slicing to improve Maude Error Diagnosis. In Proc. of Logic, Rewriting, and Concurrency: Essays Dedicated to José Meseguer on the Occasion of his 65th Birthday (LRC 2015), volume 9200 of Lecture Notes in Computer Science (LNCS), pages 72-96. Springer-Verlag, 2015.
[PDF]
- M. Alpuente, D. Ballis, F. Frechina, and J. Sapiña. Inspecting Rewriting Logic Computations (in a parametric and stepwise way). In Proc. of Specification, Algebra, and Software: A Festschrift Symposium in Honor of Kokichi Futatsugi (SAS 2014), volume 8373 of Lecture Notes in Computer Science (LNCS), pages 229-255. Springer-Verlag, 2014.
[PDF]
- M. Alpuente, D. Ballis, F. Frechina, and J. Sapiña. Parametric Exploration of Rewriting Logic Computations. In Proc. of the 5th International Symposium on Symbolic Computation in Software Science (SCSS 2013), volume 15 of EasyChair Proceedings in Computing (EPiC), pages 4-18. EasyChair, 2013.
[PDF]
- M. Alpuente, D. Ballis, F. Frechina, and J. Sapiña. Slicing-Based Trace Analysis of Rewriting Logic Specifications with iJulienne. In Proc. of the 22nd European Symposium on Programming (ESOP 2013), volume 7792 of Lecture Notes in Computer Science (LNCS), pages 121-124. Springer-Verlag, 2013.
[PDF]
Online Resources
- Maude for Windows compilation guide and binaries. [Here]
- Mau-Dev, a developer extension of the official Maude release. [Here]
- iJulienne trace slicer. [Website]
- Anima program stepper. [Website]
- Abets, an assertion-based trace slicer. [Website]
- Atame automatic program repair with assertions. [Website]
- Narval variant-based narrowing stepper. [Website]<· NEW!
Others
- J. Sapiña. Rewriting Logic Techniques for Program Analysis and Optimization. In 1st Doctoral Consortium of SISTEDES 2014 Conferences, 2014.
[PDF]
- J. Sapiña. Rewriting Logic Techniques for Program Analysis and Optimization. In 1st Doctoral School Meeting of Ph.D. Students of the Universitat Politècnica de València, 2014. (Scientific Poster)
[PDF]
- J. Sapiña. Slicing Slices. An Incremental Backward Trace Slicing Methodology for RWL Computations. Master's Thesis in Software Engineering, Formal Methods and Information Systems. Universitat Politècnica de València, 2013.
- J. Sapiña. A Conditional Slicing Tool for Maude. Final Year Project in Computer Science Engineering. Universitat Politècnica de València, 2012.
[PDF]
* authoring in alphabetical order