Write a Blog >>
VenueUniversitat Politècnica de Catalunya
Room nameActes, Civil Engineering
Floor0
Capacity160
Additional informationThere is no additional information of this room available.
Program

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

Mon 19 Jun
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:50 - 12:30: Learning and ProbabilisticPLDI Research Papers at Actes, Civil Engineering
Chair(s): Swarat ChaudhuriRice University
10:50 - 11:15
Talk
PLDI Research Papers
Kuat YessenovMIT, Ivan KurajMIT CSAIL, USA, Armando Solar-LezamaMIT CSAIL
Media Attached
11:15 - 11:40
Talk
PLDI Research Papers
Yaniv DavidTechnion, Nimrod PartushTechnion, Eran YahavTechnion
11:40 - 12:05
Talk
PLDI Research Papers
Osbert BastaniStanford University, Rahul SharmaMicrosoft Research, Alex AikenStanford University, Percy LiangStanford University
Media Attached
12:05 - 12:30
Talk
PLDI Research Papers
Daniel HuangHarvard University, Jean-Baptiste TristanOracle Labs, Greg MorrisettCornell University
Media Attached
14:00 - 15:40: Language ImplementationPLDI Research Papers at Actes, Civil Engineering
Chair(s): David F. BaconGoogle
14:00 - 14:25
Talk
PLDI Research Papers
Andreas HaasGoogle, Andreas RossbergGoogle, Derek SchuffGoogle, Ben L. TitzerGoogle, Dan GohmanMozilla, Luke WagnerMozilla, Alon ZakaiMozilla, JF BastienApple, Michael HolmanMicrosoft
Media Attached
14:25 - 14:50
Talk
PLDI Research Papers
Dmytro PetrashkoEPFL, Ondřej LhotákUniversity of Waterloo, Canada, Martin OderskyEPFL, Switzerland
Media Attached
14:50 - 15:15
Talk
PLDI Research Papers
Anthony CaninoSUNY Binghamton, Yu David LiuState University of New York (SUNY) Binghamton
Media Attached
15:15 - 15:40
Talk
PLDI Research Papers
Piyus KediaIndian Institute of Technology Delhi, Manuel CostaMicrosoft Research, Matthew ParkinsonMicrosoft Research, UK, Kapil VaswaniMicrosoft Research, Dimitrios VytiniotisMicrosoft Research, Cambridge
Media Attached
16:10 - 17:50: Dynamic Analysis and TestingPLDI Research Papers at Actes, Civil Engineering
Chair(s): Michael PradelTU Darmstadt
16:10 - 16:35
Talk
PLDI Research Papers
Zhoulai FuUniversity of California, Davis, Zhendong SuUniversity of California, Davis
Media Attached
16:35 - 17:00
Talk
PLDI Research Papers
Buddhika ChamithIndiana University, Luke DalessandroIndiana University, Bo Joel SvenssonChalmers University of Technology, Sweden, Ryan R. NewtonIndiana University
Media Attached
17:00 - 17:25
Talk
PLDI Research Papers
Amanieu d'AntrasUniversity of Manchester, Cosmin GorgovanUniversity of Manchester, Jim GarsideUniversity of Manchester, Mikel Luján
Media Attached
17:25 - 17:50
Talk
PLDI Research Papers
Qirun ZhangUniversity of California, Davis, Chengnian SunUniversity of California, Davis, Zhendong SuUniversity of California, Davis
Media Attached

Tue 20 Jun
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:50 - 12:30: SynthesisPLDI Research Papers at Actes, Civil Engineering
Chair(s): Sasa MisailovicUniversity of Illinois at Urbana-Champaign
10:50 - 11:15
Talk
PLDI Research Papers
Yu FengUniversity of Texas at Austin, USA, Ruben Martins, Jacob Van GeffenUT Austin, Isil DilligUT Austin, Swarat ChaudhuriRice University
Media Attached
11:15 - 11:40
Talk
PLDI Research Papers
Ryan BeckettPrinceton University, Ratul MahajanMicrosoft, Todd MillsteinUniversity of California, Los Angeles, Jitendra PadhyeMicrosoft, David WalkerPrinceton University
Media Attached
11:40 - 12:05
Talk
PLDI Research Papers
Chenglong WangUniversity of Washington, USA, Alvin CheungUniversity of Washington, Rastislav BodikUniversity of Washington
Media Attached
12:05 - 12:30
Talk
PLDI Research Papers
James BornholtUniversity of Washington, Emina TorlakUniversity of Washington, USA
Pre-print Media Attached
14:00 - 15:40: Parallelization and ConcurrencyPLDI Research Papers at Actes, Civil Engineering
Chair(s): Milind KulkarniPurdue University
14:00 - 14:25
Talk
PLDI Research Papers
Azadeh FarzanUniversity of Toronto, Victor NicoletUniversity of Toronto
Media Attached
14:25 - 14:50
Talk
PLDI Research Papers
Troels HenriksenDIKU, University of Copenhagen, Niels G. W. SerupDIKU, University of Copenhagen, Martin ElsmanDepartment of Computer Science, University of Copenhagen, Fritz HengleinDIKU, Denmark, Cosmin OanceaDIKU, University of Copenhagen
Media Attached
14:50 - 15:15
Talk
PLDI Research Papers
Grigory FedyukovichUW CSE, Maaz Bin Safeer AhmadUW / CSE, Rastislav BodikUniversity of Washington
Pre-print Media Attached
15:15 - 15:40
Talk
PLDI Research Papers
Colin GordonDrexel University, Michael D. ErnstUniversity of Washington, USA, Dan GrossmanUniversity of Washington, Matthew ParkinsonMicrosoft Research, UK
Pre-print Media Attached
16:10 - 17:00: CorrectnessPLDI Research Papers at Actes, Civil Engineering
Chair(s): Joseph DeviettiUniversity of Pennsylvania
16:10 - 16:35
Talk
PLDI Research Papers
Ori LahavMPI-SWS, Viktor VafeiadisMPI-SWS, Germany, Jeehoon KangSeoul National University, Chung-Kil HurSeoul National University, Derek DreyerMPI-SWS
Media Attached
16:35 - 17:00
Talk
PLDI Research Papers
Juneyoung LeeSeoul National University, Yoonseung KimSeoul National University (South Korea), Youngju SongSeoul National University, Chung-Kil HurSeoul National University, Sanjoy DasAzul Systems, David MajnemerGoogle, John RegehrUniversity of Utah, Nuno P. LopesMicrosoft Research
Media Attached

Mon 19 Jun
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 20 Jun
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change