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