Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Dasgupta, Sandeep
132  Ergebnisse:
Personensuche X
?
1

Scalable validation of binary lifters:

, In: Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation,
Dasgupta, Sandeep ; Dinesh, Sushant ; Venkatesh, Deepan.. - p. 655-671 , 2020
Link: https://dl.acm.org/doi/1..
 
?
2

A complete formal semantics of x86-64 user-level instructio..:

, In: Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation,
Dasgupta, Sandeep ; Park, Daejun ; Kasampalis, Theodoros.. - p. 1133-1148 , 2019
Link: https://dl.acm.org/doi/1..
 
?
3

Precise shape analysis using field sensitivity:

Dasgupta, Sandeep ; Karkare, Amey ; Reddy, Vinay Kr
Innovations in Systems and Software Engineering.  9 (2013)  2 - p. 79-93 , 2013
Link: https://doi.org/10.1007/..
 
?
4

Precise shape analysis using field sensitivity:

, In: Proceedings of the 27th Annual ACM Symposium on Applied Computing,
Dasgupta, Sandeep ; Karkare, Amey - p. 1300-1307 , 2012
Link: https://dl.acm.org/doi/1..
 
?
5

MECHANISM TO QUERY USAGE FROM USER PLANE IN OPTIMISED AND R..:

Yadav, Mukesh ; Mantha, Ravi Shankar ; Dasgupta, Sandeep..
https://www.tdcommons.org/dpubs_series/4712.  , 2021
Link: https://www.tdcommons.or..
 
?
6

OPTIMIZATION OF USER PLANE CONNECTION RESTORATION:

Mommidi, Sateesh Reddy ; Mantha, Ravi Shankar ; Dasgupta, Sandeep
https://www.tdcommons.org/dpubs_series/3619.  , 2020
Link: https://www.tdcommons.or..
 
?
7

Partial Redundancy Elimination using Lazy Code Motion:

Dasgupta, Sandeep ; Gangwani, Tanmay
http://arxiv.org/abs/1905.08178.  , 2019
Link: http://arxiv.org/abs/190..
 
?
8

OPTIMIZING GUARANTEED FLOW BIT RATE / GUARANTEED BIT RATE R..:

Reddy, Raghunadha ; Dasgupta, Sandeep ; Kaki, Somaraju.
https://www.tdcommons.org/dpubs_series/2456.  , 2019
Link: https://www.tdcommons.or..
 
?
9

sdasgup3/PLDI20-Artifact-Evaluation: Artifact for "Scalable..:

Sandeep Dasgupta ; Sushant Dinesh
https://github.com/sdasgup3/PLDI20-Artifact-Evaluation/tree/v1.0.  , 2020
Link: https://zenodo.org/recor..
 
?
10

sdasgup3/PLDI20-Artifact-Evaluation: Artifact for "Scalable..:

Sandeep Dasgupta ; Sushant Dinesh
https://github.com/sdasgup3/PLDI20-Artifact-Evaluation/tree/v1.1.  , 2020
Link: https://zenodo.org/recor..
 
?
11

sdasgup3/PLDI19-ArtifactEvaluation:

Sandeep Dasgupta ; Daejun Park
https://github.com/sdasgup3/PLDI19-ArtifactEvaluation/tree/v1.1.  , 2020
Link: https://zenodo.org/recor..
 
?
12

Scalable Validation of Binary Lifters:

Sandeep Dasgupta
doi:10.5281/zenodo.3750191.  , 2020
Link: https://zenodo.org/recor..
 
?
13

sdasgup3/partial-redundancy-elimination: Added License:

Sandeep Dasgupta ; tgangwani
https://github.com/sdasgup3/partial-redundancy-elimination/tree/v1.1.  , 2019
Link: https://zenodo.org/recor..
 
?
14

sdasgup3/PLDI19-ArtifactEvaluation: X86-64-semantics:

Sandeep Dasgupta ; Daejun Park
https://github.com/sdasgup3/PLDI19-ArtifactEvaluation/tree/v1.0.  , 2019
Link: https://zenodo.org/recor..
 
?
15

sdasgup3/partial-redundancy-elimination: partial-redundancy..:

Sandeep Dasgupta ; tgangwani
https://github.com/sdasgup3/partial-redundancy-elimination/tree/v1.0.  , 2019
Link: https://zenodo.org/recor..
 
1-15