Pradel

Communications of the ACM Agentic AI Software Engineers: Programming with Trust

International Conference on Software Engineering (ICSE)
SecBench.js: An Executable Security Benchmark Suite for Server-Side JavaScript

Automated Software Engineering Conference (ASE)
Understanding Software Engineering Agents: A Study of Thought-Action-Result Trajectories

Automated Software Engineering Conference (ASE)
Execution-Aware Program Reduction for WebAssembly via Record and Replay

Automated Software Engineering Conference (ASE)
Understanding Software Engineering Agents: A Study of Thought-Action-Result Trajectories