Formal Methods and Computing Identity-based Mentorship for Early Stage Researchers
- 26 February 2020
- conference paper
- conference paper
- Published by Association for Computing Machinery (ACM) in Proceedings of the 51st ACM Technical Symposium on Computer Science Education
Abstract
The field of formal methods relies on a large body of background knowledge that can dissuade researchers from engaging with younger students, such as undergraduates or high school students. However, we have found that formal methods can be an excellent entry point to computer science research - especially in the framing of Computing Identity-based Mentorship. We report on our experience in using a cascading mentorship model to involve early stage researchers in formal methods, covering our process with these students from recruitment to publication. We present case studies (N=12) of our cascading mentorship and how we were able to integrate formal methods research with the students' own interests. We outline some key strategies that have led to success and reflect on strategies that have been, in our experience, inefficient.Keywords
Funding Information
- NSF (1715387, 1553168)
This publication has 14 references indexed in Scilit:
- Lazy counterfactual symbolic executionPublished by Association for Computing Machinery (ACM) ,2019
- Programming-by-example for audio: synthesizing digital signal processing programsPublished by Association for Computing Machinery (ACM) ,2018
- Catch 'em EarlyPublished by Association for Computing Machinery (ACM) ,2018
- An auditing language for preventing correlated failures in the cloudProceedings of the ACM on Programming Languages, 2017
- Synthesizing configuration file specifications with association rule learningProceedings of the ACM on Programming Languages, 2017
- IronFleetCommunications of the ACM, 2017
- How Can Automatic Feedback Help Students Construct Automata?ACM Transactions on Computer-Human Interaction, 2015
- A cascading mentoring pedagogy in a CS service learning course to broaden participation and perceptionsPublished by Association for Computing Machinery (ACM) ,2013
- Automating string processing in spreadsheets using input-output examplesPublished by Association for Computing Machinery (ACM) ,2011
- Formal methodsACM Computing Surveys, 2009