I'm David Williams-King. I did my Ph.D. under Professor Junfeng Yang from 2014-2020.
After graduating, I became CTO at Elpha Secure. I sometimes write code by speaking instead of typing. How, you ask?
My personal webpage is elfery.net. You can find me on Twitter as @deepelfery.
If you are looking for a job in security or want to learn about voice coding, we should get in touch. Contact info above.
My thesis is available here. Other publications here.
Egalito has been published at ASPLOS 2020! Source is here. The project homepage is here.
My OSDI paper on Shuffler is available here. Press coverage here.
I used to be involved with the CTF team. For some resources, click here.
I used to be the ACM coach in 2014, 2015, 2016. ACM contests are hosted here.
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
"Never attempt a shellsort until the turtles have stopped moving." -- John Aycock