( en | de | ru )

 

Disambiguation of "Lee, Juneyoung"

Author of the publication

copydeleteadd this publication to your clipboard
An SMT Encoding of LLVM's Memory Model for Bounded Translation Validation.

, , , and . CAV (2), volume 12760 of Lecture Notes in Computer Science, page 752-776. Springer, (2021)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Xavier Lee Lee

Bongsoo Lee

The role of negative regulators in coordination of the Myxococcus xanthus developmental program. Uni Marburg, (2009)

Min-Hi Lee

Induction and regulation of antiviral defence mechanisms through intracytoplasmic sensors. HU Berlin, (2009)

Viktor Lee

Hyemin Lee

 

Other publications of authors with the same name

An SMT Encoding of LLVM's Memory Model for Bounded Translation Validation., , , and . CAV (2), volume 12760 of Lecture Notes in Computer Science, page 752-776. Springer, (2021)SMT-Based Translation Validation for Machine Learning Compiler., , , , and . CAV (2), volume 13372 of Lecture Notes in Computer Science, page 386-407. Springer, (2022)Quantile dispersion graphs for the comparison of designs for a random two-way model, and . Journal of Statistical Planning and Inference, 91 (1): 123--137 (Nov 1, 2000)A tutorial on sensitivity analyses in clinical trials: the what, why, when and how., , , , , , , , , and 7 other author(s). BMC medical research methodology, 13 (1): 92 (January 2013)M3: 10.1186/1471-2288-13-92;<m:linebreak></m:linebreak>RCT; Anàlisi de dades.DUALSIM: Parallel Subgraph Enumeration in a Massive Graph on a Single Machine., , , , , , and . SIGMOD Conference, page 1231-1245. ACM, (2016)HEaaN.MLIR: An Optimizing Compiler for Fast Ring-Based Homomorphic Encryption., , , , , and . Proc. ACM Program. Lang., 7 (PLDI): 196-220 (2023)AliveInLean: A Verified LLVM Peephole Optimization Verifier., , and . CAV (2), volume 11562 of Lecture Notes in Computer Science, page 445-455. Springer, (2019)Alive2: bounded translation validation for LLVM., , , , and . PLDI, page 65-79. ACM, (2021)A graphical approach for evaluating and comparing designs for nonlinear models, and . Computational Statistics & Data Analysis, 27 (4): 433--443 (Jun 5, 1998)Translation Validation for JIT Compiler in the V8 JavaScript Engine., , , , and . ICSE, page 178:1-178:12. ACM, (2024)