Zobrazeno 1 - 10
of 50
pro vyhledávání: '"WOOSUK LEE"'
Autor:
Mojgan Kouhounestani, Woosuk Lee
Publikováno v:
IEEE Access, Vol 10, Pp 56179-56192 (2022)
We present a secure static-analysis-as-a-service (SaaaS) system where a client may outsource static analysis to the cloud. To address copyright concerns associated with SaaaS, clients are allowed to encrypt the source code of a target program and upl
Externí odkaz:
https://doaj.org/article/e8a8c36a4fb1483080b0818ac8a2e77e
Publikováno v:
Nanomaterials, Vol 10, Iss 11, p 2171 (2020)
The development of blue-emissive InP quantum dots (QDs) still lags behind that of the red and green QDs because of the difficulty in controlling the reactivity of the small InP core. In this study, the reaction kinetics of the ZnS shell was controlle
Externí odkaz:
https://doaj.org/article/f8f1ec9d2e6c4ce1bbf47fc5d16c639f
Autor:
DONGKWON LEE1 dklee@ropas.snu.ac.kr, WOOSUK LEE2 woosuk@hanyang.ac.kr, HAKJOO OH3 hakjoo_oh@korea.ac.kr, KWANGKEUN YI1 kwang@ropas.snu.ac.kr
Publikováno v:
ACM Transactions on Programming Languages & Systems. Sep2023, Vol. 45 Issue 3, p1-37. 37p.
Autor:
Woosuk Lee, Hangyeol Cho
Publikováno v:
Proceedings of the ACM on Programming Languages. 7:2048-2078
We present a novel approach to synthesizing recursive functional programs from input-output examples. Synthesizing a recursive function is challenging because recursive subexpressions should be constructed while the target function has not been fully
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::306c67290cdd62325848246aee7b38bf
https://doi.org/10.1145/3571263
https://doi.org/10.1145/3571263
Publikováno v:
Journal of Power Electronics. 22:773-783
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6cbeae686999392b909a73585bff15f8
https://doi.org/10.1007/s43236-022-00394-1
https://doi.org/10.1007/s43236-022-00394-1
Publikováno v:
Automated Software Engineering. 30
Mobile applications have grown rapidly in size. This dramatic increases in size and complexity make mobile applications less accessible to a broader scope of users. The prevailing approach for better accessibility of mobile applications is to manuall
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f2f05bd701a8cb840b7bf429cdec22d4
https://doi.org/10.1007/s10515-022-00372-8
https://doi.org/10.1007/s10515-022-00372-8
Publikováno v:
Journal of KIISE. 48:629-638
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8644f58bc4a73d7fccbdcda64bf54be4
https://doi.org/10.5626/jok.2021.48.6.629
https://doi.org/10.5626/jok.2021.48.6.629
Autor:
Woosuk Lee
Publikováno v:
Proceedings of the ACM on Programming Languages. 5:1-28
We present an effective method for scalable and general-purpose inductive program synthesis. There have been two main approaches for inductive synthesis: enumerative search, which repeatedly enumerates possible candidate programs, and the top-down pr
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::31fc0f20ae77e67c153cfd22ec2bd8c9
https://doi.org/10.1145/3434335
https://doi.org/10.1145/3434335
Publikováno v:
ESEC/SIGSOFT FSE
Recently, various techniques have been proposed to automatically provide personalized feedback on programming exercises. The cutting edge of which is the data-driven approaches that leverage a corpus of existing correct programs and repair incorrect
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::322fc8f3af503bc3e72671f2354c5b23
https://doi.org/10.1145/3468264.3468598
https://doi.org/10.1145/3468264.3468598
Publikováno v:
IEEE Electron Device Letters. 40:1872-1875
Quinary Zn-Mg-Ga-Cl-O nanoparticles were synthesized for the electron transport layer (ETL) of green InP-based quantum dot light emitting diodes (QLEDs) to achieve band alignment and charge balance. These nanoparticles were synthesized by simple hydr
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8a7a31771c2ca240348876aa8fdea6cd
https://doi.org/10.1109/led.2019.2944423
https://doi.org/10.1109/led.2019.2944423