Urmăriți
Joe Gibbs Politz
Titlu
Citat de
Citat de
Anul
Macaroons: Cookies with Contextual Caveats for Decentralized Authorization in the Cloud.
A Birgisson, JG Politz, U Erlingsson, A Taly, M Vrable, M Lentczner
NDSS, 2014
1552014
{ADsafety}:{Type-Based} verification of {JavaScript} sandboxing
JG Politz, SA Eliopoulos, A Guha, S Krishnamurthi
20th USENIX Security Symposium (USENIX Security 11), 2011
1272011
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
822013
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
762012
TeJaS: retrofitting type systems for JavaScript
BS Lerner, JG Politz, A Guha, S Krishnamurthi
ACM SIGPLAN Notices 49 (2), 1-16, 2013
732013
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
242021
Integrated data science for secondary schools: Design and assessment of a curriculum
E Schanzer, N Pfenning, F Denny, S Dooman, JG Politz, BS Lerner, ...
Proceedings of the 53rd ACM Technical Symposium on Computer Science …, 2022
212022
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
212014
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
202012
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
192014
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
182018
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
152014
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
142020
Typed-based verification of web sandboxes
J Gibbs Politz, A Guha, S Krishnamurthi
Journal of Computer Security 22 (4), 511-565, 2014
132014
Progressive types
JG Politz, H Quay-de la Vallee, S Krishnamurthi
Proceedings of the ACM international symposium on New ideas, new paradigms …, 2012
132012
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
122016
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
92014
Learning about the Experiences of Chicano/Latino Students in a Large Undergraduate CS Program
AN Lewis, JG Politz, K Vaccaro, M Minnes
Proceedings of the 27th ACM Conference on on Innovation and Technology in …, 2022
82022
A Data-Centric Introduction to Computing
K Fisler, S Krishnamurthi, BS Lerner, JG Politz
Accessed September 14, 2021, 2021
62021
Programming and programming languages
S Krishnamurthi, JG Politz
Brown University, 2015
62015
Sistemul nu poate realiza operația în acest moment. Încercați din nou mai târziu.
Articole 1–20