Write a Blog >>
ISMM 2019
Sun 23 Jun 2019
Phoenix, Arizona, United States
co-located with
PLDI 2019
Toggle navigation
Attending
Venue: Phoenix Convention Center
PLDI 2019
Registration
Code of Conduct
Sponsorship
Hotels
Student participation and support
Visa
Tourist Information
Childcare
Accessibility FAQ
Program
ISMM Program
Your Program
Sun 23 Jun
Track/Call
Organization
ISMM 2019 Committees
Organizing Committee
Program Committee
External Review Committee
Steering Committee
Contributors
People Index
Search
Series
Series
ISMM 2025
ISMM 2024
ISMM 2023
ISMM 2022
ISMM 2021
ISMM 2020
ISMM 2019
ISMM 2018
ISMM 2017
ISMM 2016
ISMM 2015
Sign in
Sign up
PLDI 2019
(
series
) /
ISMM 2019
(
series
) /
Phoenix Convention Center
/
Room information: 105A
Venue
Phoenix Convention Center
Room name
105A
Floor
0
Room number
105A
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT-07:00) Tijuana, Baja California
.
Use conference time zone: (GMT-07:00) Tijuana, Baja California
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-06:00) Easter Island
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-04:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-02:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Belfast
(GMT+01:00) Dublin
(GMT+01:00) Lisbon
(GMT+01:00) London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+03:00) Athens
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+03:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+04:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+09:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+10:00) Hobart
(GMT+10:00) Vladivostok
(GMT+10:30) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+11:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+12:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+12:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
The GMT offsets shown reflect the offsets
at the moment of the conference
.
Time Band
By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.
Display full program
Specify a time band
-
Save
×
You're viewing the program in a time zone which is different from your device's time zone
change time zone
Sat 22 Jun
Displayed time zone:
Tijuana, Baja California
change
09:00 - 11:00
Session 1
MAPL
at
105A
09:00
40m
Talk
Building Training Sets with Snorkel: Three Key Operators
MAPL
Alex Jason Ratner
09:40
40m
Talk
Machine Learning in Python with No Strings Attached
MAPL
Guillaume Baudart
IBM Research
,
Martin Hirzel
IBM Research
,
Kiran Kate
,
Louis Mandel
IBM Research
,
Avraham Shinnar
IBM Research
10:20
40m
Talk
Triton: An Intermediate Language and Compiler for Tiled Neural Network Computations
MAPL
Philippe Tillet
,
H. T. Kung
,
David Cox
11:20 - 12:30
Session 2
MAPL
at
105A
11:20
40m
Talk
HackPPL: A Universal Probabilistic Programming Language
MAPL
Jessica Ai
,
Nimar S. Arora
,
Ning Dong
,
Beliz Gokkaya
,
Thomas Jiang
,
Anitha Kubendran
,
Arun Kumar
,
Michael Tingley
,
Narjes Torabi
Link to publication
12:00
30m
Talk
TBA
MAPL
14:00 - 15:30
Session 3
MAPL
at
105A
14:00
45m
Talk
Neural Query Expansion for Code Search
MAPL
Jason Liu
,
Seohyun Kim
Facebook
,
Vijayaraghavan Murali
Rice University, USA
,
Swarat Chaudhuri
Rice University
,
Satish Chandra
Facebook
14:45
45m
Talk
A Case Study on Machine Learning for Synthesizing Benchmarks
MAPL
Andrés Goens
,
Alexander Brauckmann
,
Sebastian Ertel
,
Chris Cummins
University of Edinburgh
,
Hugh Leather
University of Edinburgh
,
Jeronimo Castrillon
TU Dresden, Germany
16:00 - 17:30
Keynote
MAPL
at
105A
16:00
90m
Talk
Keynote: Learning to Reason about Programs
MAPL
Mayur Naik
University of Pennsylvania
Sun 23 Jun
Displayed time zone:
Tijuana, Baja California
change
09:00 - 09:45
Keynote 1: Academic Keynote
LCTES
at
105A
09:00
10m
Talk
Note from Program Chair
LCTES
Aviral Shrivastava
Arizona State University
09:10
35m
Talk
New Models and Methods for Programming Cyber-Physical Systems
LCTES
K:
Rajesh Gupta
UC San Diego
09:45 - 11:00
Session 1: Memory Management
LCTES
at
105A
Chair(s):
Greg Stitt
University of Florida
09:45
15m
Full-paper
Optimizing Tensor Contractions for Embedded Devices with Racetrack Memory Scratch-Pads
LCTES
Asif Ali Khan
TU Dresden, Germany
,
Norman A. Rink
TU Dresden, Germany
,
Fazal Hameed
TU Dresden, Germany
,
Jeronimo Castrillon
TU Dresden, Germany
10:00
15m
Full-paper
SHAKTI-MS: A RISC-V Processor for Memory Safety in C
LCTES
Sourav Das
IIT Madras
,
R Harikrishnan Unnithan
,
Arjun Menon
IIT Madras
,
Chester Rebeiro
IIT Madras
,
Kamakoti Veezhinathan
IIT Madras
10:15
15m
Full-paper
SA-SPM: An Efficient Compiler for Security Aware Scratchpad Memory (Invited)
LCTES
Thomas Haywood Dadzie
Hanyang University
,
Jiwon Lee
Hanyang University
,
Jihye Kim
Kookmin University
,
Hyunok Oh
Hanyang Univ
10:30
15m
Full-paper
1+1$>$2: Variation-Aware Lifetime Enhancement for Embedded 3D NAND Flash Systems
LCTES
Yejia Di
East China Normal University, Chongqing University
,
Liang Shi
Chongqing University
,
Shuo-Han Chen
Academia Sinica, Taipei
,
Jason Xue
City University of Hong Kong, China
,
Edwin Sha
Chongqing University
10:45
15m
Full-paper
Crash Recoverable ARMv8-oriented B+-tree for Byte-addressable Persistent Memory
LCTES
Chundong Wang
Singapore University of Technology and Design
,
Sudipta Chattopadhyay
Singapore University of Technology and Design
,
Gunavaran Brihadiswarn
University of Moratuwa
11:20 - 12:35
Session 2: Architecture and Compilers
LCTES
at
105A
Chair(s):
Na Meng
Virginia Tech
11:20
15m
Full-paper
From Java to Real-Time Java: A Model-Driven Methodology with Automated Toolchain (Invited)
LCTES
Wanli Chang
University of York
,
Shuai Zhao
University of York
,
Ran Wei
University of York
,
Andy Wellings
University of York
,
Alan Burns
University of York
11:35
15m
Full-paper
The Betrayal of Constant Power × Time: Finding the Missing Joules of Transiently-Powered Computers
LCTES
Saad Ahmed
LUMS, Pakistan
,
Abu Bakar
Northwestern University, US
,
Naveed Anwar Bhatti
RISE, Sweden
,
Muhammad Hamad Alizai
LUMS, Pakistan
,
Junaid Haroon Siddiqui
,
Luca Mottola
Politecnico di Milano, Italy and RI.Se SICS, Sweden
11:50
15m
Full-paper
WCET-Aware Hyper-Block Construction for Clustered VLIW Processors
LCTES
Xuesong Su
UNSW Sydney
,
Hui Wu
University of New South Wales, Australia
,
Jingling Xue
UNSW Sydney
12:05
15m
Full-paper
SPECTRUM: A Software Defined Predictable Many-core Architecture for LTE Baseband Processing
LCTES
Vanchinathan Venkataramani
National University of Singapore
,
Aditi Kulkarni
National University of Singapore
,
Tulika Mitra
National University of Singapore, Singapore
,
Li-Shiuan Peh
National University of Singapore
12:20
15m
Full-paper
Efficient Intermittent Computing with Differential Checkpointing
LCTES
Saad Ahmed
LUMS, Pakistan
,
Naveed Anwar Bhatti
RISE, Sweden
,
Muhammad Hamad Alizai
LUMS, Pakistan
,
Junaid Haroon Siddiqui
,
Luca Mottola
Politecnico di Milano, Italy and RI.Se SICS, Sweden
14:00 - 14:45
Keynote 2: Industry Keynote
LCTES
at
105A
14:00
10m
Talk
Note from General Chair
LCTES
Jian-Jia Chen
TU Dortmund University
14:10
35m
Industry talk
An Open, Transparent, Industry-Driven Approach to AV Safety
LCTES
K:
Jack Weast
Intel, USA
14:45 - 15:30
Session 3: Applications
LCTES
at
105A
Chair(s):
Wanli Chang
University of York
14:45
15m
Full-paper
Automating the Generation of Hardware Component Knowledge Bases
LCTES
Luke Hsiao
Stanford University
,
Sen Wu
Stanford University
,
Nicholas Chiang
Gunn High School
,
Christopher Ré
,
Philip Levis
Stanford University
15:00
15m
Full-paper
IA-Graph Based Inter-App Conflicts Detection in Open IoT Systems
LCTES
Xinyi Li
Chang'an University
,
Lei Zhang
North Carolina State University
,
Xipeng Shen
North Carolina State University
15:15
15m
Full-paper
ApproxSymate: Path Sensitive Program Approximation using Symbolic Execution
LCTES
Himeshi Praveeni De Silva
,
Andrew Santosa
National University of Singapore
,
Nhut Minh Ho
National University of Singapore
,
Weng-Fai Wong
National University of Singapore
16:00 - 16:45
Session 4: Benchmarking and In-progress Works
LCTES
at
105A
Chair(s):
Hyunok Oh
Hanyang Univ
16:00
15m
Full-paper
BitBench: A Benchmark for Bitstream Computing
LCTES
Kyle Daruwalla
University of Wisconsin – Madison
,
Heng Zhuo
University of Wisconsin - Madison
,
Carly Schulz
University of Wisconsin - Madison
,
Mikko H. Lipasti
16:15
5m
Short-paper
PANDORA: A Parallelizing Approximation-Discovery Framework (Work in progress)
LCTES
Greg Stitt
University of Florida
,
David Campbell
University of Florida
16:20
5m
Short-paper
On Intermittence Bugs in the Battery-less Internet of Things (Work in progress)
LCTES
Andrea Maioli
Politecnico di Milano, Italy
,
Luca Mottola
Politecnico di Milano, Italy and RI.Se SICS, Sweden
,
Muhammad Hamad Alizai
LUMS, Pakistan
,
Junaid Haroon Siddiqui
16:25
5m
Short-paper
Raising Binaries to LLVM IR with MCTOLL (Work in progress)
LCTES
S. Bharadwaj Yadavalli
Microsoft
,
Aaron Smith
16:30
5m
Short-paper
A Compiler-based Approach for GPGPU Performance Calibration using TLP Modulation (Work in progress)
LCTES
Yongseung Yu
Hanyang University
,
Seokwon Kang
Hanyang University
,
Yongjun Park
Hanyang University
16:35
5m
Short-paper
An Empirical Comparison between Monkey Testing and Human Testing (Work in progress)
LCTES
Mostafa Mohammed
Virginia Tech
,
Haipeng Cai
Washington State University, USA
,
Na Meng
Virginia Tech
16:45 - 17:15
Poster Session
LCTES
at
105A
Sat 22 Jun
Displayed time zone:
Tijuana, Baja California
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
105A
MAPL
Session 1
MAPL
Session 2
MAPL
Session 3
MAPL
Keynote
Sun 23 Jun
Displayed time zone:
Tijuana, Baja California
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
105A
LCTES
Keynote 1: Academic Keynote
LCTES
Session 1: Memory Management
LCTES
Session 2: Architecture and Compilers
LCTES
Keynote 2: Industry Keynote
LCTES
Session 3: Applications
LCTES
Session 4: Benchmarking and In-progress Works
LCTES
Poster Session
LCTES
Sat 22 Jun
Displayed time zone:
Tijuana, Baja California
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
105A
MAPL
Building Training Sets with Snorkel: Three Key Operators
09:00 - 09:40
MAPL
Machine Learning in Python with No Strings Attached
09:40 - 10:20
MAPL
Triton: An Intermediate Language and Compiler for Tiled Neural Network ...
10:20 - 11:00
MAPL
HackPPL: A Universal Probabilistic Programming Language
11:20 - 12:00
MAPL
TBA
12:00 - 12:30
MAPL
Neural Query Expansion for Code Search
14:00 - 14:45
MAPL
A Case Study on Machine Learning for Synthesizing Benchmarks
14:45 - 15:30
MAPL
Keynote: Learning to Reason about Programs
16:00 - 17:30
Sun 23 Jun
Displayed time zone:
Tijuana, Baja California
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
105A
LCTES
Note from Program Chair
09:00 - 09:10
LCTES
New Models and Methods for Programming Cyber-Physical Systems
09:10 - 09:45
LCTES
Optimizing Tensor Contractions for Embedded Devices with Racetrack Memo ...
09:45 - 10:00
LCTES
SHAKTI-MS: A RISC-V Processor for Memory Safety in C
10:00 - 10:15
LCTES
SA-SPM: An Efficient Compiler for Security Aware Scratchpad Memory (In ...
10:15 - 10:30
LCTES
1+1$>$2: Variation-Aware Lifetime Enhancement for Embedded 3D NAND Flas ...
10:30 - 10:45
LCTES
Crash Recoverable ARMv8-oriented B+-tree for Byte-addressable Persisten ...
10:45 - 11:00
LCTES
From Java to Real-Time Java: A Model-Driven Methodology with Automated ...
11:20 - 11:35
LCTES
The Betrayal of Constant Power × Time: Finding the Missing Joules of Tr ...
11:35 - 11:50
LCTES
WCET-Aware Hyper-Block Construction for Clustered VLIW Processors
11:50 - 12:05
LCTES
SPECTRUM: A Software Defined Predictable Many-core Architecture for LTE ...
12:05 - 12:20
LCTES
Efficient Intermittent Computing with Differential Checkpointing
12:20 - 12:35
LCTES
Note from General Chair
14:00 - 14:10
LCTES
An Open, Transparent, Industry-Driven Approach to AV Safety
14:10 - 14:45
LCTES
Automating the Generation of Hardware Component Knowledge Bases
14:45 - 15:00
LCTES
IA-Graph Based Inter-App Conflicts Detection in Open IoT Systems
15:00 - 15:15
LCTES
ApproxSymate: Path Sensitive Program Approximation using Symbolic Execution
15:15 - 15:30
LCTES
BitBench: A Benchmark for Bitstream Computing
16:00 - 16:15
LCTES
PANDORA: A Parallelizing Approximation-Discovery Framework (Work in pro ...
16:15 - 16:20
LCTES
On Intermittence Bugs in the Battery-less Internet of Things (Work in p ...
16:20 - 16:25
LCTES
Raising Binaries to LLVM IR with MCTOLL (Work in progress)
16:25 - 16:30
LCTES
A Compiler-based Approach for GPGPU Performance Calibration using TLP M ...
16:30 - 16:35
LCTES
An Empirical Comparison between Monkey Testing and Human Testing (Work ...
16:35 - 16:40
x
Sat 21 Dec 18:22