穆罕默德埃姆雷

Mehmet在编程语言和软件工程交叉领域的研究. 他的重点是构建和使用程序分析来自动理解程序的行为.

他目前的研究项目集中在提取C程序中的内存和线程安全属性，以使从C语言过渡到更安全的编程语言(如Rust)更容易. 他还从事涉及动态不变量推理的研究项目, 在程序之间查找相似的代码片段, 使用编程语言的技术，给学生编程作业的反馈, 调试/理解程序分析.

• 编程语言
• 软件工程
• 形式验证

• 程序分析
• 运行时系统
• 依令行事的人

• 加州大学圣巴巴拉分校，计算机科学博士，2022年
• 加州大学圣巴巴拉分校，计算机科学硕士，2021年
• Boğaziçi大学，计算机工程学士，2015年

• 穆罕默德埃姆雷, Peter Boyland, Aesha Parekh, Ryan Schroeder, Kyle Dewey和Ben Hardekopf. 2023. 将C语言转换为安全Rust的混叠限制. Proc. ACM程序. 朗. 7, OOPSLA1, Article 94 (April 2023)， 29页.
• 穆罕默德·埃姆雷，瑞恩·施罗德，凯尔·杜威和本·哈德科普夫. 将C语言转换为更安全的Rust.《在线博彩平台。》第5期. Oopsla (2021): 1-29.
• 劳顿·尼科尔斯，穆罕默德·埃姆雷和本·哈德科普夫. 结构和名义跨语言克隆检测.《最大的博彩平台》，第2页. 247-263. Springer, Cham, 2019.
• 劳顿·尼科尔斯，穆罕默德·埃姆雷和本·哈德科普夫. “用于增量javascript分析的固定点重用.在第八届ACM SIGPLAN国际研讨会论文集中，关于程序分析的最新技术, pp. 2-7. 2019.