Write a Blog >>
ISMM 2018
co-located with PLDI 2018
VenueHilton Philadelphia at Penn's Landing
Room nameGrand Ballroom AB
Floor0
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

Wed 20 Jun
Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change

11:00 - 12:15: Web PagesPLDI Research Papers at Grand Ballroom AB
Chair(s): Tobias WrigstadUppsala University
11:00 - 11:25
Talk
PLDI Research Papers
Pavel PanchekhaUniversity of Washington, Adam T. GellerUniversity of Washington, USA, Michael D. ErnstUniversity of Washington, USA, Zachary TatlockUniversity of Washington, Seattle, Shoaib KamilAdobe
Media Attached
11:25 - 11:50
Talk
PLDI Research Papers
John VilkUniversity of Massachusetts, Amherst, Emery BergerUniversity of Massachusetts, Amherst
Media Attached
11:50 - 12:15
Talk
PLDI Research Papers
Samuel BaxterUniversity of Massachusetts at Amherst, USA, Rachit Nigam, Joe Gibbs PolitzUniversity of California, San Diego, Shriram KrishnamurthiBrown University, USA, Arjun GuhaUniversity of Massachusetts, Amherst
Media Attached
14:00 - 15:40: Concurrency and TerminationPLDI Research Papers at Grand Ballroom AB
Chair(s): Iulian NeamtiuNew Jersey Institute of Technology
14:00 - 14:25
Talk
PLDI Research Papers
Lucas BrutschyETH Zurich, Dimitar DimitrovETH Zurich, Switzerland, Peter MüllerETH Zurich, Martin VechevETH Zürich
14:25 - 14:50
Talk
PLDI Research Papers
Peizun LiuNortheastern University, USA, Thomas WahlNortheastern University
Media Attached
14:50 - 15:15
Talk
PLDI Research Papers
Kostas FerlesUT Austin, Jacob Van GeffenUT Austin, Isil DilligUT Austin, Yannis SmaragdakisUniversity of Athens
Media Attached
15:15 - 15:40
Talk
PLDI Research Papers
Yu-Fang Chen, Matthias HeizmannUniversity of Freiburg, Germany, Ondrej LengalBrno University of Technology , Yong LiInstitute of Software, Chinese Academy of Sciences, Ming-Hsien TsaiAcademia Sinica, Taiwan, Andrea TurriniState Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Lijun ZhangInstitute of Software, Chinese Academy of Sciences
Media Attached
16:10 - 17:25: Transactions and RacesPLDI Research Papers at Grand Ballroom AB
Chair(s): Tatiana ShpeismanGoogle Brain
16:10 - 16:35
Talk
PLDI Research Papers
Nathan ChongARM Ltd., Tyler SorensenImperial College London, John WickersonImperial College London
Media Attached
16:35 - 17:00
Talk
PLDI Research Papers
Matthew MilanoCornell University, Andrew MyersCornell University
Media Attached
17:00 - 17:25
Talk
PLDI Research Papers
Stephen DolanUniversity of Cambridge, KC SivaramakrishnanUniversity of Cambridge, Anil MadhavapeddyOCaml Labs
Media Attached
17:30 - 18:30: Program Chair's Report and SIGPLAN Town Hall MeetingPLDI Invited Speakers at Grand Ballroom AB
Chair(s): Michael HicksUniversity of Maryland, College Park, Dan GrossmanUniversity of Washington
17:30 - 18:00
Talk
PLDI Invited Speakers
Dan GrossmanUniversity of Washington
Media Attached
18:00 - 18:30
Talk
PLDI Invited Speakers
Michael HicksUniversity of Maryland, College Park, Benjamin C. PierceUniversity of Pennsylvania, Steve BlackburnAustralian National University
Media Attached

Thu 21 Jun
Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change

11:00 - 12:15: Multicore and MorePLDI Research Papers at Grand Ballroom AB
Chair(s): Yannis SmaragdakisUniversity of Athens
11:00 - 11:25
Talk
PLDI Research Papers
David KoeplingerStanford University, USA, Matthew FeldmanStanford University, USA, Raghu PrabhakarStanford University, USA, Yaqi ZhangStanford University, USA, Stefan HadjisStanford University, USA, Ruben FiszelEPFL, Switzerland, Tian ZhaoStanford University, Luigi NardiStanford University, Ardavan PedramStanford University, USA, Christos KozyrakisStanford University, USA, Kunle OlukotunStanford University
Media Attached
11:25 - 11:50
Talk
PLDI Research Papers
Orhan KislalPennsylvania State University, USA, Jagadish KotraPennsylvania State University, USA, Xulong TangPenn State, Mahmut Taylan KandemirUniversity of Pennsylvania, Myoungsoo JungYonsei University, South Korea
Media Attached
11:50 - 12:15
Talk
PLDI Research Papers
Kim-Anh TranUppsala University, Sweden, Alexandra JimboreanUppsala University, Trevor E. CarlsonNational University of Singapore, Konstantinos KoukosUppsala University, Sweden, Magnus SjälanderNorwegian University of Science and Technology (NTNU), Stefanos KaxirasUppsala University, Sweden
Media Attached
14:00 - 15:40: Concurrency DebuggingPLDI Research Papers at Grand Ballroom AB
Chair(s): Tony HoskingAustralian National University / Data61
14:00 - 14:25
Talk
PLDI Research Papers
Hongyu LiuUniversity of Texas at San Antonio, USA, Sam SilvestroUniversity of Texas at San Antonio, USA, Wei WangUniversity of Texas at San Antonio, USA, Chen TianHuawei Lab, USA, Tongping Liu
Media Attached
14:25 - 14:50
Talk
PLDI Research Papers
Bozhen LiuTexas A&M University, USA, Jeff HuangTexas A&M University
Media Attached
14:50 - 15:15
Talk
PLDI Research Papers
Jake RoemerOhio State University, Kaan GençOhio State University, USA, Michael D. BondOhio State University
Media Attached
15:15 - 15:40
Talk
PLDI Research Papers
Yuanfeng PengUniversity of Pennsylvania, Vinod Grover, Joseph DeviettiUniversity of Pennsylvania
Media Attached
16:10 - 17:00: Programming-Student FeedbackPLDI Research Papers at Grand Ballroom AB
Chair(s): Dan GrossmanUniversity of Washington
16:10 - 16:35
Talk
PLDI Research Papers
Sumit GulwaniMicrosoft Research, Ivan RadičekVienna University of Technology, Austria, Florian ZulegerTU Vienna
Media Attached
16:35 - 17:00
Talk
PLDI Research Papers
Ke WangUniversity of California at Davis, USA, Rishabh SinghGoogle Brain, Zhendong SuUniversity of California, Davis
Media Attached

