System Monitoring with lo2s: Power and Runtime Impact of C-State Transitions. - Thomas Ilsche; Robert Schöne; Philipp Joram; Mario Bielert; Andreas Gocht (IPDPS Workshops, 2018)

Constructive Final Semantics of Finite Bags. - Philipp Joram; Niccolò Veltri (ITP, 2023)

Term Search in Rust. - Tavo Annus; Philipp Joram (TyDe@ICFP, 2024)

Data Types with Symmetries via Action Containers. - Philipp Joram; Niccolò Veltri (TYPES, 2024)