Saumya K. Debray

According to our database, Saumya K. Debray authored at least 125 papers between 1984 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

Directed Test Program Generation for JIT Compiler Bug Localization.

HeuiChan Lim, Saumya Debray

CoRR, 2023

Automatically Localizing Dynamic Code Generation Bugs in JIT Compiler Back-End.

HeuiChan Lim, Saumya Debray

Proceedings of the 32nd ACM SIGPLAN International Conference on Compiler Construction, 2023

2022

Modeling code manipulation in JIT compilers.

HeuiChan Lim, Xiyu Kang, Saumya Debray

Proceedings of the SOAP '22: 11th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, 2022

2021

Automated bug localization in JIT compilers.

HeuiChan Lim, Saumya Debray

Proceedings of the VEE '21: 17th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments, 2021

A Framework for Automatic Exploit Generation for JIT Compilers.

Xiyu Kang, Saumya Debray

Proceedings of the Checkmate@CCS 2021, 2021

Optimization to the Rescue: Evading Binary Code Stylometry with Adversarial Use of Code Optimizations.

Ben Jacobsen, Sazzadur Rahaman, Saumya Debray

Proceedings of the Checkmate@CCS 2021, 2021

2020

AutoMATES: Automated Model Assembly from Text, Equations, and Software.

Adarsh Pyarelal, Marco Antonio Valenzuela-Escárcega, Rebecca Sharp, Paul Douglas Hein, Jon Stephens, Pratik Bhandari, HeuiChan Lim, Saumya Debray, Clayton T. Morrison

CoRR, 2020

Representing and Reasoning about Dynamic Code.

Jesse Bartels, Jon Stephens, Saumya Debray

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

2018

Probabilistic Obfuscation Through Covert Channels.

Jon Stephens, Babak Yadegari, Christian S. Collberg, Saumya Debray, Carlos Scheidegger

Proceedings of the 2018 IEEE European Symposium on Security and Privacy, 2018

2017

Malware Analysis: From Large-Scale Data Triage to Targeted Attack Recognition (Dagstuhl Seminar 17281).

Sarah Zennou, Saumya K. Debray, Thomas Dullien, Arun Lakhotia

Dagstuhl Reports, 2017

Control Dependencies in Interpretive Systems.

Babak Yadegari, Saumya Debray

Proceedings of the Runtime Verification - 17th International Conference, 2017

Language-Agnostic Optimization and Parallelization for Interpreted Languages.

Michelle Mills Strout, Saumya Debray, Kate Isaacs, Barbara Kreaseck, Julio Cárdenas-Rodríguez, Bonnie L. Hurwitz, Kat Volk, Sam Badger, Jesse Bartels, Ian J. Bertolacci, Sabin Devkota, Anthony Encinas, Benjamin Gaska, Brandon Neth, Theo Sackos, Jon Stephens, Sarah Willer, Babak Yadegari

Proceedings of the Languages and Compilers for Parallel Computing, 2017

Analysis of Exception-Based Control Transfers.

Babak Yadegari, Jon Stephens, Saumya Debray

Proceedings of the Seventh ACM Conference on Data and Application Security and Privacy, 2017

2015

Unveiling metamorphism by abstract interpretation of code properties.

Mila Dalla Preda, Roberto Giacobazzi, Saumya K. Debray

Theor. Comput. Sci., 2015

A Generic Approach to Automatic Deobfuscation of Executable Code.

Babak Yadegari, Brian Johannesmeyer, Ben Whitely, Saumya Debray

Proceedings of the 2015 IEEE Symposium on Security and Privacy, 2015

Identifying and Understanding Self-Checksumming Defenses in Software.

Jing Qiu, Babak Yadegari, Brian Johannesmeyer, Saumya Debray, Xiaohong Su

Proceedings of the 5th ACM Conference on Data and Application Security and Privacy, 2015

Symbolic Execution of Obfuscated Code.

Babak Yadegari, Saumya Debray

Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security, 2015

2014

Bit-Level Taint Analysis.

Babak Yadegari, Saumya Debray

