Search results for "may-happen-in-parallel"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
110	Shivali Agarwal, Rajkishore Barik, Vivek Sarkar, R. K. Shyamasundar	May-happen-in-parallel analysis of X10 programs.	PPoPP	2007	DBLP DOI BibTeX RDF	may-happen-in-parallel, parallel program analysis, concurrent, atomic, activity, place, X10
56	Gleb Naumovich, George S. Avrunin	A Conservative Data Flow Algorithm for Detecting All Pairs of Statement That May Happen in Parallel.	SIGSOFT FSE	1998	DBLP DOI BibTeX RDF
44	Rajkishore Barik	Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs.	LCPC	2005	DBLP DOI BibTeX RDF
33	Qing Zhou, Lian Li 0002, Lei Wang 0004, Jingling Xue, Xiaobing Feng 0002	May-happen-in-parallel analysis with static vector clocks.	CGO	2018	DBLP DOI BibTeX RDF
33	Elvira Albert, Samir Genaim, Pablo Gordillo	May-Happen-in-Parallel Analysis with Returned Futures.	ATVA	2017	DBLP DOI BibTeX RDF
33	Elvira Albert, Antonio Flores-Montoya, Samir Genaim, Enrique Martin-Martin	May-Happen-in-Parallel Analysis for Actor-Based Concurrency.	ACM Trans. Comput. Log.	2016	DBLP DOI BibTeX RDF
33	Che-Wei Chang, Rainer Dömer	May-happen-in-parallel analysis of ESL models using UPPAAL model checking.	DATE	2015	DBLP BibTeX RDF
33	Elvira Albert, Antonio Flores-Montoya, Samir Genaim	May-Happen-in-Parallel Analysis with Condition Synchronization.	FOPARA	2015	DBLP DOI BibTeX RDF
33	Elvira Albert, Samir Genaim, Pablo Gordillo	May-Happen-in-Parallel Analysis for Asynchronous Programs with Inter-Procedural Synchronization.	SAS	2015	DBLP DOI BibTeX RDF
33	Peng Di, Yulei Sui, Ding Ye, Jingling Xue	Region-Based May-Happen-in-Parallel Analysis for C Programs.	ICPP	2015	DBLP DOI BibTeX RDF
33	Weiwei Chen 0001, Xu Han 0002, Rainer Dömer	May-happen-in-parallel analysis based on segment graphs for safe ESL models.	DATE	2014	DBLP DOI BibTeX RDF
33	Elvira Albert, Samir Genaim, Enrique Martin-Martin	May-Happen-in-Parallel Analysis for Priority-Based Scheduling.	LPAR	2013	DBLP DOI BibTeX RDF
33	Antonio Flores-Montoya, Elvira Albert, Samir Genaim	May-Happen-in-Parallel Based Deadlock Analysis for Concurrent Objects.	FMOODS/FORTE	2013	DBLP DOI BibTeX RDF
33	Congming Chen, Wei Huo, Xiaobing Feng 0002	Making it practical and effective: fast and precise may-happen-in-parallel analysis.	PACT	2012	DBLP DOI BibTeX RDF
33	Elvira Albert, Antonio Flores-Montoya, Samir Genaim	MayPar: a may-happen-in-parallel analyzer for concurrent objects.	SIGSOFT FSE	2012	DBLP DOI BibTeX RDF
33	Jonathan K. Lee, Jens Palsberg, Rupak Majumdar, Hong Hong	Efficient May Happen in Parallel Analysis for Async-Finish Parallelism.	SAS	2012	DBLP DOI BibTeX RDF
33	Elvira Albert, Antonio Flores-Montoya, Samir Genaim	Analysis of May-Happen-in-Parallel in Concurrent Objects.	FMOODS/FORTE	2012	DBLP DOI BibTeX RDF
33	Congming Chen, Wei Huo, Lung Li, Xiaobing Feng 0002, Kai Xing	Can We Make It Faster? Efficient May-Happen-in-Parallel Analysis Revisited.	PDCAT	2012	DBLP DOI BibTeX RDF
11	Jonathan K. Lee, Jens Palsberg	Featherweight X10: a core calculus for async-finish parallelism.	PPoPP	2010	DBLP DOI BibTeX RDF	parallelism, static analysis, operational semantics
11	Richard L. Halpert, Christopher J. F. Pickett, Clark Verbrugge	Component-Based Lock Allocation.	PACT	2007	DBLP DOI BibTeX RDF
11	Lin Li, Clark Verbrugge	A Practical MHP Information Analysis for Concurrent Java Programs.	LCPC	2004	DBLP DOI BibTeX RDF
11	Gleb Naumovich, George S. Avrunin, Lori A. Clarke	An Efficient Algorithm for Computing MHP Information for Concurrent Java Programs.	ESEC / SIGSOFT FSE	1999	DBLP DOI BibTeX RDF