E-LIB Suche - Ergebnisse für: Yi, Kwangkeun

1

Optimizing Homomorphic Evaluation Circuits by Program Synth..:

Lee, Dongkwon ; Lee, Woosuk ; Oh, Hakjoo.
ACM Transactions on Programming Languages and Systems. 45 (2023) 3 - p. 1-37 , 2023

Link: https://doi.org/10.1145/..

2

A Static Analyzer for Detecting Tensor Shape Errors in Deep..:

, In: 2022 IEEE/ACM 44th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion),

Jhoo, Ho Young ; Kim, Sehoon ; Song, Woosung... - p. 337-338 , 2022

Link: https://doi.org/10.1145/..

3

A static analyzer for detecting tensor shape errors in deep..:

, In: Proceedings of the ACM/IEEE 44th International Conference on Software Engineering: Companion Proceedings,

Jhoo, Ho Young ; Kim, Sehoon ; Song, Woosung... - p. 337-338 , 2022

Link: https://dl.acm.org/doi/1..

4

Optimizing homomorphic evaluation circuits by program synth..:

, In: Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation,

Lee, DongKwon ; Lee, Woosuk ; Oh, Hakjoo. - p. 503-518 , 2020

Link: https://dl.acm.org/doi/1..

5

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

6

Crellvm: verified credible compilation for LLVM:

, In: Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation,

Kang, Jeehoon ; Kim, Yoonseung ; Song, Youngju... - p. 631-645 , 2018

Link: https://dl.acm.org/doi/1..

7

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/..

8

Crellvm: verified credible compilation for LLVM:

Kang, Jeehoon ; Kim, Yoonseung ; Song, Youngju...
ACM SIGPLAN Notices. 53 (2018) 4 - p. 631-645 , 2018

Link: https://doi.org/10.1145/..

9

Machine-learning-guided selectively unsound static analysis:

, In: Proceedings of the 39th International Conference on Software Engineering,

Heo, Kihong ; Oh, Hakjoo ; Yi, Kwangkeun - p. 519-529 , 2017

Link: https://dl.acm.org/doi/1..

10

Sound Non-Statistical Clustering of Static Analysis Alarms:

Lee, Woosuk ; Lee, Wonchan ; Kang, Dongok...
ACM Transactions on Programming Languages and Systems (TOPLAS). 39 (2017) 4 - p. 1-35 , 2017

Link: https://dl.acm.org/doi/1..

11

Selective conjunction of context‐sensitivity and octagon do..:

Heo, Kihong ; Oh, Hakjoo ; Yi, Kwangkeun
Software: Practice and Experience. 47 (2017) 11 - p. 1677-1705 , 2017

Link: https://doi.org/10.1002/..

12

Sound Non-Statistical Clustering of Static Analysis Alarms:

Lee, Woosuk ; Lee, Wonchan ; Kang, Dongok...
ACM Transactions on Programming Languages and Systems. 39 (2017) 4 - p. 1-35 , 2017

Link: https://doi.org/10.1145/..

13

Widening with thresholds via binary search:

Kim, Sol ; Heo, Kihong ; Oh, Hakjoo.
Software: Practice and Experience. 46 (2015) 10 - p. 1317-1328 , 2015

Link: https://doi.org/10.1002/..

14

Learning a strategy for adapting a program analysis via bay..:

, In: Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications,

Oh, Hakjoo ; Yang, Hongseok ; Yi, Kwangkeun - p. 572-588 , 2015

Link: https://dl.acm.org/doi/1..

15

Selective X-Sensitive Analysis Guided by Impact Pre-Analysi:

Oh, Hakjoo ; Lee, Wonchan ; Heo, Kihong..
ACM Transactions on Programming Languages and Systems (TOPLAS). 38 (2015) 2 - p. 1-45 , 2015

Link: https://dl.acm.org/doi/1..