Proceedings of the 14th IEEE International Working Conference on Source Code Analysis and Manipulation, 2014

A Framework for Understanding Dynamic Anti-Analysis Defenses.

Jing Qiu, Babak Yadegari, Brian Johannesmeyer, Saumya Debray, Xiaohong Su

Proceedings of the 4th Program Protection and Reverse Engineering Workshop, 2014

2013

A simple client-side defense against environment-dependent web-based malware.

Gen Lu, Karan Chadha, Saumya K. Debray

Proceedings of the 8th International Conference on Malicious and Unwanted Software: "The Americas", 2013

Weaknesses in Defenses against Web-Borne Malware - (Short Paper).

Gen Lu, Saumya K. Debray

Proceedings of the Detection of Intrusions and Malware, and Vulnerability Assessment, 2013

2012

Automatic Simplification of Obfuscated JavaScript Code: A Semantics-Based Approach.

Gen Lu, Saumya K. Debray

Proceedings of the Sixth International Conference on Software Security and Reliability, 2012

Automatic Simplification of Obfuscated JavaScript Code (Extended Abstract).

Gen Lu, Kevin Coogan, Saumya K. Debray

Proceedings of the Information Systems, Technology and Management, 2012

Application of Micro-specialization to Query Evaluation Operators.

Rui Zhang, Richard T. Snodgrass, Saumya Debray

Proceedings of the Workshops Proceedings of the IEEE 28th International Conference on Data Engineering, 2012

Micro-Specialization in DBMSes.

Rui Zhang, Richard T. Snodgrass, Saumya Debray

Proceedings of the IEEE 28th International Conference on Data Engineering (ICDE 2012), 2012

Micro-specialization: dynamic code specialization of database management systems.

Rui Zhang, Saumya Debray, Richard T. Snodgrass

Proceedings of the 10th Annual IEEE/ACM International Symposium on Code Generation and Optimization, 2012

2011

Equational Reasoning on x86 Assembly Code.

Kevin Coogan, Saumya K. Debray

Proceedings of the 11th IEEE Working Conference on Source Code Analysis and Manipulation, 2011

Deobfuscation of virtualization-obfuscated software: a semantics-based approach.

Kevin Coogan, Gen Lu, Saumya K. Debray

Proceedings of the 18th ACM Conference on Computer and Communications Security, 2011

2010

Reverse Engineering Self-Modifying Code: Unpacker Extraction.

Saumya K. Debray, Jay Patel

Proceedings of the 17th Working Conference on Reverse Engineering, 2010

Modelling Metamorphism by Abstract Interpretation.

Mila Dalla Preda, Roberto Giacobazzi, Saumya K. Debray, Kevin Coogan, Gregg M. Townsend

Proceedings of the Static Analysis - 17th International Symposium, 2010

2009

Static Detection of Disassembly Errors.

Nithya Krishnamoorthy, Saumya K. Debray, Keith Fligg

Proceedings of the 16th Working Conference on Reverse Engineering, 2009

Automatic Static Unpacking of Malware Binaries.

Kevin Coogan, Saumya K. Debray, Tasneem Kaochar, Gregg M. Townsend

Proceedings of the 16th Working Conference on Reverse Engineering, 2009

2008

A semantics-based approach to malware detection.

Mila Dalla Preda, Mihai Christodorescu, Somesh Jha, Saumya K. Debray

ACM Trans. Program. Lang. Syst., 2008

2007

Binary Obfuscation Using Signals.

Igor V. Popov, Saumya K. Debray, Gregory R. Andrews

Proceedings of the 16th USENIX Security Symposium, Boston, MA, USA, August 6-10, 2007, 2007

The revenge of the overlay: automatic compaction of OS kernel code via on-demand code loading.

Haifeng He, Saumya K. Debray, Gregory R. Andrews

Proceedings of the 7th ACM & IEEE International conference on Embedded software, 2007

Code Compaction of an Operating System Kernel.

Haifeng He, John Trimble, Somu Perianayagam, Saumya K. Debray, Gregory R. Andrews

