Gil Neiger

32 papers A* 8B 3Journal 14Unranked 7
YearRankTypeTitle / Venue / Authors
2020 J jnl
Persistency semantics of the Intel-x86 architecture.
Proc. ACM Program. Lang.
Azalea Raad, John Wickerson, Gil Neiger, Viktor Vafeiadis
2005 J jnl
Intel Virtualization Technology.
Computer
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
2004 J jnl
A necessary and sufficient condition for transforming limited accuracy failure detectors.
J. Comput. Syst. Sci.
Emmanuelle Anceaume, Antonio Fernández, Achour Mostéfaoui, Gil Neiger, Michel Raynal
2001 J jnl
Simplifying fault-tolerance: providing the abstraction of crash failures.
J. ACM
Rida A. Bazzi, Gil Neiger
2000 A* ed.
Proceedings of the Nineteenth Annual ACM Symposium on Principles of Distributed Computing, July 16-19, 2000, Portland, Oregon, USA.
PODC
Gil Neiger
1999 J jnl
Using Knowledge to Optimally Achieve Coordination in Distributed Systems.
Theor. Comput. Sci.
Gil Neiger, Rida A. Bazzi
1998 A* conf
Structured Derivations of Consensus Algorithms for Failure Detectors.
PODC
Jiong Yang, Gil Neiger, Eli Gafni
1997 J jnl
On the Use of Registers in Achieving Wait-Free Consensus.
Distributed Comput.
Rida A. Bazzi, Gil Neiger, Gary L. Peterson
1997 J jnl
The Complexity of Almost-Optimal Simultaneous Coordination.
Algorithmica
Rida A. Bazzi, Gil Neiger
1996 A* conf
A New Look at Membership Services (Extended Abstract).
PODC
Gil Neiger
1995 J jnl
Causal Memory: Definitions, Implementation, and Programming.
Distributed Comput.
Mustaque Ahamad, Gil Neiger, James E. Burns, Prince Kohli, Phillip W. Hutto
1995 A* conf
Failure Detectors and the Wait-Free Hierarchy.
PODC
Gil Neiger
1995 J jnl
Simplifying the Design of Knowledge-Based Algorithms Using Knowledge Consistency
Inf. Comput.
Gil Neiger
1994 — conf
Causal Memory Meets the Consistency and Performance Needs of Distributed Applications.
ACM SIGOPS European Workshop
Mustaque Ahamad, Ranjit John, Prince Kohli, Gil Neiger
1994 J jnl
Distributed Consensus Revisited.
Inf. Process. Lett.
Gil Neiger
1994 J jnl
Fast and Simple Distributed Consensus.
Distributed Comput.
James E. Burns, Gil Neiger
1994 A* conf
Set-Linearizability.
PODC
Gil Neiger
1993 — conf
A Characterization of Scalable Shared Memories.
ICPP (1)
Prince Kohli, Gil Neiger, Mustaque Ahamad
1993 J jnl
Common Knowledge and Consistent Simultaneous Coordination.
Distributed Comput.
Gil Neiger, Mark R. Tuttle
1993 J jnl
Simulating Synchronized Clocks and Common Knowledge in Distributed Systems.
J. ACM
Gil Neiger, Sam Toueg
1993 B conf
The Power of Processor Consistency.
SPAA
Mustaque Ahamad, Rida A. Bazzi, Ranjit John, Prince Kohli, Gil Neiger
1992 — conf
Simulating Crash Failures with Many Faulty Processors (Extended Abstract).
WDAG
Rida A. Bazzi, Gil Neiger
1992 A* conf
The Possibility and the Complexity of Achieving Fault-Tolerant Coordination.
PODC
Rida A. Bazzi, Gil Neiger
1992 B conf
Using Knowledge to Optimally Achieve Coordination in Distributed Systems.
TARK
Gil Neiger, Rida A. Bazzi
1991 — conf
Causal Memory.
WDAG
Mustaque Ahamad, James E. Burns, Phillip W. Hutto, Gil Neiger
1991 — conf
Detection of Global State Predicates.
WDAG
Keith Marzullo, Gil Neiger
1991 — conf
Optimally Simulating Crash Failures in a Byzantine Environment.
WDAG
Rida A. Bazzi, Gil Neiger
1990 J jnl
Automatically Increasing the Fault-Tolerance of Distributed Algorithms.
J. Algorithms
Gil Neiger, Sam Toueg
1990 — conf
Common Knowledge and Consistent Simultaneous Coordination.
WDAG
Gil Neiger, Mark R. Tuttle
1988 A* conf
Automatically Increasing the Fault-Tolerance of Distributed Systems.
PODC
Gil Neiger, Sam Toueg
1988 B conf
Knowledge Consistency: A Useful Suspension of Disbelief.
TARK
Gil Neiger
1987 A* conf
Substituting for Real Time and Common Knowledge in Asynchronous Distributed Systems.
PODC
Gil Neiger, Sam Toueg