Mehmet's research at the intersection of programming languages and software engineering. His focus is on building and using program analyses to understand the behavior of programs automatically.
His current research project focuses on extracting memory and thread safety properties in C programs to make transitioning from C to safer programming languages such as Rust easier. He has also worked on research projects involving dynamic invariant inference, finding similar snippets between programs, using techniques from programming languages to give students feedback on programming assignments, and debugging/understanding program analyses.
- Programming languages
- Software engineering
- Formal verification
- Program analysis
- Runtime systems
- University of California Santa Barbara, PhD in Computer Science, 2022
- University of California Santa Barbara, MS in Computer Science, 2021
- Boğaziçi University, BS in Computer Engineering, 2015
Mehmet Emre, Ryan Schroeder, Kyle Dewey, and Ben Hardekopf. "Translating C to safer Rust." Proceedings of the ACM on Programming Languages 5, no. OOPSLA (2021): 1-29.
Lawton Nichols, Mehmet Emre, and Ben Hardekopf. "Structural and nominal cross-language clone detection." In International Conference on Fundamental Approaches to Software Engineering, pp. 247-263. Springer, Cham, 2019.