Joe Gibbs Politz
Title
Cited by
Cited by
Year
ADsafety: Type-based verification of JavaScript sandboxing
JG Politz, S Eliopoulos, A Guha, S Krishnamurthi
arXiv preprint arXiv:1506.07813, 2015
1112015
Macaroons: Cookies with contextual caveats for decentralized authorization in the cloud
A Birgisson, JG Politz, U Erlingsson, A Taly, M Vrable, M Lentczner
832014
TeJaS: retrofitting type systems for JavaScript
BS Lerner, JG Politz, A Guha, S Krishnamurthi
ACM SIGPLAN Notices 49 (2), 1-16, 2013
622013
A tested semantics for getters, setters, and eval in JavaScript
JG Politz, MJ Carroll, BS Lerner, J Pombrio, S Krishnamurthi
Proceedings of the 8th symposium on Dynamic languages, 1-16, 2012
502012
Python: the full monty
JG Politz, A Martinez, M Milano, S Warren, D Patterson, J Li, A Chitipothu, ...
ACM SIGPLAN Notices 48 (10), 217-232, 2013
472013
Semantics and types for objects with first-class member names
JG Politz, A Guha, S Krishnamurthi
FOOL 2012: 19th International Workshop on Foundations of Object-Oriented …, 2012
192012
In-flow peer review
D Clarke, T Clear, K Fisler, M Hauswirth, S Krishnamurthi, JG Politz, ...
Proceedings of the Working Group Reports of the 2014 on Innovation …, 2014
142014
CaptainTeach: Multi-stage, in-flow peer review for programming assignments
JG Politz, D Patterson, S Krishnamurthi, K Fisler
Proceedings of the 2014 conference on Innovation & technology in computer …, 2014
122014
In-flow peer-review of tests in test-first programming
JG Politz, S Krishnamurthi, K Fisler
Proceedings of the tenth annual conference on International computing …, 2014
112014
Typed-based verification of Web sandboxes
J Gibbs Politz, A Guha, S Krishnamurthi
Journal of Computer Security 22 (4), 511-565, 2014
112014
Putting in all the stops: execution control for JavaScript
S Baxter, R Nigam, JG Politz, S Krishnamurthi, A Guha
Proceedings of the 39th ACM SIGPLAN Conference on Programming Language …, 2018
102018
Progressive types
JG Politz, H Quay-de la Vallee, S Krishnamurthi
Proceedings of the ACM international symposium on New ideas, new paradigms …, 2012
102012
Programming and Programming Languages
S Krishnamurthi, JG Politz
Brown University, 2015
62015
Fluid Object Types
A Guha, JG Politz, S Krishnamurthi
5*
The Sweep: Essential Examples for In-Flow Peer Review
JG Politz, JM Collard, A Guha, K Fisler, S Krishnamurthi
Proceedings of the 47th ACM Technical Symposium on Computing Science …, 2016
32016
Web API verification: Results and challenges
A Guha, B Lerner, JG Politz, S Krishnamurthi
Analysis of Security APIs, 2012
32012
CaptainTeach: a platform for in-flow peer review of programming assignments
JG Politz, S Krishnamurthi, K Fisler
Proceedings of the 2014 conference on Innovation & technology in computer …, 2014
22014
Slimming languages by reducing sugar: a case for semantics-altering transformations
J Li, J Pombrio, JG Politz, S Krishnamurthi
2015 ACM International Symposium on New Ideas, New Paradigms, and …, 2015
12015
Reflective equilibrium in rule utilitarianism
J Politz
Worcester Polytechnic Institute) Retrieved October 30, 2016, 2004
12004
Data Science as a Route to AI for Middle-and High-School Students
S Krishnamurthi, E Schanzer, JG Politz, BS Lerner, K Fisler, S Dooman
arXiv preprint arXiv:2005.01794, 2020
2020
The system can't perform the operation now. Try again later.
Articles 1–20