Saturday |
| |
Welcome |
Ada |
11:00 |
11:05 |
| |
Introduction to Ada for Beginning and Experienced Programmers |
Ada |
11:05 |
11:55 |
| |
Ada Task Pools: Multithreading Made Easy |
Ada |
12:00 |
12:50 |
| |
Informal Discussion & Lunch Break |
Ada |
13:00 |
14:00 |
| |
SPARK 2014: Hybrid Verification using Proofs and Tests |
Ada |
14:00 |
14:50 |
| |
Contract Based Programming in Ada 2012 |
Ada |
15:00 |
15:50 |
| |
Formal Verification with Ada 2012: a Very Simple Case Study |
Ada |
16:00 |
16:25 |
| |
Speedup and Quality Up with Ada Tasking
Solving polynomial systems faster and better on multicore computers with PHCpack |
Ada |
16:30 |
16:55 |
| |
Safer Web Servers with Ada and AWS |
Ada |
17:00 |
17:50 |
| |
Ada in Fedora Linux |
Ada |
18:00 |
18:15 |
| |
Ada in Debian Linux |
Ada |
18:15 |
18:30 |
| |
Ada in *BSD |
Ada |
18:30 |
18:45 |
| |
Wrap Up & Future Plans |
Ada |
18:45 |
19:00 |
Sunday |
| |
Go Devroom Welcome |
Go |
09:45 |
10:00 |
| |
Iris Decentralized Messaging
Peer-to-peer based messaging for back-end service decentralization |
Go |
10:05 |
10:35 |
| |
Camlistore
your personal storage system for life |
Go |
10:40 |
11:40 |
| |
Interfaces: a new leaf for an old book |
Go |
11:45 |
12:15 |
| |
Scaling with go: Youtube's Vitess |
Go |
13:00 |
14:00 |
| |
Write your own Go compiler
More adventures with go.tools/ssa |
Go |
14:05 |
14:35 |
| |
Looking toward Go 1.3
What's coming in the next major release of Go |
Go |
14:40 |
15:10 |
| |
Porting Go to New Platforms
Lessons learned from the Solaris port |
Go |
15:15 |
16:15 |
| |
Go Lightning Talks |
Go |
16:20 |
17:20 |