DLS: Laurie Williams — Solving Software Security Challenges with Artificial Intelligence
Laurie Williams
Distinguished University Professor
Department of Computer Science, North Carolina State University
Laurie Williams
Distinguished University Professor
Department of Computer Science, North Carolina State University
MohammadReza Karegar, Master’s candidate
David R. Cheriton School of Computer Science
Supervisor: Professor Lukasz Golab
Danfei Xu, Computer Science Department
Stanford University
Sadjad Fouladi, Computer Science Department
Stanford University
Clara Kang, Master’s candidate
David R. Cheriton School of Computer Science
Supervisor: Professor Craig Kaplan
Symmetric patterns are used widely in clothing manufacture. However, the discontinuity of patterns at seams can disrupt the visual appeal of clothing. While it is possible to align patterns to conceal such pattern breaks, it is hard to create a completely seamless garment in terms of pattern continuity.
Charupriya Sharma, PhD candidate
David R. Cheriton School of Computer Science
Supervisor: Professor Peter van Beek
Pei Wu, Computer Science Department
University of California, Los Angeles
We prove that for every decision tree, the absolute values of the Fourier coefficients of given order $\ell\geq1$ sum to at most $c^{\ell}\sqrt{\binom{d}{\ell}(1+\log n)^{\ell-1}},$ where $n$ is the number of variables, $d$ is the tree depth, and $c>0$ is an absolute constant. This bound is essentially tight and settles a conjecture due to Tal (arxiv 2019; FOCS 2020).
Marios Kogias, Researcher
Microsoft Research, Cambridge
Sreeharsha Udayashankar, Master’s candidate
David R. Cheriton School of Computer Science
Supervisor: Professor Samer Al-Kiswany
Alexander Van de Kleut, Master’s candidate
David R. Cheriton School of Computer Science
Supervisor: Professor Jeff Orchard