TockWorld 6 will take place at the University of Virginia in Charlottesville, VA on July 26-28, 2023.

The first day will be a Tock Training Workshop, the second day will be focused on technical development of Tock OS, and the third day will be focused on the ongoing management and governance of the Tock project.

Location

Thornton Hall E303 (upstairs in the SE corner of Thornton Hall).

Schedule

Wednesday, July 26, 2023: Training Workshop

Location: Rice Hall, Room 130. 85 Engineer’s Way, Charlottesville, VA 22903

Please see the dedicated tutorial webpage for details and registration.

Thursday, July 27, 2023: TockWorld Discussion Day 1

Location: Thornton Hall, Room E303

Time	Topic	Speaker(s)
8:30	Breakfast
9:15	The State of Tock [slides] The Big Picture Since TockWorld 5 Coming Soon: The Tock Foundataion	Amit Levy
9:45	Kernel soundness, size, and ergonomics `ufmt` in the kernel Adding blocking command syscall Implementing zerocopy APIs Results of a small async runtime experiment Improving MMIO soundness	Alyssa Haroldsen
10:30	The Current and Future State of Networking
	Thread & 802.15.4 [slides]	Tyler Potyondy
	Other Wireless PHYs: LoRa, BLE [slides]	Branden/Pat
	Ethernet	Leon Schuermann and Cristian Cirstea
	Other Wired PHYs: CAN, etc	Alexandru (or students)
	Open discussion re: networking
12:45	Lunch
13:45	A Check-In on Development Focus Areas Code Size Pluggable/blocking syscalls Connectivity Testing	Hudson Ayers
14:30	Discussions: Vision & Development Focus Areas (1) Where do we want the project to go in the next 3-5 years? Where is effort being spent? What are the current pain points? Breakout Groups: Networking Blocking Commands Goals and Future	Brad Campbell
15:15	Break and regroup
15:30	Discussions: Vision & Development Focus Areas (2) Breakout Groups: libtock-rs Technical Debt and Documentation Scheduler and Interrupt Priority	Brad Campbell
16:15	Regroup & Synthesis of Breakouts	Tock Core Team
18:00	Dinner

Friday, July 28, 2023: TockWorld Discussion Day 2

Location: Thornton Hall, Room E303

Time	Topic	Speaker(s)
8:30	Breakfast
	Downstream Users
9:15	Tock+OxidOS	Alexadru Radovici
9:45	Tock+Google	Alyssa Haroldsen
10:15	Call setup
10:30	Tock+OpenTitan	Dominic Rizzo (remote; 7:30 local)
11:00	Tock+OpenTitan CryptoLib Integration	Leon Schuermann
11:30	Open discussion re: downstream users	Tock Core Team
12:00	Lunch
12:30	Walking tour of UVA
13:45	Tock Foundation: Vision Mission Statement Structure Notes from TockWorld5	Amit Levy
14:45	Tock Foundation: Hiring Job description brainstorming	Brad Campbell
15:15	Break
15:30	Tock Foundation: Community Engagement Ecosystem discovery Strategic partners Potential partners	Amit Levy
16:00	Break
16:15	Tock World 7: Planning Location? Agenda? Growth?	Pat Pannuto
16:45	Summary & Final Thoughts	Amit Levy
17:00	Go catch flights, see you next year!

Attendees

Amit Levy
Pat Pannuto
Branden Ghena
Brad Campbell
Hudson Ayers
Alyssa Haroldsen
Alexandru Radovici
Arun Thomas
Leon Schuermann
Alexandru Vochescu
Alphan Ulusoy
Tyler Potyondy
Viswajith Govinda Rajan
Ioan-Cristian Cirstea
Cristiana Andrei
Cosmin Radu

Logistics

Food

If you have any allergens or dietary restrictions, please let Brad know in advance. There will be vegetarian options at all meals.

A light breakfast and coffee service will be provided each morning of the main workshop.

Lunch will be provided each afternoon. Dinners will generally be on your own.

We may try to organize a group dinner one evening if folks are interested.

Travel

There are few options for getting to Charlottesville, VA.

Airplane

Airport options:

CHO: Small airport in Charlottesville just north of UVA. Delta, American, and United all have flights from LGA, ATL, IAD, CLT, and PHL.
RIC: Airport in Richmond, VA about a 75 minute drive from Charlottesville.
IAD: Dulles International Airport in northern Virginia. About a two hour drive to Charlottesville.

Train

Charlottesville has an Amtrak station right downtown served by two Amtrak lines.

You can also fly into washington area airports and connect down via Amtrak. There are usually 3-4 trains daily between WAS and CVS.

The most convenient airport is DCO, which is a 30 minute Metro ride to the Amtrak station. You can also fly into IAD, but that is closer to a 1h15m Metro connection. Similarly, you can take commuter rail from BWI, which is also about a 1h15m trip to WAS Union Station.

Car

Charlottesville is a 2.5 hour drive from DC, 1 hour drive from Richmond, 3.5 hour drive from Raleigh-Durham, 4.25 hour drive from Philadelphia, or 6 hour drive from NYC.

Hotel

Close/Downtown

There are several hotels near UVA and downtown. This is not a comprehensive list, just the hotels we typically book when hosting visitors:

Oakhurst Inn: Boutique, more historic hotel with rooms in renovated houses. Cool if you are into that. Very close to engineering (3 minute walk).
Draftsman: New hotel on Main Street pretty close to engineering.
Quirk Hotel: New boutique hotel on Main Street. Cool rooftop.
Omni: Upscale hotel right on the Downtown Mall. 30 minute walk, 10 minute bike/scooter, 7 minute drive to engineering.
Forum Hotel: Brand new hotel attached to the UVA business school. You can check out what all the hype is about.

Close But Not Walkable

There are many options that are close driving distance, here are just a couple:

Hyatt Place: Near Stonefield, one of those psuedo-downtowns with stores and restaurants. Tesla Supercharger in the parking lot.
Courtyard by Marriot: On US-29, free airport shuttle to CHO.
Holiday Inn (South): Sorta walkable to 5th Street Station.

Have Money to Spend

Charlottesville also caters to those who need to spend money before it expires:

Keswick Hall: Newly renovated luxury hotel on a golf course.
Boar’s Head: Golf and tennis club with a spa and hotel not to far from UVA.