08.26
I've released tzap, a very fast quantum-circuit optimizer!
I've released tzap, a very fast quantum-circuit optimizer!
My PLDI keynote, The Rise & Collapse of a Quantum State, is now on YouTube!
My Code Metal talk, Verifying, Heavy & Light, is now on YouTube!
Thrilled to be giving a keynote at PLDI in June!
I'll be an Associate Chair for OOPSLA 2027
LSU is using my quantum w/o linear algebra approach in their curriculum!
Jiayu presented her work on understanding RL-based reasoning at NeurIPS!
I'm serving on the ISCA 26 program committee
Our quantum compiler generator is used by Google for early fault tolerance!
Abtin's paper on qubit routing accepted to POPL!
Amanda Xu receives the ACM SIGPLAN John Vlissides Award!
Amanda Xu selected for MIT EECS Rising Stars!
We gave a tutorial on quantum compilers @ SPLASH!
Excited to join the PLDI steering committee
Check out the current continuation podcast!
Our PLDI 25 paper received a distinguished artifact award!
Amanda receives a Cisco Systems Distinguished Graduate Fellowship!
We gave a tutorial on quantum compilers @ ASPLOS!
We've released wisq, our quantum-circuit compiler
Lauren & Amanda's paper on DB correctness to appear at OOPSLA!
Abtin's paper on quantum surface codes to appear at OOPSLA!
Anna's paper on multiplicity perceptions to appear at CHI!
Amanda's paper on quantum optimization to appear at ASPLOS!
Gave a talk at PLMW in Copenhagen on my scientific journey
Lauren has two papers at PLDI 🤩!
Anna's paper on data bias will appear at FAccT!
Amanda's paper on quantum optimization will appear at PLDI!
Our PLDI 20 paper appeared as a CACM Research Highlight!
Will give an invited talk at VMCAI in Boston
Yuhao's BagFlip paper to appear at NeurIPS!
Our weak supervision benchmark to appear at NeurIPS!
Abtin's paper on Qubit mapping accepted to MICRO!
Received an Amazon Research Award!
Will give an invited talk at VSTTE in Italy in October
Fun times speaking at Toronto's AI Safety Seminar
Gave an invited talk at HCVS / ETAPS
Received the Class of 1955 Teaching Excellence Award
Great fun giving a seminar talk at NUS
Mark Mansi gave a talk about the Rust compiler in my undergrad class
Our PLDI 20 paper is recognized as a SIGPLAN Research Highlight!
Anna's first paper on data bias accepted to NeurIPS!
Zi's paper on the power of intervals for neural networks to appear at POPL!
Yuhao's paper on proving robustness of LSTMs to appear at EMNLP!
Blog post: A Quantum Circuit Simulator in 27 Lines of Python
Had fun speaking to Henzinger's group at IST Austria
Had fun speaking at UCSD's PL seminar
2 new Drs in the house: Congrats to Dr. Sam Drews and Dr. Jinman Zhao!
Paper on learning privacy mechanisms to appear at S&P 21
Figaro accepted to CHI 21; congrats to David and Laura
Gave a talk at Waterloo's ML+Logic Colloqium
I'm the publicity chair for MAPS 21, a great symposium on ML and PL
Serving on the PC of AAAI, FAccT, and IJCAI
Two probability and programming research awards from FB!
Yuhao's paper on NLP robustness accepted to ICML!
Jiani and Calvin's paper on referring expressions accepted to ICML!
My first PhD student, Calvin Smith, is now a doctor!
I'm on the PC of the MAPL workshop (at PLDI). Submit your best ML/PL work!
I'm co-chairing the FoMLAS workshop in LA. Submit your best ML/FM work!
Sam's paper on data-poisoning robustness (cond.) accepted to PLDI!
David's work on adapting robot programs accepted to CHI!
Goutham + Yun Chan's paper on actionable explanations appears at AAAI!
NSF grant on verification and synthesis for collaborative robots
Invited talk at ETH's annual workshop on dependable and secure software
New UIST paper on synthesis of robot programs through acting!
Received a probability and programming research award from Facebook
Synthesizing Differentially Private Programs accepted to ICFP
Paper on synthesis with probabilistic constraints to appear at CAV
Our Datalog engine paper to appear at VLDB!
Paper on synthesis with equivalence reduction to appear at VMCAI
Paper on fairness-aware programming to appear at FAT*
Paper on verifying accuracy of randomized algorithms to appear at POPL
Best paper award at UIST! Way to go, David!
Paper on verification for human-robot interactions accepted to UIST!
Paper on type-directed enocders and static analysis accepted to FSE!
Paper on Datalog synthesis with active learning accepted to FSE!
Paper on synthesizing probabilistic proofs accepted to CAV!
Excited to be giving a keynote at FairWare@ICSE in Sweden!
Baby Lea Maria arrives in our world!
Excited to be serving on the POPL19 PC!
Best paper award at FAST!
Excited to be giving an invited talk at SAS in Freiburg!
FairSquare mentioned on Engadget's recap of fairness research in 2017
Paper accepted to FAST!
Paper on foundations of distributed Datalog accepted to ICDT!
FairSquare featured on Godel's Lost Letter
Paper accepted to POPL!
Excited to be on the steering committee of the new and very important FAT* conference, on fairness, accountability, and transparency
Calvin receives best paper award at FSE!
FairSquare press: SF Chronicle, Wisconsin State Journal TechRepublic
New paper by Sam to appear at OOPSLA17
New paper at SAS17
NSF grant to work on formal methods of program fairness!
New paper by Calvin to appear at FSE17
New paper by David M. to appear at IJCAI17
New paper by Sam to appear at CAV17
David P. receives the NSF Graduate Research Fellowship!
Sam is quoted in NBC article on algorithmic bias
Received an NSF CAREER Award!
Sam lands 2nd place at POPL's student research competition
Gave a talk at Facebook London's Infer team
Sam's paper on EPR interpolants accepted to CAV 16
Received an NSF grant to work on optimal interpolation
Calvin's paper, MapReduce Program Synthesis, accepted to PLDI 16
Calvin scores silver medal at POPL's student research competition
Our Maximal Specification Synthesis paper will appear at POPL 16
I'll be serving on the PLDI 16 ERC
I'll be chairing CAV 16's artifact evaluation committee
Spoke at the Verification Mentoring Workshop at CAV 15 in SF