17 citations · 45 across the 13 of their papers we have counts for
5 papers · 1 filter
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…
Generating Comments From Source Code with CCGs
Sergey Matskevich, Colin S. Gordon
Good comments help developers understand software faster and provide better maintenance. However, comments are often missing, generally inaccurate, or out of date. Many of these pr…
Polymorphic Iterable Sequential Effect Systems
Colin S. Gordon
Effect systems are lightweight extensions to type systems that can verify a wide range of important properties with modest developer burden. But our general understanding of effect…