Mehmet Emre
About me
I am an Assistant Professor of Computer Science at University of San Francisco (USF). I got my PhD at PL λab at UC Santa Barbara under the supervision of by Ben Hardekopf.
I am the director of the PL Lab at USF, and the faculty coordinator for our CS Tutoring Center.
For prospective students
USF does not have a Ph.D. program in Computer Science. If you are interested in enrolling in the MS program, you need to apply via the official channels. I supervise only students already enrolled at USF or co-supervise students enrolled in other universities.
Research
My general research focus is programming languages.
In the past, I have worked on converting C programs to Rust programs with safety guarantees by reasoning about memory use patterns in the programs. Currently, I am looking into:
- Fuzzing programming language runtimes.
- Formal verification of parsing algorithms.
- Speeding up dynamic analysis/instrumentation tools used in fuzzing.
- Applications of program synthesis into unusual domains.
Publications
Conference papers
- Mehmet Emre, Ryan Schroeder, Kyle Dewey, and Ben Hardekopf:
Translating
C to Safe Rust
ACM Conference on Systems, Programming, Languages, and Applications: Software for Humanity, OOPSLA Research Papers Track (SPLASH/OOPSLA), 2021 - Lawton Nichols, Kyle Dewey, Mehmet Emre, Sitao Chen, and Ben Hardekopf:
Syntax-based Improvements to Plagiarism Detectors and their Evaluations
Conference on Innovation and Technology in Computer Science Education (ITiCSE), 2019 - Lawton Nichols, Mehmet Emre, and Ben Hardekopf: Structural and Nominal
Cross-Language Clone Detection
International Conference on Fundamental Approaches to Software Engineering (FASE), 2019
Workshop papers
- Lawton Nichols, Mehmet Emre, and Ben Hardekopf: Fixpoint Reuse for
Incremental JavaScript Analysis
International Workshop on the State Of the Art in Program Analysis (SOAP), 2019 - Mehmet Emre, Gürkan Gür, Suzan Bayhan, Fatih Alagöz: CooperativeQ:
Energy-Efficient Channel Access Based on Cooperative Reinforcement Learning
Proceedings of the 2015 IEEE International Conference on Communications (ICC 2015), Workshop on Next Generation Green ICT, pages 10852-10858, London, United Kingdom, June 8-12, 2015.
Teaching
Fall 2025
- Programming Languages (CS 345)
- Program Synthesis (CS 486/686)
- Building CS Skills and Community (CS 186)
Past courses
- Programming Languages (CS 345), Fall 2024, Spring 2023, Fall 2022
- Compilers (CS 414), Spring 2025, Fall 2023
- Automata Theory (CS 411), Spring 2025, Spring 2024
- C and Systems Programming (CS 221), Fall 2024
Contact
- <the part between ~ and / in this url>@usfca.edu