Browse "School of Computing(전산학부)" by Author Naik, Mayur
Showing results 1 to 10 of 10
| Abstractions from Tests Naik, Mayur; Yang, Hongseok; Castelnuovo, Ghila; Sagiv, Mooly, ACM SIGPLAN NOTICES, v.47, no.1, pp.373 - 385, 2012-01 |
| Accelerating search-based program synthesis using learned probabilistic models Lee, Woosuk; Heo, Kihong; Alur, Rajeev; Naik, Mayur, 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2018, pp.436 - 449, Association for Computing Machinery, 2018-06-18 |
| Continuously reasoning about programs using differential Bayesian inference Heo, Kihong; Raghothaman, Mukund; Si, Xujie; Naik, Mayur, 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2019, pp.561 - 575, Association for Computing Machinery, 2019-06-22 |
| Effective program debloating via reinforcement learning Heo, Kihong; Lee, Woosuk; Pashakhanloo, Pardis; Naik, Mayur, 25th ACM Conference on Computer and Communications Security, CCS 2018, pp.380 - 394, Association for Computing Machinery, 2018-10-15 |
| Finding Optimum Abstractions in Parametric Dataflow Analysis Zhang, Xin; Naik, Mayur; Yang, Hongseok, ACM SIGPLAN NOTICES, v.48, no.6, pp.365 - 376, 2013-06 |
| Hybrid Top-down and Bottom-up Interprocedural Analysis Zhang, Xin; Mangal, Ravi; Naik, Mayur; Yang, Hongseok, ACM SIGPLAN NOTICES, v.49, no.6, pp.249 - 258, 2014-06 |
| On Abstraction Refinement for Program Analyses in Datalog Zhang, Xin; Mangal, Ravi; Grigore, Radu; Naik, Mayur; Yang, Hongseok, ACM SIGPLAN NOTICES, v.49, no.6, pp.239 - 248, 2014-06 |
| PacJam: Securing Dependencies Continuously via Package-Oriented Debloating Pashakhanloo, Pardis; Machiry, Aravind; Choi, Hyonyoung; Canino, Anthony; Heo, Kihong; Lee, Insup; Naik, Mayur, 17th ACM ASIA Conference on Computer and Communications Security 2022, ASIA CCS 2022, pp.903 - 916, Association for Computing Machinery, Inc, 2022-05-30 |
| Synthesizing datalog programs using numerical relaxation Si, Xujie; Raghothaman, Mukund; Heo, Kihong; Naik, Mayur, 28th International Joint Conference on Artificial Intelligence, IJCAI 2019, pp.6117 - 6124, International Joint Conferences on Artificial Intelligence, 2019-08-10 |
| User-guided program reasoning using Bayesian inference Raghothaman, Mukund; Kulkarni, Sulekha; Heo, Kihong; Naik, Mayur, 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2018, pp.722 - 735, Association for Computing Machinery, 2018-06-18 |
Discover
Open Access
- 187 OA Article
Date issued
- 1,775 2020 - 2024
- 5,388 2010 - 2019
- 4,587 2000 - 2009
- 2,927 1990 - 1999
- 839 1980 - 1989