Joe Gibbs Politz

Cited by

	All	Since 2018
Citations	609	282
h-index	11	9
i10-index	13	9

20112012201320142015201620172018201920202021202220236 23 32 53 58 86 59 45 57 55 56 54 15

Public access

View all

4 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Shriram KrishnamurthiProfessor of Computer Science, Brown UniversityVerified email at cs.brown.edu
Arjun GuhaAssociate Professor at Northeastern University; Visiting Professor at Roblox ResearchVerified email at northeastern.edu
Kathi FislerProfessor (Research) of Computer Science, Brown UniversityVerified email at cs.brown.edu
Spiridon EliopoulosInhabited Type LLCVerified email at inhabitedtype.com
Daniel PattersonAssistant Teaching Professor, Northeastern UniversityVerified email at dbpmail.net
Justin PombrioPhD student, Brown UniversityVerified email at cs.brown.edu
Úlfar ErlingssonArchitect at LaceworkVerified email at lacework.net
Arnar BirgissonGoogleVerified email at google.com
Ankur TalyStaff Research Scientist, GoogleVerified email at google.com
Emmanuel SchanzerBrown University, BootstrapVerified email at bootstrapworld.org
Mae MilanoUniversity of California BerkeleyVerified email at cs.berkeley.edu
Rachit NigamCornell UniversityVerified email at cornell.edu
Samuel BaxterUniversity of Massachusetts AmherstVerified email at cs.umass.edu
Dave ClarkeIndependentVerified email at storytel.com
Matthias HauswirthAssociate Professor, Faculty of Informatics, USIVerified email at usi.ch
Tobias WrigstadProfessor of Computer Science, Uppsala UniversityVerified email at it.uu.se
Ville TirronenPost doctoral researcher at University of JyväskyläVerified email at jyu.fi
Tony ClearAssociate Professor Computer and Information Sciences, Auckland University of TechnologyVerified email at aut.ac.nz
Sorawee PorncharoenwaseUniversity of WashingtonVerified email at cs.washington.edu
Yousef AlhessiPhD Student, University of California San DiegoVerified email at ucsd.edu

Joe Gibbs Politz

University of California, San Diego

Verified email at eng.ucsd.edu - Homepage

Programming languages CS education Web security


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Macaroons: Cookies with contextual caveats for decentralized authorization in the cloud A Birgisson, JG Politz, U Erlingsson, A Taly, M Vrable, M Lentczner	128	2014
ADsafety: Type-based verification of JavaScript sandboxing JG Politz, S Eliopoulos, A Guha, S Krishnamurthi arXiv preprint arXiv:1506.07813, 2015	123	2015
TeJaS: retrofitting type systems for JavaScript BS Lerner, JG Politz, A Guha, S Krishnamurthi ACM SIGPLAN Notices 49 (2), 1-16, 2013	71	2013
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	65	2013
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	64	2012
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	20	2012
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	19	2014
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	15	2014
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	14	2018
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	12	2014
Typed-based verification of web sandboxes J Gibbs Politz, A Guha, S Krishnamurthi Journal of Computer Security 22 (4), 511-565, 2014	12	2014
Progressive types JG Politz, H Quay-de la Vallee, S Krishnamurthi Proceedings of the ACM international symposium on New ideas, new paradigms …, 2012	11	2012
Evolving a K-12 curriculum for integrating computer science into mathematics K Fisler, E Schanzer, S Weimar, A Fetter, KA Renninger, S Krishnamurthi, ... Proceedings of the 52nd ACM Technical Symposium on Computer Science …, 2021	10	2021
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	8	2020
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	6	2016
Programming and Programming Languages S Krishnamurthi, JG Politz Brown University, 2015	6	2015
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	6	2014
Fluid Object Types A Guha, JG Politz, S Krishnamurthi	5*
Web API verification: Results and challenges A Guha, B Lerner, JG Politz, S Krishnamurthi Analysis of Security APIs, 2012	4	2012
Event loops as first-class values: A case study in pedagogic language design J Politz, B Lerner, S Porncharoenwase, S Krishnamurthi arXiv preprint arXiv:1902.00735, 2019	3	2019

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors