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.
Research
My general research focus is programming languages.
I have been working on converting C programs to Rust programs with safety guarantees by reasoning about memory use patterns in the programs. Currently, I am looking into combining machine learning-based heuristics and insights from static analysis for this purpose.
I am also generally interested in logic programming, fuzzing, and static analysis. For more details, see my research ideas page.
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 2024
- Programming Languages (CS 345)
- C and Systems Programming (CS 221)
Past courses
- Programming Languages (CS 345), Spring 2023, Fall 2022
- Compilers (CS 414), Fall 2023
- Compilers (CS 414), Fall 2023
Contact
- <the part between ~ and / in this url>@usfca.edu