E-LIB Suche - Ergebnisse für: Kim, Yoonseung

1

AdoB: Bridging Benign and Byzantine Consensus with Atomic D..:

Honoré, Wolf ; Qiu, Longfei ; Kim, Yoonseung...
Proceedings of the ACM on Programming Languages. 8 (2024) OOPSLA1 - p. 419-448 , 2024

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

2

LiDO: Linearizable Byzantine Distributed Objects with Refin..:

Qiu, Longfei ; Kim, Yoonseung ; Shin, Ji-Yong...
Proceedings of the ACM on Programming Languages. 8 (2024) PLDI - p. 1140-1164 , 2024

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

3

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

4

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

5

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

6

Taming undefined behavior in LLVM:

Lee, Juneyoung ; Kim, Yoonseung ; Song, Youngju...
ACM SIGPLAN Notices. 52 (2017) 6 - p. 633-647 , 2017

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

7

Lightweight verification of separate compilation:

, In: Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages,

Kang, Jeehoon ; Kim, Yoonseung ; Hur, Chung-Kil.. - p. 178-190 , 2016

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

8

Lightweight verification of separate compilation:

Kang, Jeehoon ; Kim, Yoonseung ; Hur, Chung-Kil..
ACM SIGPLAN Notices. 51 (2016) 1 - p. 178-190 , 2016

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

9

Crellvm: Verified credible compilation for LLVM:

Kang, Jeehoon ; Kim, Yoonseung ; Song, Youngju...
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), pp.631-645. , 2021

Link: https://hdl.handle.net/1..

10

Saikosaponin D Inhibits Lung Metastasis of Colorectal Cance..:

Lee, Yoon-Seung ; Mun, Jeong-Geon ; Park, Shin-Young...
Nutrients. 16 (2024) 12 - p. 1844 , 2024

Link: https://doi.org/10.3390/..

11

KO, Yeongyeol: Limitless / Prelude

Naxos Music Library Jazz

Woo, Hyowon ; Yeol, Ko Yeong ; Kim, Hee Yeon... , 2021

Link: https://suub.naxosmusicl..

12

Analysis of a phosphoric acid fuel cell-based multi-energy ..:

Park, Chungi ; Jung, Yoonju ; Lim, Kisung...
Applied Thermal Engineering. 189 (2021) - p. 116715 , 2021

Link: https://doi.org/10.1016/..

13

Safety of Gunghatang Tablet after Single Oral Administratio..:

An, Sung-Hu ; Shin, Hee-Ra ; Park, Kyungtae...
Journal of Korean Medicine Rehabilitation. 29 (2019) 4 - p. 101-108 , 2019

Link: https://doi.org/10.18325..

14

Enhancement of resistive switching under confined current p..:

Lee, Keundong ; Hwang, Inrok ; Lee, Sangik...
Scientific Reports. 5 (2015) 1 - p. , 2015

Link: https://doi.org/10.1038/..

15

Ultra-thin resistive switching oxide layers self-assembled ..:

Lee, Sangik ; Hwang, Inrok ; Oh, Sungtaek...
Scientific Reports. 4 (2014) 1 - p. , 2014

Link: https://doi.org/10.1038/..