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

Out of Sight, Out of Place: Detecting and Assessing Swapped..:

, In: 2020 IEEE 20th International Working Conference on Source Code Analysis and Manipulation (SCAM),
Scott, Roger ; Ranieri, Joseph ; Kot, Lucja. - p. 227-237 , 2020
Link: https://doi.org/10.1109/..
 
?
2

API analytics for curating static analysis rules:

, In: Proceedings of the 11th ACM SIGPLAN International Workshop on Tools for Automatic Program Analysis,
Kashyap, Vineeth ; Scott, Roger ; Ranieri, Joseph.. - p. 1-2 , 2020
Link: https://dl.acm.org/doi/1..
 
?
3

Automated Customized Bug-Benchmark Generation:

, In: 2019 19th International Working Conference on Source Code Analysis and Manipulation (SCAM),
Kashyap, Vineeth ; Ruchti, Jason ; Kot, Lucja... - p. 103-114 , 2019
Link: https://doi.org/10.1109/..
 
?
4

A parallel abstract interpreter for JavaScript:

, In: Proceedings of the 13th Annual IEEE/ACM International Symposium on Code Generation and Optimization,
Dewey, Kyle ; Kashyap, Vineeth ; Hardekopf, Ben - p. 34-45 , 2015
Link: https://dl.acm.org/doi/1..
 
?
5

Security Signature Inference for JavaScript-based Browser A..:

, In: Proceedings of Annual IEEE/ACM International Symposium on Code Generation and Optimization,
Kashyap, Vineeth ; Hardekopf, Ben - p. 219-229 , 2014
Link: https://dl.acm.org/doi/1..
 
?
6

JSAI: a static analysis platform for JavaScript:

, In: Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering,
Kashyap, Vineeth ; Dewey, Kyle ; Kuefner, Ethan A.... - p. 121-132 , 2014
Link: https://dl.acm.org/doi/1..
 
?
7

Sapper: a language for hardware-level security policy enfor..:

Li, Xun ; Kashyap, Vineeth ; Oberg, Jason K....
ACM SIGPLAN Notices.  49 (2014)  4 - p. 97-112 , 2014
Link: https://doi.org/10.1145/..
 
?
8

Sapper : a language for hardware-level security policy e..:

, In: Proceedings of the 19th international conference on Architectural support for programming languages and operating systems,
Li, Xun ; Kashyap, Vineeth ; Oberg, Jason K.... - p. 97-112 , 2014
Link: https://dl.acm.org/doi/1..
 
?
9

Sapper: a language for hardware-level security policy enfor..:

Li, Xun ; Kashyap, Vineeth ; Oberg, Jason K....
ACM SIGARCH Computer Architecture News.  42 (2014)  1 - p. 97-112 , 2014
Link: https://doi.org/10.1145/..
 
?
10

Type refinement for static analysis of JavaScript:

Kashyap, Vineeth ; Sarracino, John ; Wagner, John..
ACM SIGPLAN Notices.  49 (2013)  2 - p. 17-26 , 2013
Link: https://doi.org/10.1145/..
 
?
11

Position paper : Sapper -- a language for provable hardw..:

, In: Proceedings of the Eighth ACM SIGPLAN workshop on Programming languages and analysis for security,
Li, Xun ; Kashyap, Vineeth ; Oberg, Jason K.... - p. 39-44 , 2013
Link: https://dl.acm.org/doi/1..
 
?
12

Type refinement for static analysis of JavaScript:

, In: Proceedings of the 9th symposium on Dynamic languages,
Kashyap, Vineeth ; Sarracino, John ; Wagner, John.. - p. 17-26 , 2013
Link: https://dl.acm.org/doi/1..
 
?
13

Caisson: a hardware description language for secure informa..:

Li, Xun ; Tiwari, Mohit ; Oberg, Jason K....
ACM SIGPLAN Notices.  47 (2012)  6 - p. 109 , 2012
Link: https://doi.org/10.1145/..
 
?
14

Caisson: a hardware description language for secure informa..:

Li, Xun ; Tiwari, Mohit ; Oberg, Jason K....
ACM SIGPLAN Notices.  46 (2011)  6 - p. 109-120 , 2011
Link: https://doi.org/10.1145/..
 
?
15

Caisson : a hardware description language for secure inf..:

, In: Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation,
Li, Xun ; Tiwari, Mohit ; Oberg, Jason K.... - p. 109-120 , 2011
Link: https://dl.acm.org/doi/1..
 
1-15