E-LIB Suche - Ergebnisse für: Tetali, Sai Deep

1

Privacy-Preserving Gaze Data Streaming in Immersive Interac..:

Wilson, Ethan ; Ibragimov, Azim ; Proulx, Michael J....
IEEE Transactions on Visualization and Computer Graphics. 30 (2024) 5 - p. 2257-2268 , 2024

Link: https://doi.org/10.1109/..

2

The Android malware handbook: manual analysis and ML-based ..:

Han, Qian ; Tetali, Sai Deep ; Mandujano, Salvador... , 2024

Link: https://learning.oreilly..

3

Adding data provenance support to Apache Spark:

Interlandi, Matteo ; Ekmekji, Ari ; Shah, Kshitij...
The VLDB Journal. 27 (2017) 5 - p. 595-615 , 2017

Link: https://doi.org/10.1007/..

4

Optimizing Interactive Development of Data-Intensive Applic..:

, In: Proceedings of the Seventh ACM Symposium on Cloud Computing,

Interlandi, Matteo ; Tetali, Sai Deep ; Gulzar, Muhammad Ali... - p. 510-522 , 2016

Link: https://dl.acm.org/doi/1..

5

BigDebug : debugging primitives for interactive big data..:

, In: Proceedings of the 38th International Conference on Software Engineering,

Gulzar, Muhammad Ali ; Interlandi, Matteo ; Yoo, Seunghyun... - p. 784-795 , 2016

Link: https://dl.acm.org/doi/1..

6

Titian : data provenance support in Spark:

Interlandi, Matteo ; Shah, Kshitij ; Tetali, Sai Deep...
Proceedings of the VLDB Endowment. 9 (2015) 3 - p. 216-227 , 2015

Link: https://dl.acm.org/doi/1..

7

Titian: data provenance support in Spark:

Interlandi, Matteo ; Shah, Kshitij ; Tetali, Sai Deep...
Proceedings of the VLDB Endowment. 9 (2015) 3 - p. 216-227 , 2015

Link: https://doi.org/10.14778..

8

Kuai : A Model Checker for Software-defined Networks:

, In: Proceedings of the 14th Conference on Formal Methods in Computer-Aided Design,

Majumdar, Rupak ; Tetali, Sai Deep ; Wang, Zilong - p. 163-170 , 2014

Link: https://dl.acm.org/doi/1..

9

MrCrypt : static analysis for secure cloud computations:

, In: Proceedings of the 2013 ACM SIGPLAN international conference on Object oriented programming systems languages & applications,

Tetali, Sai Deep ; Lesani, Mohsen ; Majumdar, Rupak. - p. 271-286 , 2013

Link: https://dl.acm.org/doi/1..

10

MrCrypt: static analysis for secure cloud computations:

Tetali, Sai Deep ; Lesani, Mohsen ; Majumdar, Rupak.
ACM SIGPLAN Notices. 48 (2013) 10 - p. 271-286 , 2013

Link: https://doi.org/10.1145/..

11

Compositional may-must program analysis: unleashing the pow..:

Godefroid, Patrice ; Nori, Aditya V. ; Rajamani, Sriram K..
ACM SIGPLAN Notices. 45 (2010) 1 - p. 43-56 , 2010

Link: https://doi.org/10.1145/..

12

Compositional may-must program analysis : unleashing the..:

, In: Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages,

Godefroid, Patrice ; Nori, Aditya V. ; Rajamani, Sriram K.. - p. 43-56 , 2010

Link: https://dl.acm.org/doi/1..

13

Leveraging app relationships and distribution patterns to i..:

Tramer, Florian ; Yu, Mo ; Tetali, Sai Deep
https://www.tdcommons.org/dpubs_series/1949. , 2019

Link: https://www.tdcommons.or..

14

Adding data provenance support to Apache Spark:

Interlandi, Matteo ; Ekmekji, Ari ; Shah, Kshitij...
qt1tx1825j. , 2018

Link: https://escholarship.org..

15

Optimizing Interactive Development of Data-Intensive Applic..:

Interlandi, Matteo ; Tetali, Sai Deep ; Gulzar, Muhammad Ali...
qt539131fk. , 2016

Link: https://escholarship.org..