219 citations · 223 across the 3 of their papers we have counts for
6 papers
Toward Trustworthy AI Development: Mechanisms for Supporting Verifiable Claims
Miles Brundage, Shahar Avin, Jasmine Wang +56
With the recent wave of progress in artificial intelligence (AI) has come a growing awareness of the large-scale impacts of AI systems, and recognition that existing regulations an…
Quantum fluxes at the inner horizon of a spherical charged black hole
Noa Zilberman, Adam Levi, Amos Ori
In an ongoing effort to explore quantum effects on the interior geometry of black holes, we explicitly compute the semiclassical flux components $\left\langle T_{uu}\right\rangle _…
Partitioned Paxos via the Network Data Plane
Huynh Tu Dang, Pietro Bressana, Han Wang +6
Consensus protocols are the foundation for building fault-tolerant, distributed systems, and services. They are also widely acknowledged as performance bottlenecks. Several recent…
LaKe: An Energy Efficient, Low Latency, Accelerated Key-Value Store
Yuta Tokusashi, Hiroki Matsutani, Noa Zilberman
Key-value store is a popular type of cloud computing applications. The performance of key-value store applications have been shown to be very sensitive to load within the data cent…
The rotational shear in pre-collapse cores of massive stars
Noa Zilberman, Avishai Gilkis, Noam Soker
We evolve stellar models to study the rotational profiles of the pre-explosion cores of single massive stars that are progenitors of core collapse supernovae (CCSNe), and find larg…
Extending programs with debug-related features, with application to hardware development
Nik Sultana, Salvator Galea, David Greaves +8
The capacity and programmability of reconfigurable hardware such as FPGAs has improved steadily over the years, but they do not readily provide any mechanisms for monitoring or deb…