Zobrazeno 1 - 10
of 1 216
pro vyhledávání: '"Lam, Patrick"'
Autor:
Shirzad, Mohammad Robati, Lam, Patrick
WebAssembly, or Wasm, is a low-level binary language that enables execution of near-native-performance code in web browsers. Wasm has proven to be useful in applications including gaming, audio and video processing, and cloud computing, providing a h
Externí odkaz:
http://arxiv.org/abs/2410.08517
Autor:
Blanc, Alex Le, Lam, Patrick
Rust aims to be a safe programming language applicable to systems programming applications. In particular, its type system has strong guardrails to prevent a variety of issues, such as memory safety bugs and data races. However, these guardrails can
Externí odkaz:
http://arxiv.org/abs/2410.01981
GitHub's Copilot generates code quickly. We investigate whether it generates good code. Our approach is to identify a set of problems, ask Copilot to generate solutions, and attempt to formally verify these solutions with Dafny. Our formal verificati
Externí odkaz:
http://arxiv.org/abs/2209.01766
Autor:
Chong, Yuen Yu, Lam, Wing Chung, Wong, Kit Sum, Wong, Ching Yee, Lam, Patrick Chun Ming, Hsu, Siu Man, Chien, Wai Tong
Publikováno v:
In Journal of Contextual Behavioral Science July 2024 33
The long-standing aspiration for software reuse has made astonishing strides in the past few years. Many modern software development ecosystems now come with rich sets of publicly-available components contributed by the community. Downstream develope
Externí odkaz:
http://arxiv.org/abs/2008.07069
Autor:
Hwang, Nicky, Wu, Shuo, Ban, Haiqun, Luo, Huixin, Ma, Julia, Cheng, Junjun, Zhao, Qiong, Laney, Jessilyn A., Du, Na, Guo, Junyang, Suresh, Manasa, Shen, Liangxian, Tolufashe, Gideon, Viswanathan, Usha, Kulp, John, Lam, Patrick, Chang, Jinhong, Clement, Jason A., Menne, Stephan, Guo, Ju-Tao, Du, Yanming
Publikováno v:
In European Journal of Medicinal Chemistry 5 November 2023 259
Autor:
Gunewardene, Niliksha, Ma, Yutian, Lam, Patrick, Wagstaff, Sherryl, Cortez-Jugo, Christina, Hu, Yingjie, Caruso, Frank, Richardson, Rachael T., Wise, Andrew K.
Publikováno v:
In Journal of Controlled Release September 2023 361:621-635
Autor:
Lam, Patrick T.I., Mok, Kelvin S.H.
Publikováno v:
International Journal of Innovation Science, 2022, Vol. 15, Issue 1, pp. 94-112.
Externí odkaz:
http://www.emeraldinsight.com/doi/10.1108/IJIS-02-2021-0033
Publikováno v:
In Journal of Shoulder and Elbow Surgery June 2023 32(6):e319-e327
Publikováno v:
In JSES International May 2023 7(3):450-463