Saumya K Debray

  • 2791 Citations
  • 28 h-Index
1984 …2018
If you made any changes in Pure, your changes will be visible here soon.

Research Output 1984 2018

  • 2791 Citations
  • 28 h-Index
  • 73 Conference contribution
  • 37 Article
Filter
Article
2015
5 Citations (Scopus)

Unveiling metamorphism by abstract interpretation of code properties

Dalla Preda, M., Giacobazzi, R. & Debray, S. K., 2015, In : Theoretical Computer Science. 577, 1, p. 74-97 24 p.

Research output: Contribution to journalArticle

Abstract Interpretation
Semantics
Signature
Diversification
Finite automata
2008
64 Citations (Scopus)

A semantics-based approach to malware detection

Preda, M. D., Christodorescu, M., Jha, S. & Debray, S. K., Aug 1 2008, In : ACM Transactions on Programming Languages and Systems. 30, 5, 25.

Research output: Contribution to journalArticle

Semantics
Detectors
Syntactics
Malware
Acoustic waves
2007
16 Citations (Scopus)

A semantics-based approach to malware detection

Dalla Preda, M., Christodorescu, M., Jha, S. & Debray, S. K., Jan 2007, In : ACM SIGPLAN Notices. 42, 1, p. 376-388 13 p.

Research output: Contribution to journalArticle

Semantics
Detectors
Syntactics
Malware
Concretes
2005

Editorial: Programming languages track

Jo, C. H., Mernik, M., Bryant, B. R., Ancona, M., Auguston, M., Cheung, S. C., Debray, S. K., Doh, K. G., Gabbrielli, M., Harris, T., Heering, J., Jeffery, C., Johnstone, A., Leung, H. F., Lins, R. D., Logozzo, F., Martínez López, P. E., Meijer, E., Michaelson, G., Pareja-Flores, C. & 4 others, Saraiva, J., Sloane, T., Wile, D. & Winkler, J., 2005, In : Unknown Journal. 2, p. 1383-1384 2 p.

Research output: Contribution to journalArticle

Computer programming languages
2 Citations (Scopus)

Unpredication, unscheduling, unspeculation: Reverse engineering itanium executables

Snavely, N., Debray, S. K. & Andrews, G. R., Feb 2005, In : IEEE Transactions on Software Engineering. 31, 2, p. 99-115 17 p.

Research output: Contribution to journalArticle

Reverse engineering
Data storage equipment
2004
39 Citations (Scopus)

Dynamic path-based software watermarking

Collberg, C. S., Carter, E., Debray, S. K., Huntwork, A., Kececioglu, J. D., Linn, C. & Stepp, M., Jun 2004, In : ACM SIGPLAN Notices. 39, 6, p. 107-118 12 p.

Research output: Contribution to journalArticle

Watermarking
Computer crime
Semantics
Costs
2003
5 Citations (Scopus)

Cold code decompression at runtime

Debray, S. K. & Evans, W. S., Aug 2003, In : Communications of the ACM. 46, 8, p. 54-60 7 p.

Research output: Contribution to journalArticle

Data compression
Fragment
Data Compression
Profiling
Penalty
1 Citation (Scopus)

Load redundancy elimination on executable code

Fernández, M., Espasa, R. & Debray, S. K., Aug 2003, In : Concurrency Computation Practice and Experience. 15, 10, p. 979-997 19 p.

Research output: Contribution to journalArticle

Redundancy
Elimination
Latency
Data storage equipment
Optimization
2001
73 Citations (Scopus)

alto: a link-time optimizer for the Compaq Alpha

Muth, R., Debray, S. K., Watterson, S. & De Bosschere, K., Jan 2001, In : Software - Practice and Experience. 31, 1, p. 67-101 35 p.

Research output: Contribution to journalArticle

17 Citations (Scopus)

Combining global code and data compaction

De Sutter, B., De Bus, B., De Bosschere, K. & Debray, S. K., Aug 2001, In : SIGPLAN Notices (ACM Special Interest Group on Programming Languages). 36, 8, p. 29-38 10 p.

