Gil Neiger

According to our database, Gil Neiger authored at least 29 papers between 1987 and 2020.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2020

Persistency semantics of the Intel-x86 architecture.

Azalea Raad, John Wickerson, Gil Neiger, Viktor Vafeiadis

Proc. ACM Program. Lang., 2020

2005

Intel Virtualization Technology.

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

Computer, 2005

2004

A necessary and sufficient condition for transforming limited accuracy failure detectors.

Emmanuelle Anceaume, Antonio Fernández, Achour Mostéfaoui, Gil Neiger, Michel Raynal

J. Comput. Syst. Sci., 2004

2001

Simplifying fault-tolerance: providing the abstraction of crash failures.

Rida A. Bazzi, Gil Neiger

J. ACM, 2001

1999

Using Knowledge to Optimally Achieve Coordination in Distributed Systems.

Gil Neiger, Rida A. Bazzi

Theor. Comput. Sci., 1999

1998

Structured Derivations of Consensus Algorithms for Failure Detectors.

Jiong Yang, Gil Neiger, Eli Gafni

Proceedings of the Seventeenth Annual ACM Symposium on Principles of Distributed Computing, 1998

1997

On the Use of Registers in Achieving Wait-Free Consensus.

Rida A. Bazzi, Gil Neiger, Gary L. Peterson

Distributed Comput., 1997

The Complexity of Almost-Optimal Simultaneous Coordination.

Rida A. Bazzi, Gil Neiger

Algorithmica, 1997

1996

A New Look at Membership Services (Extended Abstract).

Gil Neiger

Proceedings of the Fifteenth Annual ACM Symposium on Principles of Distributed Computing, 1996

1995

Simplifying the Design of Knowledge-Based Algorithms Using Knowledge Consistency

Gil Neiger

Inf. Comput., June, 1995

Causal Memory: Definitions, Implementation, and Programming.

Mustaque Ahamad, Gil Neiger, James E. Burns, Prince Kohli, Phillip W. Hutto

Distributed Comput., 1995

Failure Detectors and the Wait-Free Hierarchy.

Gil Neiger

Proceedings of the Fourteenth Annual ACM Symposium on Principles of Distributed Computing, 1995

1994

Distributed Consensus Revisited.

Gil Neiger

Inf. Process. Lett., 1994

Fast and Simple Distributed Consensus.

James E. Burns, Gil Neiger

Distributed Comput., 1994

Causal Memory Meets the Consistency and Performance Needs of Distributed Applications.

Mustaque Ahamad, Ranjit John, Prince Kohli, Gil Neiger

Proceedings of the 6th ACM SIGOPS European Workshop: Matching Operating Systems to Application Needs, 1994

Set-Linearizability.

Gil Neiger

Proceedings of the Thirteenth Annual ACM Symposium on Principles of Distributed Computing, 1994

1993

Simulating Synchronized Clocks and Common Knowledge in Distributed Systems.

Gil Neiger, Sam Toueg

J. ACM, 1993

Common Knowledge and Consistent Simultaneous Coordination.

Gil Neiger, Mark R. Tuttle

Distributed Comput., 1993

The Power of Processor Consistency.

Mustaque Ahamad, Rida A. Bazzi, Ranjit John, Prince Kohli, Gil Neiger

Proceedings of the 5th Annual ACM Symposium on Parallel Algorithms and Architectures, 1993

A Characterization of Scalable Shared Memories.

Prince Kohli, Gil Neiger, Mustaque Ahamad

Proceedings of the 1993 International Conference on Parallel Processing, 1993

1992

Simulating Crash Failures with Many Faulty Processors (Extended Abstract).

Rida A. Bazzi, Gil Neiger

Proceedings of the Distributed Algorithms, 6th International Workshop, 1992

The Possibility and the Complexity of Achieving Fault-Tolerant Coordination.

Rida A. Bazzi, Gil Neiger

Proceedings of the Eleventh Annual ACM Symposium on Principles of Distributed Computing, 1992

1991

Detection of Global State Predicates.

Keith Marzullo, Gil Neiger

Proceedings of the Distributed Algorithms, 5th International Workshop, 1991

Optimally Simulating Crash Failures in a Byzantine Environment.

Rida A. Bazzi, Gil Neiger

Proceedings of the Distributed Algorithms, 5th International Workshop, 1991

Causal Memory.

Mustaque Ahamad, James E. Burns, Phillip W. Hutto, Gil Neiger

Proceedings of the Distributed Algorithms, 5th International Workshop, 1991

1990

Automatically Increasing the Fault-Tolerance of Distributed Algorithms.

Gil Neiger, Sam Toueg

J. Algorithms, 1990

1988

Knowledge Consistency: A Useful Suspension of Disbelief.

Gil Neiger

Proceedings of the 2nd Conference on Theoretical Aspects of Reasoning about Knowledge, 1988

Automatically Increasing the Fault-Tolerance of Distributed Systems.

Gil Neiger, Sam Toueg

Proceedings of the Seventh Annual ACM Symposium on Principles of Distributed Computing, 1988

1987

Substituting for Real Time and Common Knowledge in Asynchronous Distributed Systems.

Gil Neiger, Sam Toueg

Proceedings of the Sixth Annual ACM Symposium on Principles of Distributed Computing, 1987