34 citations · 65 across the 10 of their papers we have counts for
Showing 2025Show all
2 papers · 1 filter
cs.SE2025
What's in a Proof? Analyzing Expert Proof-Writing Processes in F* and Verus
Rijul Jain, Shraddha Barke, Gabriel Ebner +3
Proof-oriented programming languages (POPLs) empower developers to write code alongside formal correctness proofs, providing formal guarantees that the code adheres to specified re…
cs.SE2025
PromptPex: Automatic Test Generation for Language Model Prompts
Reshabh K Sharma, Jonathan De Halleux, Shraddha Barke +2
Large language models (LLMs) are being used in many applications and prompts for these models are integrated into software applications as code-like artifacts. These prompts behave…