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
Web software is disturbingly unpredictable. My research helps people build web systems that do (only) what they expect.
Systems & Software
- (New!) S5 is a JavaScript implementation designed for exploration. With Matt Carroll, Arjun Guha, and Ben Lerner.
- Google Belay is exploring secure sharing and identity management in the cloud. The code for our demo is open source and available. With Arjun Guha, Mark Lentczner, and Úlfar Erlingsson.
- I designed a novel type-checking strategy to mechanically verify ADsafe, a web sandboxing framework, with Arjun Guha, Spirodon Eliopoulos, and Shriram Krishnamurthi.
- Assistment is tutoring and assessment software for middle school math students, and part of learning sciences research at WPI CS with Neil Heffernan and many others.
Reports & Publications
-
Joe Gibbs Politz, Spirodon Aristides Eliopoulos, Arjun Guha, and Shriram Krishnamurthi. ADsafety: Type-based Verification of JavaScript Sandboxing. USENIX Security 2011.
(paper, code, & proofs) (bib) (talk video) -
Jozsef Patvarczki, Joe Gibbs Politz, and Neil
Heffernan. Scalability and Robustness in the Domain of Web
Based Tutoring. Artificial Intelligence in Education,
2009.
(pdf) (bib) -
Joe Gibbs Politz, and James Cialdea. Modeling and Analyzing
Security Requirements for Java. Submitted in partial
completion of degree requirements at WPI, December 2008 (Major
Qualifying Project). Work completed at Sun Microsystems in Fall
2008.
WPI Publication Page