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

Translation Validation for JIT Compiler in the V8 JavaScrip..:

, In: 2024 IEEE/ACM 46th International Conference on Software Engineering (ICSE),
Kwon, Seungwan ; Kwon, Jaeseong ; Kang, Wooseok.. - p. 2195-2206 , 2024
Link: https://doi.org/10.1145/..
 
?
2

Translation Validation for JIT Compiler in the V8 JavaScrip..:

, In: Proceedings of the IEEE/ACM 46th International Conference on Software Engineering,
Kwon, Seungwan ; Kwon, Jaeseong ; Kang, Wooseok.. - p. 1-12 , 2024
Link: https://dl.acm.org/doi/1..
 
?
3

Learning probabilistic models for static analysis alarms:

, In: Proceedings of the 44th International Conference on Software Engineering,
Kim, Hyunsu ; Raghothaman, Mukund ; Heo, Kihong - p. 1282-1293 , 2022
Link: https://dl.acm.org/doi/1..
 
?
4

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..
 
?
5

Learning Probabilistic Models for Static Analysis Alarms:

, In: 2022 IEEE/ACM 44th International Conference on Software Engineering (ICSE),
Kim, Hyunsu ; Raghothaman, Mukund ; Heo, Kihong - p. 1282-1293 , 2022
Link: https://doi.org/10.1145/..
 
?
6

TRACER : Signature-based Static Analysis for Detecting R..:

, In: Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security,
Kang, Wooseok ; Son, Byoungho ; Heo, Kihong - p. 1695-1708 , 2022
Link: https://dl.acm.org/doi/1..
 
?
7

Boosting static analysis accuracy with instrumented test ex..:

, In: Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering,
Chen, Tianyi ; Heo, Kihong ; Raghothaman, Mukund - p. 1154-1165 , 2021
Link: https://dl.acm.org/doi/1..
 
?
8

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..
 
?
9

Resource-aware program analysis via online abstraction coar..:

, In: Proceedings of the 41st International Conference on Software Engineering,
Heo, Kihong ; Oh, Hakjoo ; Yang, Hongseok - p. 94-104 , 2019
Link: https://dl.acm.org/doi/1..
 
?
10

Adaptive Static Analysis via Learning with Bayesian Optimiz..:

Heo, Kihong ; Oh, Hakjoo ; Yang, Hongseok.
ACM Transactions on Programming Languages and Systems.  40 (2018)  4 - p. 1-37 , 2018
Link: https://doi.org/10.1145/..
 
?
11

Adaptive Static Analysis via Learning with Bayesian Optimiz..:

Heo, Kihong ; Oh, Hakjoo ; Yang, Hongseok.
ACM Transactions on Programming Languages and Systems (TOPLAS).  40 (2018)  4 - p. 1-37 , 2018
Link: https://dl.acm.org/doi/1..
 
?
12

Accelerating search-based program synthesis using learned p..:

Lee, Woosuk ; Heo, Kihong ; Alur, Rajeev.
ACM SIGPLAN Notices.  53 (2018)  4 - p. 436-449 , 2018
Link: https://doi.org/10.1145/..
 
?
13

Effective Program Debloating via Reinforcement Learning:

, In: Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security,
Heo, Kihong ; Lee, Woosuk ; Pashakhanloo, Pardis. - p. 380-394 , 2018
Link: https://dl.acm.org/doi/1..
 
?
14

User-guided program reasoning using Bayesian inference:

Raghothaman, Mukund ; Kulkarni, Sulekha ; Heo, Kihong.
ACM SIGPLAN Notices.  53 (2018)  4 - p. 722-735 , 2018
Link: https://doi.org/10.1145/..
 
?
15

User-guided program reasoning using Bayesian inference:

, In: Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation,
Raghothaman, Mukund ; Kulkarni, Sulekha ; Heo, Kihong. - p. 722-735 , 2018
Link: https://dl.acm.org/doi/1..
 
1-15