Proceedings of the Fifth International Symposium on Code Generation and Optimization (CGO 2007), 2007

2005

Unpredication, Unscheduling, Unspeculation: Reverse Engineering Itanium Executables.

Noah Snavely, Saumya K. Debray, Gregory R. Andrews

IEEE Trans. Software Eng., 2005

Software Protection Through Dynamic Code Mutation.

Matias Madou, Bertrand Anckaert, Patrick Moseley, Saumya K. Debray, Bjorn De Sutter, Koen De Bosschere

Proceedings of the Information Security Applications, 6th International Workshop, 2005

Deobfuscation: Reverse Engineering Obfuscated Code.

Sharath K. Udupa, Saumya K. Debray, Matias Madou

Proceedings of the 12th Working Conference on Reverse Engineering, 2005

Protecting Against Unexpected System Calls.

Cullen Linn, Mohan Rajagopalan, Scott Baker, Christian S. Collberg, Saumya K. Debray, John H. Hartman

Proceedings of the 14th USENIX Security Symposium, Baltimore, MD, USA, July 31, 2005

Code Compression.

Saumya K. Debray

Proceedings of the Practical Aspects of Declarative Languages, 7th International Symposium, 2005

Visualizing the Behavior of Dynamically Modifiable Code.

Bradley Dux, Anand Iyer, Saumya K. Debray, David Forrester, Stephen G. Kobourov

Proceedings of the 13th International Workshop on Program Comprehension (IWPC 2005), 2005

2004

Writing efficient programs: performance issues in an undergraduate CS curriculum.

Saumya K. Debray

Proceedings of the 35th SIGCSE Technical Symposium on Computer Science Education, 2004

Dynamic path-based software watermarking.

Christian S. Collberg, Edward Carter, Saumya K. Debray, Andrew Huntwork, John D. Kececioglu, Cullen Linn, Michael Stepp

Proceedings of the ACM SIGPLAN 2004 Conference on Programming Language Design and Implementation 2004, 2004

2003

Load redundancy elimination on executable code.

Manel Fernández, Roger Espasa, Saumya K. Debray

Concurr. Comput. Pract. Exp., 2003

Cold code decompression at runtime.

Saumya K. Debray, William S. Evans

Commun. ACM, 2003

Unscheduling, Unpredication, Unspeculation: Reverse Engineering Itanium Executables.

Noah Snavely, Saumya K. Debray, Gregory R. Andrews

Proceedings of the 10th Working Conference on Reverse Engineering, 2003

Checking Program Profiles.

Patrick Moseley, Saumya K. Debray, Gregory R. Andrews

Proceedings of the 3rd IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2003), 2003

Unspeculation.

Noah Snavely, Saumya K. Debray, Gregory R. Andrews

Proceedings of the 18th IEEE International Conference on Automated Software Engineering (ASE 2003), 2003

Cassyopia: Compiler Assisted System Optimization.

Mohan Rajagopalan, Saumya K. Debray, Matti A. Hiltunen, Richard D. Schlichting

Proceedings of HotOS'03: 9th Workshop on Hot Topics in Operating Systems, 2003

Obfuscation of executable code to improve resistance to static disassembly.

Cullen Linn, Saumya K. Debray

Proceedings of the 10th ACM Conference on Computer and Communications Security, 2003

2002

Disassembly of Executable Code Revisited.

Benjamin Schwarz, Saumya K. Debray, Gregory R. Andrews

Proceedings of the 9th Working Conference on Reverse Engineering (WCRE 2002), 28 October, 2002

Making compiler design relevant for students who will (most likely) never design a compiler.

Saumya K. Debray

Proceedings of the 33rd SIGCSE Technical Symposium on Computer Science Education, 2002

Profile-Directed Optimization of Event-Based Programs.

Mohan Rajagopalan, Saumya K. Debray, Matti A. Hiltunen, Richard D. Schlichting

Proceedings of the 2002 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2002

Profile-Guided Code Compression.

Saumya K. Debray, William S. Evans

