Cameron Swords
PL Ph.D. Student at Indiana University

CV: TBA
Github: cgswords
Blog: cgswords.github.io
Microblog: @cameronswords

Current Projects

Effectful and General Contracts with Amr Sabry and Sam Tobin-Hochstadt.
I am working with Amr Sabry to explore the interactions of software contracts with stateful and effectful computations. We are working toward unifying these behaviors and producing a cleaner, more expansive contract system in the process.

Natural Language and Logic with Lawrence Moss and Jason Hemann.
I am currently investigating applying logic to natural language and performing natural logic inference as part of a research group with Larry Moss.

Publications

Two Advances in the Implementations of Extended Syllogistic Logics.
Jason Hemann, Cameron Swords, and Lawrence Moss.
Workshop on Natural Language Processing and Automated Reasoning, 2015.
[ PDF | Code ]

Expressing Contract Monitors as Patterns of Communication.
Cameron Swords, Amr Sabry, and Sam Tobin-Hochstadt.
International Conference on Functional Programming, 2015.
[ PDF | Code ]

rKanren: Guided Search in miniKanren.
Cameron Swords and Daniel P. Friedman.
Scheme and Functional Programming Workshop, 2013.
[ PDF | Code ]

Extensible Effects.
Oleg Kiselyov, Amr Sabry, and Cameron Swords.
Haskell Symposium, 2013.
[ PDF | Code ]

Lock-Graph: A Tree-Based Locking Method for Parallel Collision Handling with Diverse Particle Populations.
Mark Lewis, and Cameron Swords.
Parallel and Distributed Processing Techniques and Applications, 2011.
[ PDF ]

Technical Reports and Drafts

Monads a la Mode.
Cameron Swords, Daniel P. Friedman.
Draft, Spring 2012. [PDF]

Odds and Ends

Tannenbaum, a PLT-Games Turing Tarpit Language
[ Code ]

Parenthepress, Scheme + Perl Static Blogging Engine
[ Code ]

racket-rrb, a relaxed radix balance tree implementation for Racket
[ Code ]

conjur.es, an online dice roller in Perl + Haskell
[ Link ]