John Wrenn

According to our database, John Wrenn authored at least 8 papers between 2017 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Dependently Typing R Vectors, Arrays, and Matrices.

John Wrenn, Anjali Pal, Alexa VanHattum, Shriram Krishnamurthi

CoRR, 2023

2022

Automated, Targeted Testing of Property-Based Testing Predicates.

Tim Nelson, Elijah Rivera, Sam Soucie, Thomas Del Vecchio, John Wrenn, Shriram Krishnamurthi

Art Sci. Eng. Program., 2022

Making Hay from Wheats: A Classsourcing Method to Identify Misconceptions.

Siddhartha Prasad, Ben Greenman, Tim Nelson, John Wrenn, Shriram Krishnamurthi

Proceedings of the Koli Calling '22: 22nd Koli Calling International Conference on Computing Education Research, 2022

2021

Using Relational Problems to Teach Property-Based Testing.

John Wrenn, Tim Nelson, Shriram Krishnamurthi

Art Sci. Eng. Program., 2021

2020

Will Students Write Tests Early Without Coercion?✱.

John Wrenn, Shriram Krishnamurthi

Proceedings of the Koli Calling '20: 20th Koli Calling International Conference on Computing Education Research, 2020

2019

Executable Examples for Programming Problem Comprehension.

John Wrenn, Shriram Krishnamurthi

Proceedings of the 2019 ACM Conference on International Computing Education Research, 2019

2018

Who Tests the Testers?

John Wrenn, Shriram Krishnamurthi, Kathi Fisler

Proceedings of the 2018 ACM Conference on International Computing Education Research, 2018

2017

Error messages are classifiers: a process to design and evaluate error messages.

John Wrenn, Shriram Krishnamurthi

Proceedings of the 2017 ACM SIGPLAN International Symposium on New Ideas, 2017