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

Inferring Natural Preconditions via Program Transformation:

, In: Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering,
Dinella, Elizabeth ; Lahiri, Shuvendu K. ; Naik, Mayur - p. 657-658 , 2024
Link: https://dl.acm.org/doi/1..
 
?
2

TorchQL: A Programming Framework for Integrity Constraints ..:

Naik, Aaditya ; Stein, Adam ; Wu, Yinjun..
Proceedings of the ACM on Programming Languages.  8 (2024)  OOPSLA1 - p. 833-863 , 2024
Link: https://doi.org/10.1145/..
 
?
3

Relational Query Synthesis ⋈ Decision Tree Learning:

Naik, Aaditya ; Thakkar, Aalok ; Stein, Adam..
Proceedings of the VLDB Endowment.  17 (2023)  2 - p. 250-263 , 2023
Link: https://doi.org/10.14778..
 
?
4

Exploring the Perceptions of 3D Printing Through the Techno..:

, In: Lecture Notes in Civil Engineering; Proceedings of SECON'23,
Naik, Mayur ; Sheshadri, Rahul ; Varma, Tejesh... - p. 627-635 , 2023
Link: https://doi.org/10.1007/..
 
?
5

Mobius: Synthesizing Relational Queries with Recursive and ..:

Thakkar, Aalok ; Sands, Nathaniel ; Petrou, George...
Proceedings of the ACM on Programming Languages.  7 (2023)  OOPSLA2 - p. 1394-1417 , 2023
Link: https://doi.org/10.1145/..
 
?
6

Synthesizing Formal Network Specifications From Input-Outpu..:

Chen, Haoxian ; Wu, Chenyuan ; Zhao, Andrew...
IEEE/ACM Transactions on Networking.  31 (2023)  3 - p. 994-1009 , 2023
Link: https://doi.org/10.1109/..
 
?
7

DeepMerge: Learning to Merge Programs:

Dinella, Elizabeth ; Mytkowicz, Todd ; Svyatkovskiy, Alexey...
IEEE Transactions on Software Engineering.  49 (2023)  4 - p. 1599-1614 , 2023
Link: https://doi.org/10.1109/..
 
?
8

PacJam : Securing Dependencies Continuously via Package-..:

, In: Proceedings of the 2022 ACM on Asia Conference on Computer and Communications Security,
Pashakhanloo, Pardis ; Machiry, Aravind ; Choi, Hyonyoung... - p. 903-916 , 2022
Link: https://dl.acm.org/doi/1..
 
?
9

Sporq: An Interactive Environment for Exploring Code using ..:

, In: The 34th Annual ACM Symposium on User Interface Software and Technology,
Naik, Aaditya ; Mendelson, Jonathan ; Sands, Nathaniel... - p. 84-99 , 2021
Link: https://dl.acm.org/doi/1..
 
?
10

ARBITRAR: User-Guided API Misuse Detection:

, In: 2021 IEEE Symposium on Security and Privacy (SP),
Li, Ziyang ; Machiry, Aravind ; Chen, Binghong... - p. 1400-1415 , 2021
Link: https://doi.org/10.1109/..
 
?
11

Example-guided synthesis of relational queries:

, In: Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation,
Thakkar, Aalok ; Naik, Aaditya ; Sands, Nathaniel... - p. 1110-1125 , 2021
Link: https://dl.acm.org/doi/1..
 
?
12

Proceedings of the 4th ACM SIGPLAN International Workshop o..:

Sen, Koushik ; Naik, Mayur , 2020
Link: https://dl.acm.org/doi/1..
 
?
13

Code2Inv: A Deep Learning Framework for Program Verificatio:

, In: Computer Aided Verification; Lecture Notes in Computer Science,
Si, Xujie ; Naik, Aaditya ; Dai, Hanjun.. - p. 151-164 , 2020
Link: https://doi.org/10.1007/..
 
?
14

Continuously reasoning about programs using differential Ba..:

, In: Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation,
Heo, Kihong ; Raghothaman, Mukund ; Si, Xujie. - p. 561-575 , 2019
Link: https://dl.acm.org/doi/1..
 
?
15

Proceedings of the 15th ACM SIGPLAN/SIGOPS International Co..:

Sartor, Jennifer ; Naik, Mayur ; Rossbach, Chris , 2019
Link: https://dl.acm.org/doi/1..
 
1-15