Author: David L. Dill

Publications

Co-authors

Michael I. Shamos

1

Moti Yung

1

Daniel Castro

1

Productive Colleagues

David Lorge Parnas

29

David Gries

31

Robert L. Glass

48

Publications

Dill, David L., Castro, Daniel (2008): Point/counterpoint: The U.S. should ban paperless electronic voting machines. In Communications of the ACM, 51 (10) pp. 29-33. https://dl.acm.org/doi/10.1145/1400181.1400192

Vora, Poorvi L., Adida, Ben, Bucholz, Ren, Chaum, David, Dill, David L., Jefferson, David, Jones, Douglas W., Lattin, William, Rubin, Aviel D., Shamos, Michael I., Yung, Moti (2004): Evaluation of voting systems. In Communications of the ACM, 47 (11) pp. 144. https://dl.acm.org/doi/10.1145/1029496.1029520

Dill, David L., Schneier, Bruce, Simons, Barbara (2003): Voting and technology: who gets to count your vote?. In Communications of the ACM, 46 (8) pp. 29-31. https://dl.acm.org/doi/10.1145/859670.859692

Bowen, Jonathan P., Butler, Ricky W., Dill, David L., Glass, Robert L., Gries, David, Hall, Anthony, Hinchey, Michael G., Holloway, C. Michael, Jackson, Daniel, Jones, Cliff B., Lutz, Michael J., Parnas, David Lorge, Rushby, John M., Wing, Jeannette M., Zave, Pamela (1996): An Invitation to Formal Methods. In IEEE Computer, 29 (4) pp. 16-30.