Sigmund Cherem
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2007–2008
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2008 | PLDI | Inferring locks for atomic sections. | Sigmund Cherem, Trishul M. Chilimbi, Sumit Gulwani |
| 2007 | CC | A Practical Escape and Effect Analysis for Building Lightweight Method Summaries. | Sigmund Cherem, Radu Rugina |
| 2007 | PLDI | Practical memory leak detection using guarded value-flow analysis. | Sigmund Cherem, Lonnie Princehouse, Radu Rugina |
| 2007 | VMCAI | Maintaining Doubly-Linked List Invariants in Shape Analysis with Local Reasoning. | Sigmund Cherem, Radu Rugina |