Simon Moore 교수 연구 프로필
케임브리지 대학교 · 컴퓨터과학기술학과
소개
케임브리지 대학교 컴퓨터과학기술학과 소속 Simon Moore 교수의 등록된 연구 분야는 Computer Architecture, Programming Languages, Semantics and Verification, Security, Systems and Networking입니다.
연구 키워드
최근 논문
- Efficient Linkage-Based Compartmentalization on CHERI프리프린트arXiv (Cornell University) · 9월 29일
- CHERI-D Reincarnate: efficient multicore CHERI temporal memory safety through allocation reincarnation (draft version)프리프린트arXiv (Cornell University) · 9월 10일
OpenAlex 기준 · 저자 소속이 이 대학으로 확인된 논문이에요
비슷한 연구를 하는 다른 연구실
이 연구실의 최근 논문과 주제가 겹치는 논문을 최근에 낸 연구실이에요
Yarin Gal 교수 연구실
옥스퍼드 대학교 · 컴퓨터과학과
Distillation Defenses Easily Break After Reinforcement Learning프리프린트arXiv (Cornell University) · 9월 28일겹치는 주제: Security and Verification in Computing
Yves-Alexandre de Montjoye 교수 연구실
임페리얼 칼리지 런던 · 컴퓨터학과
You Are the Trigger: Speaker-Activated Backdoors새 논문프리프린트arXiv (Cornell University) · 10월 19일겹치는 주제: Security and Verification in Computing
Sam Staton 교수 연구실
옥스퍼드 대학교 · 컴퓨터과학과
Imprecise Probabilistic Programming, Precisely: Credal Sets via Graded Monads, BDDs, and Semiring-Parametric Inference (Functional Pearl)Proceedings of the ACM on Programming Languages · 8월 17일겹치는 주제: Logic, programming, and type systems
같은 학과의 다른 연구실
- 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