Philipp Joram

According to our database, Philipp Joram authored at least 3 papers between 2018 and 2024.

Collaborative distances:

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

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