Prof. Simon Moore — Research Profile
University of Cambridge · Department of Computer Science and Technology
About
Prof. Simon Moore at University of Cambridge Department of Computer Science and Technology lists Computer Architecture, Programming Languages, Semantics and Verification, Security, Systems and Networking as their registered research area.
Research keywords
Recent papers
- Efficient Linkage-Based Compartmentalization on CHERIPreprintarXiv (Cornell University) · Sep 29
- CHERI-D Reincarnate: efficient multicore CHERI temporal memory safety through allocation reincarnation (draft version)PreprintarXiv (Cornell University) · Sep 10
From OpenAlex · papers whose author affiliation matches this university
Labs doing related research
Labs that recently published on topics this lab's recent papers share
Yarin Gal 교수 연구실
University of Oxford · Department of Computer Science
Distillation Defenses Easily Break After Reinforcement LearningPreprintarXiv (Cornell University) · Sep 28Shared topic: Security and Verification in Computing
Yves-Alexandre de Montjoye 교수 연구실
Imperial College London · Department of Computing
You Are the Trigger: Speaker-Activated BackdoorsNewPreprintarXiv (Cornell University) · Oct 19Shared topic: Security and Verification in Computing
Sam Staton 교수 연구실
University of Oxford · Department of Computer Science
Imprecise Probabilistic Programming, Precisely: Credal Sets via Graded Monads, BDDs, and Semiring-Parametric Inference (Functional Pearl)Proceedings of the ACM on Programming Languages · Aug 17Shared topic: Logic, programming, and type systems
Other labs in this department
- Alan Blackwell 교수 연구실
Human-Centred Computing, Machine Learning and Artificial Intelligence, Programming Languages, Semantics and Verification
- Alastair Beresford 교수 연구실
Security, Systems and Networking, Programming Languages, Semantics and Verification
- Alice Hutchings 교수 연구실
Security
- Amanda Prorok 교수 연구실
Machine Learning and Artificial Intelligence, Mobile Systems, Robotics and Automation
- Andreas Vlachos 교수 연구실
Natural Language Processing, Machine Learning and Artificial Intelligence
- Andrew W. Moore 교수 연구실
Systems and Networking, Computer Architecture, Machine Learning and Artificial Intelligence, Security