21 citations · 33 across the 5 of their papers we have counts for
5 papers · 1 filter
FlowFPX: Nimble Tools for Debugging Floating-Point Exceptions
Taylor Allred, Xinyi Li, Ashton Wiersdorf +2
Reliable numerical computations are central to scientific computing, but the floating-point arithmetic that enables large-scale models is error-prone. Numeric exceptions are a comm…
Little Tricky Logic: Misconceptions in the Understanding of LTL
Ben Greenman, Sam Saarinen, Tim Nelson +1
Context: Linear Temporal Logic (LTL) has been used widely in verification. Its importance and popularity have only grown with the revival of temporal logic synthesis, and with new…
Gradual Soundness: Lessons from Static Python
Kuang-Chen Lu, Ben Greenman, Carl Meyer +3
Context: Gradually-typed languages allow typed and untyped code to interoperate, but typically come with significant drawbacks. In some languages, the types are unreliable; in othe…
Types for Tables: A Language Design Benchmark
Kuang-Chen Lu, Ben Greenman, Shriram Krishnamurthi
Context: Tables are ubiquitous formats for data. Therefore, techniques for writing correct programs over tables, and debugging incorrect ones, are vital. Our specific focus in this…
A Transient Semantics for Typed Racket
Ben Greenman, Lukas Lazarek, Christos Dimoulas +1
Mixed-typed languages enable programmers to link typed and untyped components in various ways. Some offer rich type systems to facilitate the smooth migration of untyped code to th…