FLoC 2006
The 2006 Federated Logic Conference
Seattle, August 10 - 22, 2006
FLoC
Home
About FLoC
MEETINGS
CAV
ICLP
IJCAR
LICS
RTA
SAT
Workshops (alpha.)
Workshops (by conf.)
PROGRAM
Room Assignments
FLoC at a glance
Social Events
Invited Talks
Day by Day
Meeting by Meeting
Workshop Proceedings
FACILITIES
Conference Hotel
Event Space
Internet Access
SEATTLE
Travel to/in Seattle
Dining Guide
Sightseeing in Seattle
ORGANIZATION
Steering Committee
Program Committee
Organizing Committee
Sponsors
MISCELLANEOUS
Related Events
Site Design
OUT-OF-DATE
Registration
Visa Information
Student Travel Support
Tuesday, August 22nd
See also the
by-session
program.
TV
VSTTE
08:30‑09:00 (Metropolitan A)
Lisa Higham, LillAnne Jackson and Jalal Kawash
What is Itanium Memory Consistency from the Programmers Point of View?
09:00‑09:30 (Metropolitan A)
Jan-Willem Maessen
and
Arvind Arvind
Store Atomicity for Transactional Memory
09:00‑10:00 (Suite 2928)
Sumit Gulwani
Program Verification using Probabilistic Techniques
[ppt]
09:30‑10:30 (Metropolitan A)
Vijay Saraswat
A framework for memory models and its application to X10
[ppt]
10:00‑10:30 (Suite 2928)
Kevin Elphinstone
,
Gerwin Klein
and
Rafal Kolanski
Formalising a High-Performance Microkernel
10:30‑11:00
Break
11:00‑11:15 (Metropolitan A)
Jeff Napper and Lorenzo Alvisi
Robust Multithreaded Applications
11:00‑11:30 (Suite 2928)
Oystein Thorsen and
Charles Wallace
Automated Verification of UPC Consistency
11:15‑11:30 (Metropolitan A)
John Regehr
Thread Verification vs. Interrupt Verification
11:30‑11:45 (Metropolitan A)
Muhammad Umar Janjua and Alan Mycroft
Automatic Correcting transformations for Safety property violations
11:30‑12:00 (Suite 2928)
Jonathan Ostroff
, Chen-wei Wang,
Eric Kerfoot
and
Faraz Ahmadi Torshizi
Automated Model-based Verification of Object-Oriented Code
11:45‑12:00 (Metropolitan A)
Yosi Ben Asher, Yaniv Eytani, Eitan Farchi and Shmuel Ur
Noise Makers Need to Know Where to be Silent – Producing Schedules that Find Bugs
12:00‑12:30 (Metropolitan A)
Shmuel Ur and Shady Copty
Toward Automatic Concurrent Debugging Via Minimal Program Mutant Generation with AspectJ
12:00‑12:30 (Suite 2928)
Patrice Chalin
and Perry James
Cross-Verification of JML Tools: An ESC/Java2 Case Study
12:30‑14:00
Lunch break
14:00‑14:30 (Metropolitan A)
Vasco Vasconcelos and Francisco Martins
A Multithreaded Typed Assembly Language
14:00‑14:30 (Suite 2928)
Eric Feron
and Arnaud Venet
Static Stability Analysis of embedded, autocoded software
14:30‑15:30 (Metropolitan A)
Paul Petersen
Multicore Software Development: Encouraging an Industry Transition
[pdf]
14:30‑15:30 (Suite 2928)
Jim Grundy
Challenges and Lessons for Software Verification
[pdf]
15:30‑16:00
Break
16:00‑17:00 (Metropolitan A)
Open Discussions
16:00‑17:00 (Suite 2928)
Discussion
