@article{DBLP:journals/toplas/InversoTFTP22,
	author = {Omar Inverso and Ermenegildo Tomasco and Bernd Fischer and Salvatore La Torre and Gennaro Parlato},
	bibsource = {dblp computer science bibliography, https://dblp.org},
	biburl = {https://dblp.org/rec/journals/toplas/InversoTFTP22.bib},
	date-added = {2022-03-30 17:21:11 +0200},
	date-modified = {2022-03-30 17:21:11 +0200},
	doi = {10.1145/3478536},
	journal = {{ACM} Trans. Program. Lang. Syst.},
	number = {1},
	pages = {1:1--1:50},
	timestamp = {Wed, 23 Feb 2022 11:16:21 +0100},
	title = {Bounded Verification of Multi-threaded Programs via Lazy Sequentialization},
	url = {https://doi.org/10.1145/3478536},
	volume = {44},
	year = {2022},
	Bdsk-Url-1 = {https://doi.org/10.1145/3478536}}

{"_id":"BcDrQowG9qid6uhxm","bibbaseid":"inverso-tomasco-fischer-torre-parlato-boundedverificationofmultithreadedprogramsvialazysequentialization-2022","author_short":["Inverso, O.","Tomasco, E.","Fischer, B.","Torre, S. L.","Parlato, G."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Omar"],"propositions":[],"lastnames":["Inverso"],"suffixes":[]},{"firstnames":["Ermenegildo"],"propositions":[],"lastnames":["Tomasco"],"suffixes":[]},{"firstnames":["Bernd"],"propositions":[],"lastnames":["Fischer"],"suffixes":[]},{"firstnames":["Salvatore","La"],"propositions":[],"lastnames":["Torre"],"suffixes":[]},{"firstnames":["Gennaro"],"propositions":[],"lastnames":["Parlato"],"suffixes":[]}],"bibsource":"dblp computer science bibliography, https://dblp.org","biburl":"https://dblp.org/rec/journals/toplas/InversoTFTP22.bib","date-added":"2022-03-30 17:21:11 +0200","date-modified":"2022-03-30 17:21:11 +0200","doi":"10.1145/3478536","journal":"ACM Trans. Program. Lang. Syst.","number":"1","pages":"1:1–1:50","timestamp":"Wed, 23 Feb 2022 11:16:21 +0100","title":"Bounded Verification of Multi-threaded Programs via Lazy Sequentialization","url":"https://doi.org/10.1145/3478536","volume":"44","year":"2022","bdsk-url-1":"https://doi.org/10.1145/3478536","bibtex":"@article{DBLP:journals/toplas/InversoTFTP22,\n\tauthor = {Omar Inverso and Ermenegildo Tomasco and Bernd Fischer and Salvatore La Torre and Gennaro Parlato},\n\tbibsource = {dblp computer science bibliography, https://dblp.org},\n\tbiburl = {https://dblp.org/rec/journals/toplas/InversoTFTP22.bib},\n\tdate-added = {2022-03-30 17:21:11 +0200},\n\tdate-modified = {2022-03-30 17:21:11 +0200},\n\tdoi = {10.1145/3478536},\n\tjournal = {{ACM} Trans. Program. Lang. Syst.},\n\tnumber = {1},\n\tpages = {1:1--1:50},\n\ttimestamp = {Wed, 23 Feb 2022 11:16:21 +0100},\n\ttitle = {Bounded Verification of Multi-threaded Programs via Lazy Sequentialization},\n\turl = {https://doi.org/10.1145/3478536},\n\tvolume = {44},\n\tyear = {2022},\n\tBdsk-Url-1 = {https://doi.org/10.1145/3478536}}\n\n","author_short":["Inverso, O.","Tomasco, E.","Fischer, B.","Torre, S. L.","Parlato, G."],"key":"DBLP:journals/toplas/InversoTFTP22","id":"DBLP:journals/toplas/InversoTFTP22","bibbaseid":"inverso-tomasco-fischer-torre-parlato-boundedverificationofmultithreadedprogramsvialazysequentialization-2022","role":"author","urls":{"Paper":"https://doi.org/10.1145/3478536"},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"https://drive.google.com/uc?export=download&id=19WpQhoMIwJIL1DMqKywl2YoH2M7MIki5","dataSources":["RKZzE9qbnqyegdbZi","kCt8NvHdC72dHkmfu"],"keywords":[],"search_terms":["bounded","verification","multi","threaded","programs","via","lazy","sequentialization","inverso","tomasco","fischer","torre","parlato"],"title":"Bounded Verification of Multi-threaded Programs via Lazy Sequentialization","year":2022}