BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Hai Yu

Hai Yu contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
astro-ph.COastro-ph.HEastro-ph.GAgr-qcSoftware Engineeringhep-ph

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
7works
0followers
6topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

7 published item(s)

preprint2021arXiv

Hero: On the Chaos When PATH Meets Modules

Ever since its first release in 2009, the Go programming language (Golang) has been well received by software communities. A major reason for its success is the powerful support of library-based development, where a Golang project can be conveniently built on top of other projects by referencing them as libraries. As Golang evolves, it recommends the use of a new library-referencing mode to overcome the limitations of the original one. While these two library modes are incompatible, both are supported by the Golang ecosystem. The heterogeneous use of library-referencing modes across Golang projects has caused numerous dependency management (DM) issues, incurring reference inconsistencies and even build failures. Motivated by the problem, we conducted an empirical study to characterize the DM issues, understand their root causes, and examine their fixing solutions. Based on our findings, we developed \textsc{Hero}, an automated technique to detect DM issues and suggest proper fixing solutions. We applied \textsc{Hero} to 19,000 popular Golang projects. The results showed that \textsc{Hero} achieved a high detection rate of 98.5\% on a DM issue benchmark and found 2,422 new DM issues in 2,356 popular Golang projects. We reported 280 issues, among which 181 (64.6\%) issues have been confirmed, and 160 of them (88.4\%) have been fixed or are under fixing. Almost all the fixes have adopted our fixing suggestions.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Lensing rates of gravitational wave signals displaying beat patterns detectable by DECIGO and B-DECIGO

The coherent nature of gravitational wave emanating from a compact binary system makes it possible to detect some interference patterns in two (or more) signals registered simultaneously by the detector. Gravitational lensing effect can be used to bend trajectories of gravitational waves, which might reach the detector at the same time. Once this happens, a beat pattern may form, and can be used to obtain the luminosity distance of the source, the lens mass, and cosmological parameters such as the Hubble constant. Crucial question is how many such kind of events could be detected. In this work, we study this issue for the future space-borne detectors: DECIGO and its downscale version, B-DECIGO. It is found out that there can be a few tens to a few hundreds of lensed gravitational wave events with the beat pattern observed by DECIGO and B-DECIGO per year, depending on the evolution scenario leading to the formation of double compact objects. In particular, black hole-black hole binaries are dominating population of lensed sources in which beat patterns may reveal. However, DECIGO could also register a considerable amount of lensed signals from binary neutron stars, which might be accompanied by electromagnetic counterparts. Our results suggest that, in the future, lensed gravitational wave signal with the beat pattern could play an important role in cosmology and astrophysics.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

A New Method to Measure Hubble Parameter $H(z)$ using Fast Radio Bursts

The Hubble parameter $H(z)$ is directly related to the expansion of our Universe. It can be used to study dark energy and constrain cosmology models. In this paper, we propose that $H(z)$ can be measured using fast radio bursts (FRBs) with redshift measurements. We use dispersion measures contributed by the intergalactic medium, which is related to $H(z)$, to measure Hubble parameter. We find that 500 mocked FRBs with dispersion measures and redshift information can accurately measure Hubble parameters using Monte Carlo simulation. The maximum deviation of $H(z)$ from standard $Λ$CDM model is about 6\% at redshift $z= 2.4$. We also test our method using Monte Carlo simulation. Kolmogorov-Smirnov (K-S) test is used to check the simulation. The $p$-value of K-S test is 0.23, which confirms internal consistency of the simulation. In future, more localizations of FRBs make it as an attractive cosmological probe.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Dispersion measures of fast radio burst host galaxies derived from IllustrisTNG simulation

