- Protecting Against Unexpected System Calls C. M. Linn, M. Rajagopalan, S. Baker, C. Collberg, S. K. Debray, J. H. Hartman
- Weighted Decision Trees Saumya Debray Sampath Kannan Mukul Paithane
- A Simple Code Improvement Scheme for Prolog Saumya K. Debray
- Estimating the Computational Cost of Logic Programs S. K. Debray, P. Lopez Garc a,y M. Hermenegildo,y N.-W. Linz
- Linktime Improvement of Scheme Programs ? Saumya Debray Robert Muth Scott Watterson
- Pro le-Guided Context-Sensitive Program Analysis Saumya Debray
- Compositional Analysis of Modular Logic Programs \Lambda Michael Codish
- System Call Clustering: A ProfileDirected Optimization Technique
- Efficient Dataflow Analysis of Logic Programs SAUMYA K. DEBRAY
- Disassembly of Executable Code Revisited Benjamin Schwarz Saumya Debray Gregory Andrews
- E cient Data ow Analysis of Logic Programs SAUMYA K. DEBRAY
- A Simple Code Improvement Scheme for Prolog+ Saumya K. Debray
- Cost Analysis of Logic Programs \Lambda Saumya K. Debray NaiWei Lin
- J. LOGIC PROGRAMMING 1993:12:1--199 1 RETURN VALUE PLACEMENT AND TAIL
- Abstract Interpretation of Logic Programs Using Magic Transformations \Lambda
- Reasoning About Naming Systems Penn State University
- Unfold/Fold Transformations and Loop Optimization of Logic Programs Saumya K. Debray
- Abstract Interpretation of Logic Programs Implementation and Efficiency Issues
- ProfileGuided ContextSensitive Program Analysis \Lambda Saumya Debray
- Call Forwarding: A Simple Interprocedural Optimization Technique
- Binary Rewriting of an Operating System Kernel Mohan Rajagopalan, Somu Perianayagam, HaiFeng He, Gregory Andrews, Saumya Debray
- J. LOGIC PROGRAMMING 1995:25:191--247 1 GENERALIZED SEMANTICS AND
- Code Compaction of an Operating System Kernel # Haifeng He, John Trimble, Somu Perianayagam, Saumya Debray, Gregory Andrews
- Reverse Engineering Self-Modifying Code: Unpacker Extraction Saumya Debray Jay Patel
- Software Protection through Dynamic Code Matias Madou, Bertrand Anckaert, Patrick Moseley, Saumya
- Obfuscation of Executable Code to Improve Resistance to Static Disassembly
- Compressing Dynamic Data Structures in Operating System Kernels Haifeng He, Saumya Debray, Gregory Andrews
- The Revenge of the Overlay: Automatic Compaction of OS Kernel Code via On-Demand
- Code Compaction of an Operating System Kernel Haifeng He, John Trimble, Somu Perianayagam, Saumya Debray, Gregory Andrews
- Profile-Guided Code Compression Saumya Debray
- Profile-Guided Specialization of an Operating System Somu Perianayagam, HaiFeng He, Mohan Rajagopalan, Gregory Andrews, Saumya Debray
- Unspeculation Noah Snavely Saumya Debray Gregory Andrews
- Cassyopia: Compiler Assisted System Optimization Mohan Rajagopalan Saumya K. Debray
- System Call Clustering: A Profile-Directed Optimization Technique
- Profile-Directed Optimization of Event-Based Programs Mohan Rajagopalan Saumya Debray
- Load Redundancy Elimination on Executable Code Manel Fernandez and Roger Espasa
- Code Specialization based on Value Profiles Robert Muth Scott Watterson Saumya Debray
- Link-time Improvement of Scheme Programs? Saumya Debray Robert Muth Scott Watterson
- J. LOGIC PROGRAMMING 1993:12:1{199 1 RETURN VALUE PLACEMENT AND TAIL
- Call Forwarding: A Simple Interprocedural Optimization Technique
- Alias Analysis of Executable Code Saumya Debray Robert Muth Matthew Weippert
- On the Complexity of Data ow Analysis of Logic SAUMYA K. DEBRAY
- Writing Efficient Programs Performance Issues in an Undergraduate CS Curriculum
- Lower Bound Cost Estimation for Logic Programs Saumya Debray
- J. LOGIC PROGRAMMING 1993:12:1{199 1 DETECTION AND OPTIMIZATION OF
- J. Symbolic Computation (1998) 22, 715{734 A Methodology for Granularity Based Control of
- J. LOGIC PROGRAMMING 1995:25:191{247 1 GENERALIZED SEMANTICS AND
- Generalized Horn Clause Programs Saumya K. Debray
- Cost Analysis of Logic Programs Saumya K. Debray Nai-Wei Lin
- Understanding Finiteness Analysis Using Abstract Interpretation (Extended Abstract)1
- Compiler Optimizations for Low-level Redundancy Elimination
- Static Inference of Modes and Data Dependencies in Logic Programs
- Functional Computations in Logic Programs Saumya K. Debray
- Profiling Prolog Programs Saumya K. Debray
- Automatic Mode Inference for Logic Programs Saumya K. Debray
- Register Allocation in a Prolog Machine Saumya K. Debray
- Denotational and Operational Semantics for Prolog Saumya K. Debray
- Verifying Program Profiles Patrick Moseley, Saumya Debray, Gregory Andrews
- Resource-Bounded Partial Evaluation Saumya Debray
- APF : A Modular Language for Fast Packet Classi cation
- Reasoning About Naming Systems Penn State University
- Automatic Static Unpacking of Malware Binaries Kevin Coogan Saumya Debray Tasneem Kaochar Gregg Townsend
- Modelling Metamorphism by Abstract Interpretation Mila Dalla Preda1
- On Copy Avoidance in Single Assignment Saumya K. Debray
- J. LOGIC PROGRAMMING 1993:12:1{199 1 A SIMPLE APPROACH TO SUPPORTING
- QD-Janus: A Sequential Implementation of Janus in Prolog Saumya K. Debray
- On the Complexity of Dataflow Analysis of Logic SAUMYA K. DEBRAY
- Flow Analysis of Dynamic Logic Programs+ Saumya K. Debray
- Functional Computations in Logic Programs+ Saumya K. Debray
- Automatic Static Unpacking of Malware Binaries Kevin Coogan Saumya Debray Tasneem Kaochar Gregg Townsend
- Denotational and Operational Semantics for Prolog+ Saumya K. Debray
- NonFailure Analysis for Logic Programs
- Automatic Mode Inference for Logic Programs+ Saumya K. Debray
- Stack Analysis of x86 Executables # Cullen Linn 1 , Saumya Debray 1 , Gregory Andrews 1 , and Benjamin Schwarz 2
- Mode Analysis for Logic Programs Saumya K. Debray
- On the Semantics of Self-Unpacking Malware Code Saumya K. Debray Kevin P. Coogan Gregg M. Townsend
- Static Inference of Modes and Data Dependencies in Logic Programs
- QDJanus: A Sequential Implementation of Janus in Prolog \Lambda Saumya K. Debray
- Deobfuscation Reverse Engineering Obfuscated Code
- A Simple Program Transformation for Parallelism
- On The Complexity of Function Pointer MayAlias Analysis \Lambda
- Obfuscation of Executable Code to Improve Resistance to Static Disassembly
- ProfileGuided Code Compression Saumya Debray
- Code Specialization based on Value Profiles ? Robert Muth Scott Watterson Saumya Debray
- Abstract Interpretation Low Level Code Optimization
- Disassembly of Executable Code Revisited Benjamin Schwarz Saumya Debray Gregory Andrews
- Compiler Techniques for Code Compaction Saumya Debray William Evans Robert Muth
- APF : A Modular Language for Fast Packet Classification \Lambda
- Verifying Program Profiles Patrick Moseley, Saumya Debray, Gregory Andrews
- On the Complexity of Flow-Sensitive Data ow Analyses Robert Muth Saumya Debray
- Writing Efficient Programs Performance Issues in an Undergraduate CS Curriculum
- J. LOGIC PROGRAMMING 1993:12:1--199 1 DETECTION AND OPTIMIZATION OF
- J. Symbolic Computation (1998) 22, 715--734 A Methodology for Granularity Based Control of
- Unpredication, Unscheduling, Unspeculation: Reverse Engineering Itanium Executables #
- Binary Rewriting of an Operating System Kernel # Mohan Rajagopalan,# Somu Perianayagam, HaiFeng He, Gregory Andrews, Saumya Debray
- Binary Obfuscation Using Signals Igor V. Popov, Saumya K. Debray, Gregory R. Andrews
- Towards Banishing the Cut from Prolog Saumya K. Debray
- ProfileDirected Optimization of EventBased Programs Mohan Rajagopalan Saumya Debray
- Theory of Program Analysis Saumya K. Debray
- Granularity Control in Logic Programs Saumya K. Debray
- Binary Obfuscation Using Signals # Igor V. Popov, Saumya K. Debray, Gregory R. Andrews
- Topics in Low Level Code Optimization Saumya K. Debray
- Compressing Dynamic Data Structures in Operating System Kernels # Haifeng He, Saumya Debray, Gregory Andrews
- Visualizing the Behavior of Dynamically Modifiable Code Bradley Dux Anand Iyer Saumya Debray David Forrester Stephen Kobourov
- Software Power Optimization via Post-Link-Time Binary Rewriting Saumya Debray Robert Muth Scott Watterson
- Reverse Engineering SelfModifying Code: Unpacker Extraction Saumya Debray Jay Patel
- Dynamic PathBased Software Watermarking # C. Collberg E. Carter S. Debray A. Huntwork C. Linn M. Stepp
- The Revenge of the Overlay: Automatic Compaction of OS Kernel Code via OnDemand
- Unspeculation Noah Snavely Saumya Debray Gregory Andrews
- Compositional Analysis of Modular Logic Programs Michael Codish
- ProfileGuided Specialization of an Operating System Somu Perianayagam, HaiFeng He, Mohan Rajagopalan,# Gregory Andrews, Saumya Debray
- J. LOGIC PROGRAMMING 1993:12:1--199 1 A SIMPLE APPROACH TO SUPPORTING
- PLTO: A LinkTime Optimizer for the Intel IA32 Architecture
- Constraint-Based Termination Analysis for Cyclic Active Database Rules ?
- Compiler Techniques for Code Compaction SAUMYA K. DEBRAY and WILLIAM EVANS
- alto : A LinkTime Optimizer for the Compaq Alpha Robert Muth Saumya Debray Scott Watterson
- A Semantics-Based Approach to Malware Detection Mila Dalla Preda
- Non-Failure Analysis for Logic Programs
- Logic Programming: An Overview Saumya Debray
- Alias Analysis of Executable Code \Lambda Saumya Debray Robert Muth Matthew Weippert
- Generalized Horn Clause Programs \Lambda Saumya K. Debray
- Lower Bound Cost Estimation for Logic Programs \Lambda Saumya Debray
- Software Power Optimization via PostLinkTime Binary Rewriting Saumya Debray Robert Muth Scott Watterson
- jc: An Efficient and Portable Sequential Implementation of Janus
- Register Allocation in a Prolog Machine Saumya K. Debray
- Load Redundancy Elimination on Executable Code Manel Fern'andez and Roger Espasa
- Towards Banishing the Cut from Prolog+ Saumya K. Debray
- Modelling Metamorphism by Abstract Interpretation Mila Dalla Preda 1 , Roberto Giacobazzi 1 , Saumya Debray 2 , Kevin Coogan 2 , and
- Weighted Decision Trees Saumya Debray Sampath Kannan Mukul Paithane
- On The Complexity of Function Pointer May-Alias Analysis
- Abstract Interpretation and Low-Level Code Optimization Saumya Debray
- Profiling Prolog Programs Saumya K. Debray
- On the Semantics of SelfUnpacking Malware Code # Saumya K. Debray Kevin P. Coogan Gregg M. Townsend
- jc: An E cient and Portable Sequential Implementation of Janus
- Flow Analysis of Dynamic Logic Programs Saumya K. Debray
- A Practical Approach to Structure Reuse of Arrays in Single Assignment Languages
- A Simple Program Transformation for Parallelism
- Analysis of Logic Programs Saumya K. Debray
- : A Link-Time Optimizer for the Compaq Alpha Robert Muth Saumya Debray Scott Watterson
- Static Detection of Disassembly Errors Nithya Krishnamoorthy Saumya Debray Keith Fligg
- Predicate Analysis and If-Conversion in an Itanium Link-Time Optimizer
- Interprocedural Control Flow Analysis of FirstOrder Programs with Tail Call Optimization \Lambda
- A SemanticsBased Approach to Malware Detection # Mila Dalla Preda
- Compiler Optimizations for Lowlevel Redundancy Elimination
- Cassyopia: Compiler Assisted System Optimization Mohan Rajagopalan Saumya K. Debray
- On Copy Avoidance in Single Assignment Saumya K. Debray
- Predicate Analysis and IfConversion in an Itanium LinkTime Optimizer
- Cost Estimation of Logic Programs Saumya K. Debray
- Stack Analysis of x86 Executables Cullen Linn1, Saumya Debray1, Gregory Andrews1, and Benjamin Schwarz2
- Static Detection of Disassembly Errors Nithya Krishnamoorthy Saumya Debray Keith Fligg+
- Estimating the Computational Cost of Logic Programs S. K. Debray, \Lambda P. L'opez Garc'ia, y M. Hermenegildo, y N.W. Lin z
- A Practical Approach to Structure Reuse of Arrays in Single Assignment Languages
- Abstract Interpretation of Logic Programs Complexity Issues
- Global Flow Analysis as a Practical Compilation Tool 1 M. V. HERMENEGILDO, R. WARREN, AND S. K. DEBRAY
- Understanding Finiteness Analysis Using Abstract Interpretation (Extended Abstract) 1
- Software Protection through Dynamic Code Matias Madou#, Bertrand Anckaert#, Patrick Moseley#, Saumya
- Deobfuscation Reverse Engineering Obfuscated Code
- Interprocedural Control Flow Analysis of First-Order Programs with Tail Call Optimization
- Dynamic Path-Based Software Watermarking C. Collberg E. Carter S. Debray A. Huntwork C. Linn M. Stepp
- Unfold/Fold Transformations and Loop Optimization of Logic Programs Saumya K. Debray
- Abstract Interpretation of Logic Programs Using Magic Transformations
- Global Flow Analysis as a Practical Compilation Tool 1 M. V. HERMENEGILDO, R. WARREN, AND S. K. DEBRAY
- GoalDirected Value Profiling Scott Watterson Saumya Debray
- Protecting Against Unexpected System Calls C. M. Linn, M. Rajagopalan, S. Baker, C. Collberg, S. K. Debray, J. H. Hartman
- Combining Global Code and Data Compaction Bjorn De Sutter
- Abstract Interpretation and LowLevel Code Optimization \Lambda Saumya Debray
- ResourceBounded Partial Evaluation \Lambda Saumya Debray
- Visualizing the Behavior of Dynamically Modifiable Code # Bradley Dux Anand Iyer Saumya Debray David Forrester Stephen Kobourov
- Goal-Directed Value Profiling Scott Watterson Saumya Debray
- PLTO: A Link-Time Optimizer for the Intel IA-32 Architecture
- Deobfuscation of Virtualization-Obfuscated Software A Semantics-Based Approach
- Equational Reasoning on x86 Assembly Code Kevin Coogan and Saumya Debray
- Automatic Simplification of Obfuscated JavaScript Code
