Výsledky vyhledávání - "Proceedings of ACM on programming languages"

Grounded Copilot: How Programmers Interact with Code-Generating Models Autor Barke, Shraddha, James, Michael B., Polikarpova, Nadia

“…Powered by recent advances in code-generating models, AI assistants like Github Copilot promise to change the face of programming forever. But what is this new…”
Získat plný text

egg: Fast and extensible equality saturation Autor Willsey, Max, Nandi, Chandrakana, Wang, Yisu Remy, Flatt, Oliver, Tatlock, Zachary, Panchekha, Pavel

“…An e-graph efficiently represents a congruence relation over many expressions. Although they were originally developed in the late 1970s for use in automated…”
Získat plný text

Prompting Is Programming: A Query Language for Large Language Models Autor Beurer-Kellner, Luca, Fischer, Marc, Vechev, Martin

“…Large language models have demonstrated outstanding performance on a wide range of tasks such as question answering and code generation. On a high level, given…”
Získat plný text

MadMax: surviving out-of-gas conditions in Ethereum smart contracts Autor Grech, Neville, Kong, Michael, Jurisevic, Anton, Brent, Lexi, Scholz, Bernhard, Smaragdakis, Yannis

“…Ethereum is a distributed blockchain platform, serving as an ecosystem for smart contracts: full-fledged inter-communicating programs that capture the…”
Získat plný text

Getafix: learning to fix bugs automatically Autor Bader, Johannes, Scott, Andrew, Pradel, Michael, Chandra, Satish

“…Static analyzers help find bugs early by warning about recurring bug categories. While fixing these bugs still remains a mostly manual task in practice, we…”
Získat plný text

PRIMA: general and precise neural network certification via scalable convex hull approximations Autor Müller, Mark Niklas, Makarchuk, Gleb, Singh, Gagandeep, Püschel, Markus, Vechev, Martin

“…Formal verification of neural networks is critical for their safe adoption in real-world applications. However, designing a precise and scalable verifier which…”
Získat plný text

Enhancing Static Analysis for Practical Bug Detection: An LLM-Integrated Approach Autor Li, Haonan, Hao, Yu, Zhai, Yizhuo, Qian, Zhiyun

“…While static analysis is instrumental in uncovering software bugs, its precision in analyzing large and intricate codebases remains challenging. The emerging…”
Získat plný text

The tensor algebra compiler Autor Kjolstad, Fredrik, Kamil, Shoaib, Chou, Stephen, Lugato, David, Amarasinghe, Saman

“…Tensor algebra is a powerful tool with applications in machine learning, data analytics, engineering and the physical sciences. Tensors are often sparse and…”
Získat plný text

Improving bug detection via context-based code representation learning and attention-based neural networks Autor Li, Yi, Wang, Shaohua, Nguyen, Tien N., Van Nguyen, Son

“…Bug detection has been shown to be an effective way to help developers in detecting bugs early, thus, saving much effort and time in software development…”
Získat plný text

Verus: Verifying Rust Programs using Linear Ghost Types Autor Lattuada, Andrea, Hance, Travis, Cho, Chanhee, Brun, Matthias, Subasinghe, Isitha, Zhou, Yi, Howell, Jon, Parno, Bryan, Hawblitzel, Chris

“…The Rust programming language provides a powerful type system that checks linearity and borrowing, allowing code to safely manipulate memory without garbage…”
Získat plný text

SQLizer: query synthesis from natural language Autor Yaghmazadeh, Navid, Wang, Yuepeng, Dillig, Isil, Dillig, Thomas

“…This paper presents a new technique for automatically synthesizing SQL queries from natural language (NL). At the core of our technique is a new NL-based…”
Získat plný text

Projection-based runtime assertions for testing and debugging Quantum programs Autor Li, Gushu, Zhou, Li, Yu, Nengkun, Ding, Yufei, Ying, Mingsheng, Xie, Yuan

“…In this paper, we propose Proq, a runtime assertion scheme for testing and debugging quantum programs on a quantum computer. The predicates in Proq are…”
Získat plný text

A verified optimizer for Quantum circuits Autor Hietala, Kesha, Rand, Robert, Hung, Shih-Han, Wu, Xiaodi, Hicks, Michael

“…We present VOQC, the first fully verified optimizer for quantum circuits, written using the Coq proof assistant. Quantum circuits are expressed as programs in…”
Získat plný text

Aroma: code recommendation via structural code search Autor Luan, Sifei, Yang, Di, Barnaby, Celeste, Sen, Koushik, Chandra, Satish

“…Programmers often write code that has similarity to existing code written somewhere. A tool that could help programmers to search such similar code would be…”
Získat plný text

Interaction trees: representing recursive and impure programs in Coq Autor Xia, Li-yao, Zakowski, Yannick, He, Paul, Hur, Chung-Kil, Malecha, Gregory, Pierce, Benjamin C., Zdancewic, Steve

“…Interaction trees (ITrees) are a general-purpose data structure for representing the behaviors of recursive programs that interact with their environments. A…”
Získat plný text

Alpaca: intermittent execution without checkpoints Autor Maeng, Kiwan, Colin, Alexei, Lucia, Brandon

“…The emergence of energy harvesting devices creates the potential for batteryless sensing and computing devices. Such devices operate only intermittently, as…”
Získat plný text

Top-Down Synthesis for Library Learning Autor Bowers, Matthew, Olausson, Theo X., Wong, Lionel, Grand, Gabriel, Tenenbaum, Joshua B., Ellis, Kevin, Solar-Lezama, Armando

“…This paper introduces corpus-guided top-down synthesis as a mechanism for synthesizing library functions that capture common functionality from a corpus of…”
Získat plný text

GraphIt: a high-performance graph DSL Autor Zhang, Yunming, Yang, Mengjiao, Baghdadi, Riyadh, Kamil, Shoaib, Shun, Julian, Amarasinghe, Saman

“…The performance bottlenecks of graph applications depend not only on the algorithm and the underlying hardware, but also on the size and structure of the input…”
Získat plný text

Scaling exact inference for discrete probabilistic programs Autor Holtzen, Steven, Van den Broeck, Guy, Millstein, Todd

“…Probabilistic programming languages (PPLs) are an expressive means of representing and reasoning about probabilistic models. The computational challenge of…”
Získat plný text

Finding real bugs in big programs with incorrectness logic Autor Le, Quang Loc, Raad, Azalea, Villard, Jules, Berdine, Josh, Dreyer, Derek, O'Hearn, Peter W.

“…Incorrectness Logic (IL) has recently been advanced as a logical theory for compositionally proving the presence of bugs—dual to Hoare Logic, which is used to…”
Získat plný text