David Dill - Publications

Affiliations: 
Computer Science Stanford University, Palo Alto, CA 

101 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
2016 Donaldson R, Sun Y, Liang DY, Zheng M, Sahbaie P, Dill DL, Peltz G, Buck KJ, Clark JD. The multiple PDZ domain protein Mpdz/MUPP1 regulates opioid tolerance and opioid-induced hyperalgesia. Bmc Genomics. 17: 313. PMID 27129385 DOI: 10.1186/s12864-016-2634-1  1
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  1
2015 Zhang W, Kolte R, Dill DL. Towards in vivo estimation of reaction kinetics using high-throughput metabolomics data: a maximum likelihood approach. Bmc Systems Biology. 9: 66. PMID 26437964 DOI: 10.1186/s12918-015-0214-7  1
2015 Zheng M, Zhang H, Dill DL, Clark JD, Tu S, Yablonovitch AL, Tan MH, Zhang R, Rujescu D, Wu M, Tessarollo L, Vieira W, Gottesman MM, Deng S, Eberlin LS, et al. The role of Abcb5 alleles in susceptibility to haloperidol-induced toxicity in mice and humans. Plos Medicine. 12: e1001782. PMID 25647612 DOI: 10.1371/journal.pmed.1001782  1
2015 Zhou B, Schrader JM, Kalogeraki VS, Abeliuk E, Dinh CB, Pham JQ, Cui ZZ, Dill DL, McAdams HH, Shapiro L. The global regulatory architecture of transcription during the Caulobacter cell cycle. Plos Genetics. 11: e1004831. PMID 25569173 DOI: 10.1371/journal.pgen.1004831  1
2015 Sinha S, Thomas D, Yu L, Gentles AJ, Jung N, Corces-Zimmerman MR, Chan SM, Reinisch A, Feinberg AP, Dill DL, Majeti R. Mutant WT1 is associated with DNA hypermethylation of PRC2 targets in AML and responds to EZH2 inhibition. Blood. 125: 316-26. PMID 25398938 DOI: 10.1182/blood-2014-03-566018  1
2014 Li Y, Choi PS, Casey SC, Dill DL, Felsher DW. MYC through miR-17-92 suppresses specific target genes to maintain survival, autonomous proliferation, and a neoplastic state. Cancer Cell. 26: 262-72. PMID 25117713 DOI: 10.1016/j.ccr.2014.06.014  1
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  1
2014 Bruggner RV, Bodenmiller B, Dill DL, Tibshirani RJ, Nolan GP. Automated identification of stratifying signatures in cellular subpopulations. Proceedings of the National Academy of Sciences of the United States of America. 111: E2770-7. PMID 24979804 DOI: 10.1073/pnas.1408792111  1
2013 Aghaeepour N, Finak G, Hoos H, Mosmann TR, Brinkman R, Gottardo R, Scheuermann RH. Critical assessment of automated flow cytometry data analysis techniques. Nature Methods. 10: 228-38. PMID 23396282 DOI: 10.1038/nmeth.2365  1
2013 Wu M, Xu Y, Fitch WL, Zheng M, Merritt RE, Shrager JB, Zhang W, Dill DL, Peltz G, Hoang CD. Liquid chromatography/mass spectrometry methods for measuring dipeptide abundance in non-small-cell lung cancer Rapid Communications in Mass Spectrometry. 27: 2091-2098. DOI: 10.1002/rcm.6656  1
2012 Wu M, Zheng M, Zhang W, Suresh S, Schlecht U, Fitch WL, Aronova S, Baumann S, Davis R, St.onge R, Dill DL, Peltz G. Identification of drug targets by chemogenomic and metabolomic profiling in yeast Pharmacogenetics and Genomics. 22: 877-886. PMID 23076370 DOI: 10.1097/FPC.0b013e32835aa888  1
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  1
2012 Zheng M, Dill D, Clark JD, Peltz G. Computational genetic discoveries that could improve perioperative medicine. Current Opinion in Anaesthesiology. 25: 428-33. PMID 22647490 DOI: 10.1097/ACO.0b013e32835561f9  1
2012 Liu HH, Hu Y, Zheng M, Suhoski MM, Engleman EG, Dill DL, Hudnall M, Wang J, Spolski R, Leonard WJ, Peltz G. Cd14 SNPs regulate the innate immune response. Molecular Immunology. 51: 112-27. PMID 22445606 DOI: 10.1016/j.molimm.2012.02.112  1
2012 Zheng M, Dill D, Peltz G. A better prognosis for genetic association studies in mice. Trends in Genetics : Tig. 28: 62-9. PMID 22118772 DOI: 10.1016/j.tig.2011.10.006  1
2011 Peltz G, Zaas AK, Zheng M, Solis NV, Zhang MX, Liu HH, Hu Y, Boxx GM, Phan QT, Dill D, Filler SG. Next-generation computational genetic analysis: multiple complement alleles control survival after Candida albicans infection. Infection and Immunity. 79: 4472-9. PMID 21875959 DOI: 10.1128/IAI.05666-11  1
2010 Hu Y, Liang D, Li X, Liu HH, Zhang X, Zheng M, Dill D, Shi X, Qiao Y, Yeomans D, Carvalho B, Angst MS, Clark JD, Peltz G. The role of interleukin-1 in wound biology. Part II: In vivo and human translational studies. Anesthesia and Analgesia. 111: 1534-42. PMID 20889944 DOI: 10.1213/ANE.0b013e3181f691eb  1
2010 Hu Y, Liang D, Li X, Liu HH, Zhang X, Zheng M, Dill D, Shi X, Qiao Y, Yeomans D, Carvalho B, Angst MS, Clark JD, Peltz G. The role of interleukin-1 in wound biology. Part I: Murine in silico and in vitro experimental analysis. Anesthesia and Analgesia. 111: 1525-33. PMID 20889942 DOI: 10.1213/ANE.0b013e3181f5ef5a  1
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  1
2010 Mangla K, Dill DL, Horowitz MA. Timing robustness in the budding and fission yeast cell cycles. Plos One. 5: e8906. PMID 20126540 DOI: 10.1371/journal.pone.0008906  1
2010 Linderman MD, Ho M, Dill DL, Meng TH, Nolan GP. Towards program optimization through automated analysis of numerical precision Proceedings of the 2010 Cgo - the 8th International Symposium On Code Generation and Optimization. 230-237. DOI: 10.1145/1772954.1772987  1
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  1
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  1
2009 Dill DL. Seven principles for secure e-voting [2] Communications of the Acm. 52: 8. DOI: 10.1145/1461928.1461931  1
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  1
2008 Shen X, Collier J, Dill D, Shapiro L, Horowitz M, McAdams HH. Architecture and inherent robustness of a bacterial cell-cycle control system Proceedings of the National Academy of Sciences of the United States of America. 105: 11340-11345. PMID 18685108 DOI: 10.1073/pnas.0805258105  1
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  1
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  1
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  1
2008 Dill DL, Castro D. Point/counterpoint: The U.S. should ban paperless electronic voting machines Communications of the Acm. 51: 29-33. DOI: 10.1145/1400181.1400192  1
2008 Smith EW, Dill DL. Automatic formal verification of block cipher implementations Proceedings of the 2008 International Conference On Formal Methods in Computer-Aided Design, Fmcad. DOI: 10.1109/FMCAD.2008.ECP.10  1
2008 Dill DL. Formal verification and biology Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5311: 3. DOI: 10.1007/978-3-540-88387-6-2  1
2008 Dill DL. A retrospective on Murφ Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5000: 77-88. DOI: 10.1007/978-3-540-69850-0_5  1
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  1
2007 Ganesh V, Dill DL. A decision procedure for bit-vectors and arrays Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4590: 519-531.  1
2007 Dill DL, Knapp MA, Gage P, Talcott C, Laderoute K, Lincoln P. The pathalyzer: A tool for analysis of signal transduction pathways Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4023: 11-22.  1
2006 Abu-Haimed H, Dill DL, Berezin S. A refinement method for validity checking of quantified first-order formulas in hardware verification Proceedings of Formal Methods in Computer Aided Design, Fmcad 2006. 145-152. DOI: 10.1109/FMCAD.2006.2  1
2006 Talcott C, Dill DL. Multiple representations of biological processes Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4220: 221-245.  1
2006 Dill D. I think i voted: E-voting vs. democracy Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4144: 2.  1
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  1
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  1
2005 Sahoo D, Jain J, Iyer SK, Dill DL, Emerson EA. Multi-threaded reachability Proceedings - Design Automation Conference. 467-470.  1
2005 Sahoo D, Jain J, Iyer S, Dill D. A new reachability algorithm for symmetric multi-processor architecture Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3707: 26-38.  1
2005 Musuvathi M, Dill DL. An incremental heap canonicalization algorithm Lecture Notes in Computer Science. 3639: 28-42.  1
2004 Vora PL, Adida B, Bucholz R, Chaum D, Dill DL, Jefferson D, Jones DW, Lattin W, Rubin AD, Shamos MI, Yung M. Evaluation of voting systems Communications of the Acm. 47: 144. DOI: 10.1145/1029496.1029520  1
2004 Dill DL, Rubin AD. Guest Editors' Introduction: E-Voting Security Ieee Security and Privacy. 2: 22-23. DOI: 10.1109/MSECP.2004.1264849  1
2004 Dill DL. The battle of accountable voting systems Proceedings - 2nd Acm and Ieee International Conference On Formal Methods and Models For Co-Design, Memocode'04. 105.  1
2004 Chang J, Berezin S, Dill DL. Using interface refinement to integrate formal verification into the design cycle Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3114: 122-134.  1
2004 Sahoo D, Iyer S, Jain J, Stangier C, Narayan A, Dill DL, Allen Emerson E. A partitioning methodology for BDD-based verification Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3312: 399-413.  1
2003 Dill DL, Schneier B, Simons B. Voting and technology: Who gets to count your vote? Communications of the Acm. 46: 29-31. DOI: 10.1145/859670.859692  1
2003 Dill DL, Lincoln P. Evolution as design engineer Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2602: 202-206. DOI: 10.1007/3-540-36481-1_30  1
2003 Abu-Haimed H, Berezin S, Dill DL. Strengthening invariants by symbolic consistency testing Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2725: 407-419.  1
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.  1
2003 Berezin S, Ganesh V, Dill DL. An online proof-producing decision procedure for mixed-integer linear arithmetic Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2619: 521-536.  1
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.  1
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  1
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  1
2002 Jones RB, Skakkebæk JU, Dill DL. Formal verification of out-of-order execution with incremental flushing Formal Methods in System Design. 20: 139-158. DOI: 10.1023/A:1014118529369  1
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  1
2002 Chakraborty S, Dill DL, Yun KY. Efficient algorithms for approximate time separation of events Sadhana - Academy Proceedings in Engineering Sciences. 27: 129-162.  1
2002 Shimizu K, Dill DL. Deriving a simulation input generator and a coverage metric from a formal specification Proceedings - Design Automation Conference. 801-806.  1
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.  1
2002 Ganesh V, Berezin S, Dill DL. Deciding presburger arithmetic by model checking and comparisons with other methods Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2517: 171-186.  1
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.  1
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.  1
2002 Das S, Dill DL. Counter-example based predicate discovery in predicate abstraction Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2517: 19-32.  1
2002 Stump A, Dill DL. Faster proof checking in the edinburgh logical framework Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2392: 392-407.  1
2001 Stern U, Dill DL. Parallelizing the Murφ verifier Formal Methods in System Design. 18: 117-129. DOI: 10.1023/A:1008771324652  1
2001 Govindaraju SG, Dill DL. Approximate symbolic model checking using overlapping projections Electronic Notes in Theoretical Computer Science. 23: 25-35. DOI: 10.1016/S1571-0661(04)80666-2  1
2001 Das S, Dill DL. Successive approximation of abstract transition relations Proceedings - Symposium On Logic in Computer Science. 51-58.  1
2001 Lie D, Chou A, Engler D, Dill DL. A simple method for extracting models from protocol code Conference Proceedings - Annual International Symposium On Computer Architecture, Isca. 192-203.  1
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.  1
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.  1
2000 Park DYW, Stern U, Skakkebæk JU, Dill DL. Java model checking Proceedings Ase 2000: 15th Ieee International Conference On Automated Software Engineering. 253-256. DOI: 10.1109/ASE.2000.873671  1
2000 Dill D. Model checking Java programs Proceedings of the Acm Sigsoft 2000 International Symposium On Software Testing and Analysis. 179.  1
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.  1
2000 Wilson C, Dill DL, Bryant RE. Symbolic simulation with approximate values Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1954: 470-485.  1
2000 Shimizu K, Dill DL, Hu AJ. Monitor-based formal specification of PCI Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1954: 335-353.  1
2000 Govindaraju SG, Dill DL. Counterexample-guided choice of projections in approximate symbolic model checking Ieee/Acm International Conference On Computer-Aided Design, Digest of Technical Papers. 115-119.  1
2000 Wilson C, Dill DL. Reliable verification using symbolic simulation with scalar values Proceedings - Design Automation Conference. 124-129.  1
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  1
1999 Yun KY, Dill DL. Automatic synthesis of extended burst-mode circuits: Part II (Automatic synthesis) Ieee Transactions On Computer-Aided Design of Integrated Circuits and Systems. 18: 118-132. DOI: 10.1109/43.743715  1
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  1
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  1
1999 Ip CN, Dill DL. Verifying systems with replicated components in Murφ Formal Methods in System Design. 14: 273-310. DOI: 10.1023/A:1008723125149  1
1999 Chakraborty S, Dill DL, Yun KY. Min-max timing analysis and an application to asynchronous circuits Proceedings of the Ieee. 87: 332-346.  1
1999 Das S, Dill DL, Park S. Experience with predicate abstraction Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1633: 160-171.  1
1999 Dill DL. Alternative approaches to hardware verification Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1633: 1.  1
1999 Dill DL, Tasiran S. Embedded tutorial formal verification meets simulation Ieee/Acm International Conference On Computer-Aided Design, Digest of Technical Papers. 221.  1
1999 Govindaraju SG, Dill DL, Bergmann JP. Improved approximate reachability using auxiliary state variables Proceedings - Design Automation Conference. 312-316.  1
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  1
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  1
1998 Skakkebaek JU, Jones RB, Dill DL. Formal verification of out-of-order execution using incremental flushing Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1427: 98-109.  1
1998 Stern U, Dill DL. Using magnetic disk instead of main memory in the mur φ Verifier Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1427: 172-183.  1
1998 Park S, Dill DL. Verification of cache coherence protocols by aggregation of distributed transactions Theory of Computing Systems. 31: 355-376.  1
1998 Jones RB, Skakkebæk JU, Dill DL. Reducing manual abstraction in formal verification of out-of-order execution Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1522: 2-17.  1
1998 Su J, Dill DL, Skakkebæk JU. Formally verifying data and control with weak reachability invariants Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1522: 387-402.  1
1998 Govindaraju SG, Dill DL. Verification by approximate forward and backward reachability Ieee/Acm International Conference On Computer-Aided Design, Digest of Technical Papers. 366-370.  1
1998 Dill DL. What's between simulation and formal verification? Proceedings - Design Automation Conference. 328-329.  1
1998 Barrett CW, Dill DL, Levitt JR. Decision procedure for bit-vector arithmetic Proceedings - Design Automation Conference. 522-527.  1
Show low-probability matches.