11 citations · 16 across the 3 of their papers we have counts for
9 papers
Natural Language Specifications in Proof Assistants
Colin S. Gordon, Sergey Matskevich
Interactive proof assistants are computer programs carefully constructed to check a human-designed proof of a mathematical claim with high confidence in the implementation. However…
Towards Property-Based Tests in Natural Language
Colin S. Gordon
We consider a new approach to generate tests from natural language. Rather than relying on machine learning or templated extraction from structured comments, we propose to apply cl…
Designing with Static Capabilities and Effects: Use, Mention, and Invariants
Colin S. Gordon
Capabilities (whether object or reference capabilities) are fundamentally tools to restrict effects. Thus static capabilities (object or reference) and effect systems take differen…
Sequential Effect Systems with Control Operators
Colin S. Gordon
Sequential effect systems are a class of effect system that exploits information about program order, rather than discarding it as traditional commutative effect systems do. This e…
Safe Deferred Memory Reclamation with Types
Ismail Kuru, Colin S. Gordon
Memory management in lock-free data structures remains a major challenge in concurrent programming. Design techniques including read-copy-update (RCU) and hazard pointers provide w…
Synthesizing Program-Specific Static Analyses
Colin S. Gordon
Designing a static analysis is generally a substantial undertaking, requiring significant expertise in both program analysis and the domain of the program analysis, and significant…