Publication A Security Model and Fully Verified Implementation for the IETF QUIC Record Layer Antoine Delignat-Lavaud, Cédric Fournet, Bryan Parno, Jonathan Protzenko, Tahina Ramananandro, Jay Bosamiya, Joseph Lallemand, Itsaka Rakotonirina, Yi Zhou IEEE Symposium on Security and Privacy | May 2021 Project
Publication TweakIt: Supporting End-User Programmers Who Transmogrify Code Samuel Lau, Advait Sarkar, Sruti Srinivasa Ragavan, Titus Barik Proceedings of the ACM CHI Conference on Human Factors in Computing Systems | May 2021 Project
Publication HCI 2020: Looking Back to the Future Abigail Sellen CHI Conference on Human Factors in Computing Systems | May 2021
Publication Deep Interactive Bayesian Reinforcement Learning via Meta-Learning Luisa Zintgraf, Sam Devlin, Kamil Ciosek, Shimon Whiteson, Katja Hofmann 20th International Conference on Autonomous Agents and Multiagent Systems | May 2021 Video Project
Publication Evaluating the Robustness of Collaborative Agents Paul Knott, Micah Carroll, Sam Devlin, Kamil Ciosek, Katja Hofmann, Anca Dragan, Rohin Shah 20th International Conference on Autonomous Agents and Multiagent Systems | May 2021 Project
Publication Spreadsheet Comprehension: Guesswork, Giving up and Going back to the Author Sruti Srinivasa Ragavan, Advait Sarkar, Andy Gordon CHI ’21: Proceedings of the 2021 CHI Conference on Human Factors in Computing Systems | May 2021 Project
Publication MeetingCoach: An Intelligent Dashboard for Supporting Effective and Inclusive Meetings Samiha Samrose, Daniel McDuff, Robert Sim, Jina Suh, Kael Rowan, Javier Hernandez, Sean Rintel, Kevin Moynihan, Mary Czerwinski CHI 2021 | May 2021 Project Project Project Project
Publication The F# Language Design RFCs (F# 6.0) Don Syme May 2021 The F# Language is a co-operation between the F# Community including contributors from Microsoft, Microsoft Research and GitHub.
Publication The Promise and Peril of Parallel Chat in Video Meetings for Work Advait Sarkar, Sean Rintel, Damian Borowiec, Rachel Bergmann, Sharon Gillett, Danielle Bragg, Nancy Baym, Abigail Sellen CHI 2021 | May 2021 Project Project Project Project Project
