Krzysztof Drewniak

Contact

Email

krzysd@cs.washington.edu

Office

Allen Center (CSE) 324

Github

krzysz00

CV

pdf

ORCID

0000-0002-7054-1238

PGP

837E 880C 11FF 99D9 F0C0 9BA1 2A14 2308 2388 E924

About me

I’m a first-year PhD student at the University of Washington Paul G. Allen School of Computer Science & Engineering. I work in the Programming Languages and Software Engineering group, and am advised by Rastislav Bodik.

My overall research focus is on reducing the amount of runtime debugging needed during systems programming by having computers catch or eliminate by construction more classes of bugs. Currently, I’m working on finding more effective enumerative algorithms for problems such as synthesizing near-perfect hash functions or GPU programs that perform complex memory permutations to maintain efficiency.

News

Papers