Boston University Boston University

Types, Semantics, and Applications

June 3-June 13, 2024

Name Institution email

Industry Professionals

Adela Deng Google LLC adeladengyijia gmail.com
Michael Anthony Goulet Amazon Web Services mgx amazon.com
Caleb Helbling Draper Laboratory chelbling draper.com
Sam Lasser Draper Laboratory slasser draper.com
Graham Leach-Krouse Draper Laboratory gleachkr gmail.com
Petros Markopoulos Asana Inc. petrosmarkopoulos01 gmail.com
Nicholas Matsakis Amazon rust nikomatsakis.com
John Murphy Independent Contractor me jtm.cx
Mukarram Nainar theone sm2n.ca
Philip Zucker Draper Laboratory pzucker draper.com

Professors

Lucas Bang Harvey Mudd College bang cs.hmc.edu
Mengjia Yan Massachusetts Institute of Technology mengjiay mit.edu

Doctoral Students

Shubh Agrawal Northeastern University agr.shubh2 gmail.com
Cezar Andrici Max Planck Institute for Security and Privacy cezar.andrici mpi-sp.org
Linard Arquint ETH Zurich linard.arquint inf.ethz.ch
Gaurav Arya Carnegie Mellon University aryag mit.edu
Thomas Bagrel LORIA/INRIA thomas.bagrel tweag.io
Steven Baldasty University of Vermont steven.baldasty uvm.edu
Patrycja Balik University of Wrocław root pbalik.com
Ethan Bodzioney University of Toronto ethan.bodzioney mail.utoronto.ca
Martina Camaioni École Polytechnique Fédérale de Lausanne martina.camaioni epfl.ch
Ronaldo Armando Canizales Colorado State University ronaldo.canizales_turcios colostate.edu
Zach Casey Boston University caseyz bu.edu
Clément Chavanon INRIA Rennes clement.chavanon inria.fr
Minsung Cho Northeastern University minsung ccs.neu.edu
Josh Cohen Princeton University jmc16 princeton.edu
Nicholas Gregory Paul Coltharp Portland State University coltharp pdx.edu
Adriano Corbelino II University of Massachusetts Lowell adriano_vilargacorbelino student.uml.edu
Thibault Dardinier ETH Zurich thibault.dardinier inf.ethz.ch
Anthony Peter D'Arienzo University of Illinois Urbana-Champaign apd6 illinois.edu
Kanak Das University of California, Riverside kdas006 ucr.edu
Maxwell Yinong Fan Cornell University myf5 cornell.edu
Negar Fathi University of Nebraska-Lincoln nfathi2 huskers.unl.edu
Margarida Ferreira Carnegie Mellon University / Instituto Superior Técnico margarida cmu.edu
Justin Frank University of Maryland, College Park jpfrank umd.edu
Varun Gandhi Harvard University vgandhi g.harvard.edu
Luis Garcia Northeastern University garcia.lui northeastern.edu
Giulia Giusti École Normale Supérieure de Lyon giulia.giusti ens-lyon.fr
Henrique Guerra Instituto Superior Técnico henrique.b.guerra tecnico.ulisboa.pt
Simon Guo University of California, Irvine yutong4 uci.edu
Kei Imada Cornell University ki95 cornell.edu
Laura Anne Israel Portland State University laisrael pdx.edu
Syed Jafri University of Vermont syedjafri99 gmail.com
Yuchen Jiang University of Michigan lighght umich.edu
Suraaj Kanniwadi Cornell University sk2727 cornell.edu
Ian Kariniemi Portland State University ilk pdx.edu
Farideh Khalili Northeastern University khalili.f northeastern.edu
Paulette Koronkevich University of British Columbia pletrec cs.ubc.ca
Aristotelis Koutsouridis Max Planck Institute for Software Systems koutsouridis mpi-sws.org
Rahul Krishnan The University of Wisconsin-Madison rkrishnan25 wisc.edu
Stella Lau Massachusetts Institute of Technology stellal mit.edu
John Li Northeastern University li.john northeastern.edu
Slim Lim UC Berkeley slim sarahlim.com
Jiazheng Liu Massachusetts Institute of Technology jzliu mit.edu
Junrui Liu University of California, Santa Barbara junrui ucsb.edu
Lang Liu Illinois Institute of Technology lliu94 hawk.iit.edu
Anton Lorenzen University of Edinburgh anton.lorenzen ed.ac.uk
Cade Lueker University of Colorado Boulder Cade.Lueker gmail.com
Pieter Luyten KU Leuven pieter.luyten kuleuven.be
Cong Ma University of Waterloo cong.ma uwaterloo.ca
Davide Macino Boston University dmancino bu.edu
Rodrigo dos Reis Canedo Marques University of Porto rodrigo.marques fc.up.pt
Vadym Matviichuk Northeastern University matviichuk.v northeastern.edu
Vaibhav Mehta Cornell University vm353 cornell.edu
Cameron Moy Northeastern University camoy ccs.neu.edu
Maxime Mulder maxime-mulder outlook.com
Shaan Nagy University of Wisconsin, Madison sanagy wisc.edu
Egor Namakonov Aarhus University e.namakonov cs.au.dk
Wesley Nuzzo University of Massachusetts Lowell wesley_nuzzo student.uml.edu
Lisa Oakley Northeastern University oakley.l northeastern.edu
Aaryan Patel University of Wisconsin-Madison patelaaryan cs.wisc.edu
Oliver Mark Pearce Royal Holloway University of London oliverpearce5652 gmail.com
João C. Pereira ETH Zurich joao.pereira inf.ethz.ch
Jared Pincus Boston University pincus bu.edu
Michael Piskozub University at Buffalo mepiskoz buffalo.edu
Thomas Porter University of Michigan thomasjp umich.edu
Siddhartha Prasad Brown University siddhartha_prasad brown.edu
Edoardo Putti University of Twente e.putti utwente.nl
Savitha Ravi University of California, San Diego s2ravi ucsd.edu
Silei Ren Cornell University sr2262 cornell.edu
Bryan Richlinski University of Kansas b748r023 ku.edu
Steven Schaefer University of Michigan stschaef umich.edu
Matt Schwennesen University of Wisconsin, Madison schwennesen wisc.edu
Shixin Song Massachusetts Institute of Technology shixins mit.edu
Jack Stanek University of Wisconsin-Madison jrstanek wisc.edu
Sam Stites Northeastern University stites.s northeastern.edu
Elanor Tang Carnegie Mellon University elanor umich.edu
Yichen Tao University of Michigan ychtao umich.edu
Anders Ågren Thuné Uppsala University anders.agren-thune it.uu.se
Isaac van Bakel ETH Zurich isaac.vanbakel inf.ethz.ch
Spencer Van Koevering Cornell University sv493 cornell.edu
Grant VanDomelen Portland State University gsv pdx.edu
Joey Velez-Ginorio University of Pennsylvania joeyv seas.upenn.edu
Jinlang Wang University of Wisconsin-Madison jwang2775 wisc.edu
Cameron Wong Harvard University cwong g.harvard.edu
Aosen Xiong University of Waterloo aosen.xiong uwaterloo.ca
Runqing Xu Johannes Gutenberg University Mainz runxu uni-mainz.de
Yuheng Yang Massachusetts Institute of Technology yuhengy mit.edu
Yulun Yao Cornell University yy665 cornell.edu
Ugur Yavuz Boston University uyyavuz bu.edu
Yeonhee Yeh University of Vermont yeonhee.yeh uvm.edu
Cheng Zhang Boston University czhang03 bu.edu
Tesla Zhang Carnegie Mellon University yinsenz andrew.cmu.edu
Xin Zhang Massachusetts Institute of Technology zhangx3 mit.edu
Chenyu Zhou University of Southern California czhou691 usc.edu

