I agree that this site is using cookies. You can find further informations here.
X
Lee, Juneyoung
15  results:
Bookchapter (Online) X
Search for persons X
?
1

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

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

SMT-Based Translation Validation for Machine Learning Compi..:

, In: Computer Aided Verification; Lecture Notes in Computer Science,
Bang, Seongwon ; Nam, Seunghyeon ; Chun, Inwhan.. - p. 386-407 , 2022
Link: https://doi.org/10.1007/..
 
?
4

An SMT Encoding of LLVM's Memory Model for Bounded Translat..:

, In: Computer Aided Verification; Lecture Notes in Computer Science,
Lee, Juneyoung ; Kim, Dongjoo ; Hur, Chung-Kil. - p. 752-776 , 2021
Link: https://doi.org/10.1007/..
 
?
5

Alive2: bounded translation validation for LLVM:

, In: Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation,
Lopes, Nuno P. ; Lee, Juneyoung ; Hur, Chung-Kil.. - p. 65-79 , 2021
Link: https://dl.acm.org/doi/1..
 
?
6

Design of Bio-Impedance Electrode Topologies for Specific D..:

, In: 2020 42nd Annual International Conference of the IEEE Engineering in Medicine & Biology Society (EMBC),
Park, Moonseong ; Eom, Kunsun ; Jung, Myoung H.... - p. 3961-3964 , 2020
Link: https://doi.org/10.1109/..
 
?
7

AliveInLean: A Verified LLVM Peephole Optimization Verifier:

, In: Computer Aided Verification; Lecture Notes in Computer Science,
Lee, Juneyoung ; Hur, Chung-Kil ; Lopes, Nuno P. - p. 445-455 , 2019
Link: https://doi.org/10.1007/..
 
?
8

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

Taming undefined behavior in LLVM:

, In: Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation,
Lee, Juneyoung ; Kim, Yoonseung ; Song, Youngju... - p. 633-647 , 2017
Link: https://dl.acm.org/doi/1..
 
?
10

DUALSIM : Parallel Subgraph Enumeration in a Massive Gra..:

, In: Proceedings of the 2016 International Conference on Management of Data,
Kim, Hyeonji ; Lee, Juneyoung ; Bhowmick, Sourav S.... - p. 1231-1245 , 2016
Link: https://dl.acm.org/doi/1..
 
?
11

Crosstalk Mitigated On-chip Interconnect Design for High-sp..:

, In: 2023 IEEE 32nd Conference on Electrical Performance of Electronic Packaging and Systems (EPEPS),
Kim, Juneyoung ; Choi, Seonguk ; Kim, Seongguk... - p. 1-3 , 2023
Link: https://doi.org/10.1109/..
 
?
12

Adaptive Gramian-Angular-Field Segmentation Integration Bas..:

, In: 2023 IEEE 32nd Conference on Electrical Performance of Electronic Packaging and Systems (EPEPS),
Lee, Junghyun ; Choi, Seonguk ; Son, Kiyoung... - p. 1-3 , 2023
Link: https://doi.org/10.1109/..
 
?
13

Infinite Virtual Space Exploration Using Space Tiling and P..:

, In: 2022 IEEE International Symposium on Mixed and Augmented Reality (ISMAR),
Kwon, Soon-Uk ; Jeon, Sang-Bin ; Hwang, June-Young... - p. 758-767 , 2022
Link: https://doi.org/10.1109/..
 
?
14

Design and Analysis of Hierarchical Power Distribution Netw..:

, In: 2022 IEEE Electrical Design of Advanced Packaging and Systems (EDAPS),
Kim, Hyunwoo ; Kim, Haeyeon ; Park, Joonsang... - p. 1-3 , 2022
Link: https://doi.org/10.1109/..
 
?
15

Recommendation for Effective Standardized Exam Preparation:

, In: LAK21: 11th International Learning Analytics and Knowledge Conference,
Loh, Hyunbin ; Shin, Dongmin ; Lee, Seewoo... - p. 397-404 , 2021
Link: https://dl.acm.org/doi/1..
 
1-15