David Gries
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
18
Venues
9
Active years
1971–2008
Best venue rank
A*
Where they publish
Papers
18 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2008 | SIGCSE | A principled approach to teaching OO first. | David Gries |
| 2006 | SEW | What Have We Not Learned about Teaching Programming? | David Gries |
| 2005 | SIGCSE | Supporting workflow in a course management system. | Chavdar Botev, Hubert Chao, Theodore Chao, Yim Cheng, Raymond Doyle, Sergey Grankin, Jon Guarino, Saikat Guha, Pei-Chen Lee, Dan Perry, Christopher R, Ilya Rifkin, Tingyan Yuan, Dora Abdullah, Kathy Carpenter, David Gries, Dexter Kozen, Andrew C. Myers, David I. Schwartz, Jayavel Shanmugasundaram |
| 2002 | ITiCSE | Problems with CS education. | David Gries |
| 2001 | SIGCSE | AP CS goes OO. | David Gries, Kathleen Larson, Susan H. Rodger, Mark Allen Weiss, Ursula Wolz |
| 2001 | SIGCSE | How mathematical thinking enchances computer science problem solving. | David Gries, Bill Marion, Peter B. Henderson, Diane Schwartz |
| 2000 | SIGCSE | Recommendations for changes in advanced placement computer science (panel session). | Owen L. Astrachan, Robert Cartwight, Richard Kick, Cay S. Horstmann, Fran Trees, Gail Chapman, David Gries, Henry MacKay Walker, Ursula Wolz |
| 1995 | SIGCSE | Teaching as a logic tool (abstract). | David Gries, Fred B. Schneider, Joan Krone, J. Stanley Warford, J. Peter Weston |
| 1994 | ASSETS | Interactive audio documents. | T. V. Raman, David Gries |
| 1992 | COMPSAC | Are formal methods useful for software development? | Horst F. Wedde, Betty H. C. Cheng, David Gries, N. Shankar, Kwei-Jay Lin, Mark A. Ardis |
| 1989 | ICSE | My Thoughts on Software Engineering in the Late 1960s. | David Gries |
| 1988 | SIGCSE | Computing as a discipline: preliminary report of the ACM task force on the core of computer science. | Peter J. Denning, Douglas Comer, David Gries, Michael C. Mulder, Allen B. Tucker, A. Joe Turner, Paul R. Young |
| 1987 | POPL | Completeness and Incompleteness of Trace-Based Network Proof Systems. | Jennifer Widom, David Gries, Fred B. Schneider |
| 1985 | POPL | A Model and Temporal Proof System for Networks of Processes. | Van Nguyen, David Gries, Susan S. Owicki |
| 1978 | GI | Parallel Programming. | David Gries |
| 1976 | ICSE | An Illustration of Current Ideas on the Derivation of Correctness Proofs and Correct Programs (Abstract). | David Gries |
| 1974 | SIGCSE | What should we teach in an introductory programming course? | David Gries |
| 1971 | FOCS | On Classes of Program Schemata | Robert L. Constable, David Gries |