Matthew Fernandez

18 papers A* 3B 1C 1Journal 9Unranked 3
YearRankTypeTitle / Venue / Authors
2025 — conf
A Pressure-Amplifying Monopropellant Engine for Actuator-Localized Pneumatic Power.
RoboSoft
Samuel Dutra Gollob, Alberto Comoretto, Qifan Yu, Matthew Fernandez, Korebami Adebajo, Johannes T. B. Overvelde, Kaitlyn Becker, Ellen T. Roche
2025 A* conf
AquaMILR+: Design of an Untethered Limbless Robot for Complex Aquatic Terrain Navigation.
ICRA
Matthew Fernandez, Tianyu Wang, Galen Tunnicliffe, Donoven Dortilus, Peter Gunnarson, John O. Dabiri, Daniel I. Goldman
2025 A* conf
AquaMILR: Mechanical Intelligence Simplifies Control of Undulatory Robots in Cluttered Fluid Environments.
ICRA
Tianyu Wang, Nishanth Mankame, Matthew Fernandez, Velin Kojouharov, Daniel I. Goldman
2025 J jnl
Optimal swimming with body compliance in an overdamped medium.
CoRR
Jianfeng Lin, Tianyu Wang, Baxi Chong, Matthew Fernandez, Zhaochen Xu, Daniel I. Goldman
2025 J jnl
SCUBA: Salesforce Computer Use Benchmark.
CoRR
Yutong Dai, Krithika Ramakrishnan, Jing Gu, Matthew Fernandez, Yanqi Luo, Viraj Prabhu, Zhenyu Hu, Silvio Savarese, Caiming Xiong, Zeyuan Chen, Ran Xu
2025 J jnl
WALT: Web Agents that Learn Tools.
CoRR
Viraj Prabhu, Yutong Dai, Matthew Fernandez, Jing Gu, Krithika Ramakrishnan, Yanqi Luo, Silvio Savarese, Caiming Xiong, Junnan Li, Zeyuan Chen, Ran Xu
2024 A* conf
Anisotropic body compliance facilitates robotic sidewinding in complex environments.
ICRA
Velin Kojouharov, Tianyu Wang, Matthew Fernandez, Jiyeon Maeng, Daniel I. Goldman
2024 J jnl
AquaMILR+: Design of an untethered limbless robot for complex aquatic terrain navigation.
CoRR
Matthew Fernandez, Tianyu Wang, Galen Tunnicliffe, Donoven Dortilus, Peter Gunnarson, John O. Dabiri, Daniel I. Goldman
2024 J jnl
AquaMILR: Mechanical intelligence simplifies control of undulatory robots in cluttered fluid environments.
CoRR
Tianyu Wang, Nishanth Mankame, Matthew Fernandez, Velin Kojouharov, Daniel I. Goldman
2023 J jnl
Anisotropic body compliance facilitates robotic sidewinding in complex environments.
CoRR
Velin Kojouharov, Tianyu Wang, Matthew Fernandez, Jiyeon Maeng, Daniel I. Goldman
2023 J jnl
Salesforce CausalAI Library: A Fast and Scalable Framework for Causal Analysis of Time Series and Tabular Data.
CoRR
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
2018 J jnl
Formally verified software in the real world.
Commun. ACM
Gerwin Klein, June Andronick, Matthew Fernandez, Ihor Kuz, Toby C. Murray, Gernot Heiser
2016 J jnl
Finite Machine Word Library.
Arch. Formal Proofs
Joel Beeren, Matthew Fernandez, Xin Gao, Gerwin Klein, Rafal Kolanski, Japheth Lim, Corey Lewis, Daniel Matichuk, Thomas Sewell
2016 — —
Formal Verification of a Component Platform.
Matthew Fernandez
2015 B conf
Automated Verification of RPC Stub Code.
FM
Matthew Fernandez, June Andronick, Gerwin Klein, Ihor Kuz
2015 — conf
Verifying Linearizability of Intel® Software Guard Extensions.
CAV (2)
Rebekah Leslie-Hurd, Dror Caspi, Matthew Fernandez
2013 C conf
Formally Verified System Initialisation.
ICFEM
Andrew Boyton, June Andronick, Callum Bannister, Matthew Fernandez, Xin Gao, David Greenaway, Gerwin Klein, Corey Lewis, Thomas Sewell
2013 — conf
Towards a verified component platform.
PLOS@SOSP
Matthew Fernandez, Ihor Kuz, Gerwin Klein, June Andronick