Laura Israel

According to our database, Laura Israel authored at least 3 papers between 1989 and 2026.

Collaborative distances:

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

2026

Unifying Hindsight and Foresight - Lazy Cost Analysis as Functional Logic Programming.

Nicholas Coltharp, Steven Libby, Laura Israel, Yao Li

Proceedings of the Functional and Logic Programming - 18th International Symposium, 2026

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

Proc. ACM Program. Lang., 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