DSpace at KOASAS
Browsing DSpace

Browse "CS-Conference Papers(학술회의논문)" by Author Naik, Mayur

A to Z

All 0-9

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

or enter first few letters:

Showing results 1 to 6 of 6

1
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

2
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

3
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

4
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

5
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

6
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

rss_1.0 rss_2.0 atom_1.0