2012
103Automatic Simplification of Obfuscated JavaScript Code (Extended Abstract). Gen Lu, Kevin Coogan, Saumya K. Debray. ICISTM 2012, 348-359. Web SearchBibTeXDownload
102Automatic Simplification of Obfuscated JavaScript Code: A Semantics-Based Approach. Gen Lu, Saumya K. Debray. SERE 2012, 31-40. Web SearchBibTeXDownload
2011
101Deobfuscation of virtualization-obfuscated software: a semantics-based approach. Kevin Coogan, Gen Lu, Saumya K. Debray. ACM Conference on Computer and Communications Security 2011, 275-284. Web SearchBibTeXDownload
100Equational Reasoning on x86 Assembly Code. Kevin Coogan, Saumya K. Debray. SCAM 2011, 75-84. Web SearchBibTeXDownload
2010
99Modelling Metamorphism by Abstract Interpretation. Mila Dalla Preda, Roberto Giacobazzi, Saumya K. Debray, Kevin Coogan, Gregg M. Townsend. SAS 2010, 218-235. Web SearchBibTeXDownload
98Reverse Engineering Self-Modifying Code: Unpacker Extraction. Saumya K. Debray, Jay Patel. WCRE 2010, 131-140. Web SearchBibTeXDownload
2009
97Static Detection of Disassembly Errors. Nithya Krishnamoorthy, Saumya K. Debray, Keith Fligg. WCRE 2009, 259-268. Web SearchBibTeXDownload
96Automatic Static Unpacking of Malware Binaries. Kevin Coogan, Saumya K. Debray, Tasneem Kaochar, Gregg M. Townsend. WCRE 2009, 167-176. Web SearchBibTeXDownload
2008
95A semantics-based approach to malware detection. Mila Dalla Preda, Mihai Christodorescu, Somesh Jha, Saumya K. Debray. ACM Trans. Program. Lang. Syst. (30) (2008). Web SearchBibTeXDownload
2007
94Code Compaction of an Operating System Kernel. Haifeng He, John Trimble, Somu Perianayagam, Saumya K. Debray, Gregory R. Andrews. CGO 2007, 283-298. Web SearchBibTeXDownload
93The revenge of the overlay: automatic compaction of OS kernel code via on-demand code loading. Haifeng He, Saumya K. Debray, Gregory R. Andrews. EMSOFT 2007, 75-83. Web SearchBibTeXDownload
92A semantics-based approach to malware detection. Mila Dalla Preda, Mihai Christodorescu, Somesh Jha, Saumya K. Debray. POPL 2007, 377-388. Web SearchBibTeXDownload
2005
91Unpredication, Unscheduling, Unspeculation: Reverse Engineering Itanium Executables. Noah Snavely, Saumya K. Debray, Gregory R. Andrews. IEEE Trans. Software Eng. (31): 99-115 (2005). Web SearchBibTeXDownload
90Visualizing the Behavior of Dynamically Modifiable Code. Bradley Dux, Anand Iyer, Saumya K. Debray, David Forrester, Stephen G. Kobourov. IWPC 2005, 337-340. Web SearchBibTeXDownload
89Code Compression. Jens Ernst, William S. Evans, Christopher W. Fraser, Steven Lucco, Todd A. Proebsting. PADL 2005, 5-6. Web SearchBibTeXDownload
88Deobfuscation: Reverse Engineering Obfuscated Code. Sharath K. Udupa, Saumya K. Debray, Matias Madou. WCRE 2005, 45-54. Web SearchBibTeXDownload
87Software Protection Through Dynamic Code Mutation. Matias Madou, Bertrand Anckaert, Patrick Moseley, Saumya K. Debray, Bjorn De Sutter, Koen De Bosschere. WISA 2005, 194-206. Web SearchBibTeXDownload
2004
86Dynamic path-based software watermarking. Christian S. Collberg, Edward Carter, Saumya K. Debray, Andrew Huntwork, John D. Kececioglu, Cullen Linn, Michael Stepp. PLDI 2004, 107-118. Web SearchBibTeXDownload
85Writing efficient programs: performance issues in an undergraduate CS curriculum. Saumya K. Debray. SIGCSE 2004, 275-279. Web SearchBibTeXDownload
2003
84Obfuscation of executable code to improve resistance to static disassembly. Cullen Linn, Saumya K. Debray. ACM Conference on Computer and Communications Security 2003, 290-299. Web SearchBibTeXDownload
83Cold code decompression at runtime. Saumya K. Debray, William S. Evans. Commun. ACM (46): 54-60 (2003). Web SearchBibTeXDownload
82Load redundancy elimination on executable code. Manel Fernández, Roger Espasa, Saumya K. Debray. Concurrency and Computation: Practice and Experience (15): 979-997 (2003). Web SearchBibTeXDownload
81Cassyopia: Compiler Assisted System Optimization. Mohan Rajagopalan, Saumya K. Debray, Matti A. Hiltunen, Richard D. Schlichting. HotOS 2003, 103-108. Web SearchBibTeX
80Checking Program Profiles. Patrick Moseley, Saumya K. Debray, Gregory R. Andrews. SCAM 2003, 193-202. Web SearchBibTeXDownload
79Unscheduling, Unpredication, Unspeculation: Reverse Engineering Itanium Executables. Noah Snavely, Saumya K. Debray, Gregory R. Andrews. WCRE 2003, 4-13. Web SearchBibTeXDownload
2002
78Profile-Guided Code Compression. Saumya K. Debray, William S. Evans. PLDI 2002, 95-105. Web SearchBibTeXDownload
77Profile-Directed Optimization of Event-Based Programs. Mohan Rajagopalan, Saumya K. Debray, Matti A. Hiltunen, Richard D. Schlichting. PLDI 2002, 106-116. Web SearchBibTeXDownload
76Making compiler design relevant for students who will (most likely) never design a compiler. Saumya K. Debray. SIGCSE 2002, 341-345. Web SearchBibTeXDownload
75Disassembly of Executable Code Revisited. Benjamin Schwarz, Saumya K. Debray, Gregory R. Andrews. WCRE 2002, 45-54. Web SearchBibTeXDownload
2001
74Goal-Directed Value Profiling. Scott A. Watterson, Saumya K. Debray. CC 2001, 319-333. Web SearchBibTeXDownload
73Load Redundancy Elimination on Executable Code. Manel Fernández, Roger Espasa, Saumya K. Debray. Euro-Par 2001, 221-229. Web SearchBibTeXDownload
72Combining Global Code and Data Compaction. Bjorn De Sutter, Bruno De Bus, Koenraad De Bosschere, Saumya K. Debray. LCTES/OM 2001, 29-38. Web SearchBibTeXDownload
71alto: a link-time optimizer for the Compaq Alpha. Robert Muth, Saumya K. Debray, Scott A. Watterson, Koenraad De Bosschere. Softw., Pract. Exper. (31): 67-101 (2001). Web SearchBibTeXDownload
2000
70Compiler techniques for code compaction. Saumya K. Debray, William S. Evans, Robert Muth, Bjorn De Sutter. ACM Trans. Program. Lang. Syst. (22): 378-415 (2000). Web SearchBibTeXDownload
69Constraint-Based Termination Analysis for Cyclic Active Database Rules. Saumya K. Debray, Timothy J. Hickey. Computational Logic 2000, 1121-1136. Web SearchBibTeXDownload
68On the Complexity of Flow-Sensitive Dataflow Analyses. Robert Muth, Saumya K. Debray. POPL 2000, 67-80. Web SearchBibTeXDownload
67Code Specialization Based on Value Profiles. Robert Muth, Scott A. Watterson, Saumya K. Debray. SAS 2000, 340-359. Web SearchBibTeXDownload
1999
66Link-Time Improvement of Scheme Programs. Saumya K. Debray, Robert Muth, Scott A. Watterson. CC 1999, 76-90. Web SearchBibTeXDownload
65Return Value Placement and Tail Call Optimization in High Level Languages. Peter A. Bigot, Saumya K. Debray. J. Log. Program. (38): 1-29 (1999). Web SearchBibTeXDownload
1998
64Alias Analysis of Executable Code. Saumya K. Debray, Robert Muth, Matthew Weippert. POPL 1998, 12-24. Web SearchBibTeXDownload
1997
63Interprocedural Control Flow Analysis of First-Order Programs with Tail-Call Optimization. Saumya K. Debray, Todd A. Proebsting. ACM Trans. Program. Lang. Syst. (19): 568-585 (1997). Web SearchBibTeXDownload
62A Practical Approach to Structure Reuse of Arrays in Single Assignment Languages. Andreas Kågedal, Saumya K. Debray. ICLP 1997, 18-32. Web SearchBibTeX
61Non-Failure Analysis for Logic Programs. Saumya K. Debray, Pedro López-García, Manuel V. Hermenegildo. ICLP 1997, 48-62. Web SearchBibTeX
60Lower Bound Cost Estimation for Logic Programs. Saumya K. Debray, Pedro López-García, Manuel V. Hermenegildo, Nai-Wei Lin. ILPS 1997, 291-305. Web SearchBibTeX
59A Simple Approach to Supporting Untagged Objects in Dynamically Typed Languages. Peter A. Bigot, Saumya K. Debray. J. Log. Program. (32): 25-47 (1997). Web SearchBibTeXDownload
58Resource-Bounded Partial Evaluation. Olivier Danvy, Nevin Hentze, Karoline Malmkjær. PEPM 1997, 179-192. Web SearchBibTeXDownload
57On the Complexity of Function Pointer May-Alias Analysis. Robert Muth, Saumya K. Debray. TAPSOFT 1997, 381-392. Web SearchBibTeXDownload
1996
56Detection and Optimization of Suspension-Free Logic Programs. Saumya K. Debray, David Gudeman, Peter A. Bigot. J. Log. Program. (29): 171-194 (1996). Web SearchBibTeXDownload
55A Methodology for Granularity-Based Control of Parallelism in Logic Programs. Pedro López-García, Manuel V. Hermenegildo, Saumya K. Debray. J. Symb. Comput. (21): 715-734 (1996). Web SearchBibTeXDownload
1995
54On the Complexity of Dataflow Analysis of Logic Programs. Saumya K. Debray. ACM Trans. Program. Lang. Syst. (17): 331-365 (1995). Web SearchBibTeXDownload
53A Simple Approach to Supporting Untagged Objects in Dynamically Typed Languages. Peter A. Bigot, Saumya K. Debray. ILPS 1995, 257-271. Web SearchBibTeX
52Generalized Semantics and Abstract Interpretation for Constraint Logic Programs. Roberto Giacobazzi, Saumya K. Debray, Giorgio Levi. J. Log. Program. (25): 191-247 (1995). Web SearchBibTeXDownload
51Guest Editors' Introduction: Special Section: Ten Years of Logic Programming. Maurice Bruynooghe, Saumya K. Debray, Manuel V. Hermenegildo, Michael J. Maher. J. Log. Program. (23): 87-88 (1995). Web SearchBibTeXDownload
50Abstract Interpretation and Low-Level Code Optimization. Saumya K. Debray. PEPM 1995, 111-121. Web SearchBibTeXDownload
1994
49Output Value Placement in Moded Logic Programs. Peter A. Bigot, David Gudeman, Saumya K. Debray. ICLP 1994, 175-189. Web SearchBibTeX
48Guest Editor's Introduction. Sally A. McKee, Saumya K. Debray, Manuel V. Hermenegildo, Michael J. Maher. J. Log. Program. (19/20): 1-3 (1994). Web SearchBibTeXDownload
47Abstract Interpretation of Logic Programs using Magic Transformations. Saumya K. Debray, Raghu Ramakrishnan. J. Log. Program. (18): 149-176 (1994). Cited by 30Web SearchBibTeXDownload
46Call Forwarding: A Simple Interprocedural Optimization Technique for Dynamically Typed Languages. Koenraad De Bosschere, Saumya K. Debray, David Gudeman, Sampath Kannan. POPL 1994, 409-420. Web SearchBibTeXDownload
45Estimating the Computational Cost of Logic Programs. Saumya K. Debray, Pedro López-García, Manuel V. Hermenegildo, Nai-Wei Lin. SAS 1994, 255-265. Web SearchBibTeXDownload
44Detection and Optimization of Suspension-free Logic Programs. Saumya K. Debray, David Gudeman, Peter A. Bigot. SLP 1994, 487-501. Web SearchBibTeX
43A Simple Program Transformation for Parallelism. Saumya K. Debray, Mudita Jain. SLP 1994, 305-319. Web SearchBibTeX
1993
42Cost Analysis of Logic Programs. Saumya K. Debray, Nai-Wei Lin. ACM Trans. Program. Lang. Syst. (15): 826-875 (1993). Web SearchBibTeXDownload
41Reasoning About Naming Systems. Mic Bowman, Saumya K. Debray, Larry L. Peterson. ACM Trans. Program. Lang. Syst. (15): 795-825 (1993). Web SearchBibTeXDownload
40Joining Abstract and Concrete Computations in Constraint Logic Programming. Roberto Giacobazzi, Giorgio Levi, Saumya K. Debray. AMAST 1993, 109-126. Web SearchBibTeX
39On Copy Avoidance in Single Assignment Languages. Saumya K. Debray. ICLP 1993, 393-407. Web SearchBibTeX
38Implementing Logic Programming Systems: The Quiche-Eating Approach. Saumya K. Debray. ICLP-Workshops on Implementation of Logic Programming Systems 1993, 65-75. Web SearchBibTeX
37Call Forwarding: A Simple Low-Level Code Optimization Technique. Saumya K. Debray, Koenraad De Bosschere, David Gudeman. ICLP-Workshops on Implementation of Logic Programming Systems 1993, 77-88. Web SearchBibTeX
36Static Analysis of Logic Programs. Saumya K. Debray. ILPS 1993, 43-44. Web SearchBibTeX
35Compositional Analysis of Modular Logic Programs. Michael Codish, Saumya K. Debray, Roberto Giacobazzi. POPL 1993, 451-464. Web SearchBibTeXDownload
34QD-Janus: a Sequential Implementation of Janus in Prolog. Saumya K. Debray. Softw., Pract. Exper. (23): 1337-1360 (1993). Web SearchBibTeXDownload
1992
33A Generalized Semantics for Constraint Logic Programs. Roberto Giacobazzi, Saumya K. Debray, Giorgio Levi. FGCS 1992, 581-591. Web SearchBibTeX
32On the Complexity of Dataflow Analysis of Logic Programs. Saumya K. Debray. ICALP 1992, 509-520. Web SearchBibTeXDownload
31Efficient Dataflow Analysis of Logic Programs. Saumya K. Debray. J. ACM (39): 949-984 (1992). Web SearchBibTeXDownload
30Understanding Finiteness Analysis Using Abstract Interpretation. Peter A. Bigot, Saumya K. Debray, Kim Marriott. JICSLP 1992, 735-749. Web SearchBibTeX
29Weighted Decision Trees. Saumya K. Debray, Sampath Kannan, Mukul Paithane. JICSLP 1992, 654-668. Web SearchBibTeX
28jc: An Efficient and Portable Sequential Implementation of Janus. David Gudeman, Koenraad De Bosschere, Saumya K. Debray. JICSLP 1992, 399-413. Web SearchBibTeX
27Guest Editor`s Introduction. Saumya K. Debray. J. Log. Program. (13): 99-101 (1992). Web SearchBibTeXDownload
26Global Flow Analysis as a Practical Compilation Tool. Manuel V. Hermenegildo, Richard Warren, Saumya K. Debray. J. Log. Program. (13): 349-366 (1992). Web SearchBibTeXDownload
25A Simple Code Improvement Scheme for Prolog. Saumya K. Debray. J. Log. Program. (13): 57-88 (1992). Web SearchBibTeXDownload
24Compiler Optimizations for Low-Level Redundancy Elimination: An Application of Meta-Level Prolog Primitives. Saumya K. Debray. META 1992, 120-134. Web SearchBibTeXDownload
1991
23Automatic Complexity Analysis of Logic Programs. Saumya K. Debray, Nai-Wei Lin. ICLP 1991, 599-613. Web SearchBibTeX
1990
22Static Estimation of Query Sizes in Horn Programs. Saumya K. Debray, Nai-Wei Lin. ICDT 1990, 514-528. Web SearchBibTeXDownload
21Towards Banishing the Cut from Prolog. Saumya K. Debray, David Scott Warren. IEEE Trans. Software Eng. (16): 335-349 (1990). Web SearchBibTeXDownload
20Task Granularity Analysis in Logic Programs. Saumya K. Debray, Nai-Wei Lin, Manuel V. Hermenegildo. PLDI 1990, 174-188. Web SearchBibTeXDownload
1989
19Functional Computations in Logic Programs. Saumya K. Debray, David Scott Warren. ACM Trans. Program. Lang. Syst. (11): 451-481 (1989). Web SearchBibTeXDownload
18Static Inference of Modes and Data Dependencies in Logic Programs. Saumya K. Debray. ACM Trans. Program. Lang. Syst. (11): 418-450 (1989). Web SearchBibTeXDownload
17A Simple Code Improvement Scheme for Prolog. Saumya K. Debray. ICLP 1989, 17-32. Web SearchBibTeX
16Flow Analysis of Dynamic Logic Programs. Saumya K. Debray. J. Log. Program. (7): 149-176 (1989). Web SearchBibTeXDownload
1988
15On the Practicality of Global Flow Analysis of Logic Programs. Richard Warren, Manuel V. Hermenegildo, Saumya K. Debray. ICLP/SLP 1988, 684-699. Web SearchBibTeX
14Static Analysis of Parallel Logic Programs. Saumya K. Debray. ICLP/SLP 1988, 711-732. Web SearchBibTeX
13Denotational and Operational Semantics for Prolog. Saumya K. Debray, Prateek Mishra. J. Log. Program. (5): 81-91 (1988). Web SearchBibTeXDownload
12Automatic Mode Inference for Logic Programs. Saumya K. Debray, David Scott Warren. J. Log. Program. (5): 207-229 (1988). Web SearchBibTeXDownload
11Unfold/Fold Transformations and Loop Optimization of Logic Programs. Saumya K. Debray. PLDI 1988, 297-307. Web SearchBibTeXDownload
10Efficient Dataflow Analysis of Logic Programs. Saumya K. Debray. POPL 1988, 260-273. Web SearchBibTeXDownload
9Profiling Prolog Programs. Saumya K. Debray. Softw., Pract. Exper. (18): 821-839 (1988). Web SearchBibTeXDownload
1987
8Flow Analysis of a Simple Class of Dynamic Logic Programs. Saumya K. Debray. SLP 1987, 307-316. Web SearchBibTeX
1986
7Detection and Optimization of Functional Computations in Prolog. David Scott Warren, Saumya K. Debray. ICLP 1986, 490-504. Web SearchBibTeXDownload
6Register Allocation in a Prolog Machine. Saumya K. Debray. SLP 1986, 267-275. Web SearchBibTeX
5Automatic Mode Inference for Prolog Programs. Saumya K. Debray, David Scott Warren. SLP 1986, 78-88. Web SearchBibTeX
1985
4Optimizing Almost-Tail-Recursive Prolog Programs. Saumya K. Debray. FPCA 1985, 204-219. Web SearchBibTeXDownload
1984
3On the Existence and Construction of Robust Communication Protocals for Unreliable Channels. Saumya K. Debray, Ariel J. Frank, Scott A. Smolka. FSTTCS 1984, 136-151. Web SearchBibTeXDownload
2Testing Protocol Robustness the CCS Way. Scott A. Smolka, Ariel J. Frank, Saumya K. Debray. PSTV 1984, 93-108. Web SearchBibTeX
1Executing Distributed Prolog Programs on a Broadcast Network. David Scott Warren, Mustaque Ahamad, Saumya K. Debray, Laxmikant V. Kalé. SLP 1984, 12-21. Web SearchBibTeX
from DBLP and Google Scholar
Developed by the Database Group at the University of Wisconsin and Yahoo! Research