64 research outputs found
Eigenstate entanglement in the Sachdev-Ye-Kitaev model
We study the entanglement entropy of eigenstates (including the ground state)
of the Sachdev-Ye-Kitaev model. We argue for a volume law, whose coefficient
can be calculated analytically from the density of states. The coefficient
depends on not only the energy density of the eigenstate but also the subsystem
size. Very recent numerical results of Liu, Chen, and Balents confirm our
analytical results
Asymptotic pairs, stable sets and chaos in positive entropy systems
We consider positive entropy -systems for certain countable, discrete,
infinite left-orderable amenable groups . By undertaking local analysis, the
existence of asymptotic pairs and chaotic sets will be studied in connecting
with the stable sets. Examples are given for the case of integer lattice
groups, the Heisenberg group, and the groups of integral unipotent upper
triangular matrices
Identifying Patch Correctness in Test-Based Program Repair
Test-based automatic program repair has attracted a lot of attention in
recent years. However, the test suites in practice are often too weak to
guarantee correctness and existing approaches often generate a large number of
incorrect patches.
To reduce the number of incorrect patches generated, we propose a novel
approach that heuristically determines the correctness of the generated
patches. The core idea is to exploit the behavior similarity of test case
executions. The passing tests on original and patched programs are likely to
behave similarly while the failing tests on original and patched programs are
likely to behave differently. Also, if two tests exhibit similar runtime
behavior, the two tests are likely to have the same test results. Based on
these observations, we generate new test inputs to enhance the test suites and
use their behavior similarity to determine patch correctness.
Our approach is evaluated on a dataset consisting of 139 patches generated
from existing program repair systems including jGenProg, Nopol, jKali, ACS and
HDRepair. Our approach successfully prevented 56.3\% of the incorrect patches
to be generated, without blocking any correct patches.Comment: ICSE 201
- …