Browse "School of Computing(전산학부)" by Author Raghothaman, Mukund
Showing results 1 to 5 of 5
| Boosting static analysis accuracy with instrumented test executions Chen, Tianyi; Heo, Kihong; Raghothaman, Mukund, 29th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/FSE 2021, pp.1154 - 1165, Association for Computing Machinery, Inc, 2021-08-23 |
| 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 |
| Learning Probabilistic Models for Static Analysis Alarms Kim, Hyunsu; Raghothaman, Mukund; Heo, Kihong, The 44th ACM/IEEE International Conference on Software Engineering (ICSE 2022), pp.1282 - 1293, ACM, IEEE, 2022-05 |
| 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,745 2020 - 2024
- 5,391 2010 - 2019
- 4,587 2000 - 2009
- 2,927 1990 - 1999
- 839 1980 - 1989