Explore the collection
Browse current work, meet contributors and follow related resources.
Human-Computer Interaction
Explore 72 publications and active work across human-computer interaction.
Topic
Hardware and Chips
Explore 83 publications and active work across hardware and chips.
Topic
Sustainable Computing
Explore 49 publications and active work across sustainable computing.
Topic
Foundation models that reason over code and hardware designs
A new architecture cuts reasoning errors by 38% on engineering benchmarks.
Featured research
Error-corrected qubits at room-scale cooling budgets
Researchers demonstrate stable logical qubits with lower cryogenic overhead.
Featured research
Zero-trust verification for AI supply chains
End-to-end provenance for models, datasets and deployment pipelines.
Featured research
Carbon-intelligent training at data-center scale
Schedulers shift non-interactive jobs to cleaner hours without missing research deadlines.
Featured research
Analog in-memory compute for transformer inference
Chiplet-mapped attention cuts energy per token while keeping accuracy inside a bounded error model.
Featured research
Verified code generation with formal feedback loops
Generator, tests and a lightweight verifier close the loop on repository-scale repair.
Featured research