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

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

Email
<the part between ~ and / in this url>@usfca.edu