J. Mack Adams

11 papers A 5Journal 2Unranked 4

Year	Rank	Type	Title / Venue / Authors
1990	—	`conf`	A State-of-the-Art CS Undergraduate Lab. CSEE J. Mack Adams, Barry L. Kurtz
1988	A	`conf`	Using concept expansion and level integration in an introductory computer science course. SIGCSE Barry L. Kurtz, J. Mack Adams
1986	A	`conf`	Converting from Pascal to Modula-2 in the undergraduate curriculum. SIGCSE Philippe J. Gabrini, J. Mack Adams, Barry L. Kurtz
1986	—	`conf`	Publishing a computer science textbook (panel session). ACM Conference on Computer Science Sharon Cogdill, Pamela S. Kirshen, J. Mack Adams, John Beidler, Nell B. Dale, Malcolm G. Lane, Karen A. Lemone, James Quasney, Don Spencer
1982	J	`jnl`	On Proof Rules for Monitors. ACM SIGOPS Oper. Syst. Rev. J. Mack Adams, Andrew P. Black
1980	—	`conf`	Textual materials for courses in computers and society (SIGCAS). ACM Annual Conference William F. Atchison, Gerald L. Engel, Stephen Guty, J. Mack Adams, Stephen Cline
1979	—	`conf`	Assertional checking and symbolic execution: An effective combination for debugging. ACM Annual Conference J. Mack Adams, James Armstrong, Melissa Smartt
1977	J	`jnl`	A General, Verifiable Iterative Control Structure. IEEE Trans. Software Eng. J. Mack Adams
1975	A	`conf`	Teaching declarative programming. SIGCSE J. Mack Adams
1972	A	`conf`	Introductory service courses in the computer science curriculum. SIGCSE J. Mack Adams, Douglas H. Haden
1972	A	`conf`	PL/I in the computer science curriculum. SIGCSE J. Mack Adams, William H. Inmon, Jim Shirley

2025 Best paper conf

CheckMATE

Nicolò Altamura, Enrico Bragastini, Marco Campion, Mila Dalla Preda

2026 Best paper preprint

arXiv

Chang Liu, Noah Fleischmann, Nicolò Altamura, Edward Raff, James Holt, Kristopher Micinski