Saumya K Debray

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

Fingerprint Dive into the research topics where Saumya K Debray is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

Engineering & Materials Science

Logic programming
Computer programming languages
Semantics
Data flow analysis
Reverse engineering
Compaction
Data storage equipment
Static analysis
Flow control
Redundancy
Acoustic waves
Syntactics
Curricula
Computer crime
Watermarking
Costs
Detectors
Network protocols
Malware
Monitoring
Dynamic analysis
Scheduling
High level languages
Data compression
Parallel programming
Computer operating systems
Intellectual property
Flow graphs
Experiments
Availability
Degradation
Computer science
Cost benefit analysis
Engineers
Web browsers
Students
Graphical user interfaces
PROLOG (programming language)
Engines
Computational complexity
Functional programming
Testing
Cables
Tuning
Chemical activation
Synchronization
Specifications
Embedded systems

Mathematics

Logic Programs
Prolog
Abstract Interpretation
Optimization
Data Flow
Redundancy
Elimination
Logic Programming
Compiler Optimization
Compiler
Termination
Algorithm Analysis
Tail
Malware
Granularity
Programming Languages
Denotational Semantics
Profiling
Nondeterminism
Specialization
Output
Program Transformation
Dynamic Logic
Bottom-up
Operational Semantics
Parallelism
Communication Protocol
Predicate
Compilation
Reverse Engineering
Deductive Databases
Placement
Necessary
Computational Cost
Software
Dynamic Control
Mutation
Parallelizing Compilers
Signature
Query
Latency
Costs
Correctness
Partial Evaluation
Cost-benefit Analysis
Template
JavaScript
Cost Analysis
Query Optimization
Static Analysis