Blogs (2) >>
ISMM 2017
Sun 18 Jun 2017 Barcelona, Spain
co-located with PLDI 2017
VenueUniversitat Politècnica de Catalunya
Room nameAula Master
Floor0
Capacity132
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

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

08:30 - 08:45: OpeningISMM 2017 at Aula Master
Chair(s): Christoph KirschUniversity of Salzburg
08:30 - 08:45
Day opening
ISMM 2017
09:30 - 10:30: Session 1: Garbage CollectionISMM 2017 at Aula Master
Chair(s): Hannes PayerGoogle
09:30 - 10:00
Talk
ISMM 2017
Rodrigo BrunoINESC-ID / Instituto Superior Técnico, University of Lisbon, Luís Picciochi OliveiraFeedzai, A: Paulo FerreiraINESC-ID / Instituto Superior Técnico, University of Lisbon
10:00 - 10:30
Talk
ISMM 2017
11:00 - 12:30: Session 2: Clever Data TricksISMM 2017 at Aula Master
Chair(s): Michael D. BondOhio State University
11:00 - 11:30
Talk
ISMM 2017
Nick Vrvilo, Lechen YuRice University, Vivek SarkarRice University, USA
11:30 - 12:00
Talk
ISMM 2017
Zhengyang LiuBeijing University of Posts and Telecommunications, John CriswellUniversity of Rochester
12:00 - 12:30
Talk
ISMM 2017
14:00 - 15:30: Session 3: Hybrid Memory SystemsISMM 2017 at Aula Master
Chair(s): Ben L. TitzerGoogle
14:00 - 14:30
Talk
ISMM 2017
Mohammad DashtiUniversity of British Columbia, Alexandra (Sasha) FedorovaSimon Fraser University
14:30 - 15:00
Talk
ISMM 2017
Ellis GilesRice University, Kshitij DoshiIntel Corporation, Peter VarmanRice University
15:00 - 15:30
Talk
ISMM 2017
Ivy Bo PengKTH Royal Institute of Technology, Roberto GioiosaPacific Northwest National Laboratory, Gokcen KestorPacific Northwest National Laboratory, Stefano MarkidisKTH Royal Institute of Technology, Pietro CicottiSan Diego Supercomputer Center, Erwin LaureKTH Royal Institute of Technology
16:00 - 17:30: Session 4: A Deeper LookISMM 2017 at Aula Master
Chair(s): Steve BlackburnAustralian National University
16:00 - 16:30
Talk
ISMM 2017
Vini KanvarIndian Institute of Technology (IIT) Bombay, Uday P. Khedker
16:30 - 17:00
Talk
ISMM 2017
Bin FangEast China Normal University (China) and University Paris Diderot and CNRS (France), Mihaela SighireanuIRIF, University Paris Diderot and CNRS, France
17:00 - 17:30
Talk
ISMM 2017
Minjia ZhangMicrosoft Research, Swarnendu BiswasUniversity of Texas at Austin, Michael D. BondOhio State University

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

10:50 - 12:30: Compiler OptimizationsPLDI Research Papers at Aula Master
Chair(s): Uday BondhugulaIndian Institute of Science
10:50 - 11:15
Talk
PLDI Research Papers
Jonathan Lifflander, Sriram KrishnamoorthyPacific Northwest National Laboratories
11:15 - 11:40
Talk
PLDI Research Papers
Olli Saarikivi, Margus VeanesMicrosoft Research, Todd Mytkowicz, Madan MusuvathiMicrosoft Research
11:40 - 12:05
Talk
PLDI Research Papers
Yufei DingNorth Carolina State University, Lin NingNorth Carolina State University, Hui GuanNorth Carolina State University, Xipeng ShenNorth Carolina State University
Media Attached
12:05 - 12:30
Talk
PLDI Research Papers
David MenendezRutgers University, Santosh NagarakatteRutgers University, USA
Media Attached
14:00 - 15:40: Concurrency AnalysisPLDI Research Papers at Aula Master
Chair(s): Jeff HuangTexas A&M University
14:00 - 14:25
Talk
PLDI Research Papers
Ariel EizenbergUniversity of Pennsylvania, Yuanfeng PengUniversity of Pennsylvania, Toma PigliUniversity of Pennsylvania, William ManskyPrinceton University, Joseph DeviettiUniversity of Pennsylvania
14:25 - 14:50
Talk
PLDI Research Papers
Dustin Rhodes, Cormac FlanaganUniversity of California, Santa Cruz, Stephen N. FreundWilliams College
14:50 - 15:15
Talk
PLDI Research Papers
Dileep KiniUniversity of Illinois at Urbana-Champaign, Umang MathurUniversity of Illinois at Urbana-Champaign, Mahesh ViswanathanUniversity of Illinois at Urbana-Champaign
Media Attached
15:15 - 15:40
Talk
PLDI Research Papers
Marina BillesTU Darmstadt, Anders MøllerAarhus University, Michael PradelTU Darmstadt
Media Attached
16:10 - 17:50: Static AnalysisPLDI Research Papers at Aula Master
Chair(s): Loris D'AntoniUniversity of Wisconsin–Madison
16:10 - 16:35
Talk
PLDI Research Papers
Zachary KincaidPrinceton University, Jason BreckUniversity of Wisconsin-Madison, Ashkan Forouhi BoroujeniUniversity of Wisconsin-Madison, Thomas RepsUniversity of Wisconsin - Madison and Grammatech Inc.
Media Attached
16:35 - 17:00
Talk
PLDI Research Papers
Rei ThiessenUniversity of Waterloo, Ondřej LhotákUniversity of Waterloo, Canada
Media Attached
17:00 - 17:25
Talk
PLDI Research Papers
Tian TanUNSW Australia, Yue LiUNSW Australia, Jingling XueUNSW Australia
Pre-print Media Attached
17:25 - 17:50
Talk
PLDI Research Papers
Anirudh SanthiarIndian Institute of Science, Aditya KanadeIndian Institute of Science, Bangalore
Media Attached

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

