3 citations · 3 across the 3 of their papers we have counts for
Showing 2024Show all
2 papers · 1 filter
cs.CL2024
Grounded Language Design for Lightweight Diagramming for Formal Methods
Siddhartha Prasad, Ben Greenman, Tim Nelson +1
Model finding, as embodied by SAT solvers and similar tools, is used widely, both in embedding settings and as a tool in its own right. For instance, tools like Alloy target SAT to…
cs.PL2024
Privacy-Respecting Type Error Telemetry at Scale
Ben Greenman, Alan Jeffrey, Shriram Krishnamurthi +1
Context: Roblox Studio lets millions of creators build interactive experiences by programming in a variant of Lua called Luau. The creators form a broad group, ranging from novices…