Publications
My peer reviewed and under-review articles.
IsaRare: Automatic Verification of SMT Rewrites in Isabelle/HOL
TACAS '24
#Automated Reasoning
#SMT
A Look Behind the Curtain: Traffic Classification in an Increasingly Encrypted Web
ACM Sigmetrics '21
#Web
#Machine Learning
Type-Preserving, Dependence-Aware Guide Generation for Sound, Effective Amortized Probabilistic Inference
POPL '23
#Probabilistic Inference
#Machine Learning