Write a Blog >>
ISMM 2019
Sun 23 Jun 2019 Phoenix, Arizona, United States
co-located with PLDI 2019
PLDI 2019 (series) / ISMM 2019 (series) / Phoenix Convention Center /

Room information: 105A

VenuePhoenix Convention Center
Room name105A
Floor0
Room number105A
Room InformationNo extra information 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

Displayed time zone: Tijuana, Baja California change

09:00 - 11:00
Session 1MAPL 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 2MAPL 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 3MAPL 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
KeynoteMAPL 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 KeynoteLCTES 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 ManagementLCTES 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 CompilersLCTES 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 KeynoteLCTES 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: ApplicationsLCTES 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 WorksLCTES 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 SessionLCTES at 105A

Sat 22 Jun

Displayed time zone: Tijuana, Baja California change

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

MAPL

Session 1

MAPL

Session 2

MAPL

Session 3

MAPL

Keynote

Sun 23 Jun

Displayed time zone: Tijuana, Baja California change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
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

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
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

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
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