4 papers
Programmers Are Poor and Overconfident Judges of LLM-Generated Assertions
Zhanna Kaufman, Yuriy Brun, Adithya Murali +1
Code comprehension and code review are already critically important software engineering tasks, and the rising use of AI code generation tools is only increasing that importance. G…
Biased or Personalized? The Impact of Personal Information on AI-driven Development
Erfan Entezami, Madeline Endres
Generative AI is increasingly permeating software engineering, enabling developers to generate functions, files, and even entire applications from natural language specifications.…
Training Spatial Ability in Virtual Reality
Yiannos Demetriou, Manasvi Parikh, Sara Eskandari +2
Background: Spatial reasoning has been identified as a critical skill for success in STEM. Unfortunately, under-represented groups often have lower incoming spatial ability. Course…
Can Large Language Models Transform Natural Language Intent into Formal Method Postconditions?
Madeline Endres, Sarah Fakhoury, Saikat Chakraborty +1
Informal natural language that describes code functionality, such as code comments or function documentation, may contain substantial information about a programs intent. However,…