David L. Dill

David Lansing Dill (born January 8, 1957) is a computer scientist and academic noted for contributions to formal verification, electronic voting security, and computational systems biology.

In 2013, Dill was elected as a member into the National Academy of Engineering for the development of techniques to verify hardware, software, and electronic voting systems.

He is the Donald E. Knuth Professor, Emeritus, in the School of Engineering and Professor, Emeritus, of Computer Science at Stanford University. Provided by Wikipedia
Showing 1 - 9 results of 9 for search 'David L. Dill', query time: 0.03s Refine Results
  1. 1
    Aquila enables reference-assisted diploid personal genome assembly and comprehensive variant detection based on linked reads

    Aquila enables reference-assisted diploid personal genome assembly and comprehensive variant detection based on linked reads by Xin Zhou, Lu Zhang, Ziming Weng, David L. Dill, Arend Sidow

    Published 2021-02-01
    Get full text
    Article
  2. 2
    Mining TCGA data using Boolean implications.

    Mining TCGA data using Boolean implications. by Subarna Sinha, Emily K Tsang, Haoyang Zeng, Michela Meister, David L Dill

    Published 2014-01-01
    Get full text
    Article
  3. 3
    Towards Proving the Adversarial Robustness of Deep Neural Networks

    Towards Proving the Adversarial Robustness of Deep Neural Networks by Guy Katz, Clark Barrett, David L. Dill, Kyle Julian, Mykel J. Kochenderfer

    Published 2017-09-01
    Get full text
    Article
  4. 4
    Correction: Combined Analysis of Murine and Human Microarrays and ChIP Analysis Reveals Genes Associated with the Ability of MYC To Maintain Tumorigenesis.

    Correction: Combined Analysis of Murine and Human Microarrays and ChIP Analysis Reveals Genes Associated with the Ability of MYC To Maintain Tumorigenesis. by Chi-Hwa Wu, Debashis Sahoo, Constadina Arvanitis, Nicole Bradon, David L. Dill, Dean W. Felsher

    Published 2013-10-01
    Get full text
    Article
  5. 5
    Combined analysis of murine and human microarrays and ChIP analysis reveals genes associated with the ability of MYC to maintain tumorigenesis.

    Combined analysis of murine and human microarrays and ChIP analysis reveals genes associated with the ability of MYC to maintain tumorigenesis. by Chi-Hwa Wu, Debashis Sahoo, Constadina Arvanitis, Nicole Bradon, David L Dill, Dean W Felsher

    Published 2008-06-01
    Get full text
    Article
  6. 6
    Gene Expression Commons: an open platform for absolute gene expression profiling.

    Gene Expression Commons: an open platform for absolute gene expression profiling. by Jun Seita, Debashis Sahoo, Derrick J Rossi, Deepta Bhattacharya, Thomas Serwold, Matthew A Inlay, Lauren I R Ehrlich, John W Fathman, David L Dill, Irving L Weissman

    Published 2012-01-01
    Get full text
    Article
  7. 7
    The global regulatory architecture of transcription during the Caulobacter cell cycle.

    The global regulatory architecture of transcription during the Caulobacter cell cycle. by Bo Zhou, Jared M Schrader, Virginia S Kalogeraki, Eduardo Abeliuk, Cong B Dinh, James Q Pham, Zhongying Z Cui, David L Dill, Harley H McAdams, Lucy Shapiro

    Published 2015-01-01
    Get full text
    Article
  8. 8
    Systematic discovery of mutation-specific synthetic lethals by mining pan-cancer human primary tumor data

    Systematic discovery of mutation-specific synthetic lethals by mining pan-cancer human primary tumor data by Subarna Sinha, Daniel Thomas, Steven Chan, Yang Gao, Diede Brunen, Damoun Torabi, Andreas Reinisch, David Hernandez, Andy Chan, Erinn B. Rankin, Rene Bernards, Ravindra Majeti, David L. Dill

    Published 2017-05-01
    Get full text
    Article
  9. 9
    The role of Abcb5 alleles in susceptibility to haloperidol-induced toxicity in mice and humans.

    The role of Abcb5 alleles in susceptibility to haloperidol-induced toxicity in mice and humans. by Ming Zheng, Haili Zhang, David L Dill, J David Clark, Susan Tu, Arielle L Yablonovitch, Meng How Tan, Rui Zhang, Dan Rujescu, Manhong Wu, Lino Tessarollo, Wilfred Vieira, Michael M Gottesman, Suhua Deng, Livia S Eberlin, Richard N Zare, Jean-Martin Billard, Jean-Pierre Gillet, Jin Billy Li, Gary Peltz

    Published 2015-02-01
    Get full text
    Article

Search Tools: