| 2013 | DIMVA | Weaknesses in Defenses against Web-Borne Malware - (Short Paper). | Gen Lu, Saumya K. Debray |
| 2011 | CCS | Deobfuscation of virtualization-obfuscated software: a semantics-based approach. | Kevin Coogan, Gen Lu, Saumya K. Debray |
| 2011 | SCAM | Equational Reasoning on x86 Assembly Code. | Kevin Coogan, Saumya K. Debray |
| 2010 | SAS | Modelling Metamorphism by Abstract Interpretation. | Mila Dalla Preda, Roberto Giacobazzi, Saumya K. Debray, Kevin Coogan, Gregg M. Townsend |
| 2007 | CGO | Code Compaction of an Operating System Kernel. | Haifeng He, John Trimble, Somu Perianayagam, Saumya K. Debray, Gregory R. Andrews |
| 2007 | EMSOFT | The revenge of the overlay: automatic compaction of OS kernel code via on-demand code loading. | Haifeng He, Saumya K. Debray, Gregory R. Andrews |
| 2007 | POPL | A semantics-based approach to malware detection. | Mila Dalla Preda, Mihai Christodorescu, Somesh Jha, Saumya K. Debray |
| 2005 | PADL | Code Compression. | Saumya K. Debray |
| 2005 | WISA | Software Protection Through Dynamic Code Mutation. | Matias Madou, Bertrand Anckaert, Patrick Moseley, Saumya K. Debray, Bjorn De Sutter, Koen De Bosschere |
| 2004 | PLDI | Dynamic path-based software watermarking. | Christian S. Collberg, Edward Carter, Saumya K. Debray, Andrew Huntwork, John D. Kececioglu, Cullen Linn, Michael Stepp |
| 2004 | SIGCSE | Writing efficient programs: performance issues in an undergraduate CS curriculum. | Saumya K. Debray |
| 2003 | CCS | Obfuscation of executable code to improve resistance to static disassembly. | Cullen Linn, Saumya K. Debray |
| 2003 | HotOS | Cassyopia: Compiler Assisted System Optimization. | Mohan Rajagopalan, Saumya K. Debray, Matti A. Hiltunen, Richard D. Schlichting |
| 2003 | SCAM | Checking Program Profiles. | Patrick Moseley, Saumya K. Debray, Gregory R. Andrews |
| 2002 | PLDI | Profile-Guided Code Compression. | Saumya K. Debray, William S. Evans |
| 2002 | PLDI | Profile-Directed Optimization of Event-Based Programs. | Mohan Rajagopalan, Saumya K. Debray, Matti A. Hiltunen, Richard D. Schlichting |
| 2002 | SIGCSE | Making compiler design relevant for students who will (most likely) never design a compiler. | Saumya K. Debray |
| 2001 | CC | Goal-Directed Value Profiling. | Scott A. Watterson, Saumya K. Debray |
| 2001 | EuroPar | Load Redundancy Elimination on Executable Code. | Manel Fernndez, Roger Espasa, Saumya K. Debray |
| 2000 | POPL | On the Complexity of Flow-Sensitive Dataflow Analyses. | Robert Muth, Saumya K. Debray |
| 2000 | SAS | Code Specialization Based on Value Profiles. | Robert Muth, Scott A. Watterson, Saumya K. Debray |
| 1999 | CC | Link-Time Improvement of Scheme Programs. | Saumya K. Debray, Robert Muth, Scott A. Watterson |
| 1998 | POPL | Alias Analysis of Executable Code. | Saumya K. Debray, Robert Muth, Matthew Weippert |
| 1997 | ICLP | Non-Failure Analysis for Logic Programs. | Saumya K. Debray, Pedro Lpez-Garca, Manuel V. Hermenegildo |
| 1997 | ICLP | A Practical Approach to Structure Reuse of Arrays in Single Assignment Languages. | Andreas Kgedal, Saumya K. Debray |
| 1997 | PEPM | Resource-Bounded Partial Evaluation. | Saumya K. Debray |
| 1995 | PEPM | Abstract Interpretation and Low-Level Code Optimization. | Saumya K. Debray |
| 1994 | ICLP | Output Value Placement in Moded Logic Programs. | Peter A. Bigot, David Gudeman, Saumya K. Debray |
| 1994 | POPL | Call Forwarding: A Simple Interprocedural Optimization Technique for Dynamically Typed Languages. | Koenraad De Bosschere, Saumya K. Debray, David Gudeman, Sampath Kannan |
| 1994 | SAS | Estimating the Computational Cost of Logic Programs. | Saumya K. Debray, Pedro Lpez-Garca, Manuel V. Hermenegildo, Nai-Wei Lin |
| 1993 | ICLP | On Copy Avoidance in Single Assignment Languages. | Saumya K. Debray |
| 1993 | ICLP | Implementing Logic Programming Systems: The Quiche-Eating Approach. | Saumya K. Debray |
| 1993 | ICLP | Call Forwarding: A Simple Low-Level Code Optimization Technique. | Saumya K. Debray, Koenraad De Bosschere, David Gudeman |
| 1993 | POPL | Compositional Analysis of Modular Logic Programs. | Michael Codish, Saumya K. Debray, Roberto Giacobazzi |
| 1992 | ICALP | On the Complexity of Dataflow Analysis of Logic Programs. | Saumya K. Debray |
| 1992 | ICLP | Understanding Finiteness Analysis Using Abstract Interpretation. | Peter A. Bigot, Saumya K. Debray, Kim Marriott |
| 1992 | ICLP | Weighted Decision Trees. | Saumya K. Debray, Sampath Kannan, Mukul Paithane |
| 1992 | ICLP | jc: An Efficient and Portable Sequential Implementation of Janus. | David Gudeman, Koenraad De Bosschere, Saumya K. Debray |
| 1991 | ICLP | Automatic Complexity Analysis of Logic Programs. | Saumya K. Debray, Nai-Wei Lin |
| 1990 | ICDT | Static Estimation of Query Sizes in Horn Programs. | Saumya K. Debray, Nai-Wei Lin |
| 1990 | PLDI | Task Granularity Analysis in Logic Programs. | Saumya K. Debray, Nai-Wei Lin, Manuel V. Hermenegildo |
| 1989 | ICLP | A Simple Code Improvement Scheme for Prolog. | Saumya K. Debray |
| 1988 | ICLP | Static Analysis of Parallel Logic Programs. | Saumya K. Debray |
| 1988 | ICLP | On the Practicality of Global Flow Analysis of Logic Programs. | Richard A. Warren, Manuel V. Hermenegildo, Saumya K. Debray |
| 1988 | PLDI | Unfold/Fold Transformations and Loop Optimization of Logic Programs. | Saumya K. Debray |
| 1988 | POPL | Efficient Dataflow Analysis of Logic Programs. | Saumya K. Debray |
| 1986 | ICLP | Detection and Optimization of Functional Computations in Prolog. | David Scott Warren, Saumya K. Debray |