Laura Israel

Publication Activity (10 Years)

Years Active: 1989-2024
Publications (10 Years): 1

Top Topics

Multiply Sectioned Bayesian Networks

Top Venues

Publications

Li-yao Xia, Laura Israel, Maite Kramarz, Nicholas Coltharp, Koen Claessen, Stephanie Weirich, Yao Li
Story of Your Lazy Function's Life: A Bidirectional Demand Semantics for Mechanized Cost Analysis of Lazy Programs. CoRR (2024)
Henry Fuchs, John Poulton, John G. Eyles, Trey Greer, Jack Goldfeather, David Ellsworth, Steven Molnar, Greg Turk, Brice Tebbs, Laura Israel
Pixel-planes 5: a heterogeneous multiprocessor graphics system using processor-enhanced memories. SIGGRAPH (1989)