3 papers
cs.SE2026
Solver-Aided Verification of Policy Compliance in Tool-Augmented LLM Agents
Cailin Winston, Claris Winston, René Just
Tool-augmented Large Language Models (TaLLMs) extend LLMs with the ability to invoke external tools, enabling them to interact with real-world environments. However, a major limita…
cs.SE2022
A Retrospective on ICSE 2022
Cailin Winston, Caleb Winston, Chloe Winston +2
The 44th International Conference on Software Engineering (ICSE 2022) was held in person from May 22 to May 27, 2022 in Pittsburgh, PA, USA. Here, we summarize themes of research a…
cs.SE2022
Repairing Brain-Computer Interfaces with Fault-Based Data Acquisition
Cailin Winston, Caleb Winston, Chloe N Winston +4
Brain-computer interfaces (BCIs) decode recorded neural signals from the brain and/or stimulate the brain with encoded neural signals. BCIs span both hardware and software and have…