VenuePhoenix Convention Center
Room name106A
Floor0
Room number106A
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

Sat 22 Jun
Times are displayed in time zone: Tijuana, Baja California change

09:00 - 09:15: OpeningSOAP at 106A
Chair(s): Thierry LavoieSynopsys, Inc.
09:00 - 09:15
Day opening
SOAP
Neville GrechUniversity of Athens, Thierry LavoieSynopsys, Inc.
09:15 - 11:00: Performance and Optimizations for Program Analysis ToolsSOAP at 106A
Chair(s): Neville GrechUniversity of Athens
09:15 - 09:35
Talk
SOAP
09:35 - 09:55
Talk
SOAP
Philipp Dominik SchubertHeinz Nixdorf Institut, Paderborn University, Richard LeerHeinz Nixdorf Institut, Paderborn University, Ben HermannPaderborn University, Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
Pre-print Media Attached
09:55 - 10:15
Talk
SOAP
Lawton Nichols, Mehmet EmreUniversity of California, Santa Barbara, Ben HardekopfUC Santa Barbara
10:15 - 11:35
Talk
SOAP
10:35 - 11:00
Other
SOAP
11:20 - 12:30: Industry TalksSOAP at 106A
Chair(s): Thierry LavoieSynopsys, Inc.
11:20 - 12:30
Talk
SOAP
14:00 - 15:30: Engineering Advances for Program Analysis ToolsSOAP at 106A
Chair(s): Thierry LavoieSynopsys, Inc.
14:00 - 14:20
Talk
SOAP
Andreas DannPaderborn University, Ben HermannPaderborn University, Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
Pre-print
14:20 - 14:40
Talk
SOAP
14:40 - 15:00
Talk
SOAP
Pre-print
15:00 - 15:30
Talk
SOAP
16:00 - 17:40: Demos, Tributes and AwardsSOAP at 106A
Chair(s): Neville GrechUniversity of Athens
16:00 - 16:20
Other
SOAP
Thierry LavoieSynopsys, Inc., Neville GrechUniversity of Athens
16:20 - 17:20
Talk
SOAP
Ben HermannPaderborn University, Andreas DannPaderborn University
17:20 - 17:40
Day closing
SOAP
Neville GrechUniversity of Athens, Thierry LavoieSynopsys, Inc.

Sun 23 Jun
Times are displayed in time zone: Tijuana, Baja California change

09:00 - 11:00: Scaling UpISMM at 106A
09:00 - 09:05
Day opening
ISMM
Harry XuUniversity of California, Los Angeles (UCLA), Jeremy SingerUniversity of Glasgow
09:05 - 09:45
Talk
ISMM
09:45 - 10:10
Talk
ISMM
Tung D. LeIBM Research - Tokyo, Haruki ImaiIBM Research - Tokyo, Yasushi NegishiIBM Research - Tokyo, Kiyokuni KawachiyaIBM Research - Tokyo
10:10 - 10:35
Talk
ISMM
Matthias SpringerTokyo Institute of Technology, Hidehiko MasuharaTokyo Institute of Technology
10:35 - 11:00
Talk
ISMM
Michihiro HorieIBM Research - Tokyo, Kazunori OgataIBM Research, Japan, Mikio TakeuchiIBM Research - Tokyo, Hiroshi HoriiIBM Research, Japan
11:20 - 12:35: ExoticaISMM at 106A
11:20 - 11:45
Talk
ISMM
Md Muhib KhanFlorida State University, Muhammad Ahad Ul AlamFlorida State University, USA, Amit Kumar NathFlorida State University, USA, Weikuan YuFlorida State University, USA
11:45 - 12:10
Talk
ISMM
Nicholas JacekUMass Amherst, Eliot MossUniversity of Massachusetts Amherst
12:10 - 12:35
Talk
ISMM
Pengcheng LiGoogle, Inc, Hao LuoUniversity of Rochester, Chen DingUniversity of Rochester
14:00 - 15:40: MechanicsISMM at 106A
14:00 - 14:50
Talk
ISMM
Shan LuUniversity of Chicago
14:50 - 15:15
Talk
ISMM
15:15 - 15:40
Talk
ISMM
Ricardo LeiteUniversity of Porto, Ricardo RochaUniversity of Porto, Portugal
16:00 - 17:15: Mechanics / Message PassingISMM at 106A
16:00 - 16:25
Talk
ISMM
Paul Lietar, Theodore ButlerDrexel University, USA, Sylvan ClebschImperial College London, Sophia DrossopoulouImperial College London, Juliana FrancoMicrosoft Research, Cambridge, Matthew ParkinsonMicrosoft Research, UK, Alex ShamisMicrosoft Research / Imperial College London, Christoph M. WintersteigerMicrosoft Research, UK, David ChisnallUniversity of Cambridge
16:25 - 16:50
Talk
ISMM
Steve BlackburnAustralian National University
16:50 - 17:14
Talk
ISMM
Koichi SasadaCookpad, Japan
Link to publication DOI
17:14 - 17:15
Day closing
ISMM
Harry XuUniversity of California, Los Angeles (UCLA), Jeremy SingerUniversity of Glasgow

Sat 22 Jun
Times are displayed in time zone: Tijuana, Baja California change

Sun 23 Jun
Times are displayed in time zone: Tijuana, Baja California change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
106A