Saumya Debray

Available identifiers

zbMath Open debray.saumya-kMaRDI QIDQ2339469

List of research outcomes

Publication	Date of Publication	Type
On the complexity of dataflow analysis of logic programs	2019-12-04	Paper
Unveiling metamorphism by abstract interpretation of code properties	2015-04-01	Paper
On the complexity of flow-sensitive dataflow analyses	2015-03-17	Paper
A semantics-based approach to malware detection	2014-09-12	Paper
Modelling Metamorphism by Abstract Interpretation	2010-10-01	Paper
https://portal.mardi4nfdi.de/entity/Q4791897	2003-02-04	Paper
https://portal.mardi4nfdi.de/entity/Q2767134	2002-04-28	Paper
https://portal.mardi4nfdi.de/entity/Q2764088	2002-01-22	Paper
https://portal.mardi4nfdi.de/entity/Q2722070	2001-07-11	Paper
alto: a link‐time optimizer for the Compaq Alpha	2001-07-01	Paper
Return value placement and tail call optimization in high level languages	1999-04-19	Paper
Detection and optimization of suspension-free logic programs	1997-12-08	Paper
A methodology for granularity-based control of parallelism in logic programs	1997-10-22	Paper
https://portal.mardi4nfdi.de/entity/Q5688900	1997-05-25	Paper
Generalized semantics and abstract interpretation for constraint logic programs	1997-04-17	Paper
https://portal.mardi4nfdi.de/entity/Q4878773	1996-05-14	Paper
Abstract interpretation of logic programs using magic transformations	1994-09-11	Paper
Efficient dataflow analysis of logic programs	1994-08-21	Paper
https://portal.mardi4nfdi.de/entity/Q4694711	1993-06-29	Paper
A simple code improvement scheme for prolog	1992-08-13	Paper
Denotational and operational semantics for prolog	1988-01-01	Paper
Automatic mode inference for logic programs	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3725518	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3685172	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3216126	1984-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Saumya Debray