| 2018 | COMPSAC | Property-Based Testing of Browser Rendering Engines with a Consensus Oracle. | Joel Martin, David Levine |
| 2015 | BSN | A real-time, mobile timed up and go system. | Brian Williams, Brandon Allen, Hanna True, Nancy Fell, David Levine, Mina Sartipi |
| 2014 | ISCC | Online stream processing of machine-to-machine communications traffic: A platform comparison. | Roberto Coluccio, Giacomo Ghidini, Andrea Reale, David Levine, Paolo Bellavista, Stephen P. Emmons, Jeffrey O. Smith |
| 2014 | SmartComp | Soft real-time GPRS traffic analytics for commercial M2M communications using spark. | Gianluca Privitera, Giacomo Ghidini, Stephen P. Emmons, David Levine, Paolo Bellavista, Jeffrey O. Smith |
| 2010 | DEXA | A Scalable and Self-adapting Notification Framework. | Anthony Okorodudu, Leonidas Fegaras, David Levine |
| 2008 | SC | ViGs: A grid simulation and monitoring tool for ATLAS workflows. | Aaron T. Thor, Gergely V. Zruba, David Levine, Kaushik De, Torre J. Wenaus |
| 2007 | DEXA | Locating and Ranking XML Documents Based on Content and Structure Synopses. | Weimin He, Leonidas Fegaras, David Levine |
| 2007 | ISCAS | Iterative Joint Source-Channel Decoding of H.264 Compressed Video. | David Levine, William E. Lynch, Tho Le-Ngoc |
| 2006 | CCGRID | Cluster and Grid Based Classification of Transposable Elements in Eukaryotic Genomes. | Nirmal Ranganathan, Cdric Feschotte, David Levine |
| 2004 | PDPTA | On the Reliability and Additional Overhead of Reliable On-Demand Multicast Routing Protocol for Mobile Ad Hoc Networks. | Kumaran Sambandan, Gergely V. Zruba, David Levine |
| 2003 | PDPTA | Distributed Network Monitoring Using Mobile Agents Paradigm. | Farhad Kamangar, David Levine, Gergely V. Zruba, Navakiran Chitturi |
| 2003 | PDPTA | Interoperability Issues for a Secure Mobile Agent Platform. | David Levine, Farhad Kamangar, Vamsi Putrevu |
| 2003 | PDPTA | Mobile Agents for Pervasive Computing Using a Novel Method of Message Passing. | David Levine, Renjith Thomas, Farhad Kamangar, Gergely V. Zruba |
| 2002 | CIKM | Query processing of streamed XML data. | Leonidas Fegaras, David Levine, Sujoe Bose, Vamsi Chaluvadi |
| 2002 | MASCOTS | A Tool Based Methodology for Development of Automatically Scalable and Reusable Parallel Code. | Vijay Murthi, David Levine, Behrooz A. Shirazi, Jeff Marquis |
| 2002 | PDPTA | Quality of Service Primitives for Operating System Support of Multimedia Applications. | David Levine, Farhad Kamangar, Shashi Kanth Lakshmikantha |
| 2002 | PDPTA | Performance Analysis and Scalability of the Threadman | Vijay Murthi, Farhad Kamangar, David Levine, Jeff Marquis |
| 2002 | PDPTA | Accelerated Neighbor Discovery in Bluetooth Based Personal Area Networks. | Gergely V. Zruba, David Levine |
| 2001 | IJCAI | CABOB: A Fast Optimal Algorithm for Combinatorial Auctions. | Tuomas Sandholm, Subhash Suri, Andrew Gilpin, David Levine |
| 1994 | SIGCSE | Object-oriented programming (abstract): how to "scale up" CS 1. | Stuart Hirshfield, Owen L. Astrachan, John Barr, Karen Donnelly, David Levine, Mark McGinn |
| 1994 | SIGCSE | The art and science of computer graphics: a very depth-first approach to the non-majors course. | Donald H. House, David Levine |
| 1993 | Networking | Computer-Mediated Communication as Employee Voice: The Profit Sharing Plan. | Libby Bishop, David Levine |
| 1993 | SC | Applications-driven parallel I/O. | N. Galbreath, William Gropp, David Levine |
| 1988 | SC | Vectorizing compilers: a test suite and results. | David Callahan, Jack J. Dongarra, David Levine |