John C Mitchell

John C Mitchell

Stanford University

H-index: 95

North America-United States

About John C Mitchell

John C Mitchell, With an exceptional h-index of 95 and a recent h-index of 34 (since 2020), a distinguished researcher at Stanford University, specializes in the field of Computer security, programming languages, mathematical logic, education.

His recent articles reflect a diverse array of research interests and contributions to the field:

A large scale RCT on effective error messages in CS1

Remote Learning and Work

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

Social Skill Training with Large Language Models

Math IDE: A Platform for Creating with Math

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

Identifying and mitigating the security risks of generative ai

Serberus: Protecting Cryptographic Code from Spectres at Compile-Time

John C Mitchell Information

University

Position

Professor of Computer Science

Citations(all)

31279

Citations(since 2020)

4757

Cited By

28189

hIndex(all)

95

hIndex(since 2020)

34

i10Index(all)

218

i10Index(since 2020)

100

Email

University Profile Page

Stanford University

Google Scholar

View Google Scholar Profile

John C Mitchell Skills & Research Interests

Computer security

programming languages

mathematical logic

education

Top articles of John C Mitchell

Title

Journal

Author(s)

Publication Date

A large scale RCT on effective error messages in CS1

Sierra Wang

John Mitchell

Chris Piech

2024/3/7

Remote Learning and Work

IEEE Internet Computing

René Kizilcec

John Mitchell

2024/2/16

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

Sanjari Srivastava

Piotr Mardziel

Zhikhun Zhang

Archana Ahlawat

Anupam Datta

...

2024/2/7

Social Skill Training with Large Language Models

arXiv preprint arXiv:2404.04204

Diyi Yang

Caleb Ziems

William Held

Omar Shaikh

Michael S Bernstein

...

2024/4/5

Math IDE: A Platform for Creating with Math

Sierra Wang

John Mitchell

Nick Haber

Chris Piech

2024/3/14

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

Charis Charitsis

Chris Piech

John C Mitchell

2023/3/2

Identifying and mitigating the security risks of generative ai

Foundations and Trends® in Privacy and Security

Clark Barrett

Brad Boyd

Elie Bursztein

Nicholas Carlini

Brad Chen

...

2023/12/13

Serberus: Protecting Cryptographic Code from Spectres at Compile-Time

arXiv preprint arXiv:2309.05174

Nicholas Mosier

Hamed Nemati

John C Mitchell

Caroline Trippel

2023/9/11

Feedback on Program Development Process for CS1 Students

Charis Charitsis

Chris Piech

John C Mitchell

2022/3/3

Using nlp to quantify program decomposition in cs1

Charis Charitsis

Chris Piech

John C Mitchell

2022/6/1

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

Charis Charitsis

Chris Piech

John C Mitchell

2022/6/1

The Move Borrow Checker

arXiv preprint arXiv:2205.05181

Sam Blackshear

John Mitchell

Todd Nowacki

Shaz Qadeer

2022/5/10

Insights for post-pandemic pedagogy across one CS department

arXiv preprint arXiv:2203.09050

Maxwell Bigman

Yosefa Gilon

Jenny Han

John C Mitchell

2022/3/17

New trajectories in post-pandemic CS pedagogy

Maxwell Bigman

Yosefa Gilon

Jenny Han

John Mitchell

2021

Simplifying automated assessment in CS1

Charis Charitsis

Chris Piech

John C Mitchell

2021/12/17

Detection and prevention of privacy violation due to database release

2021/11/30

Determining information leakage of computer-readable programs

2021/6/22

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

Charis Charitsis

Chris Piech

John Mitchell

2021/6/8

Resources: A safe language abstraction for money

arXiv preprint arXiv:2004.05106

Sam Blackshear

David L Dill

Shaz Qadeer

Clark W Barrett

John C Mitchell

...

2020/4/10

Teaching Online in 2020: Experiments, Empathy, Discovery

Maxwell Bigman

John C Mitchell

2020

See List of Professors in John C Mitchell University(Stanford University)

Co-Authors

H-index: 134
Dan Boneh

Dan Boneh

Stanford University

H-index: 81
Luca Cardelli

Luca Cardelli

University of Oxford

H-index: 75
Ninghui Li

Ninghui Li

Purdue University

H-index: 62
David Mazières

David Mazières

Stanford University

H-index: 47
Anupam Datta

Anupam Datta

Carnegie Mellon University

H-index: 43
Andre Scedrov

Andre Scedrov

University of Pennsylvania

academic-engine