Brian W. Kernigan on programming:
"Debugging is twice as hard as writing the code in the first place. Therefore, if you write the code as cleverly as possible, you are, by definition, not smart enough to debug it."
(Click for more wisdom)
JOE GIBBS POLITZ
Activities & News
Courses
Many of my course offerings are designed with reusable materials, including videos, notes, and starter code for assignments. Feel free to check them out, and get in touch if you have questions or find them helpful.
- Principles of Compiler Design
(Swarthmore CS 75)
[Spring 2016] - Data Structures and Algorithms (Swarthmore CS 35)
[Fall 2015] - Programming Languages (Swarthmore CS 91)
[Spring 2015] - Programming Languages (Brown University CS173; with Shriram Krishnamurthi)
[Fall 2012] [Fall 2013]
Recent & Active Projects
- code.pyret.org is the best way to run Pyret programs.
- Pyret is a functional scripting language designed for programming education.
- Bootstrap builds and does professional development for curricula that integrate computing into middle- and high-school courses. Bootstrap 2 and Bootstrap Physics use Pyret.
- In-flow Peer Review integrates code review into programming assignments. I've studied the effects of in-flow peer review of tests.
Selected Publications
- The Sweep: Essential Examples for In-Flow Peer Review. Joe Gibbs Politz, Joseph M. Collard, Arjun Guha, Kathi Fisler, and Shriram Krishnamurthi. SIGCSE 2016.
(pdf). - Slimming Languages by Reducing Sugar: A Case for Semantics-Altering Transformations. Junsong Li, Justin Pombrio, Joe Gibbs Politz, Shriram Krishnamurthi. SPLASH Onward! 2015.
(pdf) - In-Flow Peer-Review. Dave Clarke, Tony Clear, Kathi Fisler, Matthias Hauswirth, Shriram Krishnamurthi, Joe Gibbs Politz, Ville Tirronen, Tobias Wrigstad. ITiCSE 2014 Working Group Report.
(pdf) - In-Flow Peer-Review of Tests in Test-First Programming. Joe Gibbs Politz, Shriram Krishnamurthi, and Kathi Fisler. ICER 2014.
(pdf) - CaptainTeach: Multi-Stage, In-Flow Peer Review for Programming Assignments. Joe Gibbs Politz, Daniel Patterson, Kathi Fisler, and Shriram Krishnamurthi. ITiCSE 2014.
(pdf) - Macaroons: Cookies with Contextual Caveats for Decentralized Authorization in the Cloud. Arnar Birgisson, Joe Gibbs Politz, Úlfar Erlingsson, Ankur Taly, Michael Vrable, and Mark Lentczner. NDSS 2014.
(open source, 3rd-party implementation) (pdf & bib) 
Python: The Full Monty―A Tested Semantics for the Python Programming Language. Joe Gibbs Politz, Alejandro Martinez, Matthew Milano, Sumner Warren, Daniel Patterson, Junsong Li, Anand Chitipothu, and Shriram Krishnamurthi. OOPSLA 2013.
(paper and code)- TeJaS: Retrofitting Type Systems for JavaScript. Benjamin S. Lerner, Joe Gibbs Politz, Arjun Guha, and Shriram Krishnamurthi. DLS 2013.
-
A Tested Semantics for Getters, Setters, and Eval in JavaScript.
Joe Gibbs Politz, Matthew J. Carroll, Benjamin S. Lerner, Justin Pombrio, and Shriram Krishnamurthi.
DLS 2012.
(paper, code, & test results) -
Progressive Types. Joe Gibbs Politz, Hannah Quay-de la Vallee, and Shriram Krishnamurthi. Onward! 2012.
(paper, code, & proofs) -
Semantics and Types for Objects with
First-Class Member Names. Joe Gibbs Politz, Arjun Guha, and Shriram
Krishnamurthi. FOOL 2012.
(pdf) - ADsafety: Type-based Verification of JavaScript Sandboxing.
Joe Gibbs Politz, Spiridon Aristides Eliopoulos, Arjun Guha, and Shriram Krishnamurthi. USENIX Security 2011.
(paper, code, & proofs) (bib) (talk video [USENIX Security]) (talk video [Mozilla])