Tom Ridge

Tom Ridge

University of Leicester - Leicester / United Kingdom
Others
AD Scientific Index ID: 1486799
person_outline Tom Ridge's MOST POPULAR ARTICLES
1-) The semantics of x86-CC multiprocessor machine codeS Sarkar, P Sewell, FZ Nardelli, S Owens, T Ridge, T Braibant, ...ACM SIGPLAN Notices 44 (1), 379-391, 20091942009
2-) Ott: Effective tool support for the working semanticistP Sewell, FZ Nardelli, S Owens, G Peskine, T Ridge, S Sarkar, R StrnišaJournal of Functional Programming 20 (1), 71, 20101852010
3-) Ott: Effective tool support for the working semanticistP Sewell, FZ Nardelli, S Owens, G Peskine, T Ridge, S Sarkar, R StrnišaACM SIGPLAN Notices 42 (9), 1-12, 20071192007
4-) Lem: reusable engineering of real-world semanticsDP Mulligan, S Owens, KE Gray, T Ridge, P SewellACM SIGPLAN Notices 49 (9), 175-188, 20141232014
5-) SibylFS: formal specification and oracle-based testing for POSIX and real-world file systemsT Ridge, D Sheets, T Tuerk, A Giugliano, A Madhavapeddy, P SewellProceedings of the 25th Symposium on Operating Systems Principles, 38-53, 2015852015