Prof. Alex Aiken — Research Profile
Stanford University · Computer Science
About
Prof. Alex Aiken at Stanford University Computer Science lists Theoretical Computer Science as their registered research area.
Research keywords
Recent papers
- Equivalence Checking of ML GPU KernelsProceedings of the ACM on Programming Languages · Oct 1
- Relight: Simple User-Level Checkpointing and Fast-Forward Replay for Distributed Task-Based SystemsProceedings of the ACM on Programming Languages · Oct 1
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
Natacha Crooks 교수 연구실
University of California, Berkeley · Electrical Engineering and Computer Sciences
Optimality and Trade-offs in Fast BFT SMR (Extended Version)PreprintarXiv (Cornell University) · Aug 20Shared topic: Distributed systems and fault tolerance
Dirk Englund 교수 연구실
Massachusetts Institute of Technology · Department of Electrical Engineering and Computer Science
AxQM: A Textbook-Scale Benchmark for Formal Proof Synthesis in a Library of Finite-Dimensional Quantum MechanicsNewPreprintarXiv (Cornell University) · Sep 4Shared topic: Logic, programming, and type systems
M. Frans Kaashoek 교수 연구실
Massachusetts Institute of Technology · Department of Electrical Engineering and Computer Science
Extending concurrent separation logic to the hardware level to verify the xv6 OS kernel on RISC-V with AI agentsPreprintarXiv (Cornell University) · Sep 3Shared topic: Logic, programming, and type systems
Other labs in this department
- Adam Bouland 교수 연구실
Theoretical Computer Science
- Anshul Kundaje 교수 연구실
Computational Biology
- Azalia Mirhoseini 교수 연구실
Machine Learning
- Balaji Prabhakar 교수 연구실
Networks
- Carlos Guestrin 교수 연구실
Machine Learning
- Caroline Trippel 교수 연구실
Computer Architecture