dblp.uni-trier.dewww.uni-trier.de

Saumya K. Debray Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2008
97EEMila 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
96EEHaifeng He, John Trimble, Somu Perianayagam, Saumya K. Debray, Gregory R. Andrews: Code Compaction of an Operating System Kernel. CGO 2007: 283-298
95EEHaifeng 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
94EEMila Dalla Preda, Mihai Christodorescu, Somesh Jha, Saumya K. Debray: A semantics-based approach to malware detection. POPL 2007: 377-388
2005
93EEBradley Dux, Anand Iyer, Saumya K. Debray, David Forrester, Stephen G. Kobourov: Visualizing the Behavior of Dynamically Modifiable Code. IWPC 2005: 337-340
92EEBradley Dux, Anand Iyer, Saumya K. Debray, David Forrester, Stephen G. Kobourov: Visualizing the Behavior of Dynamically Modifiable Code. IWPC 2005: 337-340
91EESaumya K. Debray: Code Compression. PADL 2005: 5-6
90EESharath K. Udupa, Saumya K. Debray, Matias Madou: Deobfuscation: Reverse Engineering Obfuscated Code. WCRE 2005: 45-54
89EEMatias Madou, Bertrand Anckaert, Patrick Moseley, Saumya K. Debray, Bjorn De Sutter, Koen De Bosschere: Software Protection Through Dynamic Code Mutation. WISA 2005: 194-206
88EENoah Snavely, Saumya K. Debray, Gregory R. Andrews: Unpredication, Unscheduling, Unspeculation: Reverse Engineering Itanium Executables. IEEE Trans. Software Eng. 31(2): 99-115 (2005)
2004
87EEChristian 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
86EESaumya K. Debray: Writing efficient programs: performance issues in an undergraduate CS curriculum. SIGCSE 2004: 275-279
2003
85EECullen Linn, Saumya K. Debray: Obfuscation of executable code to improve resistance to static disassembly. ACM Conference on Computer and Communications Security 2003: 290-299
84EENoah 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
82EEPatrick Moseley, Saumya K. Debray, Gregory R. Andrews: Checking Program Profiles. SCAM 2003: 193-202
81EENoah Snavely, Saumya K. Debray, Gregory R. Andrews: Unscheduling, Unpredication, Unspeculation: Reverse Engineering Itanium Executables. WCRE 2003: 4-13
80EESaumya K. Debray, William S. Evans: Cold code decompression at runtime. Commun. ACM 46(8): 54-60 (2003)
79EEManel 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
78EEMohan Rajagopalan, Saumya K. Debray, Matti A. Hiltunen, Richard D. Schlichting: Profile-Directed Optimization of Event-Based Programs. PLDI 2002: 106-116
77EESaumya K. Debray, William S. Evans: Profile-Guided Code Compression. PLDI 2002: 95-105
76EESaumya K. Debray: Making compiler design relevant for students who will (most likely) never design a compiler. SIGCSE 2002: 341-345
75EEBenjamin Schwarz, Saumya K. Debray, Gregory R. Andrews: Disassembly of Executable Code Revisited. WCRE 2002: 45-54
2001
74EEScott A. Watterson, Saumya K. Debray: Goal-Directed Value Profiling. CC 2001: 319-333
73EEManel 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
70EESaumya K. Debray, Timothy J. Hickey: Constraint-Based Termination Analysis for Cyclic Active Database Rules. Computational Logic 2000: 1121-1136
69EERobert 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
67EESaumya 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
66EESaumya 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
64EESaumya 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
60EESaumya K. Debray: Resource-Bounded Partial Evaluation. PEPM 1997: 179-192
59EERobert Muth, Saumya K. Debray: On the Complexity of Function Pointer May-Alias Analysis. TAPSOFT 1997: 381-392
58EESaumya 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
52EESaumya 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
36EEMic Bowman, Saumya K. Debray, Larry L. Peterson: Reasoning About Naming Systems. ACM Trans. Program. Lang. Syst. 15(5): 795-825 (1993)
35EESaumya 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
32EESaumya 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
27EESaumya 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
22EESaumya 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
20EESaumya 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
18EESaumya K. Debray: Static Inference of Modes and Data Dependencies in Logic Programs. ACM Trans. Program. Lang. Syst. 11(3): 418-450 (1989)
17EESaumya 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
3EESaumya 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

Coauthor Index

1Mustaque Ahamad [1]
2Bertrand Anckaert [89]
3Gregory R. Andrews [75] [81] [82] [84] [88] [95] [96]
4Peter A. Bigot [29] [45] [49] [54] [56] [57] [65]
5Koen De Bosschere (Koenraad De Bosschere) [31] [39] [48] [71] [72] [89]
6Mic Bowman [36]
7Maurice Bruynooghe [43] [51]
8Bruno De Bus [72]
9Edward Carter [87]
10Mihai Christodorescu [94] [97]
11Michael Codish [37]
12Christian S. Collberg [87]
13Bradley Dux [92] [93]
14Roger Espasa [73] [79]
15William S. Evans [67] [77] [80]
16Manel Fernández [73] [79]
17David Forrester [92] [93]
18Ariel J. Frank [2] [3]
19Roberto Giacobazzi [33] [37] [42] [50]
20David Gudeman [31] [39] [45] [48] [49] [56]
21Haifeng He [95] [96]
22Manuel V. Hermenegildo [15] [21] [24] [43] [47] [51] [55] [61] [62]
23Timothy J. Hickey [70]
24Matti A. Hiltunen [78] [83]
25Andrew Huntwork [87]
26Anand Iyer [92] [93]
27Mudita Jain [46]
28Somesh Jha [94] [97]
29Andreas Kågedal [63]
30Laxmikant V. Kalé [1]
31Sampath Kannan [30] [48]
32John D. Kececioglu [87]
33Stephen G. Kobourov [92] [93]
34Giorgio Levi [33] [42] [50]
35Nai-Wei Lin [21] [22] [23] [35] [47] [61]
36Cullen Linn [85] [87]
37Pedro López-García [47] [55] [61] [62]
38Matias Madou [89] [90]
39Michael J. Maher [43] [51]
40Kim Marriott [29]
41Prateek Mishra [11]
42Patrick Moseley [82] [89]
43Robert Muth [59] [64] [66] [67] [68] [69] [71]
44Mukul Paithane [30]
45Somu Perianayagam [96]
46Larry L. Peterson [36]
47Mila Dalla Preda [94] [97]
48Todd A. Proebsting [58]
49Mohan Rajagopalan [78] [83]
50Raghu Ramakrishnan [44]
51Richard D. Schlichting [78] [83]
52Benjamin Schwarz [75]
53Scott A. Smolka [2] [3]
54Noah Snavely [81] [84] [88]
55Michael Stepp [87]
56Bjorn De Sutter [67] [72] [89]
57John Trimble [96]
58Sharath K. Udupa [90]
59David Scott Warren [1] [5] [7] [10] [17] [20]
60Richard Warren [15] [24]
61Scott A. Watterson [66] [68] [71] [74]
62Matthew Weippert [64]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)