Proceedings of the 2002 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2002

2001

alto: a link-time optimizer for the Compaq Alpha.

Robert Muth, Saumya K. Debray, Scott A. Watterson, Koenraad De Bosschere

Softw. Pract. Exp., 2001

Combining Global Code and Data Compaction.

Bjorn De Sutter, Bruno De Bus, Koenraad De Bosschere, Saumya K. Debray

Proceedings of The Workshop on Languages, 2001

Goal-Directed Value Profiling.

Scott A. Watterson, Saumya K. Debray

Proceedings of the Compiler Construction, 10th International Conference, 2001

2000

Compiler techniques for code compaction.

Saumya K. Debray, William S. Evans, Robert Muth, Bjorn De Sutter

ACM Trans. Program. Lang. Syst., 2000

Code Specialization Based on Value Profiles.

Robert Muth, Scott A. Watterson, Saumya K. Debray

Proceedings of the Static Analysis, 7th International Symposium, 2000

On the Complexity of Flow-Sensitive Dataflow Analyses.

Robert Muth, Saumya K. Debray

Proceedings of the POPL 2000, 2000

Constraint-Based Termination Analysis for Cyclic Active Database Rules.

Saumya K. Debray, Timothy J. Hickey

Proceedings of the Computational Logic, 2000

1999

Return Value Placement and Tail Call Optimization in High Level Languages.

Peter A. Bigot, Saumya K. Debray

J. Log. Program., 1999

Link-Time Improvement of Scheme Programs.

Saumya K. Debray, Robert Muth, Scott A. Watterson

Proceedings of the Compiler Construction, 8th International Conference, 1999

Link-time Optimization of Multi-Language Programs.

Saumya Debray

Proceedings of the Logic Programming Paradigm - A 25-Year Perspective, 1999

1998

Alias Analysis of Executable Code.

Saumya K. Debray, Robert Muth, Matthew Weippert

Proceedings of the POPL '98, 1998

1997

Interprocedural Control Flow Analysis of First-Order Programs with Tail-Call Optimization.

Saumya K. Debray, Todd A. Proebsting

ACM Trans. Program. Lang. Syst., 1997

A Simple Approach to Supporting Untagged Objects in Dynamically Typed Languages.

Peter A. Bigot, Saumya K. Debray

J. Log. Program., 1997

On the Complexity of Function Pointer May-Alias Analysis.

Robert Muth, Saumya K. Debray

Proceedings of the TAPSOFT'97: Theory and Practice of Software Development, 1997

Lower Bound Cost Estimation for Logic Programs.

Saumya K. Debray, Pedro López-García, Manuel V. Hermenegildo, Nai-Wei Lin

Proceedings of the Logic Programming, 1997

Resource-Bounded Partial Evaluation.

Saumya K. Debray

Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '97), 1997

A Practical Approach to Structure Reuse of Arrays in Single Assignment Languages.

Andreas Kågedal, Saumya K. Debray

Proceedings of the Logic Programming, 1997

Non-Failure Analysis for Logic Programs.

Saumya K. Debray, Pedro López-García, Manuel V. Hermenegildo

Proceedings of the Logic Programming, 1997

1996

A Methodology for Granularity-Based Control of Parallelism in Logic Programs.

Pedro López-García, Manuel V. Hermenegildo, Saumya K. Debray

J. Symb. Comput., 1996

Detection and Optimization of Suspension-Free Logic Programs.

Saumya K. Debray, David Gudeman, Peter A. Bigot

J. Log. Program., 1996

1995

On the Complexity of Dataflow Analysis of Logic Programs.

Saumya K. Debray

ACM Trans. Program. Lang. Syst., 1995

Generalized Semantics and Abstract Interpretation for Constraint Logic Programs.

Roberto Giacobazzi, Saumya K. Debray, Giorgio Levi

J. Log. Program., 1995

Guest Editors' Introduction: Special Section: Ten Years of Logic Programming.

Maurice Bruynooghe, Saumya K. Debray, Manuel V. Hermenegildo, Michael J. Maher

