Personal information

Verified email domains

Activities

Employment (1)

Stanford University: Stanford, California, US

1988-01-01 to present | Professor (Computer Science)
Employment
Source: Self-asserted source
John Mitchell

Education and qualifications (1)

Massachusetts Institute of Technology: Cambridge, Massachusetts, US

1980-09-01 to 1984-08-31 | PhD (EECS)
Education
Source: Self-asserted source
John Mitchell

Works (50 of 627)

Items per page:
Page 1 of 13

Coding Pathfinder: A Platform for Creative, Self-Guided Mastery in Programming

2025-02-18 | Conference paper
Contributors: Ishita Gupta; Maya Bridgman; Sierra Wang; John Mitchell
Source: check_circle
Crossref

De-amplifying Bias from Differential Privacy in Language Model Fine-tuning

PPAI-24: The 5th AAAI Workshop on Privacy-Preserving Artificial Intelligence
2024 | Conference paper
Contributors: Srivastava, Sanjari; Mardziel, Piotr; Zhang, Zhikhun; Ahlawat, Archana; Datta, Anupam; Mitchell, John C
Source: Self-asserted source
John Mitchell

Remote Learning and Work

IEEE Internet Computing
2024 | Journal article
Contributors: Kizilcec, Rene; Mitchell, John
Source: Self-asserted source
John Mitchell

Math IDE: A Platform for Creating with Math

2024-03-14 | Conference paper
Contributors: Sierra Wang; John Mitchell; Nick Haber; Chris Piech
Source: check_circle
Crossref

A Large Scale RCT on Effective Error Messages in CS1

2024-03-07 | Conference paper
Contributors: Sierra Wang; John Mitchell; Chris Piech
Source: check_circle
Crossref

Remote Learning and Work

IEEE Internet Computing
2024-01 | Journal article
Contributors: René Kizilcec; John Mitchell
Source: check_circle
Crossref
grade
Preferred source (of 2)‎

Detecting the Reasons for Program Decomposition in CS1 and Evaluating Their Impact

Proceedings of the 54th ACM Technical Symposium on Computer Science Education V. 1
2023 | Conference paper
Contributors: Charitsis, Charis; Piech, Chris; Mitchell, John C
Source: Self-asserted source
John Mitchell

Identifying and mitigating the security risks of generative ai

Foundations and Trends® in Privacy and Security
2023 | Journal article
Contributors: Barrett, Clark; Boyd, Brad; Bursztein, Elie; Carlini, Nicholas; Chen, Brad; Choi, Jihye; Chowdhury, Amrita Roy; Christodorescu, Mihai; Datta, Anupam; Feizi, Soheil et al.
Source: Self-asserted source
John Mitchell

Serberus: Protecting Cryptographic Code from Spectres at Compile-Time

arXiv preprint arXiv:2309.05174
2023 | Journal article
Contributors: Mosier, Nicholas; Nemati, Hamed; Mitchell, John C; Trippel, Caroline
Source: Self-asserted source
John Mitchell

Detecting the Reasons for Program Decomposition in CS1 and Evaluating Their Impact

2023-03-02 | Conference paper
Contributors: Charis Charitsis; Chris Piech; John C. Mitchell
Source: check_circle
Crossref
grade
Preferred source (of 2)‎

Feedback on Program Development Process for CS1 Students

Proceedings of the 53rd ACM Technical Symposium on Computer Science Education V. 2
2022 | Conference paper
Contributors: Charitsis, Charis; Piech, Chris; Mitchell, John C
Source: Self-asserted source
John Mitchell

Feedback on Program Development Process for CS1 Students

ACM Technical Symposium on Computer Science Education
2022 | Conference paper
Contributors: Charitsis Charis; Piech Chris; Mitchell C John
Source: check_circle
Stanford University

Function Names: Quantifying the Relationship Between Identifiers and Their Functionality to Improve Them

Proceedings of the Ninth ACM Conference on Learning@ Scale
2022 | Conference paper
Contributors: Charitsis, Charis; Piech, Chris; Mitchell, John C
Source: Self-asserted source
John Mitchell

Function Names: Quantifying the Relationship Between Identifiers and Their Functionality to Improve Them

ACM Conference on Learning @ Scale
2022 | Conference paper
Contributors: Charitsis Charis; Piech Chris; Mitchell C John
Source: check_circle
Stanford University

Insights for post-pandemic pedagogy across one CS department

arXiv preprint arXiv:2203.09050
2022 | Journal article
Contributors: Bigman, Maxwell; Gilon, Yosefa; Han, Jenny; Mitchell, John C
Source: Self-asserted source
John Mitchell

Using NLP to quantify program decomposition in CS1

Proceedings of the Ninth ACM Conference on Learning@ Scale
2022 | Conference paper
Contributors: Charitsis, Charis; Piech, Chris; Mitchell, John C
Source: Self-asserted source
John Mitchell

Using NLP to quantify program decomposition in CS1

ACM Conference on Learning @ Scale
2022 | Conference paper
Contributors: Charitsis Charis; Piech Chris; Mitchell C John
Source: check_circle
Stanford University