Masters Students

Taiba Abid Carnegie Mellon University tabid andrew.cmu.edu
Hanxi (Gary) Chen University of Pennsylvania hanxic seas.upenn.edu
Eloise Christian Rochester Institute of Technology eloise mail.rit.edu
Tudual Durand ISAE-Supaero tudual.durand student.isae-supaero.fr
Anirudh Narsipur Brown University anirudh_narsipur brown.edu
Feitong Leo Qiao Columbia University flq2101 columbia.edu
Melwyn Saldanha Rochester Institute of Technology ms3754 rit.edu
Julin Shaji IIT Palakkad julinshaji01 gmail.com
Youzhang (Mark) Sun University of Toronto youzhang.mark.sun gmail.com
Shriya Thakur Boston University ssthakur bu.edu
Zheng Wangyuan Northeastern University zhengwangyuan.icarus gmail.com
Tz-Ching Yu École polytechnique fédérale de Lausanne tz-ching.yu epfl.ch
Michael Zhang University of Minnesota zhan4854 umn.edu
Xiaotian Zhou Pennsylvania State University xzz5503 psu.edu

Undergraduate Students

Rohan Bafna Georgia Institute of Technology rbafna3 gatech.edu
Alexander Yuchen Bai Tufts University alexander.bai tufts.edu
Annaliese Bissell McGill University annaliese.bissell mail.mcgill.ca
Roger Burtonpatel Tufts University burtonpatel1 gmail.com
Jack Czenszak Northeastern University czenszak.j northeastern.edu
Zach Eisbach Northeastern University eisbach.z northeastern.edu
Seth Galasso University of Massachusetts Lowell Seth_Galasso student.uml.edu
Jake Ginesin Northeastern University ginesin.j northeastern.edu
Matthew Habtezgi Massachusetts Institute of Technology mhbtz mit.edu
Rishi Kothari University of Waterloo rishi.kothari uwaterloo.ca
Sydney Nguyen sydneyhnguyen1 gmail.com
Emeka Nkurumeh California Institute of Technology e.nk caltech.edu
Anish Rajeev Carnegie Mellon University arajeev andrew.cmu.edu
Gokul Rajiv National University of Singapore grajiv u.nus.edu
Jan-Paul Ramos Cornell University jvr34 cornell.edu
Pranav Teegavarapu University of Washington pranavnt outlook.com
Jeffery Wang New York University cw3736 nyu.edu
Zheng Yew Singapore University of Technology and Design zhengyew_yong mymail.sutd.edu.sg
Zhiwen Zheng New York University zz3470 nyu.edu