Saumya K. Debray

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