Assessing function names and quantifying the relationship between identifiers and their functionality to improve them

Proceedings of the Eighth ACM Conference on Learning@ Scale
2021 | Conference paper
Contributors: Charitsis, Charis; Piech, Chris; Mitchell, John
Source: Self-asserted source
John Mitchell

Assessing Function Names and Quantifying the Relationship Between Identifiers and Their Functionality to Improve Them

2021 | Conference paper
Contributors: Charitsis Charis; Piech Chris; Mitchell C John
Source: check_circle
Stanford University

New trajectories in post-pandemic CS pedagogy

2021 | Journal article
Contributors: Bigman, Maxwell; Gilon, Yosefa; Han, Jenny; Mitchell, John
Source: Self-asserted source
John Mitchell

Simplifying automated assessment in CS1

Proceedings of the 2021 4th International Conference on Education Technology Management
2021 | Conference paper
Contributors: Charitsis, Charis; Piech, Chris; Mitchell, John C
Source: Self-asserted source
John Mitchell

Simplifying Automated Assessment in CS1

International Conference on Education Technology Management
2021 | Conference paper
Contributors: Chartists Charis; Piech Chris; Mitchell C John
Source: check_circle
Stanford University

Detection and prevention of privacy violation due to database release

2021-11 | Other
Contributors: Mandal, Avradip; Roy, Arnab; Montgomery, Hart; Mitchell, John C
Source: Self-asserted source
John Mitchell

Determining information leakage of computer-readable programs

2021-06 | Other
Contributors: Mandal, Avradip; Roy, Arnab; Montgomery, Hart; Mitchell, John C
Source: Self-asserted source
John Mitchell

How to train your learners: Reinforcement learning for the scheduling of online learning activities

2020 | Journal article
Contributors: Bassen, Jonathan; Balaji, Bharathan; Schaarschmidt, Michael; Thille, Candace; Painter, Jay; Zimmaro, Dawn; Games, Alex; Fast, Ethan; Mitchell, John C
Source: Self-asserted source
John Mitchell

Model checking bitcoin and other proof-of-work consensus protocols

2020 IEEE International Conference on Blockchain (Blockchain)
2020 | Conference paper
Contributors: DiGiacomo-Castillo, Max; Liang, Yiyun; Pal, Advay; Mitchell, John C
Source: Self-asserted source
John Mitchell

Reinforcement learning for the adaptive scheduling of educational activities

Proceedings of the 2020 CHI Conference on Human Factors in Computing Systems
2020 | Conference paper
Contributors: Bassen, Jonathan; Balaji, Bharathan; Schaarschmidt, Michael; Thille, Candace; Painter, Jay; Zimmaro, Dawn; Games, Alex; Fast, Ethan; Mitchell, John C
Source: Self-asserted source
John Mitchell

Resources: A safe language abstraction for money

arXiv preprint arXiv:2004.05106
2020 | Journal article
Contributors: Blackshear, Sam; Dill, David L; Qadeer, Shaz; Barrett, Clark W; Mitchell, John C; Padon, Oded; Zohar, Yoni
Source: Self-asserted source
John Mitchell

Teaching Online in 2020: Experiments, Empathy, Discovery

IEEE Learning with MOOCS
2020 | Conference paper
Contributors: Bigman, Maxwell; Mitchell, John C.
Source: Self-asserted source
John Mitchell

Teaching Online in 2020: Experiments, Empathy, Discovery

IEEE Learning With MOOCS (LWMOOCS)
2020 | Conference paper
Contributors: Bigman, Maxwell; Mitchell, John C
Source: Self-asserted source
John Mitchell

Secure hash operations in a trusted execution environment

2020-07 | Other
Contributors: Mandal, Avradip; Roy, Arnab; Montgomery, Hart; Mitchell, John C
Source: Self-asserted source
John Mitchell

Privacy preservation

2020-06 | Other
Contributors: Mandal, Avradip; Roy, Arnab; Montgomery, Hart; Mitchell, John C
Source: Self-asserted source
John Mitchell

Model Checking Bitcoin and other Proof-of-Work Consensus Protocols

2020-01-01 | Conference paper
WOSUID:

WOS:000647642100042

Contributors: DiGiacomo-Castillo, Max; Liang, Yiyun; Pal, Advay; Mitchell, John C.
Source: check_circle
Stanford University

Reinforcement Learning for the Adaptive Scheduling of Educational Activities

2020-01-01 | Conference paper
WOSUID:

WOS:000695438100189

Contributors: Bassen, Jonathan; Balaji, Bharathan; Schaarschmidt, Michael; Thille, Candace; Painter, Jay; Zimmaro, Dawn; Gamest, Alex; Fast, Ethan; Mitchell, John C.
Source: check_circle
Stanford University

Automated analysis of cryptographic assumptions in generic group models

Journal of Cryptology
2019 | Journal article
Contributors: Barthe, Gilles; Fagerholm, Edvard; Fiore, Dario; Mitchell, John; Scedrov, Andre; Schmidt, Benedikt
Source: Self-asserted source
John Mitchell

