FLOC 2018: FEDERATED LOGIC CONFERENCE 2018

B
Ben Abdelali, Marwa	Programming Without Refinement
Bouajjani, Ahmed	Automated verification of linearizability
C
Clark, John	A more relaxed way to make concrete: uses of heuristic search to discover implementations
Colvin, Robert	Correctness of Concurrent Objects under Weak Memory Models
G
Ghardallou, Wided	Programming Without Refinement
H
Hayes, Ian J.	Challenges of specifying concurrent program components
Hehner, Eric	a Theory of Lazy Imperative Timing
L
Labed Jilani, Lamia	Programming Without Refinement
M
Mili, Ali	Programming Without Refinement
Montin, Mathieu	Ordering strict partial orders to model behavioural refinement
P
Pantel, Marc	Ordering strict partial orders to model behavioural refinement
S
Sekerinski, Emil	Refining Santa: An Excercise in Efficient Synchronization
Smith, Graeme	Correctness of Concurrent Objects under Weak Memory Models
W
White, David	A more relaxed way to make concrete: uses of heuristic search to discover implementations
Winter, Kirsten	Correctness of Concurrent Objects under Weak Memory Models
Y
Yao, Shucai	Refining Santa: An Excercise in Efficient Synchronization

Disclaimer | Powered by EasyChair Smart Program