We calculate the dispersion measures (DMs) contributed by host galaxies of fast radio bursts (FRBs). Based on a few host galaxy observations, a large sample of galaxy with similar properties to observed ones has been selected from the IllustrisTNG simulation. They are used to compute the distributions of host galaxy DMs for repeating and non-repeating FRBs. For repeating FRBs, we infer the DM$ _{\mathrm{host}} $ for FRBs like FRB 121102 and FRB 180916 by assuming that the burst sites are tracing the star formation rates in host galaxies. The median DM$_{\mathrm{host}}$ are $35 (1+z)^{1.08}$ and $96(1+z)^{0.83}$ pc cm$^{-3}$ for FRBs like FRB 121102 and FRB 180916, respectively. In another case, the median of DM$_{\mathrm{host}}$ is about $30 - 70$ pc cm$^{-3}$ for non-repeating FRBs in the redshift range $z=0.1-1.5$, assuming that the burst sites are the locations of binary neutron star mergers. In this case, the evolution of the median DM$_{\mathrm{host}}$ can be calculated by $33(1+z)^{0.84}$ pc cm$^{-3}$. The distributions of DM$_{\mathrm{host}}$ of repeating and non-repeating FRBs can be well fitted with the log-normal function. Our results can be used to infer redshifts of non-localized FRBs.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Strong lensing as a giant telescope to localize the host galaxy of gravitational wave event

Standard siren cosmology of gravitational wave (GW) merger events relies on the identification of host galaxies and their redshifts. But this can be highly challenging due to numerous candidates of galaxies in the GW localization area. We point out that the number of candidates can be reduced by orders of magnitude for strongly lensed GW events, due to extra observational constraints. For the next-generation GW detectors like Einstein Telescope (ET), we estimate that this number is usually significantly less than one, as long as the GW localization uncertainty is better than $\sim 10\, \rm deg^2$. This implies that the unique identification of the host galaxy of lensed GW event detected by ET and Cosmic Explorer (CE) is possible. This provides us a promising opportunity to measure the redshift of the GW event and facilitate the standard siren cosmology. We also discuss its potential applications in understanding the evolution process and environment of the GW event.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Will Dependency Conflicts Affect My Program's Semantics?

Java projects are often built on top of various third-party libraries. If multiple versions of a library exist on the classpath, JVM will only load one version and shadow the others, which we refer to as dependency conflicts. This would give rise to semantic conflict (SC) issues, if the library APIs referenced by a project have identical method signatures but inconsistent semantics across the loaded and shadowed versions of libraries. SC issues are difficult for developers to diagnose in practice, since understanding them typically requires domain knowledge. Although adapting the existing test generation technique for dependency conflict issues, Riddle, to detect SC issues is feasible, its effectiveness is greatly compromised. This is mainly because Riddle randomly generates test inputs, while the SC issues typically require specific arguments in the tests to be exposed. To address that, we conducted an empirical study of 75 real SC issues to understand the characteristics of such specific arguments in the test cases that can capture the SC issues. Inspired by our empirical findings, we propose an automated testing technique Sensor, which synthesizes test cases using ingredients from the project under test to trigger inconsistent behaviors of the APIs with the same signatures in conflicting library versions. Our evaluation results show that \textsc{Sensor} is effective and useful: it achieved a $Precision$ of 0.803 and a $Recall$ of 0.760 on open-source projects and a $Precision$ of 0.821 on industrial projects; it detected 150 semantic conflict issues in 29 projects, 81.8\% of which had been confirmed as real bugs.

0 citations0 reviewsNo code linkedOpen access
preprint2019arXiv

Gaussian Processes, Median Statistics, Milky Way Rotation Curves

We use the Iocco et al. (2015) compilation of 2,780 circular velocity measurements to analyze the Milky Way rotation curve. We find that the error bars for individual measurements are non-gaussian, and hence instead derive median statistics binned central circular velocity values and error bars from these data. We use these median statistics central values and error bars to fit the data to simple, few parameter, rotation curve functions. These simple functions are unable to adequately capture the significant small scale spatial structure in these data and so provide poor fits. We introduce and use the Gaussian Processes (GP) method to capture this small scale structure and use it to derive Milky Way rotation curves from the binned median statistics circular velocity data. The GP method rotation curves have significant small-scale spatial structure superimposed on a broad rise to galactocentric radius $R\approx7$ kpc and a decline at larger $R$. We use the GP method median statistics rotation curve to measure the Oort $A$ and $B$ constants and other characteristic rotation curve quantities. We study correlations in the residual circular velocities (relative to the GP method rotation curve). Along with other evidence for azimuthal asymmetry of the Milky Way circular rotation velocity field, we find that larger residual circular velocities seem to favor parts of spiral arms.

0 citations0 reviewsNo code linkedOpen access