Generative grading: Near human-level accuracy for automated feedback on richly structured problems

arXiv preprint arXiv:1905.09916
2019 | Journal article
Contributors: Malik, Ali; Wu, Mike; Vasavada, Vrinda; Song, Jinpeng; Coots, Madison; Mitchell, John; Goodman, Noah; Piech, Chris
Source: Self-asserted source
John Mitchell

Generative grading: Neural approximate parsing for automated student feedback

arXiv preprint arXiv:1905.09916
2019 | Journal article
Contributors: Malik, Ali; Wu, Mike; Vasavada, Vrinda; Song, Jinpeng; Mitchell, John; Goodman, Noah; Piech, Chris
Source: Self-asserted source
John Mitchell

Understanding undergraduate course consideration

Available at SSRN 3432748
2019 | Journal article
Contributors: Chaturapruek, Sorathan; Johari, Ramesh; Kizilcec, René; Stevens, Mitchell; Bernstein, Michael; Cina, Sara; Harrison, Monique; Lifschitz, Arik; Mitchell, John; Paepcke, Andreas et al.
Source: Self-asserted source
John Mitchell

Automated Analysis of Cryptographic Assumptions in Generic Group Models

JOURNAL OF CRYPTOLOGY
2019-04-01 | Journal article
WOSUID:

WOS:000462213500002

Part of ISSN: 1432-1378
Part of ISSN: 0933-2790
Contributors: Barthe, Gilles; Fagerholm, Edvard; Fiore, Dario; Mitchell, John; Scedrov, Andre; Schmidt, Benedikt
Source: check_circle
Stanford University

Data oblivious genome variants search on Intel SGX

International Workshop on Data Privacy Management
2018 | Conference paper
Contributors: Mandal, Avradip; Mitchell, John C; Montgomery, Hart; Roy, Arnab
Source: Self-asserted source
John Mitchell

OARS: exploring instructor analytics for online learning

Proceedings of the Fifth Annual ACM Conference on Learning at Scale
2018 | Conference paper
Contributors: Bassen, Jonathan; Howley, Iris; Fast, Ethan; Mitchell, John; Thille, Candace
Source: Self-asserted source
John Mitchell

Semantic security invariance under variant computational assumptions

Cryptology ePrint Archive
2018 | Journal article
Contributors: Theodorakis, Eftychios; Mitchell, John C
Source: Self-asserted source
John Mitchell

Data Oblivious Genome Variants Search on Intel SGX

2018-01-01 | Conference paper
WOSUID:

WOS:000477970100021

Part of ISSN: 1611-3349
Part of ISSN: 0302-9743
Contributors: Mandal, Avradip; Mitchell, John C.; Montgomery, Hart; Roy, Arnab; GarciaAlfaro, J.; HerreraJoancomarti, J.; Livraga, G.; Rios, R.
Source: check_circle
Stanford University

Flexible dynamic information flow control in the presence of exceptions

Journal of Functional Programming
2017 | Journal article
Contributors: Stefan, Deian; Mazières, David; Mitchell, John C; Russo, Alejandro
Source: Self-asserted source
John Mitchell

Hails: Protecting data privacy in untrusted web applications

Journal of Computer Security
2017 | Journal article
Contributors: Giffin, Daniel; Levy, Amit; Stefan, Deian; Terei, David; Mazieres, David; Mitchell, John; Russo, Alejandro
Source: Self-asserted source
John Mitchell

Hails: Protecting data privacy in untrusted web applications.

Journal of Computer Security
2017 | Journal article
Contributors: Giffin, Daniel B.; Levy, Amit; Stefan, Deian; Terei, David; Mazières, David; Mitchell, John C.; Russo, Alejandro
Source: Self-asserted source
John Mitchell

Privacy for targeted advertising

2017 IEEE Conference on Communications and Network Security (CNS)
2017 | Conference paper
Contributors: Mandal, Avradip; Mitchell, John; Montgomery, Hart; Roy, Arnab
Source: Self-asserted source
John Mitchell

Flexible dynamic information flow control in the presence of exceptions

JOURNAL OF FUNCTIONAL PROGRAMMING
2017-01-01 | Journal article
Part of ISSN: 0956-7968
Contributors: Stefan, Deian; Mazieres, David; Mitchell, John C.; Russo, Alejandro
Source: check_circle
Stanford University

Hails: Protecting data privacy in untrusted web applications

JOURNAL OF COMPUTER SECURITY
2017-01-01 | Journal article
WOSUID:

WOS:000405374600004

Part of ISSN: 1875-8924
Part of ISSN: 0926-227X
Contributors: Giffin, Daniel; Levy, Amit; Stefan, Deian; Terei, David; Mazieres, David; Mitchell, John; Russo, Alejandro
Source: check_circle
Stanford University

Privacy for Targeted Advertising

2017-01-01 | Conference paper
WOSUID:

WOS:000426981000067

Part of ISSN: 2474-025X
Contributors: Mandal, Avradip; Mitchell, John; Montgomery, Hart; Roy, Arnab
Source: check_circle
Stanford University
Items per page:
Page 1 of 13