Saumya K. Debray

Publication Activity (10 Years)

Years Active: 1984-2017
Publications (10 Years): 1

Top Venues

DIMVA

MALWARE

Dagstuhl Reports

Theor. Comput. Sci.

Publications

Sarah Zennou, Saumya K. Debray, Thomas Dullien, Arun Lakhotia
Malware Analysis: From Large-Scale Data Triage to Targeted Attack Recognition (Dagstuhl Seminar 17281). Dagstuhl Reports 7 (7) (2017)
Mila Dalla Preda, Roberto Giacobazzi, Saumya K. Debray
Unveiling metamorphism by abstract interpretation of code properties. Theor. Comput. Sci. 577 (2015)
Gen Lu, Karan Chadha, Saumya K. Debray
A simple client-side defense against environment-dependent web-based malware. MALWARE (2013)
Gen Lu, Saumya K. Debray
Weaknesses in Defenses against Web-Borne Malware - (Short Paper). DIMVA (2013)
Gen Lu, Saumya K. Debray
Automatic Simplification of Obfuscated JavaScript Code: A Semantics-Based Approach. SERE (2012)
Gen Lu, Kevin Coogan, Saumya K. Debray
Automatic Simplification of Obfuscated JavaScript Code (Extended Abstract). ICISTM (2012)
Kevin Coogan, Saumya K. Debray
Equational Reasoning on x86 Assembly Code. SCAM (2011)
Kevin Coogan, Gen Lu, Saumya K. Debray
Deobfuscation of virtualization-obfuscated software: a semantics-based approach. CCS (2011)
Mila Dalla Preda, Roberto Giacobazzi, Saumya K. Debray, Kevin Coogan, Gregg M. Townsend
Modelling Metamorphism by Abstract Interpretation. SAS (2010)
Saumya K. Debray, Jay Patel
Reverse Engineering Self-Modifying Code: Unpacker Extraction. WCRE (2010)
Kevin Coogan, Saumya K. Debray, Tasneem Kaochar, Gregg M. Townsend
Automatic Static Unpacking of Malware Binaries. WCRE (2009)
Nithya Krishnamoorthy, Saumya K. Debray, Keith Fligg
Static Detection of Disassembly Errors. WCRE (2009)
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)
Mila Dalla Preda, Mihai Christodorescu, Somesh Jha, Saumya K. Debray
A semantics-based approach to malware detection. POPL (2007)
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)
Haifeng He, John Trimble, Somu Perianayagam, Saumya K. Debray, Gregory R. Andrews
Code Compaction of an Operating System Kernel. CGO (2007)
Igor V. Popov, Saumya K. Debray, Gregory R. Andrews
Binary Obfuscation Using Signals. USENIX Security Symposium (2007)
Saumya K. Debray
Code Compression. PADL (2005)
Matias Madou, Bertrand Anckaert, Patrick Moseley, Saumya K. Debray, Bjorn De Sutter, Koen De Bosschere
Software Protection Through Dynamic Code Mutation. WISA (2005)
Noah Snavely, Saumya K. Debray, Gregory R. Andrews
Unpredication, Unscheduling, Unspeculation: Reverse Engineering Itanium Executables. IEEE Trans. Software Eng. 31 (2) (2005)
Bradley Dux, Anand Iyer, Saumya K. Debray, David Forrester, Stephen G. Kobourov
Visualizing the Behavior of Dynamically Modifiable Code. IWPC (2005)
Sharath K. Udupa, Saumya K. Debray, Matias Madou
Deobfuscation: Reverse Engineering Obfuscated Code. WCRE (2005)
Cullen Linn, Mohan Rajagopalan, Scott Baker, Christian S. Collberg, Saumya K. Debray, John H. Hartman
Protecting Against Unexpected System Calls. USENIX Security Symposium (2005)
Saumya K. Debray
Writing efficient programs: performance issues in an undergraduate CS curriculum. SIGCSE (2004)
Christian S. Collberg, Edward Carter, Saumya K. Debray, Andrew Huntwork, John D. Kececioglu, Cullen Linn, Michael Stepp
Dynamic path-based software watermarking. PLDI (2004)
Patrick Moseley, Saumya K. Debray, Gregory R. Andrews
Checking Program Profiles. SCAM (2003)
Manel Fernández, Roger Espasa, Saumya K. Debray
Load redundancy elimination on executable code. Concurr. Comput. Pract. Exp. 15 (10) (2003)
Saumya K. Debray, William S. Evans
Cold code decompression at runtime. Commun. ACM 46 (8) (2003)
Noah Snavely, Saumya K. Debray, Gregory R. Andrews
Unscheduling, Unpredication, Unspeculation: Reverse Engineering Itanium Executables. WCRE (2003)
Mohan Rajagopalan, Saumya K. Debray, Matti A. Hiltunen, Richard D. Schlichting
Cassyopia: Compiler Assisted System Optimization. HotOS (2003)
Cullen Linn, Saumya K. Debray
Obfuscation of executable code to improve resistance to static disassembly. CCS (2003)
Noah Snavely, Saumya K. Debray, Gregory R. Andrews
Unspeculation. ASE (2003)
Saumya K. Debray
Making compiler design relevant for students who will (most likely) never design a compiler. SIGCSE (2002)
Mohan Rajagopalan, Saumya K. Debray, Matti A. Hiltunen, Richard D. Schlichting
Profile-Directed Optimization of Event-Based Programs. PLDI (2002)
Saumya K. Debray, William S. Evans
Profile-Guided Code Compression. PLDI (2002)
Benjamin Schwarz, Saumya K. Debray, Gregory R. Andrews
Disassembly of Executable Code Revisited. WCRE (2002)
Manel Fernández, Roger Espasa, Saumya K. Debray
Load Redundancy Elimination on Executable Code. Euro-Par (2001)
Bjorn De Sutter, Bruno De Bus, Koenraad De Bosschere, Saumya K. Debray
Combining Global Code and Data Compaction. LCTES/OM (2001)
Scott A. Watterson, Saumya K. Debray
Goal-Directed Value Profiling. CC (2001)
Robert Muth, Saumya K. Debray, Scott A. Watterson, Koenraad De Bosschere
alto: a link-time optimizer for the Compaq Alpha. Softw. Pract. Exp. 31 (1) (2001)
Robert Muth, Scott A. Watterson, Saumya K. Debray
Code Specialization Based on Value Profiles. SAS (2000)
Saumya K. Debray, William S. Evans, Robert Muth, Bjorn De Sutter
Compiler techniques for code compaction. ACM Trans. Program. Lang. Syst. 22 (2) (2000)
Robert Muth, Saumya K. Debray
On the Complexity of Flow-Sensitive Dataflow Analyses. POPL (2000)
Saumya K. Debray, Timothy J. Hickey
Constraint-Based Termination Analysis for Cyclic Active Database Rules. Computational Logic (2000)
Peter A. Bigot, Saumya K. Debray
Return Value Placement and Tail Call Optimization in High Level Languages. J. Log. Program. 38 (1) (1999)
Saumya K. Debray, Robert Muth, Scott A. Watterson
Link-Time Improvement of Scheme Programs. CC (1999)
Saumya K. Debray, Robert Muth, Matthew Weippert
Alias Analysis of Executable Code. POPL (1998)
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) (1997)
Saumya K. Debray
Resource-Bounded Partial Evaluation. PEPM (1997)
Saumya K. Debray, Pedro López-García, Manuel V. Hermenegildo, Nai-Wei Lin
Lower Bound Cost Estimation for Logic Programs. ILPS (1997)
Andreas Kågedal, Saumya K. Debray
A Practical Approach to Structure Reuse of Arrays in Single Assignment Languages. ICLP (1997)
Robert Muth, Saumya K. Debray
On the Complexity of Function Pointer May-Alias Analysis. TAPSOFT (1997)
Peter A. Bigot, Saumya K. Debray
A Simple Approach to Supporting Untagged Objects in Dynamically Typed Languages. J. Log. Program. 32 (1) (1997)
Saumya K. Debray, Pedro López-García, Manuel V. Hermenegildo
Non-Failure Analysis for Logic Programs. ICLP (1997)
Saumya K. Debray, David Gudeman, Peter A. Bigot
Detection and Optimization of Suspension-Free Logic Programs. J. Log. Program. 29 (1-3) (1996)
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) (1996)
Saumya K. Debray
Abstract Interpretation and Low-Level Code Optimization. PEPM (1995)
Peter A. Bigot, Saumya K. Debray
A Simple Approach to Supporting Untagged Objects in Dynamically Typed Languages. ILPS (1995)
Roberto Giacobazzi, Saumya K. Debray, Giorgio Levi
Generalized Semantics and Abstract Interpretation for Constraint Logic Programs. J. Log. Program. 25 (3) (1995)
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) (1995)
Saumya K. Debray
On the Complexity of Dataflow Analysis of Logic Programs. ACM Trans. Program. Lang. Syst. 17 (2) (1995)
Saumya K. Debray, Mudita Jain
A Simple Program Transformation for Parallelism. ILPS (1994)
Saumya K. Debray, Raghu Ramakrishnan
Abstract Interpretation of Logic Programs using Magic Transformations. J. Log. Program. 18 (2) (1994)
P. Lopez Garcia, Manuel V. Hermenegildo, Saumya K. Debray
Towards Granularity Based Control of Parallelism in Logic Programs. PASCO (1994)
Saumya K. Debray, Pedro López-García, Manuel V. Hermenegildo, Nai-Wei Lin
Estimating the Computational Cost of Logic Programs. SAS (1994)
Saumya K. Debray, David Gudeman, Peter A. Bigot
Detection and Optimization of Suspension-free Logic Programs. ILPS (1994)
Koenraad De Bosschere, Saumya K. Debray, David Gudeman, Sampath Kannan
Call Forwarding: A Simple Interprocedural Optimization Technique for Dynamically Typed Languages. POPL (1994)
Maurice Bruynooghe, Saumya K. Debray, Manuel V. Hermenegildo, Michael J. Maher
Guest Editor's Introduction. J. Log. Program. (1994)
Peter A. Bigot, David Gudeman, Saumya K. Debray
Output Value Placement in Moded Logic Programs. ICLP (1994)
Michael Codish, Saumya K. Debray, Roberto Giacobazzi
Compositional Analysis of Modular Logic Programs. POPL (1993)
Saumya K. Debray
On Copy Avoidance in Single Assignment Languages. ICLP (1993)
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)
Saumya K. Debray, Nai-Wei Lin
Cost Analysis of Logic Programs. ACM Trans. Program. Lang. Syst. 15 (5) (1993)
Saumya K. Debray
QD-Janus: a Sequential Implementation of Janus in Prolog. Softw. Pract. Exp. 23 (12) (1993)
Roberto Giacobazzi, Giorgio Levi, Saumya K. Debray
Joining Abstract and Concrete Computations in Constraint Logic Programming. AMAST (1993)
Saumya K. Debray
Static Analysis of Logic Programs. ILPS (1993)
Mic Bowman, Saumya K. Debray, Larry L. Peterson
Reasoning About Naming Systems. ACM Trans. Program. Lang. Syst. 15 (5) (1993)
Saumya K. Debray
Implementing Logic Programming Systems: The Quiche-Eating Approach. ICLP-Workshops on Implementation of Logic Programming Systems (1993)
Saumya K. Debray
Efficient Dataflow Analysis of Logic Programs. J. ACM 39 (4) (1992)
Manuel V. Hermenegildo, Richard A. Warren, Saumya K. Debray
Global Flow Analysis as a Practical Compilation Tool. J. Log. Program. 13 (4) (1992)
Saumya K. Debray
A Simple Code Improvement Scheme for Prolog. J. Log. Program. 13 (1) (1992)
Saumya K. Debray, Sampath Kannan, Mukul Paithane
Weighted Decision Trees. JICSLP (1992)
Saumya K. Debray
On the Complexity of Dataflow Analysis of Logic Programs. ICALP (1992)
David Gudeman, Koenraad De Bosschere, Saumya K. Debray
jc: An Efficient and Portable Sequential Implementation of Janus. JICSLP (1992)
Roberto Giacobazzi, Saumya K. Debray, Giorgio Levi
A Generalized Semantics for Constraint Logic Programs. FGCS (1992)
Saumya K. Debray
Compiler Optimizations for Low-Level Redundancy Elimination: An Application of Meta-Level Prolog Primitives. META (1992)
Saumya K. Debray
Guest Editor's Introduction. J. Log. Program. 13 (2&3) (1992)
Peter A. Bigot, Saumya K. Debray, Kim Marriott
Understanding Finiteness Analysis Using Abstract Interpretation. JICSLP (1992)
Saumya K. Debray, Nai-Wei Lin
Automatic Complexity Analysis of Logic Programs. ICLP (1991)
Saumya K. Debray, Nai-Wei Lin
Static Estimation of Query Sizes in Horn Programs. ICDT (1990)
Saumya K. Debray, David Scott Warren
Towards Banishing the Cut from Prolog. IEEE Trans. Software Eng. 16 (3) (1990)
Saumya K. Debray, Nai-Wei Lin, Manuel V. Hermenegildo
Task Granularity Analysis in Logic Programs. PLDI (1990)
Saumya K. Debray
Flow Analysis of Dynamic Logic Programs. J. Log. Program. 7 (2) (1989)
Saumya K. Debray
A Simple Code Improvement Scheme for Prolog. ICLP (1989)
Saumya K. Debray
Static Inference of Modes and Data Dependencies in Logic Programs. ACM Trans. Program. Lang. Syst. 11 (3) (1989)
Saumya K. Debray, David Scott Warren
Functional Computations in Logic Programs. ACM Trans. Program. Lang. Syst. 11 (3) (1989)
Saumya K. Debray
Efficient Dataflow Analysis of Logic Programs. POPL (1988)
Saumya K. Debray, Prateek Mishra
Denotational and Operational Semantics for Prolog. J. Log. Program. 5 (1) (1988)
Richard A. Warren, Manuel V. Hermenegildo, Saumya K. Debray
On the Practicality of Global Flow Analysis of Logic Programs. ICLP/SLP (1988)
Saumya K. Debray
Static Analysis of Parallel Logic Programs. ICLP/SLP (1988)

Saumya K. Debray.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Saumya K. Debray