J. Log. Program., 1995

Abstract Interpretation and Low-Level Code Optimization.

Saumya K. Debray

Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, 1995

1994

Abstract Interpretation of Logic Programs using Magic Transformations.

Saumya K. Debray, Raghu Ramakrishnan

J. Log. Program., 1994

Guest Editor's Introduction.

Maurice Bruynooghe, Saumya K. Debray, Manuel V. Hermenegildo, Michael J. Maher

J. Log. Program., 1994

A Simple Program Transformation for Parallelism.

Saumya K. Debray, Mudita Jain

Proceedings of the Logic Programming, 1994

Estimating the Computational Cost of Logic Programs.

Saumya K. Debray, Pedro López-García, Manuel V. Hermenegildo, Nai-Wei Lin

Proceedings of the Static Analysis, First International Static Analysis Symposium, 1994

Call Forwarding: A Simple Interprocedural Optimization Technique for Dynamically Typed Languages.

Koenraad De Bosschere, Saumya K. Debray, David Gudeman, Sampath Kannan

Proceedings of the Conference Record of POPL'94: 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1994

Towards Granularity Based Control of Parallelism in Logic Programs.

P. Lopez Garcia, Manuel V. Hermenegildo, Saumya K. Debray

Proceedings of the First International Symposium on Parallel Symbolic Computation, 1994

Output Value Placement in Moded Logic Programs.

Peter A. Bigot, David Gudeman, Saumya K. Debray

Proceedings of the Logic Programming, 1994

1993

Cost Analysis of Logic Programs.

Saumya K. Debray, Nai-Wei Lin

ACM Trans. Program. Lang. Syst., 1993

Reasoning About Naming Systems.

Mic Bowman, Saumya K. Debray, Larry L. Peterson

ACM Trans. Program. Lang. Syst., 1993

QD-Janus: a Sequential Implementation of Janus in Prolog.

Saumya K. Debray

Softw. Pract. Exp., 1993

Static Analysis of Logic Programs.

Saumya K. Debray

Proceedings of the Logic Programming, 1993

Compositional Analysis of Modular Logic Programs.

Michael Codish, Saumya K. Debray, Roberto Giacobazzi

Proceedings of the Conference Record of the Twentieth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1993

Call Forwarding: A Simple Low-Level Code Optimization Technique.

Saumya K. Debray, Koenraad De Bosschere, David Gudeman

Proceedings of the Implementations of Logic Programming Systems: Papers from the ICLP 1993 Workshops: Practical Implementations and Systems Experience in Logic Programming Systems, 1993

Implementing Logic Programming Systems: The Quiche-Eating Approach.

Saumya K. Debray

Proceedings of the Implementations of Logic Programming Systems: Papers from the ICLP 1993 Workshops: Practical Implementations and Systems Experience in Logic Programming Systems, 1993

On Copy Avoidance in Single Assignment Languages.

Saumya K. Debray

Proceedings of the Logic Programming, 1993

Joining Abstract and Concrete Computations in Constraint Logic Programming.

Roberto Giacobazzi, Giorgio Levi, Saumya K. Debray