10:50 - 12:30: Static Analysis and SecurityPLDI Research Papers at Aula Master
Chair(s): Mayur NaikGeorgia Tech
10:50 - 11:15
Talk
PLDI Research Papers
Timos AntonopoulosYale University, Paul GazzilloYale University, Michael HicksUniversity of Maryland, College Park, Eric KoskinenYale University, Tachio TerauchiJAIST, Shiyi WeiUniversity of Maryland, College Park
Media Attached
11:15 - 11:40
Talk
PLDI Research Papers
Qinheping HuUniversity of Wisconsin-Madison, Loris D'AntoniUniversity of Wisconsin–Madison
Media Attached
11:40 - 12:05
Talk
PLDI Research Papers
Peter OhmannUniversity of Wisconsin - Madison, Alexander L. BrooksUniversity of Wisconsin, Madison, Loris D'AntoniUniversity of Wisconsin–Madison, Ben LiblitUniversity of Wisconsin–Madison
Pre-print Media Attached
12:05 - 12:30
Talk
PLDI Research Papers
Goran DoychevIMDEA Software Institute, Boris KöpfIMDEA Software Institute, Spain
Media Attached
14:00 - 15:40: Functional Programming and CorrectnessPLDI Research Papers at Aula Master
Chair(s): Francesco LogozzoFacebook
14:00 - 14:25
Talk
PLDI Research Papers
Luke MaurerUniversity of Oregon, USA, Paul DownenUniversity of Oregon, USA, Zena M. AriolaUniversity of Oregon, USA, Simon Peyton JonesMicrosoft Research, Cambridge
Media Attached
14:25 - 14:50
Talk
PLDI Research Papers
Daniel PattersonNortheastern University, Jamie PercontiNortheastern University, Christos DimoulasHarvard University, USA, Amal AhmedNortheastern University, USA
Media Attached
14:50 - 15:15
Talk
PLDI Research Papers
Shumo ChuUniversity of Washington, USA, Konstantin WeitzUniversity of Washington, USA, Alvin CheungUniversity of Washington, Dan SuciuUniversity of Washington
Media Attached
15:15 - 15:40
Talk
PLDI Research Papers
Richard A. EisenbergBryn Mawr College, USA, Simon Peyton JonesMicrosoft Research, Cambridge
Media Attached
16:10 - 17:00: Verified ComputationPLDI Research Papers at Aula Master
Chair(s): Alvin CheungUniversity of Washington
16:10 - 16:35
Talk
PLDI Research Papers
Timothy BourkeINRIA, Lélio BrunENS/Inria, Pierre-Evariste DagandLIP6/CNRS , Xavier LeroyInria, Marc PouzetÉcole normale supérieure, Lionel RiegCollège de France
Media Attached
16:35 - 17:00
Talk
PLDI Research Papers
Parosh Aziz AbdullaUppsala University, Sweden, Mohamed Faouzi AtigUppsala University, Bui Phi DiepUppsala University, Yu-Fang Chen, Lukáš Holík, Ahmed Rezine, Philipp RuemmerUppsala University
Media Attached
17:00 - 18:00: Program Chair report and SIGPLAN Town Hall meetingPLDI Invited Speakers at Aula Master
17:00 - 18:00
PLDI Invited Speakers

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

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

10:30 - 12:10: S5AECOOP Summer School at Aula Master
10:30 - 12:10
Talk
ECOOP Summer School
Jan VitekNortheastern University
Pre-print
13:40 - 15:20: S5BECOOP Summer School at Aula Master
13:40 - 15:20
Talk
ECOOP Summer School
Eelco VisserDelft University of Technology
Media Attached File Attached
15:50 - 17:30: S5CECOOP Summer School at Aula Master
15:50 - 17:30
Talk
ECOOP Summer School
Eelco VisserDelft University of Technology
Media Attached File Attached

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

15:50 - 17:05: S6CECOOP Summer School at Aula Master
15:50 - 17:05
Talk
ECOOP Summer School
Jan VitekNortheastern University
Pre-print

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

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

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

Room15:003016:003017:0030
Aula Master

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

Room10:003011:003012:003013:003014:003015:003016:003017:0030
Aula Master

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

Room10:003011:003012:003013:003014:003015:003016:003017:0030
Aula Master

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

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

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Aula Master

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