|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 21 occurrences of 18 keywords
|
|
|
|
|
Results
Found 17 publication records. Showing 17 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Ivana Filipovic, Peter W. O'Hearn, Noam Rinetzky, Hongseok Yang |
Abstraction for concurrent objects.  |
Theor. Comput. Sci.  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Hagit Attiya, G. Ramalingam, Noam Rinetzky |
Sequential verification of serializability. |
POPL |
2010 |
DBLP DOI BibTeX RDF |
verification, concurrency, reduction, serializability |
| 1 | Peter W. O'Hearn, Noam Rinetzky, Martin T. Vechev, Eran Yahav, Greta Yorsh |
Verifying linearizability with hindsight. |
PODC |
2010 |
DBLP DOI BibTeX RDF |
hindsight, linearizability, wait-freedom, optimistic concurrency |
| 1 | Shay Litvak, Nurit Dor, Rastislav Bodík, Noam Rinetzky, Mooly Sagiv |
Field-sensitive program dependence analysis. |
SIGSOFT FSE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ivana Filipovic, Peter W. O'Hearn, Noam Rinetzky, Hongseok Yang |
Abstraction for Concurrent Objects. |
ESOP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Noam Rinetzky, G. Ramalingam, Shmuel Sagiv, Eran Yahav |
On the complexity of partially-flow-sensitive alias analysis. |
ACM Trans. Program. Lang. Syst. |
2008 |
DBLP DOI BibTeX RDF |
flow-insensitive, Alias analysis, flow-sensitive |
| 1 | Alexey Loginov, Eran Yahav, Satish Chandra, Stephen Fink, Noam Rinetzky, Mangala Gowri Nanda |
Verifying dereference safety via expanding-scope analysis. |
ISSTA |
2008 |
DBLP DOI BibTeX RDF |
static analysis, abstract interpretation, specification inference |
| 1 | Martin T. Vechev, Eran Yahav, David F. Bacon, Noam Rinetzky |
CGCExplorer: a semi-automated search procedure for provably correct concurrent collectors. |
PLDI |
2007 |
DBLP DOI BibTeX RDF |
verification, synthesis, concurrent garbage collection, concurrent algorithms |
| 1 | Alexey Gotsman, Josh Berdine, Byron Cook, Noam Rinetzky, Mooly Sagiv |
Local Reasoning for Storable Locks and Threads. |
APLAS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Daphna Amit, Noam Rinetzky, Thomas W. Reps, Mooly Sagiv, Eran Yahav |
Comparison Under Abstraction for Verifying Linearizability. |
CAV |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Noam Rinetzky, Arnd Poetzsch-Heffter, Ganesan Ramalingam, Mooly Sagiv, Eran Yahav |
Modular Shape Analysis for Dynamically Encapsulated Programs. |
ESOP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Noam Rinetzky, Jörg Bauer 0001, Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm |
A semantics for procedure local heaps and its abstractions. |
POPL |
2005 |
DBLP DOI BibTeX RDF |
3-valued logic, static analysis, abstract interpretation, shape analysis |
| 1 | Nurit Dor, John Field, Denis Gopan, Tal Lev-Ami, Alexey Loginov, Roman Manevich, G. Ramalingam, Thomas W. Reps, Noam Rinetzky, Mooly Sagiv, Reinhard Wilhelm, Eran Yahav, Greta Yorsh |
Automatic Verification of Strongly Dynamic Software Systems. |
VSTTE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Noam Rinetzky, Mooly Sagiv, Eran Yahav |
Interprocedural Shape Analysis for Cutpoint-Free Programs. |
SAS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Alain Azagury, Vladimir Dreizin, Michael Factor, Ealan Henis, Dalit Naor, Noam Rinetzky, Ohad Rodeh, Julian Satran, Ami Tavory, Lena Yerushalmi |
Towards an Object Stor. (PDF / PS) |
IEEE Symposium on Mass Storage Systems |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Alain Azagury, Ran Canetti, Michael Factor, Shai Halevi, Ealan Henis, Dalit Naor, Noam Rinetzky, Ohad Rodeh, Julian Satran |
A Two Layered Approach for Securing an Object Store Network. |
IEEE Security in Storage Workshop |
2002 |
DBLP DOI BibTeX RDF |
Object Store Device, SAN, Storage Security |
| 1 | Noam Rinetzky, Shmuel Sagiv |
Interprocedural Shape Analysis for Recursive Programs. |
CC |
2001 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #17 of 17 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")