John Lugton

According to our database, John Lugton authored at least 1 paper in 2011.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2011

Soundness of Data Flow Analyses for Weak Memory Models.

Jade Alglave, Daniel Kroening, John Lugton, Vincent Nimal, Michael Tautschnig

Proceedings of the Programming Languages and Systems - 9th Asian Symposium, 2011