Foundations of Programming and Security

Presented Virtually June 14-26, 2021

Microsoft
Tezos
Jane Street
ACM Sigplan
Amazon Web Services

2021 Participants

Name Institution Email

Industry

Enzo Alda Lakebolt Research (USA) enzo ieee.org
Gabriela Araújo Britto Microsoft (Brazil) garaujobritto gmail.com
Evan Bergeron Singlestore (USA) bergeronej gmail.com
Eric Brunner Unviersity of Oregon (USA) tbrunner uoregon.edu
Kinnari Dave (USA) kinnari.dave certik.org
Marko Dimjašević (Croatia) marko dimjasevic.net
Michał J. Gajda Migamake Pte Ltd (Poland) mjgajda migamake.com
Jake Gillberg (USA) jake.gillberg protonmail.com
Alwyn Goodloe NASA Langley Research Center (USA) agoodloe gmail.com
M Ian Graham (Japan) hello miangraham.com
Edward Haigh Correct Software (UK) edd schaumanhaigh.com
Akhil Indurti Comcast (USA) aindurti gmail.com
Mayank Manjrekar (USA) mayankm utexas.edu
Michael Morehouse (UK) michael yawpitchroll.com
Gabriel Pickard (USA) wergomat gmail.com
Chuta Sano iRobot (USA) chutasano gmail.com
Rory Sawyer (USA) sory.rawyer gmail.com
Zhenkun Yang Intel Corporation (USA) zhenkun.yang intel.com

Professors

Clément Aubert Augusta University (USA) caubert augusta.edu
Lucas Bang Harvey Mudd College (USA) bang cs.hmc.edu

Post-Doctoral Researchers

Ariel Arbiser Universidad de Buenos Aires (Argentina) arbiser dc.uba.ar
Roberto Blanco Max Planck Institute for Security and Privacy (Germany) roberto.blanco csp.mpg.de
Sadegh Dalvandi University of Surrey (UK) m.dalvandi surrey.ac.uk
Tarakaram Gollamudi Boston College (USA) g.tr bc.edu
Khadijeh Keshvardoost Velayat University (Iran) hkeshvardoust yahoo.com
Jérémie Koenig Yale University (USA) jeremie.koenig gmail.com
Halimeh Moghbeli University of Jiroft (Iran) h_moghbeli sbu.ac.ir
Mohammed Al Mahfoudh University of Utah (USA) mahfoudh cs.utah.edu
Marco Paviotti Imperial College London (UK) m.paviotti imperial.ac.uk
Larisa Safina Inria (France) larisa.safina inria.fr
Jian Xiang Harvard University (USA) jxiang seas.harvard.edu

Doctoral Students

