Colin S. Gordon

Identifiers

• name variant Colin S. Gordon 0.60 · backfill

Papers (7)

1. Effect Systems as Abstract Interpretations cs.PL · 2026 · author #1
2. Safe Deferred Memory Reclamation with Types cs.PL · 2018 · author #2
3. Synthesizing Program-Specific Static Analyses cs.PL · 2018 · author #1
4. Generating Comments From Source Code with CCGs cs.SE · 2018 · author #2
5. A Generic Approach to Flow-Sensitive Polymorphic Effects (Extended Version) cs.PL · 2017 · author #1
6. Type Inference for Static Compilation of JavaScript (Extended Version) cs.PL · 2016 · author #2
7. Trace Typing: An Approach for Evaluating Retrofitted Type Systems (Extended Version) cs.PL · 2016 · author #2

Mentions

• 2606.19686 #1 · arxiv_oai · confidence 0.70 Colin S. Gordon

Frequent Coauthors

• Frank Tip 2 shared papers
• Manu Sridharan 2 shared papers
• Satish Chandra 2 shared papers
• Cole Schlesinger 1 shared papers
• Esben Andreasen 1 shared papers
• Ismail Kuru 1 shared papers
• Jean-Baptiste Jeannin 1 shared papers
• Koushik Sen 1 shared papers
• Sergey Matskevich 1 shared papers
• Youngil Choi 1 shared papers