Girl · #15,243 in 2026

Murphi

Murφ is an explicit-state model checker developed at Stanford University, and widely used for formal verification of cache-coherence protocols.

Current Rank
#15,243
Peak Rank
#15,178 (2023)
Total Babies
10
5-Yr Trend
Stable
2023
First Year
2024
Last Year
2023
Peak Year
#15178
Peak Rank
10
Total Count
2
Years Active

Meaning & Origin of Murphi

What this name means, where it came from, and how it has traveled across cultures.

Murφ is an explicit-state model checker developed at Stanford University, and widely used for formal verification of cache-coherence protocols.

Source: Wikipedia (CC BY-SA 3.0). Read more →

Origin & history
Murφ's early history is described in a paper by David Dill. The first version of Murφ was designed at Stanford University in 1990 and 1991 by Prof. David Dill and his graduate students Andreas Drexler, Alan Hu, and Han Yang, and primarily implemented by Andreas Drexler. The specification language was extensively modified and extended by David Dill, Alan Hu, C. Norris Ip, Ralph Melton, Seungjoon Park, and Han Yang. Ralph Melton implemented the new version during the summer and fall of 1992. Seungjoon Park added liveness checking and fairness constraints, but because the algorithm for liveness v

The Story of Murphi

Murphi first appeared in U.S. Social Security Administration records as a baby girl name in 2023, with 5 babies given the name that year. Its peak popularity came in 2023, when 5 Murphis were born — ranking #15,178 that year. As of 2026, Murphi ranks #15,243 for baby girls with 5 births, with steady use. In total, more than 10 Murphis have been born in the U.S. since records began in 1880, spanning the 2020s through the 2020s.

Popularity Over Time

Popularity by State

ME
WA
MT
ND
MN
WI
MI
NY
VT
NH
MA
OR
ID
SD
IA
IL
IN
OH
PA
NJ
CT
RI
CA
NV
WY
NE
MO
KY
WV
VA
MD
DE
DC
UT
CO
KS
AR
TN
NC
SC
AK
AZ
NM
OK
LA
MS
AL
GA
HI
TX
FL
Top 10
11-50
51-100
101-500
500+
No data

Names that sound like Murphi

Phonetically similar names — useful when Murphi is the vibe but a different syllable count or letter feel might suit better. Linked entries have a profile on Peek a Name.

Source: Datamuse . Phonetic similarity ranking, not curated.

Frequently Asked Questions about Murphi

What does the name Murphi mean?
Murφ is an explicit-state model checker developed at Stanford University, and widely used for formal verification of cache-coherence protocols.
How popular is Murphi in 2026?
In 2026, Murphi ranks #15,243 among girls' names in the U.S., with 5 babies given the name that year.
When was Murphi most popular?
Murphi reached its peak popularity in 2023, ranking #15,178 that year with 5 babies given the name.
Is Murphi a unisex name?
In U.S. Social Security records, Murphi is primarily a girl's name. We don't have meaningful data for it as a boy's name.
What names go well with Murphi?
Names that share a similar style or popularity range with Murphi include Adelayna, Ahrin, Ainnara. These pairings are based on rank proximity and naming era in U.S. data.

Similar Names

👧
Adelayna
Peak #15178
👧
Ahrin
Peak #15178
👧
Ainnara
Peak #15178
👧
Airareddy
Peak #15178
👧
Airella
Peak #15178
👧
Aliylah
Peak #15178
👧
Alizeth
Peak #15178
👧
Allira
Peak #15178

About the name Murphi

Murphi is a girl baby name tracked by the U.S. Social Security Administration. It first appeared in SSA records in 2023 and has accumulated 10 births in the dataset. Murphi's peak popularity came in 2023 when it ranked #15,178. Use the chart and map above to compare Murphi's trajectory across years and U.S. states, or browse the related names section to discover similar choices.

Continue exploring

Data sources

  • Birth statistics (counts, ranks, years 1880–2026) — U.S. Social Security Administration . Predictions for years not yet released by SSA are computed by Peek a Name from historical trends; we update with official data as soon as it ships.
  • Etymology, cultural origins, and related forms — Behind the Name (used under their public API terms).
  • Meaning prose and editorial summary — Wikipedia article extracts, licensed under CC BY-SA 3.0 .
  • Predicted nationality distribution — Nationalize.io .
  • Phonetically similar names — Datamuse .

Peek a Name aggregates and presents the above data for informational purposes. Statistical predictions and external attributions are clearly labelled where shown; we make no guarantee of accuracy beyond what each source provides.