Zubair Ahmad Ca'Foscari University Venice (Italy) zubair.ahmad unive.it
Hanaa Alshareef Chalmers University of Technology (Sweden) hanaa chalmers.se
Guillaume Ambal Université de Rennes I (France) guillaume.ambal irisa.fr
Jatin Arora Carnegie Mellon University (USA) jatina29 gmail.com
Anish Athalye Massachusetts Institute of Technology (USA) aathalye mit.edu
David van Balen Utrecht University (The Netherlands) d.p.vanbalen uu.nl
Pietro Barbieri Università degli Studi di Genova (Italy) pietro.barbieri edu.unige.it
Shraddha Govind Barke University of California San Diego (USA) sbarke eng.ucsd.edu
Fahimeh Bayeh Dalhousie University (Canada) fahimeh.bayeh dal.ca
Raven Beutner Saarland University (Germany) s8rabeut stud.uni-saarland.de
Xiaoning Bian Dalhousie University (Canada) bian dal.ca
Riccardo Bianchini Università degli Studi di Genova (Italy) riccardo.bianchini edu.unige.it
Jeppe Fredsgaard Blaabjerg Aarhus University (Denmark) jfblaa cs.au.dk
Joseph Bond University of Bristol (UK) jecb1998 gmail.com
Roger Bosman KU Leuven (Belgium) roger.bosman kuleuven.be
Khalid Bourr University of Camerino (Italy) khalid.bourr unicam.it
Gergely Buday Hungarian University of Agriculture and Life Sciences (Hungary) buday.gergely.istvan uni-mate.hu
Maciej Buszka University of Wrocław (Poland) maciej.buszka cs.uni.wroc.pl
Luís Carvalho NOVA School of Science and Technology (Portugal) la.carvalho campus.fct.unl.pt
Yifan Chen Peking University (China) yf_chen pku.edu.cn
Alexander Chichigin Technische Universiteit Delft (The Netherlands) sad.ronin gmail.com
Luca Ciccone University of Torino (Italy) luca.ciccone unito.it
Breandan Considine McGill University (Canada) breandan.considine gmail.com
Donovan Crichton The Australian National University (Australia) donovan.crichton anu.edu.au
Juan Alfredo Cruz-Carlon IT University of Copenhagen (Denmark) alcr itu.dk
Cheng-En Chuang University at Buffalo (USA) chengenc buffalo.edu
Ruochen Dai University of Florida (USA) ruochendai ufl.edu
Pratyush Das Purdue University (USA) reikdas gmail.com
Matthew Dees University of California, Irvine (USA) mdees uci.edu
Benyamin Delshad Mamaghani University of St. Gallen (Switzerland) benyamin.delshad unisg.ch
Alessandro Di Giorgio University of Pisa (Italy) alessandro.digiorgio phd.unipi.it
Rui Dong University of Michigan (USA) ruidong umich.edu
Tomasz Drab University of Wrocław (Poland) tdr cs.uni.wroc.pl
Joseph Eremondi University of British Columbia (Canada) jeremond cs.ubc.ca
Christopher Esterhuyse University of Amsterdam (The Netherlands) christopher.esterhuyse gmail.com
Ramon Fernández Mir University of Edinburgh (UK) Ramon.FernandezMir ed.ac.uk
Homero Figueiredo NOVA School of Science and Technology (Portugal) homero.figueiredo gmail.com
Josh Filstrup University of California, Riverside (USA) filstrupj acm.org
Samantha Frohlich University of Bristol (UK) sf16540 my.bristol.ac.uk
Weimin Fu Kansas State University (USA) weiminf ksu.edu
Fraser Garrow Heriot-Watt University (Scotland) fg28 hw.ac.uk
Eduardo Geraldo NOVA School of Science and Technology (Portugal) e.geraldo campus.fct.unl.pt
Iris van der Giessen Utrecht University (The Netherlands) i.vandergiessen uu.nl
Eric Giovannini University of Michigan (USA) ecg19 seas.upenn.edu
Karuna Grewal Cornell University (USA) karunagrewal98 gmail.com
Matt Griffin University of Surrey (UK) matt.griffin surrey.ac.uk
Frederik Haagensen IT University of Copenhagen (Denmark) haag itu.dk
Alexandra Hanson University of Minnesota Twin Cities (USA) hans7203 umn.edu
Rasmus Holdsbjerg-Larsen Aarhus University(Denmark) rasmusholdsbjerg gmail.com
Yifei Huang University of Southern California (USA) yifeih usc.edu
Nikolaus Huber Uppsala University (Sweden) nikolaus.huber it.uu.se
Sander Huyghebaert Vrije Universiteit Brussel (Belgium) sander.huyghebaert vub.be
Apoorv Ingle The University of Iowa (USA) apoorv-ingle uiowa.edu
Lef Ioannidis University of Pennsylvania (USA) elefthei seas.upenn.edu
Grant Iraci University at Buffalo (USA) grantira buffalo.edu
Malena Ivnisky Universidad de Buenos Aires (Argentina) malenaivnisky gmail.com
Krishnamoorthy Iyer University of Houston (USA) krishnaiyerv2 gmail.com
Junyoung "Clare" Jang McGill University (Canada) junyoung.jang mail.mcgill.ca
Xiaodong Jia The Pennsylvania State University (USA) xxj34 psu.edu
Eddie Jones University of Bristol (UK) ej16147 bristol.ac.uk
Aarti Kashyap University of British Columbia (Canada) kaarti.sr gmail.com
Adam Khayam Université de Rennes I/Inria Rennes (France) adam.khayam inria.fr
Maxim Koltsov University of Wrocław (Poland) maksim.koltsov cs.uni.wroc.pl
Filip Koprivec University of Ljubljana (Slovenia) koprivec.filip gmail.com
Anastasiya Kravchuk-Kirilyuk Harvard University (USA) akravchukkirilyuk g.harvard.edu
Ashish Kumar Penn State University (USA) azk640 psu.edu
Robin Lemaire Université de Paris (France) robin.lemaire1 gmail.com
Cristian Lepore University of Stirling (UK) cristianlepore24 gmail.com
Hannah Leung Purdue University (USA) Hannahl purdue.edu
Alexander Lew Massachusetts Institute of Technology (USA) alexlew mit.edu
Jianlin Li University of Waterloo (Canada) lijianlin1995 gmail.com
Yanze Li University of British Columbia (Canada) liyzunique gmail.com
Li Yefeng Purdue University (USA) li3915 purdue.edu
Jannis Limperg Vrije Universiteit Amsterdam (The Netherlands) j.b.limperg vu.nl
Kirby Linvill CU Boulder (USA) kjlinvill gmail.com
Benjamin Lipp Inria (France) benjamin.lipp inria.fr
Piotr Lisowski University of Wrocław (Poland) piotr.lisowski cs.uni.wroc.pl
Jiawen Liu Boston University (USA) jiawenl bu.edu
Zhaoxiang Liu Kansas State University(USA) zxliu ksu.edu
Zongyuan Liu Aarhus University (Denmark) zy.liu cs.au.dk
Irene Lobo Valbuena Chalmers University of Technology (Sweden) lobo chalmers.se
Benjamin Logsdon Dartmouth College (USA) oplss2021 884400.xyz
Lovro Lugović University of Southern Denmark (Denmark) lugovic imada.sdu.dk
Daniel Luick Yale University (USA) luick009 umn.edu
Stefan Malewski University of Chile (Chile) smalewsk dcc.uchile.cl
Rebecca Miko University of Hertfordshire (UK) r.miko herts.ac.uk
Ashitabh Misra University of Illinois at Urbana Champaign (USA) misra8 illinois.edu
Rolf Morel University of Oxford (UK) rolf.morel cs.ox.ac.uk
João Mota NOVA School of Science and Technology (Portugal) jd.mota campus.fct.unl.pt
Ike Mulder Radboud University of Nijmegen (The Netherlands) i.mulder cs.ru.nl
Niek Mulleners Utrecht University (The Netherlands) n.mulleners uu.nl
Amirmohammad Nazari University of Southern California (USA) nazaria usc.edu
Minh Nguyen University of Bristol (UK) minhnguyen1995 googlemail.com
Louis Noizet Universite de Rennes 1 (France) louis.noizet irisa.fr
Joakim Öhman IMDEA Software Institute (Spain) joakim.ohman imdea.org
Arthur Oliveira Vale Yale University (USA) arthur.oliveiravale yale.edu
João Carlos Mendes Pereira Eidgenössische Technische Hochschule Zürich (Switzerland) joaocarlos.mendespereira inf.ethz.ch
Loïc Peyrot IRIF, Université de Paris (France) lpeyrot irif.fr
Valentino Picotti University of Southern Denmark (Denmark) picotti imada.sdu.dk
Prasanth Prahladan University of Colorado Boulder (USA) prasanth.prahladan colorado.edu
Mateusz Pyzik University of Wrocław (Poland) matp cs.uni.wroc.pl
Zesen Qian Aarhus University (Denmark) zesen.qian cs.au.dk
Juan Qiao University of Calgary (Canada) qiaojuan hotmail.com
Karla Ramírez Pulido Universidad Nacional Autónoma de México (Mexico) karla ciencias.unam.mx
Rodrigo Javier Raya Castellano École Polytechnique Fédérale de Lausanne (Switzerland) rodrigo.raya epfl.ch
Vincent Rébiscoul Universite de Rennes 1 (France) vincent.rebiscoul inria.fr
David Richter Technical University of Darmstadt (Germany) richter cs.tu-darmstadt.de
Idriss Riouak Lund University (Sweden) idriss.riouak cs.lth.se
Momina Rizwan Lund University (Sweden) momina.rizwan cs.lth.se
Neea Rusch Augusta University (USA) nrusch augusta.edu
Álvaro António Santos NOVA School of Science and Technology (Portugal) aa.santos campus.fct.unl.pt
Matias Scharager Carnegie Mellon University (USA) mscharag andrew.cmu.edu
Jonas Schöpf University of Innsbruck (Austria) jonas.schoepf uibk.ac.at
Mikhail Semenyuk University of Surrey (UK) m.semenyuk surrey.ac.uk
Nikolaj Sidorenco Aarhus University (Denmark) sidorenco cs.au.dk
Guilherme Silva Fundação Getúlio Vargas (Brazil) guilhermehas hotmail.com
William Smith Unversity College London (UK) william.smith.19 ucl.ac.uk
Felix Sosa Harvard University (USA) fsosa fas.harvard.edu
Cristian F. Sottile Universidad de Buenos Aires (Argentina) csottile icc.fcen.uba.ar
Mohit Tekriwal University of Michigan, Ann Arbor(USA) tmohit umich.edu
Michelle Thalakottur Northeastern University (USA) michelledaviest gmail.com
Simon Thrane Hansen Aarhus University (Denmark) sth ece.au.dk
Carlos Tomé Cortiñas Chalmers University of Technology (Sweden) carlos.tome chalmers.se
Lillian Tsai Massachusetts Institute of Technology (USA) tslilyai mit.edu
Eleni Valfeiadi-Bila University of Surrey (UK) e.vafeiadibila surrey.ac.uk
Elizaveta Vasilenko IMDEA Software Institute (Spain) vasilliza gmail.com
Joey Velez-Ginorio University of Pennsylvania (USA) joeyv seas.upenn.edu
Théophile Wallez Inria (France) theophile.wallez inria.fr
Ziteng Wang The University of Texas at Austin (USA) ziteng utexas.edu
Logan Weber Massachusetts Institute of Technology (USA) loganweb mit.edu
Victor Ying Massachusetts Institute of Technology (USA) victory csail.mit.edu
Charles Yuan Massachusetts Institute of Technology (USA) chenhuiy mit.edu
Fabian Zaiser University of Oxford (UK) fabian.zaiser cs.ox.ac.uk
Cheng Zhang Boston University (USA) czhang03 bu.edu
Jialun Zhang The Pennsylvania State University (USA) jjz5354 psu.edu
Ling Zhang Shanghai Jiao Tong University (China) lin2329 foxmail.com
Huifeng Zhu Washington University in St.Louis (USA) zubair.ahmad wustl.edu

