Search for 'all'
results
People (2 results)
Shriram Krishnamurthi
… …
Hernan Wilkinson
… …
Events (1 result)
A Preliminary Study of Type-Error Ablation and AI Coding Agents
Research Papers People: Shriram Krishnamurthi, Matthew Flatt
… also see evidence that agents are able to fix programs whose names have all …
Tracks (3 results)
Research Papers
… * Volume 12 Issue 1
(all upcoming) ### Scope
[The Art, Science … acceptable. All other papers are rejected. Authors of potentially acceptable … or question been addressed by others (if at all)? - Approach: What was done …
Workshops
… .
We encourage event organizers to be creative and experiment with **all kinds …
Student Research Competition
… ,
-
Second place wins $300,
-
Third place wins $200.
All winners …