Blogs (1) >>
POPL 2019
Sun 13 - Sat 19 January 2019 Cascais, Portugal

Overview

POPL 2019 will again host an ACM Student Research Competition, where undergraduate and graduate students can present their original research before a panel of judges and conference attendees. This year’s competition will consist of three rounds:

• Extended abstract round: All students are encouraged to submit an extended abstract outlining their research (up to two pages).

• Poster session at POPL 2019: Based on the abstracts, a panel of judges will select the most promising entrants to participate in a poster session which will take place at the conference. Students who make it to this round will be eligible for up to $500 of travel support to attend the conference. In the poster session, students will have the opportunity to present their work to the judges and conference attendees, who will select three finalists in each category (graduate/undergraduate) to advance to the next round.

• POPL presentation: The last round will consist of an oral presentation at POPL to compete for the final awards in each category. This round will also select an overall winner who will advance to the ACM SRC Grand Finals.

Transport of your poster

You will be responsible for transporting your poster to the conference. If this will be a problem, please contact the chair of the SRC at nvazou@cs.umd.edu.

Prizes

• The top three graduate and the top three undergraduate winners will receive prizes of $500, $300, and $200, respectively.

• All six winners will receive award medals and an one-year complimentary ACM student membership, including a subscription to ACM’s Digital Library.

• The names of the winners will be posted on the SRC web site.

• The first place winners of the SRC will be invited to participate in the ACM SRC Grand Finals, an on-line round of competitions among the winners of other conference-hosted SRCs.

• Grand Finalists and their advisors will be invited to the Annual ACM Awards Banquet for an all-expenses-paid trip, where they will be recognized for their accomplishments along with other prestigious ACM award winners, including the winner of the Turing Award (also known as the Nobel Prize of Computing).

• The top three Grand Finalists will receive an additional $500, $300, and $200. All Grand Finalists will receive Grand Finalist certificates.