Master Students

Sara Sá Almeida NOVA School of Science and Technology (Portugal) ss.almeida campus.fct.unl.pt
Jonathan Chan University of British Columbia (Canada) jcxz cs.ubc.ca
Zhiyang Chen University of Toronto (Canada) zhiychen umich.edu
David Draguta University of Ottawa (Canada) daviddraguta gmail.com
Vikrant Gajria Purdue University (USA) vgajria purdue.edu
Antoine Gaulin McGill University (Canada) antoine.gaulin mail.mcgill.ca
Pavel Golovin ITMO University (Russia) gopavel0 gmail.com
Joshua Hanson University of Pennsylvania (USA) jmhanson seas.upenn.edu
Mark Holcomb Augusta University (USA) mholcomb augusta.edu
Bálint Kocsis Radbound University (The Netherlands) kocsisbalint999 gmail.com
Andrew Kvapil Czech Technical University in Prague (Czech Republic) viluon seznam.cz
Rodrigo Lopes NOVA School of Science and Technology (Portugal) rfa.lopes campus.fct.unl.pt
Cong Ma Penn State University (USA) hflsmax gmail.com
Giorgio Marinelli University of Camerino (Italy) giorgio marinel.li
Anders Märak Leffler Linköping University (Sweden) andma397 student.liu.se
Maria Bendix Mikkelsen University of Copenhagen (Denmark) mbm di.ku.dk
Marc-Antoine Ouimet McGill University (Canada) marc-antoine.ouimet mail.mcgill.ca
Joana Parreira NOVA School of Science and Technology (Portugal) jb.parreira campus.fct.unl.pt
Stefan Pavikjevikj University of Tsukuba (Japan) stefan logic.cs.tsukuba.ac.jp
Hashan Punchihewa University of Oxford (UK) hashan.punchihewa gmail.com
Johanna J Schwartzentruber McGill University (Canada) johanna.schwartzentruber mail.mcgill.ca
Liu Siyu Shanghai Jiao Tong University (China) delirio579 163.com
Lukas Skystedt Chalmers University of Technology (Sweden) lukassk student.chalmers.se
Márk Széles Radboud University (The Netherlands) mark.szeles gmail.com
Yu-Jye Tung University of California, Irvine (USA) yujyet uci.edu
Zongpu Xie Chalmers University of Technology (Sweden) szumixie gmail.com

