4 citations · 9 across the 9 of their papers we have counts for
Showing 2023 · cs.SEShow all
2 papers · 2 filters
cs.SE2023★ 1 cited
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,…
cs.SE2023★ 2 cited
From Organizations to Individuals: Psychoactive Substance Use By Professional Programmers
Kaia Newman, Madeline Endres, Brittany Johnson +1
Psychoactive substances, which influence the brain to alter perceptions and moods, have the potential to have positive and negative effects on critical software engineering tasks.…