David L. Dill
Affiliations: | 2017 | Computer Science | Stanford University, Palo Alto, CA |
Website:
https://profiles.stanford.edu/david-dillGoogle:
"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
Parents
Sign in to add mentorEdmund M. Clarke | grad student | 1988 | Carnegie Mellon | |
(Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits) |
Children
Sign in to add traineeRajeev 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) |
BETA: Related publications
See more...
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 |