Saumya K. Debray Home Page Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2012
c74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gen Lu, Kevin Coogan, Saumya K. Debray: Automatic Simplification of Obfuscated JavaScript Code (Extended Abstract). ICISTM 2012: 348-359
c73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gen Lu, Saumya K. Debray: Automatic Simplification of Obfuscated JavaScript Code: A Semantics-Based Approach. SERE 2012: 31-40
2011
c72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Kevin Coogan, Gen Lu, Saumya K. Debray: Deobfuscation of virtualization-obfuscated software: a semantics-based approach. ACM Conference on Computer and Communications Security 2011: 275-284
c71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Kevin Coogan, Saumya K. Debray: Equational Reasoning on x86 Assembly Code. SCAM 2011: 75-84
2010
c70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mila Dalla Preda, Roberto Giacobazzi, Saumya K. Debray, Kevin Coogan, Gregg M. Townsend: Modelling Metamorphism by Abstract Interpretation. SAS 2010: 218-235
c69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Saumya K. Debray, Jay Patel: Reverse Engineering Self-Modifying Code: Unpacker Extraction. WCRE 2010: 131-140
2009
c68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Kevin Coogan, Saumya K. Debray, Tasneem Kaochar, Gregg M. Townsend: Automatic Static Unpacking of Malware Binaries. WCRE 2009: 167-176
c67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Nithya Krishnamoorthy, Saumya K. Debray, Keith Fligg: Static Detection of Disassembly Errors. WCRE 2009: 259-268
2008
j30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Haifeng He, John Trimble, Somu Perianayagam, Saumya K. Debray, Gregory R. Andrews: Code Compaction of an Operating System Kernel. CGO 2007: 283-298
c65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mila Dalla Preda, Mihai Christodorescu, Somesh Jha, Saumya K. Debray: A semantics-based approach to malware detection. POPL 2007: 377-388
2005
j29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Noah Snavely, Saumya K. Debray, Gregory R. Andrews: Unpredication, Unscheduling, Unspeculation: Reverse Engineering Itanium Executables. IEEE Trans. Software Eng. 31(2): 99-115 (2005)
c63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Bradley Dux, Anand Iyer, Saumya K. Debray, David Forrester, Stephen G. Kobourov: Visualizing the Behavior of Dynamically Modifiable Code. IWPC 2005: 337-340
c62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Saumya K. Debray: Code Compression. PADL 2005: 5-6
c61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sharath K. Udupa, Saumya K. Debray, Matias Madou: Deobfuscation: Reverse Engineering Obfuscated Code. WCRE 2005: 45-54
c60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
2004
c59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Saumya K. Debray: Writing efficient programs: performance issues in an undergraduate CS curriculum. SIGCSE 2004: 275-279
2003
j28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Saumya K. Debray, William S. Evans: Cold code decompression at runtime. Commun. ACM 46(8): 54-60 (2003)
j27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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)
c57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c56no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mohan Rajagopalan, Saumya K. Debray, Matti A. Hiltunen, Richard D. Schlichting: Cassyopia: Compiler Assisted System Optimization. HotOS 2003: 103-108
c55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Noah Snavely, Saumya K. Debray, Gregory R. Andrews: Unspeculation. ASE 2003: 205-214
c54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Patrick Moseley, Saumya K. Debray, Gregory R. Andrews: Checking Program Profiles. SCAM 2003: 193-202
c53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Noah Snavely, Saumya K. Debray, Gregory R. Andrews: Unscheduling, Unpredication, Unspeculation: Reverse Engineering Itanium Executables. WCRE 2003: 4-13
2002
c52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Saumya K. Debray, William S. Evans: Profile-Guided Code Compression. PLDI 2002: 95-105
c51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mohan Rajagopalan, Saumya K. Debray, Matti A. Hiltunen, Richard D. Schlichting: Profile-Directed Optimization of Event-Based Programs. PLDI 2002: 106-116
c50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Saumya K. Debray: Making compiler design relevant for students who will (most likely) never design a compiler. SIGCSE 2002: 341-345
c49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Benjamin Schwarz, Saumya K. Debray, Gregory R. Andrews: Disassembly of Executable Code Revisited. WCRE 2002: 45-54
2001
j26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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)
c48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Scott A. Watterson, Saumya K. Debray: Goal-Directed Value Profiling. CC 2001: 319-333
c47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Manel Fernández, Roger Espasa, Saumya K. Debray: Load Redundancy Elimination on Executable Code. Euro-Par 2001: 221-229
c46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Bjorn De Sutter, Bruno De Bus, Koenraad De Bosschere, Saumya K. Debray: Combining Global Code and Data Compaction. LCTES/OM 2001: 29-38
2000
j25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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)
c45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Saumya K. Debray, Timothy J. Hickey: Constraint-Based Termination Analysis for Cyclic Active Database Rules. Computational Logic 2000: 1121-1136
c44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Robert Muth, Saumya K. Debray: On the Complexity of Flow-Sensitive Dataflow Analyses. POPL 2000: 67-80
c43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Robert Muth, Scott A. Watterson, Saumya K. Debray: Code Specialization Based on Value Profiles. SAS 2000: 340-359
1999
j24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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)
c42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Saumya K. Debray, Robert Muth, Scott A. Watterson: Link-Time Improvement of Scheme Programs. CC 1999: 76-90
1998
c41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Saumya K. Debray, Robert Muth, Matthew Weippert: Alias Analysis of Executable Code. POPL 1998: 12-24
1997
j23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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)
j22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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)
c40no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Andreas Kågedal, Saumya K. Debray: A Practical Approach to Structure Reuse of Arrays in Single Assignment Languages. ICLP 1997: 18-32
c39no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Saumya K. Debray, Pedro López-García, Manuel V. Hermenegildo: Non-Failure Analysis for Logic Programs. ICLP 1997: 48-62
c38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Saumya K. Debray: Resource-Bounded Partial Evaluation. PEPM 1997: 179-192
c37no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Robert Muth, Saumya K. Debray: On the Complexity of Function Pointer May-Alias Analysis. TAPSOFT 1997: 381-392
1996
j21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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)
j20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
j19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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)
j18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Roberto Giacobazzi, Saumya K. Debray, Giorgio Levi: Generalized Semantics and Abstract Interpretation for Constraint Logic Programs. J. Log. Program. 25(3): 191-247 (1995)
j17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Saumya K. Debray: On the Complexity of Dataflow Analysis of Logic Programs. ACM Trans. Program. Lang. Syst. 17(2): 331-365 (1995)
c35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Saumya K. Debray: Abstract Interpretation and Low-Level Code Optimization. PEPM 1995: 111-121
c34no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Peter A. Bigot, Saumya K. Debray: A Simple Approach to Supporting Untagged Objects in Dynamically Typed Languages. ILPS 1995: 257-271
1994
j16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Saumya K. Debray, Raghu Ramakrishnan: Abstract Interpretation of Logic Programs using Magic Transformations. J. Log. Program. 18(2): 149-176 (1994)
j15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Maurice Bruynooghe, Saumya K. Debray, Manuel V. Hermenegildo, Michael J. Maher: Guest Editor's Introduction. J. Log. Program. 19/20: 1-3 (1994)
c33no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Peter A. Bigot, David Gudeman, Saumya K. Debray: Output Value Placement in Moded Logic Programs. ICLP 1994: 175-189
c32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c30no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Saumya K. Debray, Mudita Jain: A Simple Program Transformation for Parallelism. SLP 1994: 305-319
c29no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Saumya K. Debray, David Gudeman, Peter A. Bigot: Detection and Optimization of Suspension-free Logic Programs. SLP 1994: 487-501
1993
j14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Saumya K. Debray: QD-Janus: a Sequential Implementation of Janus in Prolog. Softw., Pract. Exper. 23(12): 1337-1360 (1993)
j13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mic Bowman, Saumya K. Debray, Larry L. Peterson: Reasoning About Naming Systems. ACM Trans. Program. Lang. Syst. 15(5): 795-825 (1993)
j12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Saumya K. Debray, Nai-Wei Lin: Cost Analysis of Logic Programs. ACM Trans. Program. Lang. Syst. 15(5): 826-875 (1993)
c28no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Roberto Giacobazzi, Giorgio Levi, Saumya K. Debray: Joining Abstract and Concrete Computations in Constraint Logic Programming. AMAST 1993: 109-126
c27no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Saumya K. Debray: Implementing Logic Programming Systems: The Quiche-Eating Approach. ICLP-Workshops on Implementation of Logic Programming Systems 1993: 65-75
c26no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c25no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Saumya K. Debray: On Copy Avoidance in Single Assignment Languages. ICLP 1993: 393-407
c24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Michael Codish, Saumya K. Debray, Roberto Giacobazzi: Compositional Analysis of Modular Logic Programs. POPL 1993: 451-464
c23no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Saumya K. Debray: Static Analysis of Logic Programs. ILPS 1993: 43-44
1992
j11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Saumya K. Debray: Efficient Dataflow Analysis of Logic Programs. J. ACM 39(4): 949-984 (1992)
j10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Saumya K. Debray: A Simple Code Improvement Scheme for Prolog. J. Log. Program. 13(1): 57-88 (1992)
j9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Saumya K. Debray: Guest Editor`s Introduction. J. Log. Program. 13(2&3): 99-101 (1992)
j8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Manuel V. Hermenegildo, Richard Warren, Saumya K. Debray: Global Flow Analysis as a Practical Compilation Tool. J. Log. Program. 13(4): 349-366 (1992)
c22no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Roberto Giacobazzi, Saumya K. Debray, Giorgio Levi: A Generalized Semantics for Constraint Logic Programs. FGCS 1992: 581-591
c21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Saumya K. Debray: On the Complexity of Dataflow Analysis of Logic Programs. ICALP 1992: 509-520
c20no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
David Gudeman, Koenraad De Bosschere, Saumya K. Debray: jc: An Efficient and Portable Sequential Implementation of Janus. JICSLP 1992: 399-413
c19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Saumya K. Debray, Sampath Kannan, Mukul Paithane: Weighted Decision Trees. JICSLP 1992: 654-668
c18no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Peter A. Bigot, Saumya K. Debray, Kim Marriott: Understanding Finiteness Analysis Using Abstract Interpretation. JICSLP 1992: 735-749
c17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Saumya K. Debray: Compiler Optimizations for Low-Level Redundancy Elimination: An Application of Meta-Level Prolog Primitives. META 1992: 120-134
1991
c16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Saumya K. Debray, Nai-Wei Lin: Automatic Complexity Analysis of Logic Programs. ICLP 1991: 599-613
1990
j7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Saumya K. Debray, David Scott Warren: Towards Banishing the Cut from Prolog. IEEE Trans. Software Eng. 16(3): 335-349 (1990)
c15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Saumya K. Debray, Nai-Wei Lin: Static Estimation of Query Sizes in Horn Programs. ICDT 1990: 514-528
c14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Saumya K. Debray, Nai-Wei Lin, Manuel V. Hermenegildo: Task Granularity Analysis in Logic Programs. PLDI 1990: 174-188
1989
j6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Saumya K. Debray: Flow Analysis of Dynamic Logic Programs. J. Log. Program. 7(2): 149-176 (1989)
j5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Saumya K. Debray: Static Inference of Modes and Data Dependencies in Logic Programs. ACM Trans. Program. Lang. Syst. 11(3): 418-450 (1989)
j4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Saumya K. Debray, David Scott Warren: Functional Computations in Logic Programs. ACM Trans. Program. Lang. Syst. 11(3): 451-481 (1989)
c13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Saumya K. Debray: A Simple Code Improvement Scheme for Prolog. ICLP 1989: 17-32
1988
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Saumya K. Debray, Prateek Mishra: Denotational and Operational Semantics for Prolog. J. Log. Program. 5(1): 81-91 (1988)
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Saumya K. Debray, David Scott Warren: Automatic Mode Inference for Logic Programs. J. Log. Program. 5(3): 207-229 (1988)
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Saumya K. Debray: Profiling Prolog Programs. Softw., Pract. Exper. 18(9): 821-839 (1988)
c12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Richard Warren, Manuel V. Hermenegildo, Saumya K. Debray: On the Practicality of Global Flow Analysis of Logic Programs. ICLP/SLP 1988: 684-699
c11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Saumya K. Debray: Static Analysis of Parallel Logic Programs. ICLP/SLP 1988: 711-732
c10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Saumya K. Debray: Unfold/Fold Transformations and Loop Optimization of Logic Programs. PLDI 1988: 297-307
c9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Saumya K. Debray: Efficient Dataflow Analysis of Logic Programs. POPL 1988: 260-273
1987
c8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Saumya K. Debray: Flow Analysis of a Simple Class of Dynamic Logic Programs. SLP 1987: 307-316
1986
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
David Scott Warren, Saumya K. Debray: Detection and Optimization of Functional Computations in Prolog. ICLP 1986: 490-504
c6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Saumya K. Debray, David Scott Warren: Automatic Mode Inference for Prolog Programs. SLP 1986: 78-88
c5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Saumya K. Debray: Register Allocation in a Prolog Machine. SLP 1986: 267-275
1985
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Saumya K. Debray: Optimizing Almost-Tail-Recursive Prolog Programs. FPCA 1985: 204-219
1984
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Scott A. Smolka, Ariel J. Frank, Saumya K. Debray: Testing Protocol Robustness the CCS Way. PSTV 1984: 93-108
c1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
[c1]
2Bertrand Anckaert
[c60]
3Gregory R. Andrews
[c66] [c65] [j29] [c55] [c54] [c53] [c49]
4Peter A. Bigot
[j24] [j23] [j21] [c34] [c33] [c29] [c18]
5Koen De Bosschere (Koenraad De Bosschere)
[c60] [j26] [c46] [c32] [c26] [c20]
6Mic Bowman
[j13]
7Maurice Bruynooghe
[j19] [j15]
8Bruno De Bus
[c46]
9Edward Carter
[c59]
10Mihai Christodorescu
[j30] [c64]
11Michael Codish
[c24]
12Christian S. Collberg
[c59]
13Kevin Coogan
[c74] [c72] [c71] [c70] [c68]
14Bradley Dux
[c63]
15Roger Espasa
[j27] [c47]
16William S. Evans
[j28] [c52] [j25]
17Manel Fernández
[j27] [c47]
18Keith Fligg
[c67]
19David Forrester
[c63]
20Ariel J. Frank
[c3] [c2]
21Roberto Giacobazzi
[c70] [j18] [c28] [c24] [c22]
22David Gudeman
[j21] [c33] [c32] [c29] [c26] [c20]
23Haifeng He
[c66] [c65]
24Manuel V. Hermenegildo
[c39] [c37] [j20] [j19] [j15] [c31] [j8] [c14] [c12]
25Timothy J. Hickey
[c45]
26Matti A. Hiltunen
[c56] [c51]
27Andrew Huntwork
[c59]
28Anand Iyer
[c63]
29Mudita Jain
[c30]
30Somesh Jha
[j30] [c64]
31Laxmikant V. Kalé
[c1]
32Sampath Kannan
[c32] [c19]
33Tasneem Kaochar
[c68]
34John D. Kececioglu
[c59]
35Stephen G. Kobourov
[c63]
36Nithya Krishnamoorthy
[c67]
37Andreas Kågedal
[c40]
38Giorgio Levi
[j18] [c28] [c22]
39Nai-Wei Lin
[c37] [c31] [j12] [c16] [c15] [c14]
40Cullen Linn
[c59] [c57]
41Gen Lu
[c74] [c73] [c72]
42Pedro López-García
[c39] [c37] [j20] [c31]
43Matias Madou
[c61] [c60]
44Michael J. Maher
[j19] [j15]
45Kim Marriott
[c18]
46Prateek Mishra
[j3]
47Patrick Moseley
[c60] [c54]
48Robert Muth
[j26] [j25] [c44] [c43] [c42] [c41] [c36]
49Mukul Paithane
[c19]
50Jay Patel
[c69]
51Somu Perianayagam
[c66]
52Larry L. Peterson
[j13]
53Mila Dalla Preda
[c70] [j30] [c64]
54Todd A. Proebsting
[j22]
55Mohan Rajagopalan
[c56] [c51]
56Raghu Ramakrishnan
[j16]
57Richard D. Schlichting
[c56] [c51]
58Benjamin Schwarz
[c49]
59Scott A. Smolka
[c3] [c2]
60Noah Snavely
[j29] [c55] [c53]
61Michael Stepp
[c59]
62Bjorn De Sutter
[c60] [c46] [j25]
63Gregg M. Townsend
[c70] [c68]
64John Trimble
[c66]
65Sharath K. Udupa
[c61]
66David Scott Warren
[j7] [j4] [j2] [c7] [c6] [c1]
67Richard Warren
[j8] [c12]
68Scott A. Watterson
[j26] [c48] [c43] [c42]
69Matthew Weippert
[c41]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Sun May 19 17:03:27 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page