Search results for "Alexey Gotsman"

Found 10 publication records. Showing 10 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Sebastian Burckhardt, Alexey Gotsman, Madanlal Musuvathi, Hongseok Yang	Concurrent Library Correctness on the TSO Memory Model.	ESOP	2012	DBLP DOI BibTeX RDF
1	Alexey Gotsman, Josh Berdine, Byron Cook	Precision and the Conjunction Rule in Concurrent Separation Logic.	Electr. Notes Theor. Comput. Sci.	2011	DBLP DOI BibTeX RDF
1	Alexey Gotsman, Hongseok Yang	Liveness-Preserving Atomicity Abstraction.	ICALP	2011	DBLP DOI BibTeX RDF
1	Alexey Gotsman, Hongseok Yang	Modular verification of preemptive OS kernels.	ICFP	2011	DBLP DOI BibTeX RDF
1	Alexey Gotsman, Byron Cook, Matthew J. Parkinson, Viktor Vafeiadis	Proving that non-blocking algorithms don't block.	POPL	2009	DBLP DOI BibTeX RDF	formal verification, concurrent programming, termination, liveness
1	Alexey Gotsman, Josh Berdine, Byron Cook, Mooly Sagiv	Thread-modular shape analysis.	PLDI	2007	DBLP DOI BibTeX RDF	static analysis, abstract interpretation, concurrent programming, shape analysis
1	Byron Cook, Alexey Gotsman, Andreas Podelski, Andrey Rybalchenko, Moshe Y. Vardi	Proving that programs eventually do something good.	POPL	2007	DBLP DOI BibTeX RDF	formal verification, termination, liveness, software model checking
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	Alexey Gotsman, Josh Berdine, Byron Cook	Interprocedural Shape Analysis with Separated Heap Abstractions.	SAS	2006	DBLP DOI BibTeX RDF
1	Alexey Gotsman, Fabio Massacci, Marco Pistore	Towards an Independent Semantics and Verification Technology for the HLPSL Specification Language.	Electr. Notes Theor. Comput. Sci.	2005	DBLP DOI BibTeX RDF

Displaying result #1 - #10 of 10 (100 per page; Change: )

Publications of "Alexey Gotsman" ( http://dblp.L3S.de/Authors/Alexey_Gotsman )