E-LIB Suche - Ergebnisse für: Youn, Dongjun

1

Bringing the WebAssembly Standard up to Speed with SpecTec:

Youn, Dongjun ; Shin, Wonho ; Lee, Jaehyun...
Proceedings of the ACM on Programming Languages. 8 (2024) PLDI - p. 1559-1584 , 2024

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

2

Declarative static analysis for multilingual programs using..:

Youn, Dongjun ; Lee, Sungho ; Ryu, Sukyoung
Software: Practice and Experience. 53 (2023) 7 - p. 1472-1495 , 2023

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

3

JEST : N+1-version differential testing of both Javascri..:

, In: Proceedings of the 43rd International Conference on Software Engineering: Companion Proceedings,

Park, Jihyeok ; An, Seungmin ; Youn, Dongjun.. - p. 156-157 , 2021

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

4

Accelerating JavaScript static analysis via dynamic shortcu..:

, In: Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering,

Park, Joonyoung ; Park, Jihyeok ; Youn, Dongjun. - p. 1129-1140 , 2021

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

5

JEST : N+1-version Differential Testing of Both JavaScri..:

, In: Proceedings of the 43rd International Conference on Software Engineering,

Park, Jihyeok ; An, Seungmin ; Youn, Dongjun.. - p. 13-24 , 2021

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

6

Wasm SpecTec: Engineering a Formal Language Standard:

Breitner, Joachim ; Gardner, Philippa ; Lee, Jaehyun...
http://arxiv.org/abs/2311.07223. , 2023

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

7

Accelerating JavaScript Static Analysis via Dynamic Shortcu..:

Park, Joonyoung ; Park, Jihyeok ; Youn, Dongjun.
http://arxiv.org/abs/2105.13699. , 2021

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

8

JEST: N+1-version Differential Testing of Both JavaScript E..:

Park, Jihyeok ; An, Seungmin ; Youn, Dongjun..
http://arxiv.org/abs/2102.07498. , 2021

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

9

kaist-plrg/jstar: Minor updates for structured headers of E..:

Jihyeok Park ; h2oche ; jihee Park...
https://github.com/kaist-plrg/jstar/tree/v1.0.2. , 2022

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

10

kaist-plrg/jstar: Applied comments for ASE'21 Artifact Eval..:

Jihyeok Park ; h2oche ; jihee Park...
https://github.com/kaist-plrg/jstar/tree/v1.0.1. , 2021

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

11

kaist-plrg/jstar: First release for ASE'21 Artifact Evaluat..:

Jihyeok Park ; h2oche ; jihee Park...
https://github.com/kaist-plrg/jstar/tree/v1.0.0. , 2021

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

12

Spore-forming probiotics Weizmannia coagulans isolated from..:

Choi, Hyejin ; Mun, Daye ; Ryu, Sangdon...
Food Bioscience. 57 (2024) - p. 103550 , 2024

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

13

Exploring the Association between Thyroid Function and Frai..:

Lee, Youn-Ju ; Kim, Min-Hee ; Lim, Dong-Jun...
Endocrinology and Metabolism. 38 (2023) 6 - p. 729-738 , 2023

Link: https://doi.org/10.3803/..

14

In-Situ measurement of gas emission by pyrolysis of various..:

Lee, Dong-Jun ; Cho, Yong-Min ; Kim, Jun Hyun...
Ceramics International. 49 (2023) 19 - p. 32024-32034 , 2023

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

15

Application of k-Means Clustering to Material Research: Mea..:

Lee, Dong-Jun ; Cho, Yong-Min ; Kim, Jun Hyun...
Metals and Materials International. 29 (2023) 9 - p. 2636-2647 , 2023

Link: https://doi.org/10.1007/..