David M Kahn | DeepAI

AI Chat

Featured Co-authors

Di Wang
126 publications
Justin Hsu
32 publications
Alexandra Silva
29 publications
Jan Hoffmann
18 publications
Dexter Kozen
14 publications
Nate Foster
12 publications
Praveen Kumar
10 publications
Steffen Smolka
3 publications
Jessie Grosen
1 publication

∙ 04/26/2023

Automatic Amortized Resource Analysis with Regular Recursive Types

The goal of automatic resource bound analysis is to statically infer sym...

0 Jessie Grosen, et al. ∙

∙ 06/26/2021

Automatic Amortized Resource Analysis with the Quantum Physicist's Method

We present a novel method for working with the physicist's method of amo...

0 David M Kahn, et al. ∙

∙ 06/24/2020

Raising Expectations: Automating Expected Cost Analysis with Types

This article presents a type-based analysis for deriving upper bounds on...

0 Di Wang, et al. ∙

∙ 02/21/2020

Exponential Automatic Amortized Resource Analysis

Automatic amortized resource analysis (AARA) is a type-based technique f...

0 David M Kahn, et al. ∙

∙ 02/21/2020

Exponential Amortized Resource Analysis

Automatic amortized resource analysis (AARA) is a type-based technique f...

0 David M Kahn, et al. ∙

∙ 04/17/2019

Scalable Verification of Probabilistic Networks

This paper presents McNetKAT, a scalable tool for verifying probabilisti...

0 Steffen Smolka, et al. ∙

Are you a researcher?
Expose your work
to one of the largest
A.I. communities in the world