Matthew Fernandez

According to our database, Matthew Fernandez authored at least 15 papers between 2013 and 2025.

Collaborative distances:

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

2025

Optimal swimming with body compliance in an overdamped medium.

Jianfeng Lin, Tianyu Wang, Baxi Chong, Matthew Fernandez, Zhaochen Xu, Daniel I. Goldman

CoRR, October, 2025

WALT: Web Agents that Learn Tools.

Viraj Prabhu, Yutong Dai, Matthew Fernandez, Jing Gu, Krithika Ramakrishnan, Yanqi Luo, Silvio Savarese, Caiming Xiong, Junnan Li, Zeyuan Chen, Ran Xu

CoRR, October, 2025

SCUBA: Salesforce Computer Use Benchmark.

Yutong Dai, Krithika Ramakrishnan, Jing Gu, Matthew Fernandez, Yanqi Luo, Viraj Prabhu, Zhenyu Hu, Silvio Savarese, Caiming Xiong, Zeyuan Chen, Ran Xu

CoRR, September, 2025

A Pressure-Amplifying Monopropellant Engine for Actuator-Localized Pneumatic Power.

Samuel Dutra Gollob, Alberto Comoretto, Qifan Yu, Matthew Fernandez, Korebami Adebajo, Johannes T. B. Overvelde, Kaitlyn Becker, Ellen T. Roche

Proceedings of the 8th IEEE International Conference on Soft Robotics, 2025

AquaMILR: Mechanical Intelligence Simplifies Control of Undulatory Robots in Cluttered Fluid Environments.

Tianyu Wang, Nishanth Mankame, Matthew Fernandez, Velin Kojouharov, Daniel I. Goldman

Proceedings of the IEEE International Conference on Robotics and Automation, 2025

AquaMILR+: Design of an Untethered Limbless Robot for Complex Aquatic Terrain Navigation.

Matthew Fernandez, Tianyu Wang, Galen Tunnicliffe, Donoven Dortilus, Peter Gunnarson, John O. Dabiri, Daniel I. Goldman

Proceedings of the IEEE International Conference on Robotics and Automation, 2025

2024

Anisotropic body compliance facilitates robotic sidewinding in complex environments.

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

Proceedings of the IEEE International Conference on Robotics and Automation, 2024

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