Compiling Approximate Computation to Probabilistic Programs (CGO 2024 - Student Research Competition)

Track

CGO 2024 Student Research Competition

Time Zone

The program is currently displayed in (GMT) London.

Use conference time zone: (GMT) LondonSelect 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

Save

When

Sun 3 Mar 2024 18:00 - 20:00 at Strathblane Hall - Student Research Competition Poster Session
Tue 5 Mar 2024 11:43 - 11:56 at Carrick 1, 2, 3 - Student Research Competition Talks Chair(s): EunJung (EJ) Park

Time Zone

The program is currently displayed in (GMT) London.

Use conference time zone: (GMT) LondonSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

Display full programSpecify a time band

Save

Session Program

Sun 3 Mar
Displayed time zone: London change

18:00 - 20:00	Student Research Competition Poster SessionStudent Research Competition at Strathblane Hall

18:00 2h Talk		Compiling Approximate Computation to Probabilistic Programs Student Research Competition Jingwen Pan University of Edinburgh
18:00 2h Poster		NeuralCasting: A Novel Front-End Compilation Infrastructure for Neural Networks Student Research Competition Alessandre Cerioli Technical University of Denmark
18:00 2h Talk		Relaxing Alias Analysis: Exploring the Unexplored Space Student Research Competition Michel Weber ETH Zurich
18:00 2h Talk		H-EYE: Holistic Performance Modeling for Diversely Scaled Systems Student Research Competition Ismet Dagli Colorado School of Mines
18:00 2h Talk		NAXOR: A Custom RISC-V Instruction to Elevate Cryptographic Algorithm Performance Student Research Competition Mehmet Eymen Unay Istanbul Technical University
18:00 2h Poster		Fast & Correct Performance Programming in Lean4 Student Research Competition Siddharth Bhat the University of Edinburgh
18:00 2h Poster		Model Checking Up The Abstraction Stack Student Research Competition Bea Healy University of Cambridge, UK
18:00 2h Poster		Generalized Mem2Reg for MLIR Student Research Competition Theo Degioanni ENS Rennes
18:00 2h Poster		Dynamic Thread Coarsening for OpenMP Offloading Student Research Competition Ivan Radanov Ivanov Tokyo Institute of Technology; RIKEN R-CCS
18:00 2h Talk		Interactively Exploring the Compiler Design Space: xdsl-gui Student Research Competition Dalia Shaaban ETH Zurich
18:00 2h Poster		Enhancing Machine Learning Model Robustness for Code Optimization After Deployment Student Research Competition Huanting Wang University of Leeds, UK
18:00 2h Poster		Unifying SPMD and Multi-Value IR - Use Case: Static Verification of Collective Communication Student Research Competition Semih Burak RWTH Aachen University
18:00 2h Poster		A Unified Compiler for Sparse Workloads Student Research Competition Shideh Hashemian University of Edinburgh
18:00 2h Talk		A Unified Framework for Query Compilers Student Research Competition Callum Groeger University of Edinburgh

Tue 5 Mar
Displayed time zone: London change

11:30 - 12:50	Student Research Competition TalksStudent Research Competition at Carrick 1, 2, 3 Chair(s): EunJung (EJ) Park Qualcomm, USA

11:30 13m Talk		A Unified Framework for Query Compilers Student Research Competition Callum Groeger University of Edinburgh
11:43 13m Talk		Compiling Approximate Computation to Probabilistic Programs Student Research Competition Jingwen Pan University of Edinburgh
11:56 13m Talk		Relaxing Alias Analysis: Exploring the Unexplored Space Student Research Competition Michel Weber ETH Zurich
12:10 13m Talk		Interactively Exploring the Compiler Design Space: xdsl-gui Student Research Competition Dalia Shaaban ETH Zurich
12:23 13m Talk		NAXOR: A Custom RISC-V Instruction to Elevate Cryptographic Algorithm Performance Student Research Competition Mehmet Eymen Unay Istanbul Technical University
12:36 13m Talk		H-EYE: Holistic Performance Modeling for Diversely Scaled Systems Student Research Competition Ismet Dagli Colorado School of Mines

Compiling Approximate Computation to Probabilistic Programs

Program Display Configuration

Program Display Configuration

Sun 3 MarDisplayed time zone: London change

Tue 5 MarDisplayed time zone: London change

Jingwen Pan

University of Edinburgh

Sun 3 Mar
Displayed time zone: London change

Tue 5 Mar
Displayed time zone: London change