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

FromTo
10:0010:10Welcome
10:1011:10Eliot Moss (UMass Amherst)Keynote: A Transactions Extension for Web Assembly A B
11:1011:25Break
11:2511:45Ivan Machamer (MQ)Pattern Matching for Multiple Languages A B
11:4512:05Sasha Pak (ANU)Checking RefCell Usage in Rust Statically A B
12:0512:25Maximilian Kodetzki (Karlsruhe Institute of Technology)Towards AI-Assisted Correctness-by-Construction Software Development A B
12:2512:35Kunal Sareen (ANU)Pitfalls for Sound Performance Evaluation on Mobile Devices A B
12:3512:45Mifta Alam (MQ)Compiling Efficient C code from Pipit A B
12:4514:00Lunch Break
14:0014:25Francois Gauthier (Oracle Labs)Challenges in Inferring Security Policies for Cloud-Based Applications A B
14:2514:50Danushka Liyanage (U Sydney)Quantitative Decision-Making for Automated Software Testing A B
14:5015:15Isaac Oscar Gariano (VUW)Decoupling Methods and Objects A B
15:1515:45Break
15:4516:10Rahul Gopinath (U Sydney) How to Compare Fuzzers? A B
16:1016:35Mahin Chandramohan (Oracle Labs)Supporting Cross-language Cross-project Bug Localization Using Pre-trained Language Models A B
16:3517:00Stephen Kell (King's College London)Source-Level Debugging of Compiler-Optimised Code: Ill-Posed, but not Impossible A B

Contact

If you have any questions about SAPLING 2024, please contact Fabian Muehlboeck at fabian.muehlboeck AT anu.edu.au .