Matthew Fernandez

According to our database, Matthew Fernandez authored at least 9 papers between 2013 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Anisotropic body compliance facilitates robotic sidewinding in complex environments.

Velin Kojouharov, Tianyu Wang, Matthew Fernandez, Jiyeon Maeng, Daniel I. Goldman

CoRR, 2023

Salesforce CausalAI Library: A Fast and Scalable Framework for Causal Analysis of Time Series and Tabular Data.

Devansh Arpit, Matthew Fernandez, Chenghao Liu, Weiran Yao, Wenzhuo Yang, Paul Josel, Shelby Heinecke, Eric Hu, Huan Wang, Stephen C. H. Hoi, Caiming Xiong, Kun Zhang, Juan Carlos Niebles

CoRR, 2023

2018

Formally verified software in the real world.

Gerwin Klein, June Andronick, Matthew Fernandez, Ihor Kuz, Toby C. Murray, Gernot Heiser

Commun. ACM, 2018

2016

Formal Verification of a Component Platform.

Matthew Fernandez

PhD thesis, 2016

Finite Machine Word Library.

Joel Beeren, Matthew Fernandez, Xin Gao, Gerwin Klein, Rafal Kolanski, Japheth Lim, Corey Lewis, Daniel Matichuk, Thomas Sewell

Arch. Formal Proofs, 2016

2015

Automated Verification of RPC Stub Code.

Matthew Fernandez, June Andronick, Gerwin Klein, Ihor Kuz

Proceedings of the FM 2015: Formal Methods, 2015

Verifying Linearizability of Intel® Software Guard Extensions.

Rebekah Leslie-Hurd, Dror Caspi, Matthew Fernandez

Proceedings of the Computer Aided Verification - 27th International Conference, 2015

2013

Towards a verified component platform.

Matthew Fernandez, Ihor Kuz, Gerwin Klein, June Andronick

Proceedings of the Seventh Workshop on Programming Languages and Operating Systems, 2013

Formally Verified System Initialisation.

Andrew Boyton, June Andronick, Callum Bannister, Matthew Fernandez, Xin Gao, David Greenaway, Gerwin Klein, Corey Lewis, Thomas Sewell

Proceedings of the Formal Methods and Software Engineering, 2013