Philipp Joram

According to our database, Philipp Joram authored at least 5 papers between 2018 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2025

Derivatives for Containers in Univalent Foundations.

Philipp Joram, Niccolò Veltri

CoRR, December, 2025

2024

Data Types with Symmetries via Action Containers.

Philipp Joram, Niccolò Veltri

Proceedings of the 30th International Conference on Types for Proofs and Programs, 2024

Term Search in Rust.

Tavo Annus, Philipp Joram

Proceedings of the 9th ACM SIGPLAN International Workshop on Type-Driven Development, 2024

2023

Constructive Final Semantics of Finite Bags.

Philipp Joram, Niccolò Veltri

Proceedings of the 14th International Conference on Interactive Theorem Proving, 2023

2018

System Monitoring with lo2s: Power and Runtime Impact of C-State Transitions.

Thomas Ilsche, Robert Schöne, Philipp Joram, Mario Bielert, Andreas Gocht

Proceedings of the 2018 IEEE International Parallel and Distributed Processing Symposium Workshops, 2018