Mehmet Emre

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
• Compliers

• 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, Peter Boyland, Aesha Parekh, Ryan Schroeder, Kyle Dewey, and Ben Hardekopf. 2023. Aliasing Limits on Translating C to Safe Rust. Proc. ACM Program. Lang. 7, OOPSLA1, Article 94 (April 2023), 29 pages.
• 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.
• Lawton Nichols, Mehmet Emre, and Ben Hardekopf. "Fixpoint reuse for incremental javascript analysis." In Proceedings of the 8th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis, pp. 2-7. 2019.