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 | 59 | 2021 |
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 | 28 | 2019 |
Structural and nominal cross-language clone detection L Nichols, M Emre, B Hardekopf Fundamental Approaches to Software Engineering: 22nd International …, 2019 | 18 | 2019 |
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 | 15 | 2015 |
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 | 13 | 2023 |
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 | 9 | 2019 |
Supplementary Material on “Translating C to Safer Rust” M Emre, R Schroeder, K Dewey, B Hardekopf | 1 | 2021 |
Translating C to Safe Rust: Reasoning about Pointer Types and Lifetimes M Emre University of California, Santa Barbara, 2022 | | 2022 |
Structural and Nominal Cross-Language L Nichols, M Emre, B Hardekopf Fundamental Approaches to Software Engineering: 22nd International …, 2019 | | 2019 |
Investigations into a Separating-typed Language M Emre, H Kringen, Z Sisco | | |