Laura Israel

According to our database, Laura Israel authored at least 2 papers between 1989 and 2024.

Collaborative distances:

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

2024

Story of Your Lazy Function's Life: A Bidirectional Demand Semantics for Mechanized Cost Analysis of Lazy Programs.

Li-yao Xia, Laura Israel, Maite Kramarz, Nicholas Coltharp, Koen Claessen, Stephanie Weirich, Yao Li

CoRR, 2024

1989

Pixel-planes 5: a heterogeneous multiprocessor graphics system using processor-enhanced memories.

Henry Fuchs, John Poulton, John G. Eyles, Trey Greer, Jack Goldfeather, David A. Ellsworth, Steven Molnar, Greg Turk, Brice Tebbs, Laura Israel

Proceedings of the 16th Annual Conference on Computer Graphics and Interactive Techniques, 1989