Noah Bertram

According to our database, Noah Bertram authored at least 5 papers between 2021 and 2024.

Collaborative distances:

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

2024

Verifying Cake-Cutting, Faster.

Noah Bertram, Tean Lai, Justin Hsu

Proceedings of the Computer Aided Verification - 36th International Conference, 2024

2023

Partial zeta functions, partial exponential sums, and <i>p</i>-adic estimates.

Noah Bertram, Xiantao Deng, C. Douglas Haessig, Yan Li

Finite Fields Their Appl., March, 2023

Cutting the Cake: A Language for Fair Division.

Noah Bertram, Alex Levinson, Justin Hsu

Proc. ACM Program. Lang., 2023

Blast from the Past: Least Expected Use (LEU) Cache Replacement with Statistical History.

Sayak Chakraborti, Zhizhou Zhang, Noah Bertram, Chen Ding, Sandhya Dwarkadas

Proceedings of the 2023 ACM SIGPLAN International Symposium on Memory Management, 2023

2021

AWLCO: All-Window Length Co-Occurrence.

Joshua Sobel, Noah Bertram, Chen Ding, Fatemeh Nargesian, Daniel Gildea

Proceedings of the 32nd Annual Symposium on Combinatorial Pattern Matching, 2021