Fri 22 Jun
Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change

11:00 - 12:15: Optimization and LocalityPLDI Research Papers at Grand Ballroom AB
Chair(s): Milind KulkarniPurdue University
11:00 - 11:25
Talk
PLDI Research Papers
Aravind AcharyaIndian Institute of Science, Bangalore, Uday BondhugulaIndian Institute of Science, Albert CohenInria, France / ENS, France
Media Attached
11:25 - 11:50
Talk
PLDI Research Papers
Simon MollSaarland University, Germany, Sebastian HackSaarland University, Germany
Media Attached
11:50 - 12:15
Talk
PLDI Research Papers
Dong ChenUniversity of Rochester, Fangzhou LiuUniversity of Rochester, Chen DingUniversity of Rochester, Sreepathi PaiUniversity of Rochester
Media Attached
14:00 - 15:40: VerificationPLDI Research Papers at Grand Ballroom AB
Chair(s): Adam ChlipalaMassachusetts Institute of Technology, USA
14:00 - 14:25
Talk
PLDI Research Papers
Brandon Bohrer, Yong Kiam TanCarnegie Mellon University, USA, Stefan MitschCarnegie Mellon University, USA, Magnus O. MyreenChalmers University of Technology, Sweden, André PlatzerCarnegie Mellon University
Media Attached
14:25 - 14:50
Talk
PLDI Research Papers
Jeehoon KangSeoul National University, Yoonseung KimSeoul National University (South Korea), Youngju SongSeoul National University, Juneyoung LeeSeoul National University, Sanghoon ParkSeoul National University, South Korea, Mark Dongyeon ShinSeoul National University, South Korea, Yonghyun KimSeoul National University, South Korea, Sungkeun ChoSeoul National University, South Korea, Joonwon ChoiMassachusetts Institute of Technology, USA, Chung-Kil HurSeoul National University, Kwangkeun YiSeoul National University
Media Attached
14:50 - 15:15
Talk
PLDI Research Papers
Ronghui GuColumbia University, Zhong ShaoYale University, Jieung KimYale University, USA, Xiongnan (Newman) WuYale University, Jérémie Koenig, Vilhelm SjöbergYale University, Hao ChenYale University, David CostanzoYale University, Tahina RamananandroMicrosoft Research, n.n.
Media Attached
15:15 - 15:40
Talk
PLDI Research Papers
Marcelo TaubeTel Aviv University, Israel, Giuliano LosaUniversity of California at Los Angeles, USA, Kenneth L. McMillanMicrosoft Research, Oded PadonTel Aviv University, Mooly SagivTel Aviv University, Sharon ShohamTel Aviv university, James R. WilcoxUniversity of Washington, Doug WoosUniversity of Washington
Media Attached
16:10 - 17:25: ParallelismPLDI Research Papers at Grand Ballroom AB
Chair(s): Julian DolbyIBM Thomas J. Watson Research Center
16:10 - 16:35
Talk
PLDI Research Papers
Changwan Hong, Aravind Sukumaran-RajamOhio State University, USA, Jinsung KimOhio State University, USA, Prashant Singh Rawat, Sriram KrishnamoorthyPacific Northwest National Laboratories, Louis-Noël PouchetColorado State University, Fabrice RastelloINRIA, P. SadayappanOhio State University
Media Attached
16:35 - 17:00
Talk
PLDI Research Papers
Roshan DathathriUniversity of Texas at Austin, USA, Gurbinder GillUniversity of Texas at Austin, USA, Loc HoangUniversity of Texas at Austin, USA, Hoang-Vu DangUniversity of Illinois at Urbana-Champaign, USA, Alex BrooksUniversity of Illinois at Urbana-Champaign, USA, Nikoli DrydenUniversity of Illinois at Urbana-Champaign, USA, Marc SnirUIUC, Keshav PingaliUniversity of Texas at Austin, USA
Media Attached
17:00 - 17:25
Talk
PLDI Research Papers
Umut A. AcarCarnegie Mellon University, Arthur CharguéraudInria, Adrien Guatto, Mike Rainey, Filip SieczkowskiUniversity of Wrocław
Media Attached

Wed 20 Jun
Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change

Thu 21 Jun
Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change

Fri 22 Jun
Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change