Samin S. Ishtiaq
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
1999–2001
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2001 | POPL | BI as an Assertion Language for Mutable Data Structures. | Samin S. Ishtiaq, Peter W. O'Hearn |
| 2000 | PPDP | Semantic analysis of pointer aliasing, allocation and disposal in Hoare logic351292. | Cristiano Calcagno, Samin S. Ishtiaq, Peter W. O'Hearn |
| 1999 | CSL | Kripke Resource Models of a Dependently-Typed, Bunched lambda-Calculus. | Samin S. Ishtiaq, David J. Pym |