Meeting 55
Host: Gary Leavens
Location: Winter Park, Florida
Dates: 19–23 May 2014
Talks
- Jay Misra, A denotational semantic theory of concurrent systems
- Pamela Zave
- Shriram Krishnamurthi, Tierless Programming and Reasoning for Software-Defined Networks
- Andreas Podelski, Blackbox Testing of a System and Verification of a Blackbox Model
- Rajeev Joshi, Mars Anomalies
- Andrew Myers, Toward compositional security and consistency
- Rustan Leino, Predicates that do more
- Azadeh Farzan, Verification of Programs under uncertainty
- Michael Jackson, System Behaviors and Requirements: a pre-formal view
- Michael Butler, Model-based reasoning meets code verification
- Manfred Broy, Rethinking Functional Requirements: Novel Approaches to Categorizing Requirements
- William Cook, Some Controversial Thoughts
- Xinyu Feng, Program Logic for Concurrency Refinement Verification
- Daniel Jackson, Concepts in software design
- Willem Visser, Model Counting: A Quest for Nails 2
- Xinyu Feng, An example demonstrating the ABA problem
- Perdita Stevens, Bidirectionally tolerating inconsistency: partial transformations
- Gary Leavens, A Bipartite Graph Model of Information Flow
- Rajeev Joshi, Mars Anomalies, part 2
Attendees
- Michael Butler
- Manfred Broy
- William Cook
- Azadeh Farzan (observer)
- Xinyu Feng (observer)
- Daniel Jackson
- Michael Jackson
- Rajeev Joshi
- Shriram Krishnamurthy
- Gary Leavens
- Andrew Myers (observer)
- Rustan Leino
- Jayadev Misra
- Andreas Podelski
- Perdita Stevens (observer)
- Willem Visser (observer)
- Pamela Zave