Mehmet Emre

Orcid: 0000-0001-8744-6459

According to our database1, Mehmet Emre authored at least 7 papers between 2015 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Aliasing Limits on Translating C to Safe Rust.
Proc. ACM Program. Lang., April, 2023

2022
Translating C to Safe Rust: Reasoning about Pointer Types and Lifetimes
PhD thesis, 2022

2021
Translating C to safer Rust.
Proc. ACM Program. Lang., 2021

2019
Fixpoint reuse for incremental JavaScript analysis.
Proceedings of the 8th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis, 2019

Syntax-based Improvements to Plagiarism Detectors and their Evaluations.
Proceedings of the 2019 ACM Conference on Innovation and Technology in Computer Science Education, 2019

Structural and Nominal Cross-Language Clone Detection.
Proceedings of the Fundamental Approaches to Software Engineering, 2019

2015
CooperativeQ: Energy-efficient channel access based on cooperative reinforcement learning.
Proceedings of the IEEE International Conference on Communication, 2015


  Loading...