Matthew Fernandez

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 8

Top Venues

CoRR

ICRA

CAV (2)

Commun. ACM

University of New South Wales, Sydney, Australia (PHD)

Education History

University of New South Wales, Sydney, Australia

PHD

Publications

Velin Kojouharov, Tianyu Wang, Matthew Fernandez, Jiyeon Maeng, Daniel I. Goldman
Anisotropic body compliance facilitates robotic sidewinding in complex environments. ICRA (2024)
Tianyu Wang, Nishanth Mankame, Matthew Fernandez, Velin Kojouharov, Daniel I. Goldman
AquaMILR: Mechanical intelligence simplifies control of undulatory robots in cluttered fluid environments. CoRR (2024)
Velin Kojouharov, Tianyu Wang, Matthew Fernandez, Jiyeon Maeng, Daniel I. Goldman
Anisotropic body compliance facilitates robotic sidewinding in complex environments. CoRR (2023)
Devansh Arpit, Matthew Fernandez, Chenghao Liu, Weiran Yao, Wenzhuo Yang, Paul Josel, Shelby Heinecke, Eric Hu, Huan Wang, Stephen Hoi, Caiming Xiong, Kun Zhang, Juan Carlos Niebles
Salesforce CausalAI Library: A Fast and Scalable Framework for Causal Analysis of Time Series and Tabular Data. CoRR (2023)
Gerwin Klein, June Andronick, Matthew Fernandez, Ihor Kuz, Toby C. Murray, Gernot Heiser
Formally verified software in the real world. Commun. ACM 61 (10) (2018)
Joel Beeren, Matthew Fernandez, Xin Gao, Gerwin Klein, Rafal Kolanski, Japheth Lim, Corey Lewis, Daniel Matichuk, Thomas Sewell
Finite Machine Word Library. Arch. Formal Proofs 2016 (2016)
Matthew Fernandez, June Andronick, Gerwin Klein, Ihor Kuz
Automated Verification of RPC Stub Code. FM (2015)
Rebekah Leslie-Hurd, Dror Caspi, Matthew Fernandez
Verifying Linearizability of Intel® Software Guard Extensions. CAV (2) (2015)
Andrew Boyton, June Andronick, Callum Bannister, Matthew Fernandez, Xin Gao, David Greenaway, Gerwin Klein, Corey Lewis, Thomas Sewell
Formally Verified System Initialisation. ICFEM (2013)
Matthew Fernandez, Ihor Kuz, Gerwin Klein, June Andronick
Towards a verified component platform. PLOS@SOSP (2013)

Matthew Fernandez.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Matthew Fernandez