• The ACM, Microsoft Research, and our industrial partners provide financial support for students attending the SRC. You can find more information about this on the SRC website (https://src.acm.org/ ).

Eligibility

The SRC is open to both undergraduate (not in a PhD program) and graduate students (in a PhD program). Upon submission, entrants must be enrolled as a student at their universities and be current ACM student members.

Furthermore, there are some constraints on what kind of work may be submitted:

Previously published work: Submissions should consist of original work (not yet accepted for publication). If the work is a continuation of previously published work, the submission should focus on the contribution over what has already been published. We encourage students to see this as an opportunity to get early feedback and exposure for the work they plan to submit to the next POPL.

Collaborative work: Graduate students are encouraged to submit work they have been conducting in collaboration with others, including advisors, internship mentors, or other students. However, graduate submissions are individual, so they must focus on the contributions of the student.

Team submissions: Team projects will be only accepted from undergrads. One person should be designated by the team to make the oral presentation. If a graduate (Masters or PhD program) student is part of a group research project and wishes to participate in an SRC, they can submit and present their individual contribution to the group research project.

Dates
Tracks
You're viewing the program in a time zone which is different from your device's time zone - change time zone

Wed 16 Jan
Times are displayed in time zone: (GMT+01:00) Greenwich Mean Time : Belfast change

POPL-2019-Research-Papers
09:00 - 10:05: Research Papers - Welcome & Keynote I at Sala I + II
Chair(s): Peter O'HearnFacebook
POPL-2019-Research-Papers09:00 - 09:05
Day opening
Fritz HengleinDepartment of Computer Science, University of Copenhagen (DIKU), Stephanie WeirichUniversity of Pennsylvania, USA
Media Attached
POPL-2019-Research-Papers09:05 - 10:05
Talk
Mark HarmanFacebook and University College London
Media Attached
POPL-2019-Research-Papers
10:35 - 12:03: Research Papers - Concurrency at Sala II
Chair(s): Ori LahavTel Aviv University
POPL-2019-Research-Papers10:35 - 10:57
Talk
Nikos Gorogiannis, Peter W. O'HearnFacebook and University College London, Ilya SergeyYale-NUS College and National University of Singapore
Link to publication DOI Pre-print Media Attached File Attached
POPL-2019-Research-Papers10:57 - 11:19
Talk
Link to publication DOI Pre-print Media Attached File Attached
POPL-2019-Research-Papers11:19 - 11:41
Talk
Klaus v. GleissenthallUniversity of California at San Diego, USA, Rami Gökhan KıcıUniversity of California at San Diego, USA, Alexander Bakst, Deian StefanUniversity of California San Diego, Ranjit JhalaUniversity of California, San Diego
Link to publication DOI Media Attached
POPL-2019-Research-Papers11:41 - 12:03
Talk
Michael EmmiSRI International, Constantin EneaUniversité Paris Diderot
Link to publication DOI Media Attached File Attached
POPL-2019-Research-Papers
10:35 - 12:03: Research Papers - Reasoning about Probabilistic Programs at Sala I
Chair(s): Jan HoffmannCarnegie Mellon University
POPL-2019-Research-Papers10:35 - 10:57
Talk
Tetsuya SatoUniversity at Buffalo, SUNY, USA, Alejandro AguirreIMDEA Software Institute, Spain, Gilles BartheIMDEA Software Institute, Marco GaboardiUniversity at Buffalo, SUNY, Deepak GargMax Planck Institute for Software Systems, Justin HsuUniversity of Wisconsin-Madison, USA
Link to publication DOI Media Attached File Attached
POPL-2019-Research-Papers10:57 - 11:19
Talk
Joseph TassarottiCarnegie Mellon University, Robert Harper
Link to publication DOI Media Attached File Attached
POPL-2019-Research-Papers11:19 - 11:41
Talk
Kevin BatzRWTH Aachen University, Benjamin Lucien KaminskiRWTH Aachen University; University College London, Joost-Pieter KatoenRWTH Aachen University, Christoph MathejaRWTH Aachen University, Thomas NollRWTH Aachen University
Link to publication DOI Media Attached File Attached
POPL-2019-Research-Papers11:41 - 12:03
Talk
Calvin SmithUniversity of Wisconsin - Madison, Justin HsuUniversity of Wisconsin-Madison, USA, Aws AlbarghouthiUniversity of Wisconsin-Madison
Link to publication DOI Media Attached
POPL-2019-Research-Papers
12:03 - 13:45: Research Papers - Wednesday Lunch at Lunch Room
POPL-2019-Research-Papers12:03 - 13:45
Lunch
POPL-2019-Research-Papers
13:45 - 14:51: Research Papers - Categories at Sala II
Chair(s): Nicolas TabareauInria
POPL-2019-Research-Papers13:45 - 14:07
Talk
Tom HirschowitzUniv. Grenoble Alpes, Univ. Savoie Mont Blanc, CNRS, LAMA, 73000 Chambéry
Link to publication DOI Media Attached File Attached
POPL-2019-Research-Papers14:07 - 14:29
Talk
Jasmin BlanchetteVrije Universiteit Amsterdam, Lorenzo GheriMiddlesex University London, Andrei PopescuMiddlesex University, London, Dmitriy TraytelETH Zurich
Link to publication DOI Media Attached File Attached
POPL-2019-Research-Papers14:29 - 14:51
Talk
Paul-André MelliesCNRS and University Paris Diderot
Link to publication DOI Media Attached File Attached
POPL-2019-Research-Papers
13:45 - 14:51: Research Papers - Probabilistic Programming and Semantics at Sala I
Chair(s): Justin HsuUniversity of Wisconsin-Madison, USA
POPL-2019-Research-Papers13:45 - 14:07
Talk
Maria I. GorinovaThe University of Edinburgh, Andrew D. GordonMicrosoft Research and University of Edinburgh, Charles SuttonUniversity of Edinburgh
Link to publication DOI Pre-print Media Attached File Attached
POPL-2019-Research-Papers14:07 - 14:29
Talk
Matthijs VákárUniversity of Oxford, Ohad KammarUniversity of Edinburgh, Sam StatonUniversity of Oxford
Link to publication DOI Pre-print Media Attached File Attached
POPL-2019-Research-Papers14:29 - 14:51
Talk
Feras SaadMassachusetts Institute of Technology, Marco Cusumano-TownerMIT-CSAIL, Ulrich SchaechtleMassachusetts Institute of Technology, USA, Martin RinardMassachusetts Institute of Technology, Vikash MansinghkaMIT
Link to publication DOI Media Attached File Attached
POPL-2019-Research-Papers
15:21 - 16:27: Research Papers - Capabilities and Session Types I at Sala II
Chair(s): Dominic OrchardUniversity of Kent, UK
POPL-2019-Research-Papers15:21 - 15:43
Talk
Lau SkorstengaardAarhus University, Dominique DevrieseVrije Universiteit Brussel, Belgium, Lars BirkedalAarhus University
Link to publication DOI Media Attached File Attached
POPL-2019-Research-Papers15:43 - 16:05
Talk
Simon CastellanImperial College London, UK, Nobuko YoshidaImperial College London
Link to publication DOI Pre-print Media Attached File Attached
POPL-2019-Research-Papers16:05 - 16:27
Talk
Simon FowlerThe University of Edinburgh, Sam LindleyUniversity of Edinburgh, UK, J. Garrett MorrisUniversity of Kansas, USA, Sara Décova
Link to publication DOI Pre-print Media Attached File Attached
POPL-2019-Research-Papers
15:21 - 16:27: Research Papers - Machine Learning and Linear Algebra at Sala I
Chair(s): Aws AlbarghouthiUniversity of Wisconsin-Madison
POPL-2019-Research-Papers15:21 - 15:43
Talk
Uri AlonTechnion, Meital ZilbersteinTechnion, Omer LevyUniversity of Washington, USA, Eran YahavTechnion
Link to publication DOI Pre-print Media Attached File Attached
POPL-2019-Research-Papers15:43 - 16:05
Talk
Link to publication DOI Media Attached
POPL-2019-Research-Papers16:05 - 16:27
Talk
Zachary KincaidPrinceton University, Jason BreckUniversity of Wisconsin - Madison, John CyphertUniversity of Wisconsin - Madison, Thomas RepsUniversity of Wisconsin - Madison and GrammaTech, Inc.
Link to publication DOI Media Attached File Attached
POPL-2019-Research-Papers
16:37 - 17:43: Research Papers - Quantum Programming at Sala I
Chair(s): Jens PalsbergUniversity of California, Los Angeles (UCLA)
POPL-2019-Research-Papers16:37 - 16:59
Talk
Shih-Han HungUniversity of Maryland, Kesha HietalaUniversity of Maryland, Shaopeng ZhuUniversity of Maryland, Mingsheng YingUniversity of Technology Sydney, Michael HicksUniversity of Maryland, College Park, Xiaodi WuUniversity of Oregon, USA
Link to publication DOI Media Attached
POPL-2019-Research-Papers16:59 - 17:21
Talk
Link to publication DOI Media Attached
POPL-2019-Research-Papers17:21 - 17:43
Talk
Dominique UnruhUniversity of Tartu
Link to publication DOI Pre-print Media Attached File Attached
POPL-2019-Research-Papers
16:37 - 17:43: Research Papers - Session Types II at Sala II
Chair(s): Andrew D. GordonMicrosoft Research and University of Edinburgh
POPL-2019-Research-Papers16:37 - 16:59
Talk
Bernardo ToninhoImperial College London, Nobuko YoshidaImperial College London
Link to publication DOI Pre-print Media Attached
POPL-2019-Research-Papers16:59 - 17:21
Talk
David CastroImperial College London, Raymond HuImperial College London, Sung-Shik JongmansOpen University of the Netherlands, Nicholas NgImperial College London, Nobuko YoshidaImperial College London
Link to publication DOI Pre-print Media Attached File Attached
POPL-2019-Research-Papers17:21 - 17:43
Talk
Alceste ScalasImperial College London, Nobuko YoshidaImperial College London
Link to publication DOI Pre-print Media Attached File Attached
POPL-2019-Research-Papers
18:00 - 18:30: Research Papers - Wednesday Evening Program I at Sala I
POPL-2019-Research-Papers18:00 - 18:30
Talk
Thomas BallMicrosoft Research
Media Attached
POPL-2019-Research-Papers
18:30 - 19:30: Research Papers - Wednesday Evening Program II at Galeria
POPL-2019-Student-Research-Competition18:30 - 19:30
Social Event

Thu 17 Jan
Times are displayed in time zone: (GMT+01:00) Greenwich Mean Time : Belfast change

POPL-2019-Research-Papers
09:00 - 10:06: Research Papers - Synthesis at Sala II
Chair(s): Robbert KrebbersDelft University of Technology
POPL-2019-Research-Papers09:00 - 09:22
Talk
Nadia PolikarpovaUniversity of California, San Diego, Ilya SergeyYale-NUS College and National University of Singapore
Link to publication DOI Pre-print Media Attached File Attached
POPL-2019-Research-Papers09:22 - 09:44
Talk
Kensen ShiStanford University, Jacob SteinhardtStanford University, Percy LiangStanford University
Link to publication DOI Pre-print Media Attached File Attached
POPL-2019-Research-Papers09:44 - 10:06
Talk
Farzin HoushmandUniversity of California, Riverside, Mohsen LesaniUniversity of California, Riverside
Link to publication DOI Media Attached
POPL-2019-Research-Papers
09:00 - 10:06: Research Papers - Type Abstraction and Effects at Sala I
Chair(s): Benjamin DelawarePurdue University
POPL-2019-Research-Papers09:00 - 09:22
Talk
Yizhou ZhangCornell University, Andrew MyersCornell University
Link to publication DOI Media Attached
POPL-2019-Research-Papers09:22 - 09:44
Talk
Dariusz BiernackiUniversity of Wrocław, Maciej PirógUniversity of Wrocław, Piotr PolesiukUniversity of Wrocław, Filip SieczkowskiUniversity of Wrocław
Link to publication DOI Media Attached
POPL-2019-Research-Papers09:44 - 10:06
Talk
Karl CraryCarnegie Mellon University
Link to publication DOI Media Attached File Attached
POPL-2019-Student-Research-Competition
10:30 - 12:30: Student Research Competition - Finalist Poster Presentations at Sala III
POPL-2019-Research-Papers
10:36 - 12:04: Research Papers - Gradual Types at Sala I
Chair(s): Nikhil SwamyMicrosoft Research
POPL-2019-Research-Papers10:36 - 10:58
Talk
Matías ToroUniversity of Chile, Ronald GarciaUniversity of British Columbia, Éric TanterUniversity of Chile & Inria Paris
DOI Media Attached File Attached
POPL-2019-Research-Papers10:58 - 11:20
Talk
Max NewNortheastern University, Dan LicataWesleyan University, Amal AhmedNortheastern University, USA
Link to publication DOI Media Attached File Attached
POPL-2019-Research-Papers11:20 - 11:42
Talk
Matías ToroUniversity of Chile, Elizabeth LabradaUniversity of Chile, Éric TanterUniversity of Chile & Inria Paris
Link to publication DOI Pre-print Media Attached File Attached
POPL-2019-Research-Papers11:42 - 12:04
Talk
Cyrus OmarUniversity of Chicago, Ian VoyseyCarnegie Mellon University, Ravi ChughUniversity of Chicago, Matthew HammerNone
Link to publication DOI Pre-print Media Attached File Attached
POPL-2019-Research-Papers
10:36 - 12:04: Research Papers - Separation Logic and Memory Semantics at Sala II
Chair(s): Ilya SergeyYale-NUS College and National University of Singapore
POPL-2019-Research-Papers10:36 - 10:58
Talk
Aleš BizjakAarhus University, Daniel Gratzer, Robbert KrebbersDelft University of Technology, Lars BirkedalAarhus University
Link to publication DOI Media Attached File Attached
POPL-2019-Research-Papers10:58 - 11:20
Talk
José Fragoso SantosImperial College London, Petar MaksimovićImperial College London, UK and Mathematical Institute of the Serbian Academy of Sciences and Arts, Serbia, Gabriela SampaioImperial College London, UK, Philippa GardnerImperial College London
Link to publication DOI Media Attached File Attached
POPL-2019-Research-Papers11:20 - 11:42
Talk
Alasdair ArmstrongUniversity of Cambridge, Thomas BauereissUniversity of Cambridge, Brian CampbellUniversity of Edinburgh, Alastair ReidArm Ltd, Kathryn E. GrayUniversity of Cambridge, Robert M. NortonUniversity of Cambridge, Prashanth MundkurSRI International, Mark WassellUniversity of Cambridge, Jon FrenchUniversity of Cambridge, Christopher PulteUniversity of Cambridge, Shaked FlurUniversity of Cambridge, Ian StarkThe University of Edinburgh, Neel KrishnaswamiComputer Laboratory, University of Cambridge, Peter SewellUniversity of Cambridge
Link to publication DOI Media Attached File Attached
POPL-2019-Research-Papers11:42 - 12:04
Talk
Kayvan MemarianUniversity of Cambridge, Victor B. F. GomesUniversity of Cambridge, UK, Brooks DavisSRI International, Stephen KellUniversity of Kent, Alexander RichardsonUniversity of Cambridge, Robert N. M. WatsonUniversity of Cambridge, Peter SewellUniversity of Cambridge
Link to publication DOI Media Attached File Attached
POPL-2019-Research-Papers
12:04 - 13:45: Research Papers - Thursday Lunch at Lunch Room
POPL-2019-Research-Papers12:04 - 13:45
Lunch
POPL-2019-Research-Papers
13:45 - 14:51: Research Papers - Type Inference I at Sala I
Chair(s): Michael HicksUniversity of Maryland, College Park
POPL-2019-Research-Papers13:45 - 14:07
Talk
Joshua DunfieldQueen's University, Kingston, Ontario, Neel KrishnaswamiComputer Laboratory, University of Cambridge
Link to publication DOI Media Attached
POPL-2019-Research-Papers14:07 - 14:29
Talk
J. Garrett MorrisUniversity of Kansas, USA, James McKinna
Link to publication DOI Media Attached
POPL-2019-Research-Papers14:29 - 14:51
Talk
Gyunghee ParkKAIST, Oracle Labs, Jaemin HongKAIST, South Korea, Guy L. Steele Jr.Oracle Labs, Sukyoung RyuKAIST, South Korea
Link to publication DOI Media Attached File Attached
POPL-2019-Research-Papers
13:45 - 14:51: Research Papers - Weak Memory at Sala II
Chair(s): Scott OwensUniversity of Kent, UK
POPL-2019-Research-Papers13:45 - 14:07
Talk
Azalea RaadMPI-SWS, Germany, Marko DokoMPI-SWS, Germany, Lovro RožićMPI-SWS, Germany, Ori LahavTel Aviv University, Viktor VafeiadisMPI-SWS, Germany
Link to publication DOI Pre-print Media Attached File Attached
POPL-2019-Research-Papers14:07 - 14:29
Talk
Anton PodkopaevHigher School of Economics, JetBrains Research, Ori LahavTel Aviv University, Viktor VafeiadisMPI-SWS, Germany
Link to publication DOI Pre-print Media Attached File Attached
POPL-2019-Research-Papers14:29 - 14:51
Talk
Soham ChakrabortyMax Planck Institute for Software Systems, Viktor VafeiadisMPI-SWS, Germany
Link to publication DOI Media Attached File Attached
POPL-2019-Research-Papers
15:21 - 16:49: Research Papers - Time at Sala II
Chair(s): Andrew MyersCornell University
POPL-2019-Research-Papers15:21 - 15:43
Talk
Di WangCarnegie Mellon University, Jan HoffmannCarnegie Mellon University
Link to publication DOI Pre-print Media Attached File Attached
POPL-2019-Research-Papers15:43 - 16:05
Talk
Conrad WattUniversity of Cambridge, John RennerUniversity of California, San Diego, Natalie PopescuUniversity of California San Diego, Sunjay CauligiUCSD, Deian StefanUniversity of California San Diego
Link to publication DOI Media Attached File Attached
POPL-2019-Research-Papers16:05 - 16:27
Talk
Rajeev AlurUniversity of Pennsylvania, Konstantinos MamourasUniversity of Pennsylvania, Caleb StanfordUniversity of Pennsylvania
Link to publication DOI Media Attached File Attached
POPL-2019-Research-Papers16:27 - 16:49
Talk
Matthew HagueRoyal Holloway, University of London, Anthony Widjaja LinOxford University, Chih-Duo HongUniversity of Oxford
Media Attached File Attached
POPL-2019-Research-Papers
15:21 - 16:49: Research Papers - Type Inference II at Sala I
Chair(s): Niki VazouIMDEA Software Institute
POPL-2019-Research-Papers15:21 - 15:43
Talk
Yusuke MiyazakiKyoto University, Taro SekiyamaNational Institute of Informatics, Atsushi IgarashiKyoto University, Japan
Link to publication DOI Pre-print Media Attached File Attached
POPL-2019-Research-Papers15:43 - 16:05
Talk
Giuseppe CastagnaCNRS - Université Paris Diderot, France, Victor LanvinIRIF, Université Paris Diderot, France, Tommaso PetruccianiDIBRIS, Università di Genova, Italy & IRIF, Université Paris Diderot, France, Jeremy G. SiekIndiana University, USA
Link to publication DOI Media Attached File Attached
POPL-2019-Research-Papers16:05 - 16:27
Talk
Ugo Dal LagoUniversity of Bologna, Italy / Inria, France, Marc De VismeENS Lyon, Damiano MazzaCNRS, Akira YoshimizuINRIA
Link to publication DOI Media Attached File Attached
POPL-2019-Research-Papers16:27 - 16:49
Talk
Andrej DudenhefnerTechnical University Dortmund, Jakob RehofTechnical University Dortmund
Link to publication DOI Media Attached File Attached
POPL-2019-Research-Papers
17:00 - 18:00: Research Papers - Business Meeting at Sala I + II
POPL-2019-Research-Papers17:00 - 17:15
Other
Stephanie WeirichUniversity of Pennsylvania, USA
Media Attached
POPL-2019-Research-Papers17:15 - 17:25
Awards
Benjamin C. PierceUniversity of Pennsylvania
Media Attached
POPL-2019-Research-Papers17:25 - 17:30
Other
Brigitte PientkaMcGill University, Lars BirkedalAarhus University
Media Attached
POPL-2019-Research-Papers17:30 - 17:40
Other
Rance CleavelandUniversity of Maryland
Media Attached
POPL-2019-Research-Papers17:40 - 17:50
Other
Benjamin C. PierceUniversity of Pennsylvania
Media Attached
POPL-2019-Research-Papers17:50 - 18:00
Other
Jens PalsbergUniversity of California, Los Angeles (UCLA)
Media Attached
POPL-2019-Research-Papers
18:15 - 19:15: Research Papers - Reception supported by Facebook at Galeria
POPL-2019-Research-Papers18:15 - 19:15
Social Event

Fri 18 Jan
Times are displayed in time zone: (GMT+01:00) Greenwich Mean Time : Belfast change

POPL-2019-Research-Papers
09:00 - 10:05: Research Papers - SRC Announcement & Keynote II at Sala I + II
Chair(s): Stephanie WeirichUniversity of Pennsylvania, USA
POPL-2019-Student-Research-Competition09:00 - 09:05
Awards
Niki VazouIMDEA Software Institute
Media Attached
POPL-2019-Research-Papers09:05 - 10:05
Talk
Brigitte PientkaMcGill University
Media Attached File Attached
POPL-2019-Research-Papers
10:35 - 12:03: Research Papers - Abstract Interpretation at Sala II
Chair(s): David NaumannStevens Institute of Technology
POPL-2019-Research-Papers10:35 - 10:57
Talk
Patrick Cousot, Roberto GiacobazziUniversity of Verona and IMDEA Software Institute, Francesco RanzatoUniversity of Padova
Link to publication DOI Media Attached File Attached
POPL-2019-Research-Papers10:57 - 11:19
Talk
John TomanUniversity of Washington, Seattle, Dan GrossmanUniversity of Washington
Link to publication DOI Media Attached
POPL-2019-Research-Papers11:19 - 11:41
Talk
Martin BodinImperial College London, Philippa GardnerImperial College London, Thomas P. JensenINRIA Rennes, Alan SchmittInria
Link to publication DOI Pre-print Media Attached File Attached
POPL-2019-Research-Papers11:41 - 12:03
Talk
John CyphertUniversity of Wisconsin - Madison, Jason BreckUniversity of Wisconsin - Madison, Zachary KincaidPrinceton University, Thomas RepsUniversity of Wisconsin - Madison and GrammaTech, Inc.
Link to publication DOI Media Attached File Attached
POPL-2019-Research-Papers
10:35 - 12:03: Research Papers - Dependent Types at Sala I
Chair(s): Andreas AbelGothenburg University
POPL-2019-Research-Papers10:35 - 10:57
Talk
Evan CavalloCarnegie Mellon University, Robert Harper
Link to publication DOI Pre-print Media Attached File Attached
POPL-2019-Research-Papers10:57 - 11:19
Talk
Thorsten AltenkirchUniversity of Nottingham, Ambrus KaposiUniversity of Nottingham, András KovácsEötvös Loránd University
Link to publication DOI Media Attached File Attached
POPL-2019-Research-Papers11:19 - 11:41
Talk
Gaetan Gilbert, Jesper CockxChalmers | University of Gothenburg, Matthieu SozeauInria, Nicolas TabareauInria
Link to publication DOI Media Attached File Attached
POPL-2019-Research-Papers11:41 - 12:03
Talk
Rasmus Ejlers MøgelbergIT University of Copenhagen, Niccolò VeltriIT University of Copenhagen
Link to publication DOI Media Attached File Attached
POPL-2019-Research-Papers
12:03 - 13:45: Research Papers - Friday Lunch at Lunch Room
POPL-2019-Research-Papers12:03 - 13:45
Lunch
POPL-2019-Research-Papers
13:45 - 14:51: Research Papers - Model Checking at Sala II
Chair(s): P. MadhusudanUniversity of Illinois at Urbana-Champaign
POPL-2019-Research-Papers13:45 - 14:07
Talk
Taolue ChenBirkbeck, University of London, Matthew HagueRoyal Holloway, University of London, Anthony Widjaja LinOxford University, Philipp RuemmerUppsala University, Zhilin WuState Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences
Link to publication DOI Media Attached File Attached
POPL-2019-Research-Papers14:07 - 14:29
Talk
Kyungmin BaePohang University of Science and Technology (POSTECH), Jia LeePohang University of Science and Technology (POSTECH)
Link to publication DOI Media Attached File Attached
POPL-2019-Research-Papers14:29 - 14:51
Talk
Luca AcetoReykjavik University, Antonis AchilleosReykjavik University, Adrian FrancalanzaUniversity of Malta, Anna IngolfsdottirReykjavik University, Karoliina LehtinenUniversity of Kiel and University of Liverpool
Link to publication DOI Media Attached
POPL-2019-Research-Papers
13:45 - 14:51: Research Papers - Semantics at Sala I
Chair(s): Noam ZeilbergerUniversity of Birmingham, UK
POPL-2019-Research-Papers13:45 - 14:07
Talk
Wen KokkeUniversity of Edinburgh, Fabrizio MontesiUniversity of Southern Denmark, Marco PeressottiUniversity of Southern Denmark
Link to publication DOI Media Attached
POPL-2019-Research-Papers14:07 - 14:29
Talk
Filippo BonchiUniversity of Pisa, Joshua HollandUniversity of Southampton, Robin PiedeleuUniversity of Oxford, Pawel SobocinskiUniversity of Southampton, Fabio ZanasiUniversity College London
Link to publication DOI Media Attached
POPL-2019-Research-Papers14:29 - 14:51
Talk
Paolo BaldanUniversity of Padova, Barbara KönigUniversity of Duisburg-Essen, Christina Mika-MichalskiUniversity of Duisburg-Essen, Tommaso PadoanUniversity of Padova
Link to publication DOI Media Attached File Attached
POPL-2019-Research-Papers
15:21 - 16:27: Research Papers - Program Analysis I at Sala II
Chair(s): Michael D. AdamsUniversity of Utah
POPL-2019-Research-Papers15:21 - 15:43
Talk
Umang MathurUniversity of Illinois at Urbana-Champaign, P. MadhusudanUniversity of Illinois at Urbana-Champaign, Mahesh ViswanathanUniversity of Illinois at Urbana-Champaign
Link to publication DOI Pre-print Media Attached File Attached
POPL-2019-Research-Papers15:43 - 16:05
Talk
Oana-Fabiana AndreescuInternet of Trust, Thomas P. JensenINRIA Rennes, Stéphane LescuyerProve & Run, Benoît MontaguProve & Run
Link to publication DOI Pre-print Media Attached File Attached
POPL-2019-Research-Papers16:05 - 16:27
Talk
Johannes SpäthFraunhofer IEM, Karim AliUniversity of Alberta, Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
Link to publication DOI Pre-print Media Attached File Attached
POPL-2019-Research-Papers
15:21 - 16:27: Research Papers - Security and Information Flow at Sala I
Chair(s): David WalkerPrinceton University
POPL-2019-Research-Papers15:21 - 15:43
Talk
James ParkerUniversity of Maryland, Niki VazouIMDEA Software Institute, Michael HicksUniversity of Maryland, College Park
Link to publication DOI Media Attached File Attached
POPL-2019-Research-Papers15:43 - 16:05
Talk
Marco VassenaChalmers University of Technology, Alejandro RussoChalmers University of Technology, Sweden, Deepak GargMax Planck Institute for Software Systems, Vineet RajaniMPI-SWS, Deian StefanUniversity of California San Diego
Link to publication DOI Media Attached File Attached
POPL-2019-Research-Papers16:05 - 16:27
Talk
Alex KavvosWesleyan University
Link to publication DOI Pre-print File Attached
POPL-2019-Research-Papers
16:37 - 17:43: Research Papers - Program Analysis II at Sala II
Chair(s): Michael EmmiSRI International
POPL-2019-Research-Papers16:37 - 16:59
Talk
Xin YiNational University of Defense Technology, Liqian ChenNational University of Defense Technology, Xiaoguang MaoNational University of Defense Technology, Tao JiNational University of Defense Technology
Link to publication DOI Media Attached File Attached
POPL-2019-Research-Papers16:59 - 17:21
Talk
Krishnendu ChatterjeeIST Austria, Amir Kafshdar GoharshadyIST Austria, Nastaran OkatiFerdowsi University of Mashhad, Andreas PavlogiannisEPFL, Switzerland
Link to publication DOI Pre-print Media Attached File Attached
POPL-2019-Research-Papers17:21 - 17:43
Talk
Valentin TouzeauUniv. Grenoble Alpes, Claire MaizaVerimag, France, David MonniauxCNRS, VERIMAG, Jan ReinekeSaarland University
Link to publication DOI Media Attached File Attached
POPL-2019-Research-Papers
16:37 - 17:43: Research Papers - Verified Compilation and Concurrency at Sala I
Chair(s): Michael GreenbergPomona College
POPL-2019-Research-Papers16:37 - 16:59
Talk
Spencer P. FlorenceNorthwestern University, USA, Shu-Hung YouNorthwestern University, USA, Jesse A. TovNorthwestern University, Department of Electrical Engineering and Computer Science, Robby FindlerNorthwestern University, USA
Link to publication DOI Media Attached File Attached
POPL-2019-Research-Papers16:59 - 17:21
Talk
Yuting WangYale University, Pierre WilkeYale University, Zhong ShaoYale University
Link to publication DOI Media Attached File Attached
POPL-2019-Research-Papers17:21 - 17:43
Talk
Aymeric FromherzCarnegie Mellon University, Nick GiannarakisPrinceton University, Chris HawblitzelMicrosoft Research, Bryan Parno, Aseem RastogiMicrosoft Research, Nikhil SwamyMicrosoft Research
Link to publication DOI Media Attached File Attached
POPL-2019-Research-Papers
17:45 - 18:45: Research Papers - Friday Social Hour at Galeria
POPL-2019-Research-Papers17:45 - 18:45
Social Event

Call for Submissions

POPL invites students to participate in the Student Research Competition in order to present their research and get feedback from prominent members of the programming language research community. Please submit your extended abstracts through hotcrp.

Each submission (referred to as “abstract” below) should include the student author’s name and e-mail address; institutional affiliation; research advisor’s name; ACM student member number; category (undergraduate or graduate); research title; and an extended abstract addressing the following:

Problem and Motivation: Clearly state the problem being addressed and explain the reasons for seeking a solution to this problem.

Background and Related Work: Describe the specialized (but pertinent) background necessary to appreciate the work in the context of POPL areas of interest. Include references to the literature where appropriate, and briefly explain where your work departs from that done by others.

Approach and Uniqueness: Describe your approach in addressing the problem and clearly state how your approach is novel.

Results and Contributions: Clearly show how the results of your work contribute to programming language design and implementation in particular and to computer science in general; explain the significance of those results.

Submissions must be original research that is not already published at POPL or another conference or journal. One of the goals of the SRC is to give students feedback on ongoing, unpublished work. Furthermore, the abstract must be authored solely by the student. If the work is collaborative with others and/or part of a larger group project, the abstract should make clear what the student’s role was and should focus on that portion of the work.

Submission guidelines: The extended abstract must not exceed 2 pages of PDF, excluding bibliography, using the SIGPLAN two-column format. The templates for Microsoft Word and LaTeX can be found at the SIGPLAN author information page.

Graduate Posters

  • Phantom Contracts for Better Linking, by Daniel Patterson (Northeastern University)
  • Parallel Information Flow Control Foundations, by Marco Vassena (Chalmers University of Technology) and Deian Stefan (University of California San Diego)
  • Oxide: The Essence of Rust, by Aaron Weiss (Northeastern University)
  • Control plane compression for fault tolerance, by Nick Giannarakis (Princeton University)
  • Formal Semantics for the DTrace Tracing System, by Domagoj Stolfa (University of Cambridge)
  • A Core Calculus for Static Latency Tracking with Placement Types, by Tobias Reinhard (Technische Universität Darmstadt)
  • A Trace-Based Proof Technique for Secure Compilation, by Jérémy Thibault (Inria Paris)
  • Closure Conversion is Safe for Space, by Zoe Paraskevopoulou (Princeton University)
  • Fine-grained Stateful Computations, by Georgy Lukyanov (Newcastle University)
  • Gradual Intersection Type Inference, by Pedro Ângelo (Faculdade de Ciências & LIACC, Universidade do Porto) and Mário Florido (Faculdade de Ciências & LIACC, Universidade do Porto)
  • Adaptive Effect Handling in Frank, by Lukas Convent (University of Luebeck)
  • DPella: A DSL for Privacy-Preserving Queries with Accuracy Guarantees, by Elisabet Lobo-Vesga (Chalmers University of Technology) and Alejandro Russo (Chalmers University of Technology)
  • Functions for free!, by Nachiappan Valliappan (Chalmers University)

Undergraduate Posters

  • Tailored Termination for Improved Supercompilation, by Ammar Askar (Purdue University)
  • Verification of a Cache-optimized Data Structure, by Yixuan Chen (University of Michigan), Aurele Barriere (Ecole Normale Superieure de Rennes), Lennart Beringer (Princeton University), and Andrew W. Appel (Princeton University)
  • Formal verification of floating-point number conversion between ASN.1 BER and IEEE 754 binary encodings, by Ilia Zaichuk (Taras Shevchenko National University of Kyiv, Digamma.ai)