Scott Owens

Registered user since Mon 3 Oct 2016

Name: Scott Owens

Country: United Kingdom

Affiliation: University of Kent, UK

Personal website: http://www.cs.kent.ac.uk/~sao

Research interests: Formal verification, interactive theorem proving, concurrency, programming languages

Contributions

FTfJP 2019Invited Speaker of Invited Talk - Building Trustworthy Software with CakeML within the FTfJP 2019-track
POPL 2020Panelist in Panel within the POPLmark 15 Year Retrospective Panel-track
ESOP 2019Committee Member in Program Committee within the ESOP 2019-track
PLDI 2019Author of Characterising Renaming within OCaml’s Module System: Theory and Implementation within the PLDI Research Papers-track
POPL 2019Session Chair of Weak Memory (part of Research Papers)
Committee Member in Program Committee within the Research Papers-track
PLDI 2018Committee Member in External Review Committee
ICFP 2017Presenter 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 2017ERC member in External Review Committee within the POPL-track
ERC member in External Review Committee within the POPL-track
PLDI 2017Tutorial organizer of Writing Verified Programs in CakeML within the PLDI Tutorials-track
ICFP 2016Session 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 2016Author of Benchmarking Weak Memory Models within the Main conference-track