Write a Blog >>
LCTES 2019
Sat 22 - Fri 28 June 2019 Phoenix, Arizona, United States
co-located with PLDI 2019
VenuePhoenix Convention Center
Room name106A
Floor0
Room number106A
Capacity0
Additional informationThere is no additional information of this room available.
Program

Sat 22 Jun

SOAP-2019-papers
09:00 - 09:15: SOAP - Opening at 106A
Chair(s): Thierry LavoieSynopsys, Inc.
SOAP-2019-papers09:00 - 09:15
Day opening
Neville GrechUniversity of Athens, Thierry LavoieSynopsys, Inc.
SOAP-2019-papers
09:15 - 11:00: SOAP - Performance and Optimizations for Program Analysis Tools at 106A
Chair(s): Neville GrechUniversity of Athens
SOAP-2019-papers09:15 - 09:35
Talk
SOAP-2019-papers09:35 - 09:55
Talk
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
SOAP-2019-papers09:55 - 10:15
Talk
Lawton Nichols, Mehmet EmreUniversity of California, Santa Barbara, Ben HardekopfUC Santa Barbara
SOAP-2019-papers10:15 - 11:35
Talk
SOAP-2019-papers10:35 - 11:00
Other
SOAP-2019-papers
11:20 - 12:30: SOAP - Industry Talks at 106A
Chair(s): Thierry LavoieSynopsys, Inc.
SOAP-2019-papers11:20 - 12:30
Talk
SOAP-2019-papers
14:00 - 15:30: SOAP - Engineering Advances for Program Analysis Tools at 106A
Chair(s): Thierry LavoieSynopsys, Inc.
SOAP-2019-papers14:00 - 14:20
Talk
Andreas DannPaderborn University, Ben HermannPaderborn University, Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
Pre-print
SOAP-2019-papers14:20 - 14:40
Talk
SOAP-2019-papers14:40 - 15:00
Talk
Pre-print
SOAP-2019-papers15:00 - 15:30
Talk
SOAP-2019-papers
16:00 - 17:40: SOAP - Demos, Tributes and Awards at 106A
Chair(s): Neville GrechUniversity of Athens
SOAP-2019-papers16:00 - 16:20
Other
Thierry LavoieSynopsys, Inc., Neville GrechUniversity of Athens
SOAP-2019-papers16:20 - 17:20
Talk
Ben HermannPaderborn University, Andreas DannPaderborn University
SOAP-2019-papers17:20 - 17:40
Day closing
Neville GrechUniversity of Athens, Thierry LavoieSynopsys, Inc.

Sun 23 Jun

ismm-2019-papers
09:00 - 11:00: ISMM 2019 - Scaling Up at 106A
ismm-2019-papers09:00 - 09:05
Day opening
Harry XuUniversity of California, Los Angeles (UCLA), Jeremy SingerUniversity of Glasgow
ismm-2019-papers09:05 - 09:45
Talk
ismm-2019-papers09:45 - 10:10
Talk
Tung D. LeIBM Research - Tokyo, Haruki ImaiIBM Research - Tokyo, Yasushi NegishiIBM Research - Tokyo, Kiyokuni KawachiyaIBM Research - Tokyo
ismm-2019-papers10:10 - 10:35
Talk
Matthias SpringerTokyo Institute of Technology, Hidehiko MasuharaTokyo Institute of Technology
ismm-2019-papers10:35 - 11:00
Talk
Michihiro HorieIBM Research - Tokyo, Kazunori OgataIBM Research, Japan, Mikio TakeuchiIBM Research - Tokyo, Hiroshi HoriiIBM Research, Japan
ismm-2019-papers
11:20 - 12:35: ISMM 2019 - Exotica at 106A
ismm-2019-papers11:20 - 11:45
Talk
Md Muhib KhanFlorida State University, Muhammad Ahad Ul AlamFlorida State University, USA, Amit Kumar NathFlorida State University, USA, Weikuan YuFlorida State University, USA
ismm-2019-papers11:45 - 12:10
Talk
Nicholas JacekUMass Amherst, Eliot MossUniversity of Massachusetts Amherst
ismm-2019-papers12:10 - 12:35
Talk
Pengcheng LiGoogle, Inc, Hao LuoUniversity of Rochester, Chen DingUniversity of Rochester
ismm-2019-papers
14:00 - 15:40: ISMM 2019 - Mechanics at 106A
ismm-2019-papers14:00 - 14:50
Talk
Shan LuUniversity of Chicago
ismm-2019-papers14:50 - 15:15
Talk
ismm-2019-papers15:15 - 15:40
Talk
Ricardo LeiteUniversity of Porto, Ricardo RochaUniversity of Porto, Portugal
ismm-2019-papers
16:00 - 17:15: ISMM 2019 - Mechanics / Message Passing at 106A
ismm-2019-papers16:00 - 16:25
Talk
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
ismm-2019-papers16:25 - 16:50
Talk
Steve BlackburnAustralian National University
ismm-2019-papers16:50 - 17:14
Talk
Koichi SasadaCookpad, Japan
Link to publication DOI
ismm-2019-papers17:14 - 17:15
Day closing
Harry XuUniversity of California, Los Angeles (UCLA), Jeremy SingerUniversity of Glasgow

Sat 22 Jun 2019

Room8:00309:003010:003011:003012:003013:003014:003015:003016:003017:0030
106A
08:15 - 09:00
09:00 - 09:15
11:00 - 11:20
11:20 - 12:30
12:30 - 14:00
15:30 - 16:00

Sun 23 Jun 2019

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
106A
09:00 - 11:00
11:20 - 12:35
14:00 - 15:40