# Michael Norrish

According to our database

Collaborative distances:

^{1}, Michael Norrish authored at least 68 papers between 1999 and 2021.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2021

J. Autom. Reason., 2021

J. Autom. Reason., 2021

TacticZero: Learning to Prove Theorems from Scratch with Deep Reinforcement Learning.

CoRR, 2021

Proceedings of the CPP '21: 10th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2021

2020

J. Autom. Reason., 2020

Proceedings of the Automated Reasoning - 10th International Joint Conference, 2020

2019

J. Funct. Program., 2019

J. Autom. Reason., 2019

J. Autom. Reason., 2019

Engineering with Logic: Rigorous Test-Oracle Specification and Validation for TCP/IP and the Sockets API.

J. ACM, 2019

CoRR, 2019

Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

Designing a low-level virtual machine for implementing real-time managed languages.

Proceedings of the 11th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages, 2019

Proceedings of the 10th International Conference on Interactive Theorem Proving, 2019

Proceedings of the 7th International Workshop on Formal Methods in Software Engineering, 2019

2018

J. Autom. Reason., 2018

CoRR, 2018

Proceedings of the Verified Software. Theories, Tools, and Experiments, 2018

Hop, Skip, & Jump: Practical On-Stack Replacement for a Cross-Platform Language-Neutral VM.

Proceedings of the 14th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments, 2018

Verifying the LTL to Büchi Automata Translation via Very Weak Alternating Automata.

Proceedings of the Interactive Theorem Proving - 9th International Conference, 2018

Proof-Producing Synthesis of CakeML with I/O and Local State from Monadic HOL Functions.

Proceedings of the Automated Reasoning - 9th International Joint Conference, 2018

2017

Proc. ACM Program. Lang., 2017

Proceedings of the Programming Languages and Systems, 2017

Proceedings of the Twenty-Seventh International Conference on Automated Planning and Scheduling, 2017

2016

Proceedings of the 2016 ACM SIGPLAN International Symposium on Memory Management, Santa Barbara, CA, USA, June 14, 2016

Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, 2016

2015

Draining the Swamp: Micro Virtual Machines as Solid Foundation for Language Development.

Proceedings of the 1st Summit on Advances in Programming Languages, 2015

Proceedings of the 2015 ACM SIGPLAN International Symposium on Memory Management, 2015

Proceedings of the Interactive Theorem Proving - 6th International Conference, 2015

Verified Over-Approximation of the Diameter of Propositionally Factored Transition Systems.

Proceedings of the Interactive Theorem Proving - 6th International Conference, 2015

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

2014

J. Comput. Syst. Sci., 2014

Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

Proceedings of the Languages and Compilers for Parallel Computing, 2014

Proceedings of the 4th Workshop on Practical Aspects of Automated Reasoning, 2014

2013

J. Formaliz. Reason., 2013

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2013

Proceedings of the Interactive Theorem Proving - 4th International Conference, 2013

2012

J. Autom. Reason., 2012

CoRR, 2012

2011

Proceedings of the Interactive Theorem Proving - Second International Conference, 2011

2010

Commun. ACM, 2010

Proceedings of the Logic, 2010

Proceedings of the Interactive Theorem Proving, First International Conference, 2010

Proceedings of the Computer Science Logic, 24th International Workshop, 2010

2009

J. Autom. Reason., 2009

Proceedings of the Theorem Proving in Higher Order Logics, 22nd International Conference, 2009

Proceedings of the 22nd ACM Symposium on Operating Systems Principles 2009, 2009

Proceedings of the Programming Languages and Systems, 2009

2008

Proceedings of the Theorem Proving in Higher Order Logics, 21st International Conference, 2008

A Rigorous Approach to Networking: TCP, from Implementation to Protocol to Service.

Proceedings of the FM 2008: Formal Methods, 2008

2007

Proceedings of the Theorem Proving in Higher Order Logics, 20th International Conference, 2007

Proceedings of the 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2007

Proceedings of the Automated Deduction, 2007

2006

Mechanising lambda-calculus using a classical first order theory of terms with permutations.

High. Order Symb. Comput., 2006

Engineering with logic: HOL specification and symbolic-evaluation testing for TCP implementations.

Proceedings of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2006

2005

Proceedings of the Theorem Proving in Higher Order Logics, 18th International Conference, 2005

Rigorous specification and conformance testing techniques for network protocols, as applied to TCP, UDP, and sockets.

Proceedings of the ACM SIGCOMM 2005 Conference on Applications, 2005

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2005

2004

Proceedings of the Theorem Proving in Higher Order Logics, 17th International Conference, 2004

2003

Int. J. Softw. Tools Technol. Transf., 2003

Proceedings of the Theorem Proving in Higher Order Logics, 16th International Conference, 2003

Proceedings of the Eighth ACM SIGPLAN International Conference on Functional Programming, 2003

2002

Comput. J., 2002

Rigour is good for you <i>and</i> feasible: reflections on formal treatments of C and UDP sockets.

Proceedings of the 10th ACM SIGOPS European Workshop, Saint-Emilion, France, July 1, 2002, 2002

Proceedings of the Programming Languages and Systems, 2002

2000

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 2000

1999

Proceedings of the Programming Languages and Systems, 1999