Alain Deutsch
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
1990–1997
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1997 | POPL | On the Complexity of Escape Analysis. | Alain Deutsch |
| 1995 | PEPM | Semantic models and abstract interpretation techniques for inductive data structures and pointers | Alain Deutsch |
| 1994 | PLDI | Interprocedural May-Alias Analysis for Pointers: Beyond | Alain Deutsch |
| 1990 | POPL | On Determining Lifetime and Aliasing of Dynamically Allocated Data in Higher-Order Functional Specifications. | Alain Deutsch |