Improving implicit parallelism. - José Manuel Calderón Trilla; Colin Runciman (Haskell, 2015)

Weaving Parallel Threads - Searching for Useful Parallelism in Functional Programs. - José Manuel Calderón Trilla; Simon M. Poulding; Colin Runciman (SSBSE, 2015)

Improving implicit parallelism. - José Manuel Calderón Trilla (2015)

What's the Over/Under? Probabilistic Bounds on Information Leakage. - Ian Sweet; José Manuel Calderón Trilla; Chad Scherrer; Michael Hicks 001; Stephen Magill (POST, 2018)

RAMPARTS: A Programmer-Friendly System for Building Homomorphic Encryption Applications. - David W. Archer; José Manuel Calderón Trilla; Jason Dagit; Alex J. Malozemoff; Yuriy Polyakov; Kurt Rohloff; Gerard W. Ryan (IACR Cryptol. ePrint Arch., 2019)

Probabilistic Abstract Interpretation: Sound Inference and Application to Privacy. - José Manuel Calderón Trilla; Michael Hicks 001; Stephen Magill; Piotr Mardziel; Ian Sweet (Foundations of Probabilistic Programming, 2020)

Exploring the Theory and Practice of Concurrency in the Entity-Component-System Pattern. - Patrick Redmond; Jonathan Castello; José Manuel Calderón Trilla; Lindsey Kuper (CoRR, 2025)