uwplse.org - UW PLSE
home > domains > uwplse.org
Example domain paragraphs
UW CSE ’s Programming Languages and Software Engineering group advances fundamental research and practical applications ( GitHub ) in programming environments, program analysis, language design, synthesis, compilers, testing, verification, and security. We have strong ties to the Sampa group , Cray, Microsoft Research, NVIDIA, AT&T, and others.
Congrats to Remy , Max , and Dan Suciu , for their paper Free Join: Unifying Worst-Case Optimal and Traditional Joins , which will appear at SIGMOD 2023 !
Congrats to Hannah , Ardi , René , and collaborators for their Onward! paper on Contextualized programming language documentation , which will appear at SPLASH 2022 !
Links to uwplse.org (56)
raft.github.io
Raft Consensus Algorithm
pavpanchekha.com
Pavel Panchekha
clairelegoues.com
Claire Le Goues
ztatlock.net
Zachary Tatlock
egraphs-good.github.io
egg
mpfr.org
The GNU MPFR Library
mwillsey.com
mwillsey
fpbench.org
FPBench
cnandi.com
Chandrakana Nandi
jamesrwilcox.com
James R. Wilcox
oflatt.com
Oliver Flatt
rachitnigam.com
Rachit Nigam | PhD Candidate, Cornell University
rachit.pl
Rachit Nigam | PhD Candidate, Cornell University
jacquesklein2302.github.io
Jacques Klein at SnT, University of Luxembourg
ajpal.github.io
Anjali Pal
shubham-goel.github.io
Shubham Goel
remy.wang
Remy Wang
tea-lang.org
Tea | Automated Statistical Analysis
bsaiki.com
Brett Saiki | Personal Website
thia.codes
Cynthia Richey
programming.systems
UCSD Progsys Web Page
nyazdani.com
nathaniel yazdani
ad1024.space
Mike He
madadi.one
Ardi Madadi – The Portfolio
proofengineering.org
Proof Engineering
helena-lang.org
Helena | Web Automation for End Users
jordansamhi.com
Jordan Samhi, Ph.D.
alexsanchezstern.com
Alex Sanchez-Stern
nateyazdani.github.io
nathaniel yazdani
lenary.co.uk
Archibald Samuel Elliott
hannahpotter.github.io
Hannah Potter
darzu.io
darzu.io
aemichael.github.io
Alexandra E. Michael
konne.me
Konstantin Weitz
uwplse.github.io
UW PLSE
lsrcz.github.io
About me - Sirui Lu
slyubomirsky.github.io
Steven S. Lyubomirsky
malyzajko.github.io
Eva Darulova
johnadtoman.com
John Toman
ninehusky.github.io
Andrew Cheung | Andrew Cheung’s personal website
clegoues.github.io
Claire Le Goues
chandrakananandi.github.io
Chandrakana Nandi
maaz139.github.io
Maaz Bin Safeer Ahmad - Research Scientist @ Adobe.
weberlo.github.io
Logan Weber – Computer Scientist
distributedcomponents.net
Distributed Components
ocelot.tools
Ocelot
kirstenmg.github.io
Kirsten Graham
jamesbornholt.com
James Bornholt
sampl.ai
SAMPL: Home
faui2k9.de
Planet FAUi2k9
cnandi.net
Chandrakana Nandi
totalcrazyhack.net
ztatlock - index
my-voice-now.com
James R. Wilcox
priyasrikumar.com
Google Domains Hosted Site
ad1024.github.io
Mike He
apaz.info
Andrés Paz | Architect, Quantum Computing (University of Washington, Microsoft) LinkedIn