Gil Neiger

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2020
Persistency semantics of the Intel-x86 architecture.
Proc. ACM Program. Lang., 2020

2005
Intel Virtualization Technology.
Computer, 2005

2004
A necessary and sufficient condition for transforming limited accuracy failure detectors.
J. Comput. Syst. Sci., 2004

2001
Simplifying fault-tolerance: providing the abstraction of crash failures.
J. ACM, 2001

1999
Using Knowledge to Optimally Achieve Coordination in Distributed Systems.
Theor. Comput. Sci., 1999

1998
Structured Derivations of Consensus Algorithms for Failure Detectors.
Proceedings of the Seventeenth Annual ACM Symposium on Principles of Distributed Computing, 1998

1997
On the Use of Registers in Achieving Wait-Free Consensus.
Distributed Comput., 1997

The Complexity of Almost-Optimal Simultaneous Coordination.
Algorithmica, 1997

1996
A New Look at Membership Services (Extended Abstract).
Proceedings of the Fifteenth Annual ACM Symposium on Principles of Distributed Computing, 1996

1995
Simplifying the Design of Knowledge-Based Algorithms Using Knowledge Consistency
Inf. Comput., June, 1995

Causal Memory: Definitions, Implementation, and Programming.
Distributed Comput., 1995

Failure Detectors and the Wait-Free Hierarchy.
Proceedings of the Fourteenth Annual ACM Symposium on Principles of Distributed Computing, 1995

1994
Distributed Consensus Revisited.
Inf. Process. Lett., 1994

Fast and Simple Distributed Consensus.
Distributed Comput., 1994

Causal Memory Meets the Consistency and Performance Needs of Distributed Applications.
Proceedings of the 6th ACM SIGOPS European Workshop: Matching Operating Systems to Application Needs, 1994

Set-Linearizability.
Proceedings of the Thirteenth Annual ACM Symposium on Principles of Distributed Computing, 1994

1993
Simulating Synchronized Clocks and Common Knowledge in Distributed Systems.
J. ACM, 1993

Common Knowledge and Consistent Simultaneous Coordination.
Distributed Comput., 1993

The Power of Processor Consistency.
Proceedings of the 5th Annual ACM Symposium on Parallel Algorithms and Architectures, 1993

A Characterization of Scalable Shared Memories.
Proceedings of the 1993 International Conference on Parallel Processing, 1993

1992
Simulating Crash Failures with Many Faulty Processors (Extended Abstract).
Proceedings of the Distributed Algorithms, 6th International Workshop, 1992

The Possibility and the Complexity of Achieving Fault-Tolerant Coordination.
Proceedings of the Eleventh Annual ACM Symposium on Principles of Distributed Computing, 1992

1991
Detection of Global State Predicates.
Proceedings of the Distributed Algorithms, 5th International Workshop, 1991

Optimally Simulating Crash Failures in a Byzantine Environment.
Proceedings of the Distributed Algorithms, 5th International Workshop, 1991

Causal Memory.
Proceedings of the Distributed Algorithms, 5th International Workshop, 1991

1990
Automatically Increasing the Fault-Tolerance of Distributed Algorithms.
J. Algorithms, 1990

1988
Knowledge Consistency: A Useful Suspension of Disbelief.
Proceedings of the 2nd Conference on Theoretical Aspects of Reasoning about Knowledge, 1988

Automatically Increasing the Fault-Tolerance of Distributed Systems.
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.
Proceedings of the Sixth Annual ACM Symposium on Principles of Distributed Computing, 1987


  Loading...