default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMatthew T. Hale
Matthew Hale 0001 – M. T. Hale
Person information
- affiliation: University of Florida, FL, USA
- affiliation (former): Georgia Institute of Technology, School of Electrical and Computer Engineering, Atlanta, GA, USA
Other persons with the same name
- Matthew Hale — disambiguation page
- Matthew Hale 0002 — University of Nebraska at Omaha, Lincoln, NE, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2025
[j21]Gabriel Behrendt
, Matthew Longmire, Zachary I. Bell, Matthew Hale:
Distributed Asynchronous Discrete-Time Feedback Optimization. IEEE Trans. Autom. Control. 70(6): 3968-3983 (2025)- [i36]Gabriel Behrendt, Matthew Hale, Alexander A. Soderlund, Sean Phillips, Evan Kain:
Time-Constrained Model Predictive Control for Autonomous Satellite Rendezvous, Proximity Operations, and Docking. CoRR abs/2501.13236 (2025) - [i35]Yerin Kim, Alexander Benvenuti, Bo Chen, Mustafa O. Karabag, Abhishek Ninad Kulkarni, Nathaniel D. Bastian, Ufuk Topcu, Matthew Hale:
Deceptive Sequential Decision-Making via Regularized Policy Optimization. CoRR abs/2501.18803 (2025) - [i34]Bo Chen, Baike She, Calvin Hawkins, Philip E. Paré, Matthew T. Hale:
Scalable Distributed Reproduction Numbers of Network Epidemics with Differential Privacy. CoRR abs/2501.18862 (2025) - [i33]Ellie Pond, Matthew Hale:
Verification and Synthesis Methods for High-Order Control Barrier Functions. CoRR abs/2502.03409 (2025) - [i32]Oscar Jed Chuy, Matthew Hale, Ricardo G. Sanfelice:
A Hybrid Systems Model of Feedback Optimization for Linear Systems. CoRR abs/2504.00321 (2025) - [i31]Tyler Hanks, Hans Riess, Samuel Cohen, Trevor Gross, Matthew Hale, James P. Fairbanks:
Distributed Multi-agent Coordination over Cellular Sheaves. CoRR abs/2504.02049 (2025) - 2024
- [j20]Alexander Benvenuti, Brendan J. Bialy, Miriam E. Dennis, Matthew Hale:
Guaranteed Feasibility in Differentially Private Linearly Constrained Convex Optimization. IEEE Control. Syst. Lett. 8: 2745-2750 (2024) - [j19]Baike She, Lei Xin, Philip E. Paré, Matthew Hale:
Modeling Epidemic Spread: A Gaussian Process Regression Approach. IEEE Control. Syst. Lett. 8: 2847-2852 (2024) - [j18]Bo Chen, Matthew T. Hale:
The Bounded Gaussian Mechanism for Differential Privacy. J. Priv. Confidentiality 14(1) (2024) - [j17]Calvin Hawkins, Bo Chen, Kasra Yazdani, Matthew Hale:
Node and Edge Differential Privacy for Graph Laplacian Spectra: Mechanisms and Scaling Laws. IEEE Trans. Netw. Sci. Eng. 11(2): 1690-1701 (2024) - [c42]Bo Chen, Baike She, Calvin Hawkins, Alexander Benvenuti, Brandon Fallin, Philip E. Paré, Matthew Hale:
Differentially Private Computation of Basic Reproduction Numbers in Networked Epidemic Models. ACC 2024: 4422-4427 - [c41]Tyler Hanks, Baike She, Evan Patterson, Matthew Hale, Matthew Klawonn, James P. Fairbanks:
Modeling Model Predictive Control: A Category Theoretic Framework for Multistage Control Problems. ACC 2024: 4850-4857 - [c40]Alexander Benvenuti, Calvin Hawkins, Brandon Fallin, Bo Chen, Brendan J. Bialy, Miriam E. Dennis, Matthew Hale:
Differentially Private Reward Functions for Markov Decision Processes. CCTA 2024: 631-636 - [c39]Ellie Pond, April Sebok, Zachary I. Bell, Matthew Hale:
A Totally Asynchronous Nesterov's Accelerated Gradient Method for Convex Optimization. CDC 2024: 3845-3850 - [c38]William D. Warke, J. Humberto Ramos, Prashant Ganesh, Kevin M. Brink, Matthew T. Hale:
Pose Graph Optimization over Planar Unit Dual Quaternions: Improved Accuracy with Provably Convergent Riemannian Optimization. IROS 2024: 12848-12855 - [c37]Yerin Kim, Alexander Benvenuti, Bo Chen, Mustafa O. Karabag, Abhishek Ninad Kulkarni, Nathaniel D. Bastian, Ufuk Topcu, Matthew Hale:
Defining and Measuring Deception in Sequential Decision Systems: Application to Network Defense. MILCOM 2024: 1-6 - [i30]Ellie Pond, April Sebok, Zachary I. Bell, Matthew Hale:
Technical Report: A Totally Asynchronous Nesterov's Accelerated Gradient Method for Convex Optimization. CoRR abs/2406.10124 (2024) - [i29]Baike She, Matthew Hale:
A Dissipativity Approach to Analyzing Composite Spreading Networks. CoRR abs/2412.02665 (2024) - 2023
- [j16]Bo Chen, Kevin Leahy, Austin Jones, Matthew Hale:
Differential privacy for symbolic systems with application to Markov Chains. Autom. 152: 110908 (2023) - [j15]Matthew Ubl, Benjamin D. Robinson, Matthew T. Hale:
Anomaly Search Over Many Sequences With Switching Costs. IEEE Control. Syst. Lett. 7: 3006-3011 (2023) - [j14]Skylar E. Stolte, Kyle Volle, Aprinda Indahlastari, Alejandro Albizu, Adam J. Woods, Kevin M. Brink, Matthew T. Hale, Ruogu Fang:
DOMINO: Domain-aware loss for deep learning calibration. Softw. Impacts 15: 100478 (2023) - [j13]Kasra Yazdani, Austin Jones, Kevin Leahy, Matthew T. Hale:
Differentially Private LQ Control. IEEE Trans. Autom. Control. 68(2): 1061-1068 (2023) - [j12]Katherine R. Hendrickson, Matthew T. Hale:
Totally Asynchronous Primal-Dual Convex Optimization in Blocks. IEEE Trans. Control. Netw. Syst. 10(1): 454-466 (2023) - [c36]Matthew Ubl, Matthew Hale, Kasra Yazdani:
Linear Regularizers Enforce the Strict Saddle Property. AAAI 2023: 10017-10024 - [c35]Dawn M. Hustig-Schultz, Katherine R. Hendrickson, Matthew Hale, Ricardo G. Sanfelice:
A Totally Asynchronous Block-Based Heavy Ball Algorithm for Convex Optimization. ACC 2023: 873-878 - [c34]Baike She, Philip E. Paré, Matthew Hale:
Distributed Reproduction Numbers of Networked Epidemics. ACC 2023: 4302-4307 - [c33]Baike She, Tyler Hanks, James P. Fairbanks, Matthew Hale:
Characterizing Compositionality of LQR from the Categorical Perspective. CDC 2023: 1680-1685 - [c32]Brandon Fallin, Calvin Hawkins, Bo Chen, Parham Gohari, Alexander Benvenuti, Ufuk Topcu, Matthew T. Hale:
Differential Privacy for Stochastic Matrices Using the Matrix Dirichlet Mechanism. CDC 2023: 5067-5072 - [c31]Parham Gohari, Matthew T. Hale, Ufuk Topcu:
Privacy-Engineered Value Decomposition Networks for Cooperative Multi-Agent Reinforcement Learning. CDC 2023: 8038-8044 - [c30]Skylar E. Stolte, Kyle Volle, Aprinda Indahlastari, Alejandro Albizu, Adam J. Woods, Kevin M. Brink, Matthew T. Hale, Ruogu Fang:
DOMINO++: Domain-Aware Loss Regularization for Deep Learning Generalizability. MICCAI (4) 2023: 713-723 - [c29]Bo Chen, Calvin Hawkins, Mustafa O. Karabag, Cyrus Neary, Matthew T. Hale, Ufuk Topcu:
Differential Privacy in Cooperative Multiagent Planning. UAI 2023: 347-357 - [i28]Baike She, Philip E. Paré, Matthew Hale:
Distributed Reproduction Numbers of Networked Epidemics. CoRR abs/2301.07837 (2023) - [i27]Bo Chen, Calvin Hawkins, Mustafa O. Karabag, Cyrus Neary, Matthew T. Hale, Ufuk Topcu:
Differential Privacy in Cooperative Multiagent Planning. CoRR abs/2301.08811 (2023) - [i26]Skylar E. Stolte, Kyle Volle, Aprinda Indahlastari, Alejandro Albizu, Adam J. Woods, Kevin M. Brink, Matthew Hale, Ruogu Fang:
DOMINO: Domain-aware Loss for Deep Learning Calibration. CoRR abs/2302.05142 (2023) - [i25]Matthew Ubl, Benjamin D. Robinson, Matthew Hale:
Anomaly Search Over Many Sequences With Switching Costs. CoRR abs/2303.09647 (2023) - [i24]Baike She, Tyler Hanks, James P. Fairbanks, Matthew T. Hale:
Characterizing Compositionality of LQR from the Categorical Perspective. CoRR abs/2305.01811 (2023) - [i23]Skylar E. Stolte, Kyle Volle, Aprinda Indahlastari, Alejandro Albizu, Adam J. Woods, Kevin M. Brink, Matthew T. Hale, Ruogu Fang:
DOMINO++: Domain-aware Loss Regularization for Deep Learning Generalizability. CoRR abs/2308.10453 (2023) - [i22]Alexander Benvenuti, Calvin Hawkins, Brandon Fallin, Bo Chen, Brendan J. Bialy, Miriam E. Dennis, Matthew T. Hale:
Differentially Private Reward Functions for Multi-Agent Markov Decision Processes. CoRR abs/2309.12476 (2023) - [i21]Bo Chen, Baike She, Calvin Hawkins, Alexander Benvenuti, Brandon Fallin, Philip E. Paré, Matthew T. Hale:
Differentially Private Computation of Basic Reproduction Numbers in Networked Epidemic Models. CoRR abs/2309.17284 (2023) - [i20]Parham Gohari, Matthew T. Hale, Ufuk Topcu:
Privacy-Engineered Value Decomposition Networks for Cooperative Multi-Agent Reinforcement Learning. CoRR abs/2311.06255 (2023) - [i19]Baike She, Lei Xin, Philip E. Paré, Matthew T. Hale:
Modeling and Predicting Epidemic Spread: A Gaussian Process Regression Approach. CoRR abs/2312.09384 (2023) - 2022
- [j11]Kasra Yazdani, Matthew T. Hale:
Asynchronous Parallel Nonconvex Optimization Under the Polyak-Łojasiewicz Condition. IEEE Control. Syst. Lett. 6: 524-529 (2022) - [j10]Kendall Parker, Matthew T. Hale, Prabir Barooah:
Spectral Differential Privacy: Application to Smart Meter Data. IEEE Internet Things J. 9(7): 4987-4996 (2022) - [c28]Matthew Ubl, Matthew T. Hale:
Faster Asynchronous Nonconvex Block Coordinate Descent with Locally Chosen Stepsizes. CDC 2022: 4559-4564 - [c27]Skylar E. Stolte, Kyle Volle, Aprinda Indahlastari, Alejandro Albizu, Adam J. Woods, Kevin M. Brink, Matthew T. Hale, Ruogu Fang:
DOMINO: Domain-Aware Model Calibration in Medical Image Segmentation. MICCAI (5) 2022: 454-463 - [i18]Bo Chen, Kevin Leahy, Austin Jones, Matthew T. Hale:
Differential Privacy for Symbolic Systems with Application to Markov Chains. CoRR abs/2202.03325 (2022) - [i17]Skylar E. Stolte, Kyle Volle, Aprinda Indahlastari, Alejandro Albizu, Adam J. Woods, Kevin M. Brink, Matthew T. Hale, Ruogu Fang:
DOMINO: Domain-aware Model Calibration in Medical Image Segmentation. CoRR abs/2209.06077 (2022) - [i16]Bo Chen, Matthew Hale:
The Bounded Gaussian Mechanism for Differential Privacy. CoRR abs/2211.17230 (2022) - [i15]Ellie Pond, Matthew T. Hale:
Fast Verification of Control Barrier Functions via Linear Programming. CoRR abs/2212.00598 (2022) - 2021
- [j9]Maude J. Blondin, Matthew T. Hale:
A Decentralized Multi-objective Optimization Algorithm. J. Optim. Theory Appl. 189(2): 458-485 (2021) - [j8]Beth Bjorkman, Matthew T. Hale, Thomas D. Lamkin, Benjamin D. Robinson, Craig Thompson:
Nonasymptotic Connectivity of Random Graphs and Their Unions. IEEE Trans. Control. Netw. Syst. 8(1): 391-399 (2021) - [j7]Federico M. Zegers, Matthew T. Hale, John M. Shea, Warren E. Dixon:
Event-Triggered Formation Control and Leader Tracking With Resilience to Byzantine Adversaries: A Reputation-Based Approach. IEEE Trans. Control. Netw. Syst. 8(3): 1417-1429 (2021) - [j6]Matthew Ubl, Matthew T. Hale:
Totally Asynchronous Large-Scale Quadratic Programming: Regularization, Convergence Rates, and Parameter Selection. IEEE Trans. Control. Netw. Syst. 8(3): 1465-1476 (2021) - [j5]Parham Gohari, Bo Wu, Calvin Hawkins, Matthew T. Hale, Ufuk Topcu:
Differential Privacy on the Unit Simplex via the Dirichlet Mechanism. IEEE Trans. Inf. Forensics Secur. 16: 2326-2340 (2021) - [c26]Katherine R. Hendrickson, Dawn M. Hustig-Schultz, Matthew T. Hale, Ricardo G. Sanfelice:
Exponentially Converging Distributed Gradient Descent with Intermittent Communication via Hybrid Methods. CDC 2021: 1186-1191 - [c25]Bo Chen, Calvin Hawkins, Kasra Yazdani, Matthew T. Hale:
Edge Differential Privacy for Algebraic Connectivity of Graphs. CDC 2021: 2764-2769 - [i14]Parham Gohari, Bo Chen, Bo Wu, Matthew T. Hale, Ufuk Topcu:
Privacy-Preserving Teacher-Student Deep Reinforcement Learning. CoRR abs/2102.09599 (2021) - [i13]Bo Chen, Calvin Hawkins, Kasra Yazdani, Matthew T. Hale:
Edge Differential Privacy for Algebraic Connectivity of Graphs. CoRR abs/2104.00654 (2021) - 2020
- [j4]Matthew T. Hale, Sebastian F. Ruf, Talha Manzoor, Abubakr Muhammad:
Stability and Sustainability of a Networked Resource Consumption Model. IEEE Trans. Netw. Sci. Eng. 7(4): 2876-2888 (2020) - [c24]Federico M. Zegers, Matthew T. Hale, John M. Shea, Warren E. Dixon:
Reputation-Based Event-Triggered Formation Control and Leader Tracking with Resilience to Byzantine Adversaries. ACC 2020: 761-766 - [c23]Parham Gohari, Bo Wu, Matthew T. Hale, Ufuk Topcu:
The Dirichlet Mechanism for Differential Privacy on the Unit Simplex. ACC 2020: 1253-1258 - [c22]Maude J. Blondin, Matthew T. Hale:
An Algorithm for Multi-Objective Multi-Agent Optimization. ACC 2020: 1489-1494 - [c21]Kasra Yazdani, Matthew T. Hale:
Error Bounds and Guidelines for Privacy Calibration in Differentially Private Kalman Filtering. ACC 2020: 4423-4428 - [c20]Zhe Xu, Kasra Yazdani, Matthew T. Hale, Ufuk Topcu:
Differentially Private Controller Synthesis With Metric Temporal Logic Specifications. ACC 2020: 4745-4750 - [c19]Austin R. Coffman, Matthew T. Hale, Prabir Barooah:
Resource allocation with local QoS: Flexible loads in the power grid. CCTA 2020: 1060-1065 - [c18]Katherine R. Hendrickson, Matthew T. Hale:
Towards Totally Asynchronous Primal-Dual Convex Optimization in Blocks. CDC 2020: 3663-3668 - [c17]Calvin Hawkins, Matthew T. Hale:
Differentially Private Formation Control. CDC 2020: 6260-6265 - [c16]Parham Gohari, Matthew T. Hale, Ufuk Topcu:
Privacy-Preserving Policy Synthesis in Markov Decision Processes. CDC 2020: 6266-6271 - [i12]Maude J. Blondin, Matthew T. Hale:
An Algorithm for Multi-Objective Multi-Agent Optimization. CoRR abs/2003.01745 (2020) - [i11]Calvin Hawkins, Matthew T. Hale:
Differentially Private Formation Control. CoRR abs/2004.02744 (2020) - [i10]Parham Gohari, Matthew T. Hale, Ufuk Topcu:
Privacy-Preserving Policy Synthesis in Markov Decision Processes. CoRR abs/2004.07778 (2020) - [i9]Austin R. Coffman, Matthew T. Hale, Prabir Barooah:
Predictive resource allocation for flexible loads with local QoS. CoRR abs/2006.16044 (2020) - [i8]Maude J. Blondin, Matthew T. Hale:
A Decentralized Multi-Objective Optimization Algorithm. CoRR abs/2010.04781 (2020)
2010 – 2019
- 2019
- [c15]Austin Jones, Kevin Leahy, Matthew T. Hale:
Towards Differential Privacy for Symbolic Systems. ACC 2019: 372-377 - [c14]Matthew T. Hale, Tina Setter, Kingsley Fregene:
Trust-Driven Privacy in Human-Robot Interactions. ACC 2019: 5234-5239 - [c13]Sebastian F. Ruf, Matthew T. Hale, Talha Manzoor, Abubakr Muhammad:
Design of Sustainable Resource Consumption Networks. CDC 2019: 1692-1697 - [c12]Matthew Ubl, Matthew T. Hale:
Totally Asynchronous Distributed Quadratic Programming with Independent Stepsizes and Regularizations. CDC 2019: 7423-7428 - [c11]Ali Reza Pedram, Takashi Tanaka, Matthew T. Hale:
Bidirectional Information Flow and the Roles of Privacy Masks in Cloud-Based Control. ITW 2019: 1-5 - [i7]Kasra Yazdani, Matthew T. Hale:
Error Bounds and Guidelines for Privacy Calibration in Differentially Private Kalman Filtering. CoRR abs/1903.08199 (2019) - [i6]Ali Reza Pedram, Takashi Tanaka, Matthew T. Hale:
Bidirectional Information Flow and the Roles of Privacy Masks in Cloud-Based Control. CoRR abs/1905.07459 (2019) - [i5]Zhe Xu, Kasra Yazdani, Matthew T. Hale, Ufuk Topcu:
Differentially Private Controller Synthesis With Metric Temporal Logic Specifications. CoRR abs/1909.13294 (2019) - [i4]Parham Gohari, Bo Wu, Matthew T. Hale, Ufuk Topcu:
The Dirichlet Mechanism for Differential Privacy on the Unit Simplex. CoRR abs/1910.00043 (2019) - 2018
- [j3]Matthew T. Hale, Magnus Egerstedt:
Cloud-Enabled Differentially Private Multiagent Optimization With Constraints. IEEE Trans. Control. Netw. Syst. 5(4): 1693-1706 (2018) - [c10]Matthew T. Hale, Austin Jones, Kevin Leahy:
Privacy in Feedback: The Differentially Private LQG. ACC 2018: 3386-3391 - [c9]Stefan Hochhaus, Matthew T. Hale:
Asynchronous Distributed Optimization with Heterogeneous Regularizations and Normalizations. CDC 2018: 4232-4237 - [c8]Sebastian F. Ruf, Matthew T. Hale, Talha Manzoor, Abubakr Muhammad:
Stability of Leaderless Resource Consumption Networks. CDC 2018: 5334-5339 - [i3]Sebastian F. Ruf, Matthew T. Hale, Talha Manzoor, Abubakr Muhammad:
Stability of Leaderless Resource Consumption Networks. CoRR abs/1804.04217 (2018) - [i2]Kasra Yazdani, Austin Jones, Kevin Leahy, Matthew Hale:
Differentially Private LQ Control. CoRR abs/1807.05082 (2018) - [i1]Austin Jones, Kevin Leahy, Matthew T. Hale:
Towards Differential Privacy for Symbolic Systems. CoRR abs/1809.08634 (2018) - 2017
- [b1]Matthew T. Hale:
Mixed centralized/decentralized coordination protocols for multi-agent systems. Georgia Institute of Technology, Atlanta, GA, USA, 2017 - [j2]Matthew T. Hale, Angelia Nedic, Magnus Egerstedt:
Asynchronous Multiagent Primal-Dual Optimization. IEEE Trans. Autom. Control. 62(9): 4421-4435 (2017) - [c7]Matthew T. Hale, Magnus Egerstedt:
Convergence rate estimates for consensus over random graphs. ACC 2017: 1024-1029 - [c6]Matthew T. Hale:
On the connectivity of unions of random graphs. CDC 2017: 4422-4427 - 2016
- [c5]Yu Wang, Matthew T. Hale, Magnus Egerstedt, Geir E. Dullerud:
Differentially private objective functions in distributed cloud-based optimization. CDC 2016: 3688-3694 - 2015
- [j1]Yorai Wardi, Magnus Egerstedt, M. T. Hale:
Switched-mode systems: gradient-descent algorithms with Armijo step sizes. Discret. Event Dyn. Syst. 25(4): 571-599 (2015) - [c4]M. T. Hale, Magnus Egerstedt:
Differentially private cloud-based multi-agent optimization with constraints. ACC 2015: 1235-1240 - [c3]Matthew T. Hale, Angelia Nedic, Magnus Egerstedt:
Cloud-based centralized/decentralized multi-agent optimization with communication delays. CDC 2015: 700-705 - 2014
- [c2]M. T. Hale, Yorai Wardi:
Mode scheduling under dwell time constraints in switched-mode systems. ACC 2014: 3954-3959 - [c1]M. T. Hale, Magnus Egerstedt:
Cloud-based optimization: A quasi-decentralized approach to multi-agent coordination. CDC 2014: 6635-6640
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-09-27 03:41 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
