The following pages link to Victor Luchangco (Q470038):
Displaying 13 items.
- Towards formally specifying and verifying transactional memory (Q470040) (← links)
- Integrating coercion with subtyping and multiple dispatch (Q988562) (← links)
- Eventually-serializable data services (Q1292429) (← links)
- Nonblocking \(k\)-compare-single-swap (Q2272205) (← links)
- (Q2843926) (← links)
- A Framework for Formally Verifying Software Transactional Memory Algorithms (Q2912700) (← links)
- (Q4437136) (← links)
- (Q4536749) (← links)
- Distributed Computing (Q5395138) (← links)
- SNZI (Q5401388) (← links)
- A Simple Optimistic Skiplist Algorithm (Q5425965) (← links)
- Formal Techniques for Networked and Distributed Systems – FORTE 2004 (Q5464482) (← links)
- Distributed Computing (Q5897399) (← links)