Research output: Contribution to journalArticle

Compaction
Data storage equipment
2000
146 Citations (Scopus)

Compiler techniques for code compaction

Debray, S. K., Evans, W., Muth, R. & De Sutter, B., Mar 2000, In : ACM Transactions on Programming Languages and Systems. 22, 2, p. 378-415 38 p.

Research output: Contribution to journalArticle

Compaction
Data storage equipment
1999
1 Citation (Scopus)

Return value placement and tail call optimization in high level languages

Bigot, P. A. & Debray, S. K., 1999, In : Journal of Logic Programming. 38, 1, p. 1-29 29 p.

Research output: Contribution to journalArticle

High level languages
Placement
Tail
Data storage equipment
Logic programming
1997
8 Citations (Scopus)
Flow control
Context free grammars
Level control
1 Citation (Scopus)

Resource-Bounded Partial Evaluation

Debray, S. K., Dec 1997, In : SIGPLAN Notices (ACM Special Interest Group on Programming Languages). 32, 12, p. 179-192 14 p.

Research output: Contribution to journalArticle

Availability
Degradation

Simple approach to supporting untagged objects in dynamically typed languages

Bigot, P. A. & Debray, S. K., Jul 1997, In : Journal of Logic Programming. 32, 1, p. 25-47 23 p.

Research output: Contribution to journalArticle

Computer programming languages
Representation of data
Heap
Tagging
Floating point
1996
37 Citations (Scopus)

A Methodology for granularity-based control of parallelism in logic programs

Lopez, P., Hermenegildo, M. & Debray, S. K., Apr 1996, In : Journal of Symbolic Computation. 21, 4-6, p. 715-734 20 p.

Research output: Contribution to journalArticle

Logic Programs
Granularity
Parallelism
Methodology
Static analysis
6 Citations (Scopus)

Detection and optimization of suspension-free logic programs

Debray, S. K., Gudeman, D. & Bigot, P., Oct 1996, In : Journal of Logic Programming. 29, 1-3, p. 170-194 25 p.

Research output: Contribution to journalArticle

Logic Programs
Optimization
Data flow analysis
Compiler Optimization
Logic programming
1995
38 Citations (Scopus)

Generalized semantics and abstract interpretation for constraint logic programs

Giacobazzi, R., Debray, S. K. & Levi, G., 1995, In : Journal of Logic Programming. 25, 3, p. 191-247 57 p.

Research output: Contribution to journalArticle

Abstract Interpretation
Logic Programs
Semantics
Constraint Logic Programming
Logic programming
4 Citations (Scopus)

On the complexity of dataflow analysis of logic programs

Debray, S. K., Mar 1995, In : ACM Transactions on Programming Languages and Systems. 17, 2, p. 331-365 35 p.

Research output: Contribution to journalArticle

Data flow analysis
Logic programming
Computational complexity

Special section: Ten Years of Logic Programming

Bruynooghe, M., Debray, S. K., Hermenegildo, M. & Maher, M., May 1995, In : Journal of Logic Programming. 23, 2, p. 87-88 2 p.

Research output: Contribution to journalArticle

Logic Programming
1994
16 Citations (Scopus)

Abstract interpretation of logic programs using magic transformations

Debray, S. K. & Ramakrishnan, R., 1994, In : Journal of Logic Programming. 18, 2, p. 149-176 28 p.

Research output: Contribution to journalArticle

Abstract Interpretation
Data flow analysis
Logic Programs
Data Flow
Template

Guest editors' introduction

Bruynooghe, M., Debray, S. K., Hermenegildo, M. & Maher, M., May 1994, In : Journal of Logic Programming. 19-20, SUPPL. 1, p. 1-3 3 p.

Research output: Contribution to journalArticle

1993
81 Citations (Scopus)

Cost analysis of logic programs

Debray, S. K. & Lin, N. W., Nov 1993, In : ACM Transactions on Programming Languages and Systems. 15, 5, p. 826-875 50 p.

Research output: Contribution to journalArticle

Functional programming
Computer programming languages
Costs
13 Citations (Scopus)

