Gilad Arnold

According to our database¹, Gilad Arnold authored at least 5 papers between 2006 and 2011.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2011

Data-Parallel Language for Correct and Efficient Sparse Matrix Codes.

[BibT_eX]

[DOI]

Gilad Arnold

PhD thesis, 2011

2010

Specifying and verifying sparse matrix codes.

[BibT_eX]

[DOI]

Proceedings of the Proceeding of the 15th ACM SIGPLAN international conference on Functional programming, 2010

2007

Sketching stencils.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, 2007

2006

Combining Shape Analyses by Intersecting Abstractions.

[BibT_eX]

[DOI]

Proceedings of the Verification, 2006

Specialized 3-Valued Logic Shape Analysis Using Structure-Based Refinement and Loose Embedding.

[BibT_eX]

[DOI]

Gilad Arnold

Proceedings of the Static Analysis, 13th International Symposium, 2006

Gilad Arnold

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...