I agree that this site is using cookies. You can find further informations here.
X
Vasudevan, Nalini
69  results:
Search for persons X
?
1

FlexVec: auto-vectorization for irregular loops:

, In: Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation,
Baghsorkhi, Sara S. ; Vasudevan, Nalini ; Wu, Youfeng - p. 697-710 , 2016
Link: https://dl.acm.org/doi/1..
 
?
2

FlexVec: auto-vectorization for irregular loops:

Baghsorkhi, Sara S. ; Vasudevan, Nalini ; Wu, Youfeng
ACM SIGPLAN Notices.  51 (2016)  6 - p. 697-710 , 2016
Link: https://doi.org/10.1145/..
 
?
3

Simple and fast biased locks:

, In: Proceedings of the 19th international conference on Parallel architectures and compilation techniques,
Vasudevan, Nalini ; Namjoshi, Kedar S. ; Edwards, Stephen A. - p. 65-74 , 2010
Link: https://dl.acm.org/doi/1..
 
?
4

Celling SHIM : compiling deterministic concurrency to a ..:

, In: Proceedings of the 2009 ACM symposium on Applied Computing,
Vasudevan, Nalini ; Edwards, Stephen A. - p. 1626-1631 , 2009
Link: https://dl.acm.org/doi/1..
 
?
5

Compositional deadlock detection for rendezvous communicati..:

, In: Proceedings of the seventh ACM international conference on Embedded software,
Shao, Baolin ; Vasudevan, Nalini ; Edwards, Stephen A. - p. 59-66 , 2009
Link: https://dl.acm.org/doi/1..
 
?
6

Buffer sharing in CSP-like programs:

, In: Proceedings of the 7th IEEE/ACM international conference on Formal Methods and Models for Codesign,
Vasudevan, Nalini ; Edwards, Stephen A. - p. 151-160 , 2009
Link: https://dl.acm.org/doi/1..
 
?
7

Programming shared memory multiprocessors with deterministi..:

, In: Proceedings of the conference on Design, automation and test in Europe,
Edwards, Stephen A. ; Vasudevan, Nalini ; Tardieu, Olivier - p. 1498-1503 , 2008
Link: https://dl.acm.org/doi/1..
 
?
8

Programming Shared Memory Multiprocessors with Deterministi..:

, In: 2008 Design, Automation and Test in Europe,
Edwards, Stephen A. ; Vasudevan, Nalini ; Tardieu, Olivier - p. None , 2008
Link: https://doi.org/10.1109/..
 
?
9

Collision Resistance from Multi-collision Resistance:

Rothblum, Ron D. ; Vasudevan, Prashant Nalini
Journal of Cryptology.  37 (2024)  2 - p. , 2024
Link: https://doi.org/10.1007/..
 
?
10

Strong Batching for Non-interactive Statistical Zero-Knowle..:

, In: Lecture Notes in Computer Science; Advances in Cryptology – EUROCRYPT 2024,
Mu, Changrui ; Nassar, Shafik ; Rothblum, Ron D.. - p. 241-270 , 2024
Link: https://doi.org/10.1007/..
 
?
11

Batch Proofs Are Statistically Hiding:

, In: Proceedings of the 56th Annual ACM Symposium on Theory of Computing,
Bitansky, Nir ; Kamath, Chethan ; Paneth, Omer.. - p. 435-443 , 2024
Link: https://dl.acm.org/doi/1..
 
?
12

Control, Confidentiality, and the Right to be Forgotten:

, In: Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security,
Cohen, Aloni ; Smith, Adam ; Swanberg, Marika. - p. 3358-3372 , 2023
Link: https://dl.acm.org/doi/1..
 
?
13

Deletion inference, reconstruction, and compliance in machi..:

Gao, Ji ; Garg, Sanjam ; Mahmoody, Mohammad.
Proceedings on Privacy Enhancing Technologies.  2022 (2022)  3 - p. 415-436 , 2022
Link: https://doi.org/10.56553..
 
?
14

Collision-Resistance from Multi-Collision-Resistance:

, In: Advances in Cryptology – CRYPTO 2022; Lecture Notes in Computer Science,
Rothblum, Ron D. ; Vasudevan, Prashant Nalini - p. 503-529 , 2022
Link: https://doi.org/10.1007/..
 
?
15

Conditional Disclosure of Secrets: Amplification, Closure, ..:

Applebaum, Benny ; Arkis, Barak ; Raykov, Pavel.
SIAM Journal on Computing.  50 (2021)  1 - p. 32-67 , 2021
Link: https://doi.org/10.1137/..
 
1-15