| 2024 | FM | Runtime Verification in Real-Time with the Copilot Language: A Tutorial. | Ivan Perez, Alwyn E. Goodloe, Frank Dedden |
| 2023 | HASKELL | The Essence of Reactivity. | Ivan Perez, Frank Dedden |
| 2023 | HASKELL | Don't Go Down the Rabbit Hole: Reprioritizing Enumeration for Property-Based Testing. | Segev Elazar Mittelman, Aviel Resnick, Ivan Perez, Alwyn E. Goodloe, Leonidas Lampropoulos |
| 2022 | TACAS | Automated Translation of Natural Language Requirements to Runtime Monitors. | Ivan Perez, Anastasia Mavridou, Thomas Pressburger, Alwyn Goodloe, Dimitra Giannakopoulou |
| 2020 | ISPASS | BST: A BookSim-Based Toolset to Simulate NoCs with Single- and Multi-Hop Bypass. | Ivan Perez, Enrique Vallejo, Miquel Moret, Ramn Beivide |
| 2019 | ICFP | Mobile game programming in Haskell. | Christina Zeller, Ivan Perez |
| 2018 | HASKELL | Rhine: FRP with type-level clocks. | Manuel Brenz, Ivan Perez |
| 2018 | ICCS | Statistical and Multivariate Analysis Applied to a Database of Patients with Type-2 Diabetes. | Diana Canales, Neil Hernndez-Gress, Ram Akella, Ivan Perez |
| 2018 | MICRO | Efficient Router Bypass via Hybrid Flow Control. | Ivan Perez, Enrique Vallejo, Ramn Beivide |
| 2017 | HASKELL | Back to the future: time travel in FRP. | Ivan Perez |
| 2017 | ICFP | GALE: a functional graphic adventure library and engine. | Ivan Perez |
| 2016 | HASKELL | Functional reactive programming, refactored. | Ivan Perez, Manuel Brenz, Henrik Nilsson |
| 2015 | HASKELL | Bridging the GUI gap with reactive values and relations. | Ivan Perez, Henrik Nilsson |
| 2014 | PPDP | Declarative Game Programming: Distilled Tutorial. | Henrik Nilsson, Ivan Perez |
| 2011 | FIE | Facilitating the design of physics active learning problems through authoring simulation tools: Authorphysics. | Luis Neri, Julieta Noguez, Ivan Perez, Gerardo Aguilar-Sanchez |