Gil Neiger - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 31 from 31

2020

Persistency semantics of the Intel-x86 architectureAzalea Raad, John Wickerson, Gil Neiger, Viktor Vafeiadis. PACMPL, 4(POPL), 2020. [doi]

2005

Intel Virtualization TechnologyRich 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, 38(5):48-56, 2005. [doi]

2004

A necessary and sufficient condition for transforming limited accuracy failure detectorsEmmanuelle Anceaume, Antonio Fernández, Achour Mostéfaoui, Gil Neiger, Michel Raynal. jcss, 68(1):123-133, 2004. [doi]

2001

Simplifying fault-tolerance: providing the abstraction of crash failuresRida A. Bazzi, Gil Neiger. JACM, 48(3):499-554, 2001. [doi]

1999

Using Knowledge to Optimally Achieve Coordination in Distributed SystemsGil Neiger, Rida A. Bazzi. TCS, 220(1):31-65, 1999. [doi]

1998

Structured Derivations of Consensus Algorithms for Failure DetectorsJiong Yang, Gil Neiger, Eli Gafni. podc 1998: 297-306 [doi]

1997

On the Use of Registers in Achieving Wait-Free ConsensusRida A. Bazzi, Gil Neiger, Gary L. Peterson. dc, 10(3):117-127, 1997.

The Complexity of Almost-Optimal Simultaneous CoordinationRida A. Bazzi, Gil Neiger. algorithmica, 17(3):308-321, 1997.

1996

A New Look at Membership Services (Extended Abstract)Gil Neiger. podc 1996: 331-340

1995

Causal Memory: Definitions, Implementation, and ProgrammingMustaque Ahamad, Gil Neiger, James E. Burns, Prince Kohli, Phillip W. Hutto. dc, 9(1):37-49, 1995.

Simplifying the Design of Knowledge-Based Algorithms Using Knowledge ConsistencyGil Neiger. iandc, 119(2):283-293, June 1995.

Failure Detectors and the Wait-Free HierarchyGil Neiger. podc 1995: 100-109

1994

Causal Memory Meets the Consistency and Performance Needs of Distributed ApplicationsMustaque Ahamad, Ranjit John, Prince Kohli, Gil Neiger. sigopsE 1994: 45-50

Fast and Simple Distributed ConsensusJames E. Burns, Gil Neiger. dc, 8(2):59-64, 1994.

Distributed Consensus RevisitedGil Neiger. ipl, 49(4):195-201, 1994.

Set-LinearizabilityGil Neiger. podc 1994: 396

1993

1992

Simulating Crash Failures with Many Faulty Processors (Extended Abstract)Rida A. Bazzi, Gil Neiger. wdag 1992: 166-184

The Possibility and the Complexity of Achieving Fault-Tolerant CoordinationRida A. Bazzi, Gil Neiger. podc 1992: 203-214

Using Knowledge to Optimally Achieve Coordination in Distributed SystemsGil Neiger, Rida A. Bazzi. tark 1992: 43-59

1991

Causal MemoryMustaque Ahamad, James E. Burns, Phillip W. Hutto, Gil Neiger. wdag 1992: 9-30

Optimally Simulating Crash Failures in a Byzantine EnvironmentRida A. Bazzi, Gil Neiger. wdag 1992: 108-128

Detection of Global State PredicatesKeith Marzullo, Gil Neiger. wdag 1992: 254-272

1990

Common Knowledge and Consistent Simultaneous CoordinationGil Neiger, Mark R. Tuttle. wdag 1991: 334-352

Automatically Increasing the Fault-Tolerance of Distributed AlgorithmsGil Neiger, Sam Toueg. jal, 11(3):374-419, 1990.

1988

Automatically Increasing the Fault-Tolerance of Distributed SystemsGil Neiger, Sam Toueg. podc 1988: 248-262 [doi]

Knowledge Consistency: A Useful Suspension of DisbeliefGil Neiger. tark 1988: 295-308

1987

Substituting for Real Time and Common Knowledge in Asynchronous Distributed SystemsGil Neiger, Sam Toueg. podc 1987: 281-293

Sign in or sign up to see more results.

runs on WebDSL