☰

David L. Dill - Publications

Affiliations: 
2017 Computer Science Stanford University, Palo Alto, CA 
Website:
https://profiles.stanford.edu/david-dill
Tree Info Similar researchers PubMed Report error

43 high-probability publications. We are testing a new system for linking publications to authors. You can help! If you notice any inaccuracies, please sign in and mark papers as correct or incorrect matches. If you identify any major omissions or other inaccuracies in the publication list, please let us know.

Year Citation  Score
2019 Li Y, Thomas D, Deutzmann A, Majeti R, Felsher DW, Dill DL. Mebendazole for Differentiation Therapy of Acute Myeloid Leukemia Identified by a Lineage Maturation Index. Scientific Reports. 9: 16775. PMID 31727951 DOI: 10.1038/S41598-019-53290-3  0.307
2017 Sinha S, Thomas D, Chan S, Gao Y, Brunen D, Torabi D, Reinisch A, Bernards R, Majeti R, Dill DL. Abstract A27: Systematic discovery of mutation-specific synthetic lethals by mining pan-cancer primary tumor data Clinical Cancer Research. 23. DOI: 10.1158/1557-3265.Pmccavuln16-A27  0.32
2016 Ricci DP, Melfi MD, Lasker K, Dill DL, McAdams HH, Shapiro L. 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. PMID 27647925 DOI: 10.1073/Pnas.1612579113  0.306
2015 Lasker K, Schrader JM, Men Y, Marshik T, Dill DL, McAdams HH, Shapiro L. CauloBrowser: A systems biology resource for Caulobacter crescentus. Nucleic Acids Research. PMID 26476443 DOI: 10.1093/Nar/Gkv1050  0.313
2015 Li Y, Seita J, Felsher D, Dill D. Abstract A2-35: Discovery of differentiation therapeutics using a systems biology approach Cancer Research. 75. DOI: 10.1158/1538-7445.Transcagen-A2-35  0.328
2015 Li Y, Seita J, Felsher D, Dill DL. Abstract B2-12: A systems biology approach for the discovery of differentiation therapeutics Cancer Research. 75. DOI: 10.1158/1538-7445.Compsysbio-B2-12  0.334
2014 Sinha S, Tsang EK, Zeng H, Meister M, Dill DL. Mining TCGA data using Boolean implications. Plos One. 9: e102119. PMID 25054200 DOI: 10.1371/Journal.Pone.0102119  0.336
2014 Li Y, Seita J, Felsher DW, Dill D. Leukemia Cell Differentiation upon Targeted Therapy Revealed By a Systems Biology Approach Blood. 124: 5202-5202. DOI: 10.1182/Blood.V124.21.5202.5202  0.344
2012 Seita J, Sahoo D, Rossi DJ, Bhattacharya D, Serwold T, Inlay MA, Ehrlich LI, Fathman JW, Dill DL, Weissman IL. Gene Expression Commons: an open platform for absolute gene expression profiling. Plos One. 7: e40321. PMID 22815738 DOI: 10.1371/Journal.Pone.0040321  0.656
2010 Sahoo D, Seita J, Bhattacharya D, Inlay MA, Weissman IL, Plevritis SK, Dill DL. 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. PMID 20231483 DOI: 10.1073/Pnas.0913635107  0.718
2010 Bhamre S, Sahoo D, Tibshirani R, Dill DL, Brooks JD. Gene Expression Changes Induced by Genistein in the Prostate Cancer Cell Line LNCaP The Open Prostate Cancer Journal. 3: 86-98. DOI: 10.2174/1876822901003010086  0.584
2009 Inlay MA, Bhattacharya D, Sahoo D, Serwold T, Seita J, Karsunky H, Plevritis SK, Dill DL, Weissman IL. Ly6d marks the earliest stage of B-cell specification and identifies the branchpoint between B-cell and T-cell development. Genes & Development. 23: 2376-81. PMID 19833765 DOI: 10.1101/Gad.1836009  0.687
2009 Bhamre S, Sahoo D, Tibshirani R, Dill DL, Brooks JD. Temporal changes in gene expression induced by sulforaphane in human prostate cancer cells. The Prostate. 69: 181-90. PMID 18973173 DOI: 10.1002/Pros.20869  0.562
2008 Sahoo D, Dill DL, Gentles AJ, Tibshirani R, Plevritis SK. Boolean implication networks derived from large scale, whole genome microarray datasets. Genome Biology. 9: R157. PMID 18973690 DOI: 10.1186/Gb-2008-9-10-R157  0.681
2008 Shachaf CM, Gentles AJ, Elchuri S, Sahoo D, Soen Y, Sharpe O, Perez OD, Chang M, Mitchel D, Robinson WH, Dill D, Nolan GP, Plevritis SK, Felsher DW. Genomic and proteomic analysis reveals a threshold level of MYC required for tumor maintenance Cancer Research. 68: 5132-5142. PMID 18593912 DOI: 10.1158/0008-5472.Can-07-6192  0.684
2008 Wu CH, Sahoo D, Arvanitis C, Bradon N, Dill DL, Felsher DW. Combined analysis of murine and human microarrays and ChIP analysis reveals genes associated with the ability of MYC to maintain tumorigenesis. Plos Genetics. 4: e1000090. PMID 18535662 DOI: 10.1371/Journal.Pgen.1000090  0.606
2008 Cadar C, Ganesh V, Pawlowski PM, Dill DL, Engler DR. EXE: Automatically generating inputs of death Acm Transactions On Information and System Security. 12. DOI: 10.1145/1455518.1455522  0.32
2007 Sahoo D, Dill DL, Tibshirani R, Plevritis SK. Extracting binary signals from microarray time-course data. Nucleic Acids Research. 35: 3705-12. PMID 17517782 DOI: 10.1093/Nar/Gkm284  0.696
2005 Berezin S, Barrett C, Shikanian I, Chechik M, Gurfinkel A, Dill DL. A practical approach to partial functions in CVC lite Electronic Notes in Theoretical Computer Science. 125: 13-23. DOI: 10.1016/J.Entcs.2004.06.064  0.59
2005 Sahoo D, Jain J, Iyer SK, Dill D, Emerson EA. Predictive reachability using a sample-based approach Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3725: 388-392. DOI: 10.1007/11560548_38  0.664
2005 Sahoo D, Jain J, Iyer SK, Dill DL, Emerson EA. Multi-threaded reachability Proceedings - Design Automation Conference. 467-470.  0.463
2005 Musuvathi M, Dill DL. An incremental heap canonicalization algorithm Lecture Notes in Computer Science. 3639: 28-42.  0.622
2003 Abu-Haimed H, Berezin S, Dill DL. Semi-formal verification of memory systems by symbolic simulation Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2860: 158-163. DOI: 10.1007/978-3-540-39724-3_15  0.639
2003 Sánchez C, Sankaranarayanan S, Sipma H, Zhang T, Dill D, Manna Z. Event correlation: Language and semantics Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2855: 323-339.  0.544
2002 Musuvathi M, Chou A, Dill DL, Engler D. Model checking system software with CMC Proceedings of the 10th Workshop On Acm Sigops European Workshop, Ew 10. 219-222. DOI: 10.1145/1133373.1133418  0.633
2002 Shimizu K, Dill DL. Using formal specifications for functional validation of hardware designs Ieee Design and Test of Computers. 19: 96-106. DOI: 10.1109/Mdt.2002.1018138  0.327
2002 Stump A, Barrett CW, Dill DL. Producing proofs from an arithmetic decision procedure in elliptical LF Electronic Notes in Theoretical Computer Science. 70: 31-43. DOI: 10.1016/S1571-0661(04)80504-8  0.747
2002 Chakraborty S, Dill DL, Yun KY. Efficient algorithms for approximate time separation of events Sadhana - Academy Proceedings in Engineering Sciences. 27: 129-162. DOI: 10.1007/Bf02717181  0.346
2002 Stump A, Barrett CW, Dill DL. CVC: A cooperating validity checker Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2404: 500-504.  0.566
2002 Barrett CW, Dill DL, Stump A. Checking satisfiability of first-order formulas by incremental translation to SAT Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2404: 236-249.  0.574
2002 Barrett CW, Dill DL, Stump A. A generalization of shostak’s method for combining decision procedures Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2309: 132-146.  0.564
2001 Shimizu K, Dill DL, Chou CT. A specification methodology by a collection of compact properties as applied to the Intel® Itanium™ processor bus protocol Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2144: 340-354. DOI: 10.1007/3-540-44798-9_27  0.55
2001 Stump A, Barrett CW, Dill DL, Levitt J. A decision procedure for an extensional theory of arrays Proceedings - Symposium On Logic in Computer Science. 29-37.  0.541
2000 Barrett CW, Dill DL, Stump A. A framework for cooperating decision procedures Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science). 1831: 79-98.  0.562
1999 Chakraborty S, Yun KY, Dill DL. Timing analysis of asynchronous systems using time separation of events Ieee Transactions On Computer-Aided Design of Integrated Circuits and Systems. 18: 1061-1076. DOI: 10.1109/43.775628  0.319
1999 Yun KY, Dill DL. Automatic synthesis of extended burst-mode circuits: Part I (Specification and hazard-free implementations) Ieee Transactions On Computer-Aided Design of Integrated Circuits and Systems. 18: 101-117. DOI: 10.1109/43.743711  0.309
1999 Park S, Dill DL. An executable specification and verifier for relaxed memory order Ieee Transactions On Computers. 48: 227-235. DOI: 10.1109/12.752664  0.312
1998 Yun KY, Lin B, Dill DL, Devadas S. BDD-Based synthesis of extended burst-mode controllers Ieee Transactions On Computer-Aided Design of Integrated Circuits and Systems. 17: 782-792. DOI: 10.1109/43.720315  0.319
1998 Park S, Dill DL. Verification of cache coherence protocols by aggregation of distributed transactions Theory of Computing Systems. 31: 355-376. DOI: 10.1007/S002240000093  0.311
1998 Park DYW, Skakkebæk JU, Dill DL. Static analysis to identify invariants in RSML specifications Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1486: 133-142. DOI: 10.1007/Bfb0055343  0.333
1998 Barrett CW, Dill DL, Levitt JR. Decision procedure for bit-vector arithmetic Proceedings - Design Automation Conference. 522-527.  0.557
1994 Burch JR, Clarke EM, Long DE, McMillan KL, Dill DL. Symbolic Model Checking for Sequential Circuit Verification Ieee Transactions On Computer-Aided Design of Integrated Circuits and Systems. 13: 401-424. DOI: 10.1109/43.275352  0.604
1994 Alur R, Dill DL. A theory of timed automata Theoretical Computer Science. 126: 183-235. DOI: 10.1016/0304-3975(94)90010-8  0.548
Show low-probability matches.