Proceedings of the Algebraic Methodology and Software Technology (AMAST '93), 1993

1992

Global Flow Analysis as a Practical Compilation Tool.

Manuel V. Hermenegildo, Richard A. Warren, Saumya K. Debray

J. Log. Program., 1992

Guest Editor's Introduction.

Saumya K. Debray

J. Log. Program., 1992

A Simple Code Improvement Scheme for Prolog.

Saumya K. Debray

J. Log. Program., 1992

Efficient Dataflow Analysis of Logic Programs.

Saumya K. Debray

J. ACM, 1992

Compiler Optimizations for Low-Level Redundancy Elimination: An Application of Meta-Level Prolog Primitives.

Saumya K. Debray

Proceedings of the Meta-Programming in Logic, 3rd International Workshop, 1992

jc: An Efficient and Portable Sequential Implementation of Janus.

David Gudeman, Koenraad De Bosschere, Saumya K. Debray

Proceedings of the Logic Programming, 1992

Weighted Decision Trees.

Saumya K. Debray, Sampath Kannan, Mukul Paithane

Proceedings of the Logic Programming, 1992

Understanding Finiteness Analysis Using Abstract Interpretation.

Peter A. Bigot, Saumya K. Debray, Kim Marriott

Proceedings of the Logic Programming, 1992

A Generalized Semantics for Constraint Logic Programs.

Roberto Giacobazzi, Saumya K. Debray, Giorgio Levi

Proceedings of the International Conference on Fifth Generation Computer Systems. FGCS 1992, 1992

1991

Automatic Complexity Analysis of Logic Programs.

Saumya K. Debray, Nai-Wei Lin

Proceedings of the Logic Programming, 1991

1990

Towards Banishing the Cut from Prolog.

Saumya K. Debray, David Scott Warren

IEEE Trans. Software Eng., 1990

Task Granularity Analysis in Logic Programs.

Saumya K. Debray, Nai-Wei Lin, Manuel V. Hermenegildo

Proceedings of the ACM SIGPLAN'90 Conference on Programming Language Design and Implementation (PLDI), 1990

Static Estimation of Query Sizes in Horn Programs.

Saumya K. Debray, Nai-Wei Lin

Proceedings of the ICDT'90, 1990

1989

Functional Computations in Logic Programs.

Saumya K. Debray, David Scott Warren

ACM Trans. Program. Lang. Syst., 1989

Static Inference of Modes and Data Dependencies in Logic Programs.

Saumya K. Debray

ACM Trans. Program. Lang. Syst., 1989

Flow Analysis of Dynamic Logic Programs.

Saumya K. Debray

J. Log. Program., 1989

1988

Profiling Prolog Programs.

Saumya K. Debray

Softw. Pract. Exp., 1988

Automatic Mode Inference for Logic Programs.

Saumya K. Debray, David Scott Warren

J. Log. Program., 1988

Denotational and Operational Semantics for Prolog.

Saumya K. Debray, Prateek Mishra

J. Log. Program., 1988

Unfold/Fold Transformations and Loop Optimization of Logic Programs.

Saumya K. Debray

Proceedings of the ACM SIGPLAN'88 Conference on Programming Language Design and Implementation (PLDI), 1988

On the Practicality of Global Flow Analysis of Logic Programs.

Richard A. Warren, Manuel V. Hermenegildo, Saumya K. Debray

Proceedings of the Logic Programming, 1988

Static Analysis of Parallel Logic Programs.

Saumya K. Debray

Proceedings of the Logic Programming, 1988

1987

Flow Analysis of a Simple Class of Dynamic Logic Programs.

Saumya K. Debray

Proceedings of the 1987 Symposium on Logic Programming, San Francisco, California, USA, August 31, 1987

1986

Automatic Mode Inference for Prolog Programs.

Saumya K. Debray, David Scott Warren

Proceedings of the 1986 Symposium on Logic Programming, 1986

Register Allocation in a Prolog Machine.

Saumya K. Debray

Proceedings of the 1986 Symposium on Logic Programming, 1986

Detection and Optimization of Functional Computations in Prolog.

David Scott Warren, Saumya K. Debray

Proceedings of the Third International Conference on Logic Programming, 1986

1985

Optimizing Almost-Tail-Recursive Prolog Programs.

Saumya K. Debray

Proceedings of the Functional Programming Languages and Computer Architecture, 1985

1984

Executing Distributed Prolog Programs on a Broadcast Network.

David Scott Warren, Mustaque Ahamad, Saumya K. Debray, Laxmikant V. Kalé

Proceedings of the 1984 International Symposium on Logic Programming, 1984

Testing Protocol Robustness the CCS Way.

Scott A. Smolka, Ariel J. Frank, Saumya K. Debray

Proceedings of the Protocol Specification, 1984

On the Existence and Construction of Robust Communication Protocals for Unreliable Channels.

Saumya K. Debray, Ariel J. Frank, Scott A. Smolka

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1984