Hi!

I'm David Williams-King, a Ph.D. student under Professor Junfeng Yang. I started in 2014.

My personal webpage is elfery.net. It has a little more flair.

I'm looking for collaborators; if you are interested in binary rewriting, we should get in touch. Contact info above.

Academics

My OSDI paper on Shuffler is available here. Press coverage here.

I sometimes write code by speaking instead of typing. How, you ask?

Extracurriculars

I'm involved with the CTF team. For some resources, click here. Yes, I can add you to the mailing list.

I used to be the ACM coach in 2014, 2015, 2016. ACM contests are hosted here.

I want a puzzle

v=[-121552992,+22332268,-1330908,+30931,-300,1,-2,4,-5,7,-9,-4052160,+2794884,
-414404,+15425,-214,+1,-7,1,-4,-5,6,-25055856,+11050284,-975140,+26045,-274,1,
1,8,-4,-5,2,-5649788874240,+80468671808,-455728840,+1283067,-1796,1,9,4,5,6,3]
s='zb),i,pde\n\n[4y3p(\n:)0r5ue]oL")1a((rr\ns]biosc,:f)eru1yrr:,-3/aL/,l,(i(b\
)n(*%+fe),)*(c)(= i,L,i zdg)2(h)9+tts/5a:by"x, )g,1[:,  (p,x\\L(na]0bu(amna)[\
:(r=f) efa7=z,,:ev(rez(*e-[: za()vue \nrr=,[+,1oxrs%,z%:L)q(apr6t[b2oxfe==e,=\
6f)L= ,l(xc:\n)bLy)aebs]]a ic\n*x]enc+baf==/ (gd d a=]n(r)),qm2,)6xa[n(bL40eg\
)[:9n s(\n]of gxri(d:e( ,0 =bn)ci ),,';n=-1;f=lambda v:(453*v+559+117*v*v)%333
for x in [f(x) for x in range(1,999)][::n]:s=s=s=s=s=s=s=s=s=s[x:] [::n]+s[:x]
exec(s.replace('L','lambda '));exec(f([s%d(x) for x in x]))  # this is legible
exec(f((map(chr,f(e(f(e(d,a)),f(e(b,c))))))))     # compared to my perl. --dwk

Quote of the semester

                "Never attempt a shellsort until the turtles have stopped moving." -- John Aycock