발행물

논문
특허
저서
컨퍼런스

전체 논문

95

11

Syntax-guided Synthesis of Datalog Programs
Si, Xujie, Lee, Woosuk, Zhang, Richard, Albarghouthi, Aws, Koutris, Paraschos, Naik, Mayur
Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018

12

Accelerating Search-based Program Synthesis Using Learned Probabilistic Models
Lee, Woosuk, Heo, Kihong, Alur, Rajeev, Naik, Mayur
Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

13

Beyond Deductive Methods in Program Analysis
Kulkarni, Sulekha, Zhang, Richard, Si, Ximing, Heo, Kihong, Lee, Woosuk, Naik, Mayur
2018

14

Sound Non-Statistical Clustering of Static Analysis Alarms
Lee, Woosuk, Lee, Wonchan, Kang, Dongok, Heo, Kihong, Oh, Hakjoo, Yi, Kwangkeun
ACM Trans. Program. Lang. Syst., 2017

15

Static Analysis with Set-Closure in Secrecy
Lee, Woosuk, Hong, Hyunsook, Yi, Kwangkeun, Cheon, Jung Hee
22nd International Static Analysis Symposium, 2015

16

A Progress Bar for Static Analyzers
Lee, Woosuk, Oh, Hakjoo, Yi, Kwangkeun
21st International Static Analysis Symposium, 2014

17

Global Sparse Analysis Framework
Oh, Hakjoo, Heo, Kihong, Lee, Wonchan, Lee, Woosuk, Park, Daejun, Kang, Jeehoon, Yi, Kwangkeun
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2014

18

Sound Non-statistical Clustering of Static Analysis Alarms
Lee, Woosuk, Lee, Wonchan, Yi, Kwangkeun
Verification, Model Checking, and Abstract Interpretation, 2012

19

Design and Implementation of Sparse Global Analyses for C-like Languages
Oh, Hakjoo, Heo, Kihong, Lee, Wonchan, Lee, Woosuk, Yi, Kwangkeun
Proceedings of the 33rd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2012

20

Syntax-guided synthesis. FMCAD’13
Alur, Bodík, Juniwal, Martin, Raghothaman, Seshia, Singh, Solar-Lezama, Torlak, Udupa