Hi
user
Admin Login:
Username:
Password:
status grid
processes
pipeline
recording_sheets.pdf
today's
t+1
Reschedule
schedule
talk_intro.pdf
title slides
anomalies
client admin
show admin
episodes admin
image_file admin
play_list
Episode Count: 22
id
loc name
start
end
duration
state
episode.name
episode.authors
e/r
cmt
rel
img
rf
host
index
7875
K.4.601
Sat 01 11:00
11:05
00:05:00
5
Welcome
Dirk Craeynest
Y
1
1
R
7876
K.4.601
Sat 01 11:05
11:55
00:50:00
5
Introduction to Ada for Beginning and Experienced Programmers
Jean-Pierre Rosen
Y
1
2
R
7877
K.4.601
Sat 01 12:00
12:50
00:50:00
5
Ada Task Pools: Multithreading Made Easy
Ludovic Brenta
Y
1
3
R
7878
K.4.601
Sat 01 13:00
14:00
01:00:00
0
Informal Discussion & Lunch Break
5
Y
1
2
7879
K.4.601
Sat 01 14:00
14:50
00:50:00
5
SPARK 2014: Hybrid Verification using Proofs and Tests
José F. Ruiz
Y
1
2
R
7880
K.4.601
Sat 01 15:00
15:50
00:50:00
5
Contract Based Programming in Ada 2012
Jacob Sparre Andersen
Y
1
2
R
7881
K.4.601
Sat 01 16:00
16:25
00:25:00
5
Formal Verification with Ada 2012: a Very Simple Case Study
Didier Willame
Y
1
3
R
7882
K.4.601
Sat 01 16:30
16:55
00:25:00
5
Speedup and Quality Up with Ada Tasking
Jan Verschelde
Y
1
3
R
7883
K.4.601
Sat 01 17:00
17:50
00:50:00
5
Safer Web Servers with Ada and AWS
Jean-Pierre Rosen
Y
1
2
R
7884
K.4.601
Sat 01 18:00
18:15
00:15:00
5
Ada in Fedora Linux
Pavel Zhukov
Y
1
2
R
7885
K.4.601
Sat 01 18:15
18:30
00:15:00
5
Ada in Debian Linux
Ludovic Brenta
33
Y
1
2
R
7886
K.4.601
Sat 01 18:30
18:45
00:15:00
1
Ada in *BSD
John Marino
Y
1
2
7887
K.4.601
Sat 01 18:45
19:00
00:15:00
1
Wrap Up & Future Plans
Y
1
2
8118
K.4.601
Sun 02 09:45
10:00
00:15:00
5
Go Devroom Welcome
Andrew Gerrand
Y
3
R
8119
K.4.601
Sun 02 10:05
10:35
00:30:00
5
Iris Decentralized Messaging
Péter Szilágyi
Y
1
R
8120
K.4.601
Sun 02 10:40
11:40
01:00:00
5
Camlistore
Brad Fitzpatrick
Y
3
R
8121
K.4.601
Sun 02 11:45
12:15
00:30:00
5
Interfaces: a new leaf for an old book
Matthew Cottingham
Y
3
R
8122
K.4.601
Sun 02 13:00
14:00
01:00:00
5
Scaling with go: Youtube's Vitess
Sugu Sougoumarane
Y
1
R
8123
K.4.601
Sun 02 14:05
14:35
00:30:00
5
Write your own Go compiler
Elliott Stoneham
Y
2
R
8124
K.4.601
Sun 02 14:40
15:10
00:30:00
5
Looking toward Go 1.3
Andrew Gerrand
Y
2
R
8125
K.4.601
Sun 02 15:15
16:15
01:00:00
5
Porting Go to New Platforms
Aram Hăvărnanu
Y
3
R
8126
K.4.601
Sun 02 16:20
17:20
01:00:00
5
Go Lightning Talks
Andrew Gerrand
Y
11
R
Veyepar
Video Eyeball Processor and Review