Colin S. Gordon

Identifiers

No identifiers captured yet.

Papers (6)

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

Mentions

No mention provenance yet.

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