Programme of RV at ETAPS 2008
Sunday, March 30, room: Room X
09:00 - 10:30 SESSION 1
- OPENING, INVITED TALK, SECURITY
- Introduction and Welcome
- Invited talk: Orchids, and Bad Weeds
- Jean Goubault-Larrecq (LSV/ENS Cachan) with
contributions from Julien Olivain (Above Security)
- Model-based Run-time Checking of Security
Permissions using Guarded Objects
- Jan Jürjens (Open University)
10:30 - 11:00 Coffee
11:00 - 12:30 SESSION 2
- SYNTHESIZING MONITORS
- Synthesizing Monitors for Safety Properties -
This Time With Calls and Returns
- Grigore Rosu, Feng Chen (UIUC) and Thomas Ball
(Microsoft Research).
- Forays into Sequential Composition and
Concatenation in EAGLE
- Joachim Baran and Howard Barringer (University
of Manchester)
- Checking Traces for Regulatory Conformance
- Nikhil Dinesh, Aravind Joshi, Insup Lee and Oleg
Sokolsky (UPenn)
12:30 - 14:00 Lunch
14:00 - 16:00 SESSION 3
- INVITED TALK AND DEADLOCKS
- Invited talk: Runtime Certification
- John Rushby (SRI)
- Deadlocks: from Exhibiting to Healing
- Yarden Nir-Buchbinder, Rachel Tzoref and Shmuel
Ur (IBM Haifa)
- A Scalable, Sound, Eventually-Complete Algorithm
for Deadlock Immunity
- Horatiu Jula and George Candea (EPFL)
16:00 - 16:30 Coffee
16:30 - 18:00 SESSION 4
- APPLICATIONS AND FRAMEWORKS
- Property Patterns for Runtime Monitoring of Web
Service Conversations
- Jocelyn Simmonds, Marsha Chechik, Shiva Nejati
(University of Toronto), and Elena Litani and Bill
O'Farrell (IBM Toronto)
- Runtime Monitoring of Object Invariants with Guarantee
- Madhu Gopinathan (Indian Institute of Science)
and Sriram Rajamani (Microsoft Research India)
- A Lightweight Container Architecture for Runtime
Verification
- Hakim Belhaouari and Frederic Peschanski
(Laboratoire d'Informatique de Paris 6)
Detailed Programme Information:
- Main Conferences:
Complete Programme,
CC,
ESOP,
FASE,
FOSSACS,
TACAS
- Workshops:
ACCAT,
ByteCode,
COCV,
CMCS,
DCC,
FESCA,
FIT,
FORMED,
GALOP,
GT-VMT,
LDTA,
MBT,
MOMPES,
PDMC,
QAPL,
RV,
SafeCert,
SC,
SLA++P,
WGT,
WRLA
ETAPS 2008 |
Top |
HTML 4.01 |
Last Update: 2008-01-13