QD-Janus: A sequential implementation of Janus in Prolog

Debray, S. K., Dec 1993, In : Software - Practice and Experience. 23, 12, p. 1337-1360 24 p.

Research output: Contribution to journalArticle

Logic programming
Computer programming languages
Semantics
Costs
143 Citations (Scopus)

Reasoning about naming systems

Bowman, M., Debray, S. K. & Peterson, L. L., Nov 1993, In : ACM Transactions on Programming Languages and Systems. 15, 5, p. 795-825 31 p.

Research output: Contribution to journalArticle

Acoustic waves
1992
7 Citations (Scopus)

A simple code improvement scheme for prolog

Debray, S. K., 1992, In : Journal of Logic Programming. 13, 1, p. 57-88 32 p.

Research output: Contribution to journalArticle

Prolog
Optimization
Manipulation
Reasoning
Testing
9 Citations (Scopus)

Efficient dataflow analysis of logic programs

Debray, S. K., Oct 1992, In : Journal of the ACM. 39, 4, p. 949-984 36 p.

Research output: Contribution to journalArticle

Data flow analysis
Logic programming
Logic Programs
Data Flow
Computer programming languages
73 Citations (Scopus)

Global flow analysis as a practical compilation tool

Hermenegildo, M. V., Warren, R. & Debray, S. K., 1992, In : Journal of Logic Programming. 13, 4, p. 349-366 18 p.

Research output: Contribution to journalArticle

Compilation
Abstract Interpretation
Prolog
Logic Programs
Systems Analysis

Guest editor's introduction

Debray, S. K., Jul 1992, In : Journal of Logic Programming. 13, 2-3, p. 99-101 3 p.

Research output: Contribution to journalArticle

1990
7 Citations (Scopus)

Towards banishing the cut from Prolog

Debray, S. K. & Warren, D. S., Mar 1990, In : IEEE Transactions on Software Engineering. 16, 3, p. 335-349 15 p.

Research output: Contribution to journalArticle

Static analysis
1989
8 Citations (Scopus)

Flow analysis of dynamic logic programs

Debray, S. K., 1989, In : Journal of Logic Programming. 7, 2, p. 149-176 28 p.

Research output: Contribution to journalArticle

Dynamic Logic
Logic Programs
Retract
Compiler
Predicate
45 Citations (Scopus)

Functional computations in logic programs

Debray, S. K. & Warren, D. S., Jul 1989, In : ACM Transactions on Programming Languages and Systems. 11, 3, p. 451-481 31 p.

Research output: Contribution to journalArticle

Logic programming
Computer programming languages
74 Citations (Scopus)

Static inference of modes and data dependencies in logic programs

Debray, S. K., Jul 1989, In : ACM Transactions on Programming Languages and Systems. 11, 3, p. 418-450 33 p.

Research output: Contribution to journalArticle

1988
83 Citations (Scopus)

Automatic mode inference for logic programs

Debray, S. K. & Warren, D. S., 1988, In : Journal of Logic Programming. 5, 3, p. 207-229 23 p.

Research output: Contribution to journalArticle

Logic Programs
Data flow analysis
Syntactics
Predicate
Optimization
50 Citations (Scopus)

Denotational and operational semantics for prolog

Debray, S. K. & Mishra, P., 1988, In : Journal of Logic Programming. 5, 1, p. 61-91 31 p.

Research output: Contribution to journalArticle

Denotational Semantics
Operational Semantics
Prolog
PROLOG (programming language)
Semantics
6 Citations (Scopus)

PROFILING PROLOG PROGRAMS.

Debray, S. K., Sep 1988, In : Software - Practice and Experience. 18, 9, p. 821-839 19 p.

Research output: Contribution to journalArticle

Logic programming
Computer programming languages
4 Citations (Scopus)

Unfold/Fold Transformations and Loop Optimization of Logic Programs

Debray, S. K., Jul 1 1988, In : ACM SIGPLAN Notices. 23, 7, p. 297-307 11 p.

Research output: Contribution to journalArticle

Logic programming
Computer programming languages
Fusion reactions