Follow
Mehmet Emre
Mehmet Emre
Assistant Professor of Computer Science, University of San Francisco
Verified email at usfca.edu - Homepage
Title
Cited by
Cited by
Year
Translating C to safer Rust
M Emre, R Schroeder, K Dewey, B Hardekopf
Proceedings of the ACM on Programming Languages 5 (OOPSLA), 1-29, 2021
352021
Syntax-based improvements to plagiarism detectors and their evaluations
L Nichols, K Dewey, M Emre, S Chen, B Hardekopf
Proceedings of the 2019 ACM Conference on Innovation and Technology in …, 2019
242019
Structural and nominal cross-language clone detection
L Nichols, M Emre, B Hardekopf
Fundamental Approaches to Software Engineering: 22nd International …, 2019
172019
CooperativeQ: Energy-efficient channel access based on cooperative reinforcement learning
M Emre, G Gür, S Bayhan, F Alagöz
2015 IEEE International Conference on Communication Workshop (ICCW), 2799-2805, 2015
162015
Fixpoint reuse for incremental javascript analysis
L Nichols, M Emre, B Hardekopf
Proceedings of the 8th ACM SIGPLAN International Workshop on State Of the …, 2019
82019
Aliasing limits on translating c to safe rust
M Emre, P Boyland, A Parekh, R Schroeder, K Dewey, B Hardekopf
Proceedings of the ACM on Programming Languages 7 (OOPSLA1), 551-579, 2023
32023
Supplementary Material on “Translating C to Safer Rust”
M Emre, R Schroeder, K Dewey, B Hardekopf
12021
Translating C to Safe Rust: Reasoning about Pointer Types and Lifetimes
M Emre
University of California, Santa Barbara, 2022
2022
Investigations into a Separating-typed Language
M Emre, H Kringen, Z Sisco
The system can't perform the operation now. Try again later.
Articles 1–9