Gil Neiger

Publication Activity (10 Years)

Years Active: 1987-2020
Publications (10 Years): 1

Top Topics

Layered Architecture

Formal Semantics

Top Venues

Proc. ACM Program. Lang.

Publications

Azalea Raad, John Wickerson, Gil Neiger, Viktor Vafeiadis
Persistency semantics of the Intel-x86 architecture. Proc. ACM Program. Lang. 4 (POPL) (2020)
Richard Uhlig, Gil Neiger, Dion Rodgers, Amy L. Santoni, Fernando C. M. Martins, Andrew V. Anderson, Steven M. Bennett, Alain Kägi, Felix H. Leung, Larry Smith
Intel Virtualization Technology. Computer 38 (5) (2005)
Emmanuelle Anceaume, Antonio Fernández, Achour Mostéfaoui, Gil Neiger, Michel Raynal
A necessary and sufficient condition for transforming limited accuracy failure detectors. J. Comput. Syst. Sci. 68 (1) (2004)
Rida A. Bazzi, Gil Neiger
Simplifying fault-tolerance: providing the abstraction of crash failures. J. ACM 48 (3) (2001)
Gil Neiger, Rida A. Bazzi
Using Knowledge to Optimally Achieve Coordination in Distributed Systems. Theor. Comput. Sci. 220 (1) (1999)
Jiong Yang, Gil Neiger, Eli Gafni
Structured Derivations of Consensus Algorithms for Failure Detectors. PODC (1998)
Rida A. Bazzi, Gil Neiger, Gary L. Peterson
On the Use of Registers in Achieving Wait-Free Consensus. Distributed Comput. 10 (3) (1997)
Rida A. Bazzi, Gil Neiger
The Complexity of Almost-Optimal Simultaneous Coordination. Algorithmica 17 (3) (1997)
Gil Neiger
A New Look at Membership Services (Extended Abstract). PODC (1996)
Mustaque Ahamad, Gil Neiger, James E. Burns, Prince Kohli, Phillip W. Hutto
Causal Memory: Definitions, Implementation, and Programming. Distributed Comput. 9 (1) (1995)
Gil Neiger
Simplifying the Design of Knowledge-Based Algorithms Using Knowledge Consistency Inf. Comput. 119 (2) (1995)
Gil Neiger
Failure Detectors and the Wait-Free Hierarchy. PODC (1995)
Gil Neiger
Set-Linearizability. PODC (1994)
Mustaque Ahamad, Ranjit John, Prince Kohli, Gil Neiger
Causal Memory Meets the Consistency and Performance Needs of Distributed Applications. ACM SIGOPS European Workshop (1994)
Gil Neiger
Distributed Consensus Revisited. Inf. Process. Lett. 49 (4) (1994)
James E. Burns, Gil Neiger
Fast and Simple Distributed Consensus. Distributed Comput. 8 (2) (1994)
Gil Neiger, Sam Toueg
Simulating Synchronized Clocks and Common Knowledge in Distributed Systems. J. ACM 40 (2) (1993)
Gil Neiger, Mark R. Tuttle
Common Knowledge and Consistent Simultaneous Coordination. Distributed Comput. 6 (3) (1993)
Mustaque Ahamad, Rida A. Bazzi, Ranjit John, Prince Kohli, Gil Neiger
The Power of Processor Consistency. SPAA (1993)
Prince Kohli, Gil Neiger, Mustaque Ahamad
A Characterization of Scalable Shared Memories. ICPP (1) (1993)
Rida A. Bazzi, Gil Neiger
The Possibility and the Complexity of Achieving Fault-Tolerant Coordination. PODC (1992)
Gil Neiger, Rida A. Bazzi
Using Knowledge to Optimally Achieve Coordination in Distributed Systems. TARK (1992)
Rida A. Bazzi, Gil Neiger
Simulating Crash Failures with Many Faulty Processors (Extended Abstract). WDAG (1992)
Rida A. Bazzi, Gil Neiger
Optimally Simulating Crash Failures in a Byzantine Environment. WDAG (1991)
Keith Marzullo, Gil Neiger
Detection of Global State Predicates. WDAG (1991)
Mustaque Ahamad, James E. Burns, Phillip W. Hutto, Gil Neiger
Causal Memory. WDAG (1991)
Gil Neiger, Sam Toueg
Automatically Increasing the Fault-Tolerance of Distributed Algorithms. J. Algorithms 11 (3) (1990)
Gil Neiger, Mark R. Tuttle
Common Knowledge and Consistent Simultaneous Coordination. WDAG (1990)
Gil Neiger, Sam Toueg
Automatically Increasing the Fault-Tolerance of Distributed Systems. PODC (1988)
Gil Neiger
Knowledge Consistency: A Useful Suspension of Disbelief. TARK (1988)
Gil Neiger, Sam Toueg
Substituting for Real Time and Common Knowledge in Asynchronous Distributed Systems. PODC (1987)