Researcher profile

Jisheng Zhao

Jisheng Zhao contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 13 - UnverifiedVerification L1Unclaimed author
2works
0followers
2topics
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

2 published item(s)

preprint2020arXiv

Phase dynamics of effective drag and lift in vortex-induced vibration at low mass-damping

In this work, we investigate the dynamics of vortex-induced vibration of an elastically mounted cylinder with very low values of mass and damping. We use two methods to investigate this canonical problem: first we calculate the instantaneous phase between the cylinder motion and the fluid forcing; second we decompose the total hydrodynamic force into drag and lift components that act along and normal to, respectively, the instantaneous effective angle of attack. We focus on the phase dynamics in the large-amplitude-response range, consisting of the initial, upper and lower branches of response. The instantaneous phase between the transverse force and displacement shows repeated phase slips separating periods of constant, or continuous-drifting, phase in the second half of the upper branch. The phase between the lift component and displacement shows strong phase locking throughout the large-amplitude range - the average phase varies linearly with the primary frequency - however the modulation of this phase is largest in the second half of the upper branch. These observations suggest that the large-amplitude-response dynamics is driven by two distinct limit cycles - one that is stable over a very small range of reduced velocity at the beginning of the upper branch, and another that consists of the lower branch. The chaotic oscillation between them - the majority of the upper branch - occurs when neither limit cycle is stable. The transition between the upper and lower branches is marked by intermittent switching with epochs of time where different states exist at a constant reduced velocity. These different states are clearly apparent in the phase between the lift and displacement, illustrating the utility of the force decomposition employed.

preprint2015arXiv

Finding Tizen security bugs through whole-system static analysis

Tizen is a new Linux-based open source platform for consumer devices including smartphones, televisions, vehicles, and wearables. While Tizen provides kernel-level mandatory policy enforcement, it has a large collection of libraries, implemented in a mix of C and C++, which make their own security checks. In this research, we describe the design and engineering of a static analysis engine which drives a full information flow analysis for apps and a control flow analysis for the full library stack. We implemented these static analyses as extensions to LLVM, requiring us to improve LLVM's native analysis features to get greater precision and scalability, including knotty issues like the coexistence of C++ inheritance with C function pointer use. With our tools, we found several unexpected behaviors in the Tizen system, including paths through the system libraries that did not have inline security checks. We show how our tools can help the Tizen app store to verify important app properties as well as helping the Tizen development process avoid the accidental introduction of subtle vulnerabilities.