David L. Dill
Stanford University
H-index: 84
North America-United States
Top articles of David L. Dill
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Reasoning About Vectors: Satisfiability Modulo a Theory of Sequences | Journal of automated reasoning | Ying Sheng Andres Nötzli Andrew Reynolds Yoni Zohar David Dill | 2023/9 |
Reasoning about vectors using an SMT theory of sequences | Ying Sheng Andres Nötzli Andrew Reynolds Yoni Zohar David Dill | 2022/8/1 | |
Fast and reliable formal verification of smart contracts with the move prover | David Dill Wolfgang Grieskamp Junkil Park Shaz Qadeer Meng Xu | 2022/3/30 | |
Reluplex: a calculus for reasoning about deep neural networks | Formal Methods in System Design | Guy Katz Clark Barrett David L Dill Kyle Julian Mykel J Kochenderfer | 2022/2 |
Citations for the Test-of-Time Award from 2001 | Aaron Stump Clark W Barrett David L Dill | 2021/5/7 | |
Aquila enables reference-assisted diploid personal genome assembly and comprehensive variant detection based on linked reads | Nature communications | Xin Zhou Lu Zhang Ziming Weng David L Dill Arend Sidow | 2021/2/17 |
Aquila_stLFR: diploid genome assembly based structural variant calling package for stLFR linked-reads | Bioinformatics Advances | Yichen Henry Liu Griffin L Grubbs Lu Zhang Xiaodong Fang David L Dill | 2021/1/1 |
Resources: A safe language abstraction for money | arXiv preprint arXiv:2004.05106 | Sam Blackshear David L Dill Shaz Qadeer Clark W Barrett John C Mitchell | 2020/4/10 |
The move prover | Jingyi Emma Zhong Kevin Cheang Shaz Qadeer Wolfgang Grieskamp Sam Blackshear | 2020 | |
High throughput computational mouse genetic analysis | BioRxiv | Ahmed Arslan Yuan Guan Zhuoqing Fang Xinyu Chen Robin Donaldson | 2020/9/1 |
The m6A RNA demethylase FTO is a HIF-independent synthetic lethal partner with the VHL tumor suppressor | Proceedings of the National Academy of Sciences | Yiren Xiao Kaushik N Thakkar Hongjuan Zhao James Broughton Yang Li | 2020/9/1 |