We stand with Ukraine  

Laura Israel

Orcid: 0009-0003-5008-1785

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

1990
1995
2000
2005
2010
2015
2020
0
1
2
1
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Story of Your Lazy Function's Life: A Bidirectional Demand Semantics for Mechanized Cost Analysis of Lazy Programs.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
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


  Loading...