About

9.19 NSF grant on verification and synthesis for collaborative robots
8.19 Invited talk at ETH's annual workshop on dependable and secure software
7.19 New UIST paper on synthesis of robot programs through acting!
7.19 Gave a talk at verification mentoring workshop (VMW 19)
5.19 Received a probability and programming research award from Facebook
5.19 Synthesizing Differentially Private Programs accepted to ICFP
4.19 Paper on synthesis with probabilistic constraints to appear at CAV
1.19 Our Datalog engine paper to appear at VLDB!
11.18 Paper on synthesis with equivalence reduction to appear at VMCAI
10.18 Paper on fairness-aware programming to appear at FAT*
10.18 Paper on verifying accuracy of randomized algorithms to appear at POPL
10.18 Best paper award at UIST! Way to go, David!
7.18 Paper on verification for human-robot interactions accepted to UIST!
6.18 Paper on type-directed enocders and static analysis accepted to FSE!
6.18 Paper on Datalog synthesis with active learning accepted to FSE!
3.18 Paper on synthesizing probabilistic proofs accepted to CAV!
3.18 Excited to be giving a keynote at FairWare@ICSE in Sweden!
2.18 Baby Lea Maria arrives in our world!
2.18 Excited to be serving on the POPL19 PC!
2.18 Best paper award at FAST!
2.18 Excited to be giving an invited talk at SAS in Freiburg!
12.17 FairSquare mentioned on Engadget's recap of fairness research in 2017
12.17 Paper accepted to FAST!
12.17 Paper on foundations of distributed Datalog accepted to ICDT!
11.17 FairSquare featured on Godel's Lost Letter
9.17 Paper accepted to POPL!
8.17 Excited to be on the steering committee of the new and very important FAT* conference, on fairness, accountability, and transparency
7.17 Calvin receives best paper award at FSE!
7.17 FairSquare press: SF Chronicle, Wisconsin State Journal TechRepublic
6.17 New paper by Sam to appear at OOPSLA17
6.17 New paper at SAS17
6.17 NSF grant to work on formal methods of program fairness!
6.17 New paper by Calvin to appear at FSE17
4.17 New paper by David M. to appear at IJCAI17
4.17 New paper by Sam to appear at CAV17
3.17 David P. receives the NSF Graduate Research Fellowship!
3.17 Sam is quoted in NBC article on algorithmic bias
2.17 Received an NSF CAREER Award!
1.17 Sam lands 2nd place at POPL's student research competition
9.16 Gave a talk at Facebook London's Infer team
4.16 Sam's paper on EPR interpolants accepted to CAV 16
2.16 Received an NSF grant to work on optimal interpolation
1.16 Calvin's paper, MapReduce Program Synthesis, accepted to PLDI 16
1.16 Calvin scores silver medal at POPL's student research competition
10.15 Our Maximal Specification Synthesis paper will appear at POPL 16
10.15 I'll be serving on the PLDI 16 ERC
9.15 I'll be chairing CAV 16's artifact evaluation committee
8.15 Received a Google faculty research award. Thanks, Alphabet!
7.15 Spoke at the Verification Mentoring Workshop at CAV 15 in SF