ATLAS group | BrownCS
atlas-brown
Analysis and Transformation in Languages, Applications, and Systems
Leon Schuermann
lschuermann
Grad student. Working on @tock. Chat on Matrix: <at>leons:is.currently.online
@princeton-sns / @tock / @microsoft Resarch Intern Redmond, WA
Rodrigo Mesquita
alt-romes
GHC contributor, working on linear types, equality saturation, and in whatever else
Well-Typed LLP @ GHC Team Portugal
Raven
ravenjoad
Ph.D Candidate at Northwestern University interested in making hardware development better
Tock Embedded OS
tock
Tock is an embedded operating system designed for running multiple concurrent, mutually distrustful applications on low-memory and low-power microcontrollers
Justus Adam
JustusAdam
PhD student working on systems for privacy and security.
@brownsys Providence, RI
The FreeST programming language
freest-lang
A functional programming language for safe concurrency powered by context-free session types
SYSTEMF lab
epfl-systemf
Systems and Formalisms lab, EPFL IC, led by Prof. Clément Pit-Claudel
Switzerland
Shardul Chiplunkar
shardulc
PhD student in programming languages at EPFL
@epfl-systemf Lausanne, Switzerland
The Calyx Infrastructure
calyxir
Calyx is a compiler ecosystem for generating hardware accelerators
Anil Madhavapeddy
avsm
Professor of Planetary Computing, University of Cambridge
University of Cambridge Cambridge, UK
Secure Foundations Lab
secure-foundations
We investigate long-term, fundamental improvements in how to design and build secure systems.
Chris Gyurgyik
cgyurgyik
PhD candidate at Stanford University. Interested in designing better abstractions for both humans and compilers.
Stanford, CA
PreviousNext