{"@attributes":{"name":"Ben Simner","pid":"202\/8946","n":"10"},"person":{"@attributes":{"key":"homepages\/202\/8946","mdate":"2017-07-14"},"author":"Ben Simner"},"r":[{"inproceedings":{"@attributes":{"key":"conf\/isca\/SimnerAB0KPS25","mdate":"2025-07-06"},"author":["Ben Simner","Alasdair Armstrong","Thomas Bauereiss","Brian Campbell 0001","Ohad Kammar","Jean Pichon-Pharabod","Peter Sewell"],"title":"Precise exceptions in relaxed architectures.","pages":"211-224","year":"2025","booktitle":"ISCA","ee":"https:\/\/doi.org\/10.1145\/3695053.3731102","crossref":"conf\/isca\/2025","url":"db\/conf\/isca\/isca2025.html#SimnerAB0KPS25"}},{"inproceedings":{"@attributes":{"key":"conf\/sosp\/MemarianSKPS25","mdate":"2025-10-15"},"author":["Kayvan Memarian","Ben Simner","David Kaloper-Mersinjak","Thibaut P\u00e9rami","Peter Sewell"],"title":"Ghost in the Android Shell: Pragmatic Test-oracle Specification of a Production Hypervisor.","pages":"685-700","year":"2025","booktitle":"SOSP","ee":"https:\/\/doi.org\/10.1145\/3731569.3764817","crossref":"conf\/sosp\/2025","url":"db\/conf\/sosp\/sosp2025.html#MemarianSKPS25"}},{"article":{"@attributes":{"key":"journals\/fmsd\/ArmstrongCSPS24","mdate":"2025-10-14"},"author":["Alasdair Armstrong","Brian Campbell 0001","Ben Simner","Christopher Pulte","Peter Sewell"],"title":"Isla: integrating full-scale ISA semantics and axiomatic concurrency models (extended version).","pages":"110-133","year":"2024","month":"October","volume":"63","journal":"Formal Methods Syst. Des.","number":"1","ee":"https:\/\/doi.org\/10.1007\/s10703-023-00409-y","url":"db\/journals\/fmsd\/fmsd63.html#ArmstrongCSPS24","stream":"streams\/journals\/fmsd"}},{"article":{"@attributes":{"publtype":"informal","key":"journals\/corr\/abs-2412-15140","mdate":"2025-10-14"},"author":["Ben Simner","Alasdair Armstrong","Thomas Bauereiss","Brian Campbell 0001","Ohad Kammar","Jean Pichon-Pharabod","Peter Sewell"],"title":"Relaxed exception semantics for Arm-A (extended version).","year":"2024","volume":"abs\/2412.15140","journal":"CoRR","ee":"https:\/\/doi.org\/10.48550\/arXiv.2412.15140","url":"db\/journals\/corr\/corr2412.html#abs-2412-15140","stream":"streams\/journals\/corr"}},{"inproceedings":{"@attributes":{"key":"conf\/iwmm\/ParkinsonCS23","mdate":"2023-06-13"},"author":["Matthew J. Parkinson","Sylvan Clebsch","Ben Simner"],"title":"Wait-Free Weak Reference Counting.","pages":"85-96","year":"2023","booktitle":"ISMM","ee":"https:\/\/doi.org\/10.1145\/3591195.3595271","crossref":"conf\/iwmm\/2023","url":"db\/conf\/iwmm\/ismm2023.html#ParkinsonCS23"}},{"inproceedings":{"@attributes":{"key":"conf\/esop\/SimnerAPPGS22","mdate":"2023-09-30"},"author":["Ben Simner","Alasdair Armstrong","Jean Pichon-Pharabod","Christopher Pulte","Richard Grisenthwaite","Peter Sewell"],"title":"Relaxed virtual memory in Armv8-A.","pages":"143-173","year":"2022","booktitle":"ESOP","ee":"https:\/\/doi.org\/10.1007\/978-3-030-99336-8_6","crossref":"conf\/esop\/2022","url":"db\/conf\/esop\/esop2022.html#SimnerAPPGS22"}},{"article":{"@attributes":{"publtype":"informal","key":"journals\/corr\/abs-2203-00642","mdate":"2025-10-14"},"author":["Ben Simner","Alasdair Armstrong","Jean Pichon-Pharabod","Christopher Pulte","Richard Grisenthwaite","Peter Sewell"],"title":"Relaxed virtual memory in Armv8-A (extended version).","year":"2022","volume":"abs\/2203.00642","journal":"CoRR","ee":"https:\/\/doi.org\/10.48550\/arXiv.2203.00642","url":"db\/journals\/corr\/corr2203.html#abs-2203-00642"}},{"inproceedings":{"@attributes":{"key":"conf\/cav\/ArmstrongCSPS21","mdate":"2023-09-30"},"author":["Alasdair Armstrong","Brian Campbell 0001","Ben Simner","Christopher Pulte","Peter Sewell"],"title":"Isla: Integrating Full-Scale ISA Semantics and Axiomatic Concurrency Models.","pages":"303-316","year":"2021","booktitle":"CAV (1)","ee":"https:\/\/doi.org\/10.1007\/978-3-030-81685-8_14","crossref":"conf\/cav\/2021-1","url":"db\/conf\/cav\/cav2021-1.html#ArmstrongCSPS21"}},{"inproceedings":{"@attributes":{"key":"conf\/esop\/SimnerFPAPMS20","mdate":"2023-09-30"},"author":["Ben Simner","Shaked Flur","Christopher Pulte","Alasdair Armstrong","Jean Pichon-Pharabod","Luc Maranget","Peter Sewell"],"title":"ARMv8-A System Semantics: Instruction Fetch in Relaxed Architectures.","pages":"626-655","year":"2020","booktitle":"ESOP","ee":"https:\/\/doi.org\/10.1007\/978-3-030-44914-8_23","crossref":"conf\/esop\/2020","url":"db\/conf\/esop\/esop2020.html#SimnerFPAPMS20"}},{"inproceedings":{"@attributes":{"key":"conf\/cav\/WindsorDSP17","mdate":"2025-03-03"},"author":["Matt Windsor","Mike Dodds","Ben Simner","Matthew J. Parkinson"],"title":"Starling: Lightweight Concurrency Verification with Views.","pages":"544-569","year":"2017","booktitle":"CAV (1)","ee":"https:\/\/doi.org\/10.1007\/978-3-319-63387-9_27","crossref":"conf\/cav\/2017-1","url":"db\/conf\/cav\/cav2017-1.html#WindsorDSP17"}}],"coauthors":{"@attributes":{"n":"17","nc":"1"},"co":[{"@attributes":{"c":"0"},"na":"Alasdair Armstrong"},{"@attributes":{"c":"0","n":"2"},"na":["Thomas Bauerei\u00df","Thomas Bauereiss"]},{"@attributes":{"c":"0"},"na":"Brian Campbell 0001"},{"@attributes":{"c":"0"},"na":"Sylvan Clebsch"},{"@attributes":{"c":"0"},"na":"Mike Dodds"},{"@attributes":{"c":"0"},"na":"Shaked Flur"},{"@attributes":{"c":"0"},"na":"Richard Grisenthwaite"},{"@attributes":{"c":"0"},"na":"David Kaloper-Mersinjak"},{"@attributes":{"c":"0"},"na":"Ohad Kammar"},{"@attributes":{"c":"0"},"na":"Luc Maranget"},{"@attributes":{"c":"0"},"na":"Kayvan Memarian"},{"@attributes":{"c":"0"},"na":"Matthew J. Parkinson"},{"@attributes":{"c":"0"},"na":"Thibaut P\u00e9rami"},{"@attributes":{"c":"0"},"na":"Jean Pichon-Pharabod"},{"@attributes":{"c":"0"},"na":"Christopher Pulte"},{"@attributes":{"c":"0"},"na":"Peter Sewell"},{"@attributes":{"c":"0"},"na":"Matt Windsor"}]}}