Scott Owens

Registered user since Mon 3 Oct 2016

Name:Scott Owens
Country:United Kingdom
Affiliation:University of Kent, UK
Research interests:Formal verification, interactive theorem proving, concurrency, programming languages

Contributions

FTfJP 2019 Invited Speaker of Invited Talk - Building Trustworthy Software with CakeML within the FTfJP 2019-track
POPL 2020 Panelist in Panel within the POPLmark 15 Year Retrospective Panel-track
ESOP 2019 Committee Member in Program Committee within the ESOP 2019-track
PLDI 2019 Author of Characterising Renaming within OCaml’s Module System: Theory and Implementation within the PLDI Research Papers-track
POPL 2019 Session Chair of Weak Memory (part of Research Papers)
Committee Member in Program Committee within the Research Papers-track
PLDI 2018 Committee Member in External Review Committee
ICFP 2017 Presenter of Tutorial T1: Writing Verified Programs in CakeML (part 3) within the Tutorials-track
Presenter of Tutorial T1: Writing Verified Programs in CakeML (part 2) within the Tutorials-track
Presenter of Tutorial T1: Writing Verified Programs in CakeML within the Tutorials-track
Committee Member in Selection Committee within the Student Research Competition-track
Author of Verifying Efficient Function Calls in CakeML within the Research Papers-track
POPL 2017 ERC member in External Review Committee within the POPL-track
ERC member in External Review Committee within the POPL-track
PLDI 2017 Tutorial organizer of Writing Verified Programs in CakeML within the PLDI Tutorials-track
ICFP 2016 Session Chair of Session 8 (part of Research Papers)
Committee Member in Program Committee within the Research Papers-track
Author of A New Verified Compiler Backend for CakeML within the Research Papers-track
PPoPP 2016 Author of Benchmarking Weak Memory Models within the Main conference-track