Zobrazeno 1 - 10
of 129
pro vyhledávání: '"D.3.0"'
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
Publikováno v:
Proceedings of the ACM on Programming Languages, Volume 8, 2024; Issue OOPSLA2 Article No.: 288, Pages 468 - 498
Large language models (LLMs) have reshaped the landscape of program synthesis. However, contemporary LLM-based code completion systems often hallucinate broken code because they lack appropriate context, particularly when working with definitions not
Externí odkaz:
http://arxiv.org/abs/2409.00921
Autor:
Guo, Xiangyu, Bansal, Ajay
We improve the backward compatibility of stableKanren to run miniKanren programs. stableKanren is a miniKanren extension capable of non-monotonic reasoning through stable model semantics. However, standard miniKanren programs that produce infinite re
Externí odkaz:
http://arxiv.org/abs/2408.16257
Autor:
Guo, Xiangyu, Bansal, Ajay
We integrate integrity constraints to stableKanren to enable a new problem-solving paradigm in combinatorial search problems. stableKanren extends miniKanren to reasoning about contradictions under stable model semantics. However, writing programs to
Externí odkaz:
http://arxiv.org/abs/2408.16699
Publikováno v:
Proc. ACM Program. Lang. 8, PLDI, Article 188 (June 2024), 32 pages
Online streaming algorithms, tailored for continuous data processing, offer substantial benefits but are often more intricate to design than their offline counterparts. This paper introduces a novel approach for automatically synthesizing online stre
Externí odkaz:
http://arxiv.org/abs/2404.04743
Publikováno v:
Proc. ACM Program. Lang. 8, PLDI, Article 203 (June 2024), 25 pages
Functional programs typically interact with stateful libraries that hide state behind typed abstractions. One particularly important class of applications are data structure implementations that rely on such libraries to provide a level of efficiency
Externí odkaz:
http://arxiv.org/abs/2404.01484
Dataflow analysis is a powerful code analysis technique that reasons dependencies between program values, offering support for code optimization, program comprehension, and bug detection. Existing approaches require the successful compilation of the
Externí odkaz:
http://arxiv.org/abs/2402.10754
Autor:
Ashouri, Amir H., Manzoor, Muhammad Asif, Vu, Duc Minh, Zhang, Raymond, Wang, Ziwen, Zhang, Angel, Chan, Bryan, Czajkowski, Tomasz S., Gao, Yaoqing
The key to performance optimization of a program is to decide correctly when a certain transformation should be applied by a compiler. This is an ideal opportunity to apply machine-learning models to speed up the tuning process; while this realizatio
Externí odkaz:
http://arxiv.org/abs/2312.09982
The Ribbit system is a compact Scheme implementation running on the Ribbit Virtual Machine (RVM) that has been ported to a dozen host languages. It supports a simple Foreign Function Interface (FFI) allowing extensions to the RVM directly from the pr
Externí odkaz:
http://arxiv.org/abs/2310.13589
Autor:
Blank, Douglas S., Marshall, James B.
Calysto Scheme is written in Scheme in Continuation-Passing Style, and converted through a series of correctness-preserving program transformations into Python. It has support for standard Scheme functionality, including call/cc, as well as syntactic
Externí odkaz:
http://arxiv.org/abs/2310.10886