The following pages link to Saumya Debray (Q2339469):
Displaying 25 items.
- Unveiling metamorphism by abstract interpretation of code properties (Q2339470) (← links)
- A methodology for granularity-based control of parallelism in logic programs (Q2365139) (← links)
- alto: a link‐time optimizer for the Compaq Alpha (Q2721224) (← links)
- (Q2722070) (← links)
- (Q2764088) (← links)
- (Q2767134) (← links)
- Generalized semantics and abstract interpretation for constraint logic programs (Q3128618) (← links)
- A semantics-based approach to malware detection (Q3189818) (← links)
- (Q3216126) (← links)
- (Q3685172) (← links)
- (Q3725518) (← links)
- Denotational and operational semantics for prolog (Q3769948) (← links)
- Automatic mode inference for logic programs (Q3792215) (← links)
- A simple code improvement scheme for prolog (Q3992227) (← links)
- Return value placement and tail call optimization in high level languages (Q4223451) (← links)
- Abstract interpretation of logic programs using magic transformations (Q4285643) (← links)
- Efficient dataflow analysis of logic programs (Q4302797) (← links)
- Detection and optimization of suspension-free logic programs (Q4339855) (← links)
- (Q4694711) (← links)
- (Q4791897) (← links)
- (Q4878773) (← links)
- Modelling Metamorphism by Abstract Interpretation (Q4930730) (← links)
- On the complexity of flow-sensitive dataflow analyses (Q5178843) (← links)
- On the complexity of dataflow analysis of logic programs (Q5204343) (← links)
- (Q5688900) (← links)
