Alain Kägi

According to our database, Alain Kägi authored at least 9 papers between 1995 and 2024.

Collaborative distances:

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

2024

Towards a Verified Implementation of a Network Stack.

Caitlyn Wilde, Wyeth T. Greenlaw Rollins, Levi Overcast, Alain Kägi

Proceedings of the 55th ACM Technical Symposium on Computer Science Education, 2024

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

Inferential Queueing and Speculative Push.

Ravi Rajwar, Alain Kägi, James R. Goodman

Int. J. Parallel Program., 2004

2003

Inferential queueing and speculative push for reducing critical communication latencies.

Ravi Rajwar, Alain Kägi, James R. Goodman

Proceedings of the 17th Annual International Conference on Supercomputing, 2003

2000

Improving the Throughput of Synchronization by Insertion of Delays.

Ravi Rajwar, Alain Kägi, James R. Goodman

Proceedings of the Sixth International Symposium on High-Performance Computer Architecture, 2000

1997

Limited bandwidth to affect processor design.

Doug Burger, James R. Goodman, Alain Kägi

IEEE Micro, 1997

Efficient Synchronization: Let Them Eat QOLB.

Alain Kägi, Doug Burger, James R. Goodman

Proceedings of the 24th International Symposium on Computer Architecture, 1997

1996

Memory Bandwidth Limitations of Future Microprocessors.

Doug Burger, James R. Goodman, Alain Kägi

Proceedings of the 23rd Annual International Symposium on Computer Architecture, 1996

1995

Techniques for Reducing Overheads of Shared-Memory Multiprocessing.

Alain Kägi, Nagi Aboulenein, Doug Burger, James R. Goodman

Proceedings of the 9th international conference on Supercomputing, 1995