E-LIB Suche - Ergebnisse für: Cho, Minki

1

Long-time behavior of logarithmic spiral vortex sheets with..:

Cho, Minki
http://arxiv.org/abs/2312.02072. , 2023

Link: http://arxiv.org/abs/231..

2

Sequential Reasoning for Optimizing Compilers Under Weak Me..:

Cho, Minki ; Lee, Sung-Hwan ; Lee, Dongjae..
doi:10.5281/zenodo.6327304. , 2022

Link: https://zenodo.org/recor..

3

Sequential Reasoning for Optimizing Compilers Under Weak Me..:

Cho, Minki ; Lee, Sung-Hwan ; Lee, Dongjae..
doi:10.5281/zenodo.6327304. , 2022

Link: https://zenodo.org/recor..

4

Modular data-race-freedom guarantees in the promising seman..:

Cho, Minki ; Lee, Sung-Hwan ; Hur, Chung Kil.
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), pp.867-882. , 2022

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

5

Sequential Reasoning for Optimizing Compilers Under Weak Me..:

Cho, Minki ; Lee, Sung-Hwan ; Lee, Dongjae..
doi:10.5281/zenodo.6327304. , 2022

Link: https://zenodo.org/recor..

6

Sequential Reasoning for Optimizing Compilers Under Weak Me..:

Cho, Minki ; Lee, Sung-Hwan ; Lee, Dongjae..
doi:10.5281/zenodo.6327304. , 2022

Link: https://zenodo.org/recor..

7

Sequential Reasoning for Optimizing Compilers Under Weak Me..:

Cho, Minki ; Lee, Sung-Hwan ; Lee, Dongjae..
doi:10.5281/zenodo.6327304. , 2022

Link: https://zenodo.org/recor..

8

Conditional Contextual Refinement (CCR):

Song, Youngju ; Cho, Minki ; Lee, Dongjae.
http://arxiv.org/abs/2203.07431. , 2022

Link: http://arxiv.org/abs/220..

9

Promising 2.0: Global optimizations in relaxed memory concu..:

Lee, Sung-Hwan ; Cho, Minki ; Podkopaev, Anton...
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), pp.362-376. , 2021

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

10

Abstraction Logic: The Marriage of Contextual Refinement an..:

Song, Youngju ; Cho, Minki ; Lee, Dongjae.
http://arxiv.org/abs/2109.02991. , 2021

Link: http://arxiv.org/abs/210..

11

CompCertM: CompCert with C-assembly linking and lightweight..:

Song, Youngju ; Cho, Minki ; Kim, Dongjoo...
Proceedings of the ACM on Programming Languages, Vol.4 No.POPL, p. 23. , 2020

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

12

Blockwise Based Detection of Local Defects:

Xiang, Xiaoyu ; Jessome, Renee ; Maggard, Eric...
http://arxiv.org/abs/1906.02374. , 2019

Link: http://arxiv.org/abs/190..

13

Stuttering for Free (OOPSLA 2023 Artifact):

Minki Cho ; Youngju Song ; Dongjae Lee..
doi:10.1145/3622857.. , 2023

Link: https://zenodo.org/recor..

14

Effect of curvature radius and angle on aerodynamic charact..:

Thi Thanh Giang Le ; Jihoon Kim ; Gi-Deuk Park...
https://www.tandfonline.com/doi/10.1080/19942060.2023.2208633. , 2023

Link: https://doi.org/10.1080/..

15

alxest/FreeSim: AE submission version:

Minki Cho ; Youngju Song ; Dongjae Lee..
https://github.com/alxest/FreeSim/tree/AE. , 2023

Link: https://zenodo.org/recor..