Sound, Precise, and Fast Abstract Interpretation with Tristate Numbers (CGO 2022 - Main Conference) - CGO 2022

Write a Blog >>

Sat 2 - Wed 6 April 2022

Who

Harishankar Vishwanathan, Matan Shachnai, Srinivas Narayana, Santosh Nagarakatte

Track

CGO 2022 Main Conference

Time Zone

The program is currently displayed in (GMT-04:00) Eastern Time (US & Canada).

Use conference time zone: (GMT-04:00) Eastern Time (US & Canada)Select other time zone

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 programSpecify a time band

When

Wed 6 Apr 2022 11:05 - 11:20 - Session #7: Program Analysis and Optimization Chair(s): Fabrice Rastello

Link to Publication

https://whova.com/portal/webapp/ppopp_202204/Agenda/2239142

Harishankar Vishwanathan

Matan Shachnai

Srinivas Narayana

Rutgers University

Santosh Nagarakatte

Rutgers University

United States

Time Zone

The program is currently displayed in (GMT-04:00) Eastern Time (US & Canada).

Use conference time zone: (GMT-04:00) Eastern Time (US & Canada)Select other time zone

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 programSpecify a time band

Session Program

Wed 6 Apr
Displayed time zone: Eastern Time (US & Canada) change

	10:20 - 11:20	Session #7: Program Analysis and OptimizationMain Conference Chair(s): Fabrice Rastello Inria, France

	10:20 15m Talk		Loop Rolling for Code Size Reduction Main Conference Rodrigo C. O. Rocha University of Edinburgh, UK, Pavlos Petoumenos University of Manchester, Björn Franke University of Edinburgh, UK, Pramod Bhatotia University of Edinburgh, Michael F. P. O'Boyle University of Edinburgh Link to publication
	10:35 15m Talk		Solving PBQP-based Register Allocation using Deep Reinforcement Learning Main Conference Minsu Kim Seoul National University, Jeong-Keun Park Seoul National University, Soo-Mook Moon Seoul National University Link to publication
	10:50 15m Talk		F3M: Fast Focused Function Merging Main Conference Sean Stirling Codeplay, Rodrigo C. O. Rocha University of Edinburgh, UK, Hugh Leather Facebook, Kim Hazelwood Facebook, Michael F. P. O'Boyle University of Edinburgh, Pavlos Petoumenos University of Manchester, UK Link to publication
	11:05 15m Talk		Sound, Precise, and Fast Abstract Interpretation with Tristate Numbers Main Conference Harishankar Vishwanathan , Matan Shachnai , Srinivas Narayana Rutgers University, Santosh Nagarakatte Rutgers University Link to publication