Call for Presentations
SAPLING talks are generally of 20 minutes duration with substantial periods of time available for discussion. Talks can present completed work, outline work in progress, demonstrate a system, or provide a short tutorial on a topic of general interest.
As far as possible, selection of presenters is non-competitive, with all interested qualified speakers given an opportunity to talk, within the time constraints of a one day meeting. Preference will be given to topics of general interest. We will try to keep the main program between 10:00 and 17:00 to enable most attendees to make this a day trip. Traffic in Canberra is usually fine after 9am.
No proceedings will be published but the talk abstracts and links to related material will be published on the SAPLING website.
To register your interest in giving a presentation, please fill out the expression-of-interest form and indicate details about your presentation.
Presentation allocations will be decided and notified in early November.
The deadline to register interest in presenting at SAPLING while participating in the general selection of presenters is October 22nd, 2024. Any leftover presentation slots will be allocated on a first-come-first-serve basis.
Participating
To help us plan for the event, please fill out the the expression-of-interest form. We mostly need to approximate an upper bound of attendees, so please fill out the form if you might plausibly attend.
Venue
SAPLING 2024 happened as a full-day in-person event on November 22nd, 2024, at the Australian National University, Canberra. The talks will be held in the RN Robertson Lecture Theatre. The Little Pickle Cafe is right outside the lecture hall, and a variety of restaurants are available in the nearby Kambri Precinct.
Travelling to Canberra and ANU
By Train
There are trains from Sydney to Canberra. Rapid bus route R2 connects the train station with Canberra City, ANU's campus (Marcus Clarke St./Rimmer St.), and the Belconnen Suburb. Rapid bus route R6 connects the train station with Canberra City (a short walk to ANU) and the Woden Suburb (which connects to ANU's campus via rapid bus route R4).By Bus
Murray's offers an express bus from Sydney to Canberra, terminating at Canberra Civic, close to ANU's campus. Transport NSW offers various regional bus routes to Canberra.By Car
ANU offers various parking options. Most notably, there is a reasonably cheap early bird parking rate at the Kambri Car Park.By Plane
Rapid bus route R3 connects CBR with Canberra City, ANU's campus (Marcus Clarke St./Rimmer St.), and the Belconnen Suburb.By Teleport
Good for you!Schedule
From | To | ||||||
---|---|---|---|---|---|---|---|
10:00 | 10:10 | Welcome | |||||
10:10 | 11:10 | Eliot Moss (UMass Amherst) | Keynote: A Transactions Extension for Web Assembly | A | B | ||
11:10 | 11:25 | Break | |||||
11:25 | 11:45 | Ivan Machamer (MQ) | Pattern Matching for Multiple Languages | A | B | ||
11:45 | 12:05 | Sasha Pak (ANU) | Checking RefCell Usage in Rust Statically | A | B | ||
12:05 | 12:25 | Maximilian Kodetzki (Karlsruhe Institute of Technology) | Towards AI-Assisted Correctness-by-Construction Software Development | A | B | ||
12:25 | 12:35 | Kunal Sareen (ANU) | Pitfalls for Sound Performance Evaluation on Mobile Devices | A | B | ||
12:35 | 12:45 | Mifta Alam (MQ) | Compiling Efficient C code from Pipit | A | B | ||
12:45 | 14:00 | Lunch Break | |||||
14:00 | 14:25 | Francois Gauthier (Oracle Labs) | Challenges in Inferring Security Policies for Cloud-Based Applications | A | B | ||
14:25 | 14:50 | Danushka Liyanage (U Sydney) | Quantitative Decision-Making for Automated Software Testing | A | B | ||
14:50 | 15:15 | Isaac Oscar Gariano (VUW) | Decoupling Methods and Objects | A | B | ||
15:15 | 15:45 | Break | |||||
15:45 | 16:10 | Rahul Gopinath (U Sydney) | How to Compare Fuzzers? | A | B | ||
16:10 | 16:35 | Mahin Chandramohan (Oracle Labs) | Supporting Cross-language Cross-project Bug Localization Using Pre-trained Language Models | A | B | ||
16:35 | 17:00 | Stephen Kell (King's College London) | Source-Level Debugging of Compiler-Optimised Code: Ill-Posed, but not Impossible | A | B |