pavpanchekha.com - Pavel Panchekha

Example domain paragraphs

Share under CC-BY-SA .

I am Pavel Panchekha . I apply programming languages techniques to web browsers and numerical analysis at the University of Utah.

Sept 2023 : I'll be in Portland for ARITH 2023 with Ian Briggs, Zane Enders , and Jackson Brough talking about Rival and Herbie .

uwplse.org UW PLSE
ztatlock.net Zachary Tatlock
mwillsey.com mwillsey
fpbench.org FPBench
systems-lunch.org UMass systems lunch | systems-lunch
browser.engineering Web Browser Engineering
marisa.moe Marisa Kirisame
bsaiki.com Brett Saiki | Personal Website
marisakirisame.github.io Marisa Kirisame
phd-recruiting.com phd-recruiting.com
uwplse.github.io UW PLSE
ianbriggs.dev Ian Briggs | This is my personal website. The idea is to talk about my main interests of formal verification, floating point, an
abbaswu.github.io About Me - Jifeng Wu's Personal Website
ykchesetti.com Yuvaraj Chesetti
wags-1314.github.io SolarPunk