15 citations · 16 across the 6 of their papers we have counts for
6 papers
Modernizing SMT-Based Type Error Localization
Max Kopinsky, Brigitte Pientka, Xujie Si
Traditional implementations of strongly-typed functional programming languages often miss the root cause of type errors. As a consequence, type error messages are often misleading…
SAT-DIFF: A Tree Diffing Framework Using SAT Solving
Chuqin Geng, Haolin Ye, Yihan Zhang +2
Computing differences between tree-structured data is a critical but challenging problem in software analysis. In this paper, we propose a novel tree diffing approach called SatDif…
TorchProbe: Fuzzing Dynamic Deep Learning Compilers
Qidong Su, Chuqin Geng, Gennady Pekhimenko +1
Static and dynamic computational graphs represent two distinct approaches to constructing deep learning frameworks. The former prioritizes compiler-based optimizations, while the l…
Learning Reliable Logical Rules with SATNet
Zhaoyu Li, Jinpei Guo, Yuhe Jiang +1
Bridging logical reasoning and deep learning is crucial for advanced AI systems. In this work, we present a new framework that addresses this goal by generating interpretable and v…
Idiolect: A Reconfigurable Voice Coding Assistant
Breandan Considine, Nicholas Albion, Xujie Si
This paper presents Idiolect, an open source (https://github.com/OpenASR/idiolect) IDE plugin for voice coding and a novel approach to building bots that allows for users to define…
Can ChatGPT Pass An Introductory Level Functional Language Programming Course?
Chuqin Geng, Yihan Zhang, Brigitte Pientka +1
The recent introduction of ChatGPT has drawn significant attention from both industry and academia due to its impressive capabilities in solving a diverse range of tasks, including…