☰

David L. Dill

Affiliations: 
2017 Computer Science Stanford University, Palo Alto, CA 
Website:
https://profiles.stanford.edu/david-dill
Google:
"David L. Dill"
Bio:

http://reports-archive.adm.cs.cmu.edu/anon/scan/CMU-CS-88-119.pdf … my graduate and thesis advisor, Ed Clarke

Tree Publications Similar researchers PubMed Report error

Parents

Sign in to add mentor
Edmund M. Clarke grad student 1988 Carnegie Mellon
 (Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits)

Children

Sign in to add trainee
Rajeev Alur grad student 1991 Stanford
Steven M. Nowick grad student 1993 Stanford
Gaurishankar Govindaraju grad student 2000 Stanford
Kanna Shimizu grad student 2002 Stanford
Aaron D. Stump grad student 2002 Stanford
Xiaowu J. Su grad student 2002 Stanford
Clark W. Barrett grad student 2003 Stanford
David A. Cyrluk grad student 2003 Stanford
Husam S. Abu-Haimed grad student 2004 Stanford
Satyaki Das grad student 2004 Stanford
Madanlal Musuvathi grad student 2004 Stanford
Debashis Sahoo grad student 2008 Stanford (Stem Cell Tree)
Gabriele Scheler research scientist 2008-2010 Stanford (Neurotree)

Collaborators

Sign in to add collaborator
BETA: Related publications

Publications

You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.

Li Y, Thomas D, Deutzmann A, et al. (2019) Mebendazole for Differentiation Therapy of Acute Myeloid Leukemia Identified by a Lineage Maturation Index. Scientific Reports. 9: 16775
Sinha S, Thomas D, Chan S, et al. (2017) Abstract A27: Systematic discovery of mutation-specific synthetic lethals by mining pan-cancer primary tumor data Clinical Cancer Research. 23
Ricci DP, Melfi MD, Lasker K, et al. (2016) Cell cycle progression in Caulobacter requires a nucleoid-associated protein with high AT sequence recognition. Proceedings of the National Academy of Sciences of the United States of America
Lasker K, Schrader JM, Men Y, et al. (2015) CauloBrowser: A systems biology resource for Caulobacter crescentus. Nucleic Acids Research
Li Y, Seita J, Felsher D, et al. (2015) Abstract A2-35: Discovery of differentiation therapeutics using a systems biology approach Cancer Research. 75
Li Y, Seita J, Felsher D, et al. (2015) Abstract B2-12: A systems biology approach for the discovery of differentiation therapeutics Cancer Research. 75
Sinha S, Tsang EK, Zeng H, et al. (2014) Mining TCGA data using Boolean implications. Plos One. 9: e102119
Li Y, Seita J, Felsher DW, et al. (2014) Leukemia Cell Differentiation upon Targeted Therapy Revealed By a Systems Biology Approach Blood. 124: 5202-5202
Seita J, Sahoo D, Rossi DJ, et al. (2012) Gene Expression Commons: an open platform for absolute gene expression profiling. Plos One. 7: e40321
Sahoo D, Seita J, Bhattacharya D, et al. (2010) MiDReG: a method of mining developmentally regulated genes using Boolean implications. Proceedings of the National Academy of Sciences of the United States of America. 107: 5732-7
See more...