Undergraduate Students

Lakshya A Agrawal Indraprastha Institute of Information Technology, Delhi (India) lakshya18242 iiitd.ac.in
Rajashree Agrawal Reed College (USA) rajeepoddaragrawal gmail.com
Hazem Alhalabi (USA) hazemalhalabi gmail.com
Vaastav Arora Purdue University (USA) arora74 purdue.edu
Gabriel Baiocchi de Sant'Anna Federal University of Santa Catarina (Brazil) baiocchi.gabriel gmail.com
Peter Browning Augusta University (USA) pbdeveloping gmail.com
Piyush Chauhan National Institute of Technology, Hamirpur (India) piyushchauhan1004 gmail.com
Shardul Chiplunkar Massachusetts Institute of Technology (USA) shardulc mit.edu
Ruijie Fang Princeton University (USA) ruijief princeton.edu
Justin Fargnoli University of Rochester (USA) justinfargnoli gmail.com
Juan Pablo Flores Universidad Michoacana de San Nicolas de Hidalgo (Mexico) jpfloresd.97 gmail.com
Harrison Grodin Carnegie Mellon University(USA) hgrodin andrew.cmu.edu
Ersel Hengirmen Middle East Technical University (Turkey) ehengirmen hotmail.com
Himanshu Indraprastha Institute of Information Technology, Delhi (India) himanshu18235 iiitd.ac.in
Ende Jin University of Waterloo (Canada) ende.jin mail.utoronto.ca
Adharsh Kamath National institute of Technology Karnataka (India) adharshkamathr gmail.com
Krishna Kariya Indraprastha Institute of Information Technology, Delhi (India) krishnakariya18 gmail.com
Ammar Karkour Carnegie Mellon University (USA) akarkour andrew.cmu.edu
Jae Tak Kim Swarthmore College (USA) jkim17 swarthmore.edu
Deniz Koluaçık Middle East Technical University (Turkey) koluacik disroot.org
Zhengyao Lin University of Illinois at Urbana-Champaign (USA) zl38 illinois.edu
Deblina Mukherjee University of Chicago (USA) deblina uchicago.edu
Fahad Nayyar Indraprastha Institute of Information Technology, Delhi (India) fahad17049 iiitd.ac.in
Nikki Rejaie University of California San Diego (USA) nrejai ucsd.edu
Rithik Sharma Lovely Professional University (India) rithiksh02 gmail.com
Rupanshu Soi BITS Pilani (India) f20180294 hyderabad.bits-pilani.ac.in
Zixiu Su University of Texas at Arlington (USA) szx917 gmail.com
Shangyin Tan Purdue University (USA) tan279 purdue.edu
Yee Jian Tan National University of Singapore (Singapore) yeejian.tan u.nus.edu
Wenhao Tang Peking University(China) tangwh pku.edu.cn
Dustin Van Tate Testa Illinois Institute of Technology (USA) dtesta1 hawk.iit.edu
Zekun Wang University of Waterloo (Canada) z2358wan uwaterloo.ca
Stephen Wild Unversity of Western Australia (Australia) stephenbrodiewild gmail.com
Weitao Xin University of Waterloo (Canada) weitao.xin uwaterloo.ca
Yuma Yamada McGill University (Canada) yuma.yamada mail.mcgill.ca
Litao Zhou Shanghai Jiao Tong University (China) ltzhou sjtu.edu.cn

High School

Harshikaa Agrawal Delhi Public School, R K Puram (India) agrawalharshikaa gmail.com
Xiaoyan Ren Intelligence Software Research Center, Institution of Software, CAS(China) xy.r outlook.com

UTC+10 (11:30 AM)

UTC+9 (10:30 AM)

UTC+8 (9:30 AM)

UTC+5:30 (7:00 AM)

UTC+4:30 (6:00 AM)

UTC+3 (4:30 AM)

UTC+2 (3:30 AM)

UTC+1 (2:30 AM)

UTC (1:30 AM)

UTC-3 (10:30 PM)

UTC-4 (9:30 PM)

UTC-5 (8:30 PM)

UTC-6 (7:30 PM)

UTC-7 (6:30 PM)

UTC-8 (5:30 PM)

Highlight Timezones