| 16 Wed |
|---|
|
All-day
|
|
12:00 am
1:00 am
2:00 am
3:00 am
4:00 am
5:00 am
6:00 am
7:00 am
8:00 am
9:00 am
10:00 am
11:00 am
12:00 pm
1:00 pm
2:00 pm
3:00 pm
4:00 pm
5:00 pm
6:00 pm
7:00 pm
8:00 pm
9:00 pm
10:00 pm
11:00 pm
10:00 am
Session 8: Correctness (Aaron Smith)
Session 8: Correctness (Aaron Smith)
Mar 16 @ 10:00 am – 11:15 am
Chair: Aaron Smith (Microsoft) #45: Soham Chakraborty and Viktor Vafeiadis. Validating Optimizations of Concurrent C/C++ Programs #85: Ignacio Laguna, Martin Schulz, David F. Richards, Jon Calhoun and Luke Olson. IPAS: Intelligent Protection Against Silent Output Corruption[...]
11:35 am
Session 9: Binary/Virtualization (Soo-mook Moon)
Session 9: Binary/Virtualization (Soo-mook Moon)
Mar 16 @ 11:35 am – 12:50 pm
Chair: Soo-mook Moon (Seoul National University) #95: Daniele Cono D’Elia and Camil Demetrescu. Flexible On-Stack Replacement in LLVM #96: Byron Hawkins, Brian Demsky and Michael Taylor. BlackBox: Lightweight Security Monitoring for COTS Binaries #69: Toshihiko Koju,[...]
|