David M. Kahn

According to our database1, David M. Kahn authored at least 8 papers between 2017 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Automatic Amortized Resource Analysis with Regular Recursive Types.
Proceedings of the 38th Annual ACM/IEEE Symposium on Logic in Computer Science, 2023

2021
Automatic amortized resource analysis with the Quantum physicist's method.
Proc. ACM Program. Lang., 2021

2020
Raising expectations: automating expected cost analysis with types.
Proc. ACM Program. Lang., 2020

Exponential Amortized Resource Analysis.
CoRR, 2020

Exponential Automatic Amortized Resource Analysis.
Proceedings of the Foundations of Software Science and Computation Structures, 2020

2019
Scalable verification of probabilistic networks.
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

2017
Deciding Probabilistic Program Equivalence in NetKAT.
CoRR, 2017

Undecidable Problems for Probabilistic Network Programming.
Proceedings of the 42nd International Symposium on Mathematical Foundations of Computer Science, 2017


  Loading...