Anders Miltner
发表
B. Pierce,
S. Zdancewic,
D. Walker,
2020
.
Anders Miltner,
2022
.
Benjamin C. Pierce,
Steve Zdancewic,
David Walker,
2019,
Artifact Digital Object Group.
Sumit Gulwani,
Abhishek Udupa,
Ashish Tiwari,
2019,
Proc. ACM Program. Lang..
Kathleen Fisher,
Anders Miltner,
David Walker,
2021
.
Isil Dillig,
Swarat Chaudhuri,
Anders Miltner,
2021,
Proc. ACM Program. Lang..
Kathleen Fisher,
Anders Miltner,
Devon Loehr,
2023,
ArXiv.
Todd Millstein,
David Walker,
Anders Miltner,
2020,
PLDI.
Ian D. Kretz,
Yu Feng,
John Wang,
2023,
IACR Cryptol. ePrint Arch..
David Walker,
Benjamin C. Pierce,
Steve Zdancewic,
2018,
Proc. ACM Program. Lang..