Search results for "Ohad Shacham"

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

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Omer Bar-Ilan, Oded Fuhrmann, Shlomo Hoory, Ohad Shacham, Ofer Strichman	Reducing the size of resolution proofs in linear time.	STTT	2011	DBLP DOI BibTeX RDF
1	Ohad Shacham, Nathan Grasso Bronson, Alex Aiken, Mooly Sagiv, Martin T. Vechev, Eran Yahav	Testing atomicity of composed concurrent operations.	OOPSLA	2011	DBLP DOI BibTeX RDF
1	Ohad Shacham, Martin T. Vechev, Eran Yahav	Chameleon: adaptive selection of collections.	PLDI	2009	DBLP DOI BibTeX RDF	semantic profiler, java, collections, bloat
1	Omer Bar-Ilan, Oded Fuhrmann, Shlomo Hoory, Ohad Shacham, Ofer Strichman	Linear-Time Reductions of Resolution Proofs.	Haifa Verification Conference	2008	DBLP DOI BibTeX RDF
1	Ohad Shacham, Mooly Sagiv, Assaf Schuster	Scaling model checking of dataraces using dynamic information.	J. Parallel Distrib. Comput.	2007	DBLP DOI BibTeX RDF
1	Ohad Shacham, Karen Yorav	On-The-Fly Resolve Trace Minimization.	DAC	2007	DBLP DOI BibTeX RDF
1	Ohad Shacham, Karen Yorav	Adaptive Application of SAT Solving Techniques.	Electr. Notes Theor. Comput. Sci.	2006	DBLP DOI BibTeX RDF
1	Daniel Geist, Mark Ginzburg, Yoad Lustig, Ishai Rabinovitz, Ohad Shacham, Rachel Tzoref	Supporting SAT based BMC on Finite Path Models.	Electr. Notes Theor. Comput. Sci.	2006	DBLP DOI BibTeX RDF
1	Ohad Shacham, Mooly Sagiv, Assaf Schuster	Scaling model checking of dataraces using dynamic information.	PPOPP	2005	DBLP DOI BibTeX RDF	datarace, lockset, model checking, multithreading, data race detection
1	Ohad Shacham, Emmanuel Zarpas	Tuning the VSIDS Decision Heuristic for Bounded Model Checking.	MTV	2003	DBLP DOI BibTeX RDF

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

Publications of "Ohad Shacham" ( http://dblp.L3S.de/Authors/Ohad_Shacham )