The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Saumya K. Debray: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  96. The revenge of the overlay: automatic compaction of OS kernel code via on-demand code loading. [Citation Graph (, )][DBLP]


  97. Modelling Metamorphism by Abstract Interpretation. [Citation Graph (, )][DBLP]


  98. Automatic Static Unpacking of Malware Binaries. [Citation Graph (, )][DBLP]


  99. Static Detection of Disassembly Errors. [Citation Graph (, )][DBLP]


Search in 0.011secs, Finished in 0.017secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002