% Encoding: UTF-8


@InProceedings{ Artho04,
	author       = "Cyrille Artho and Klaus Havelund and Armin Biere",
	title        = "Using Block-Local Atomicity to Detect Stale-Value Concurrency Errors",
	booktitle    = "ATVA",
	year         = "2004",
	pages        = "150--164",
	crossref     = "DBLP:conf/atva/2004",
	doi          = "10.1007/978-3-540-30473-1_11",
}

@online{ Parkins2017,
	author       = "Parkins, David",
	booktitle    = "Economist (United Kingdom)",
	issn         = "00130613",
	number       = "9035",
	title        = "{Regulating the internet giants: The world's most valuable resource is no longer oil, but data}",
	url          = "https://www.economist.com/leaders/2017/05/06/the-worlds-most-valuable-resource-is-no-longer-oil-but-data?fbclid=IwAR1EaO3g6OJoDuhrHBNyqQJAqR2NyhvcZ07uexTWa3Hujq0azNMVHKhQido",
	urldate      = "2020-01-21",
	volume       = "413",
	year         = "2017",
}

@InProceedings{ Artho03,
	author       = "C. Artho and K. Havelund and A. Biere",
	title        = "High-Level Data Races",
	booktitle    = "The First International Workshop on Verification and Validation of Enterprise Information Systems (VVEIS'03)",
	year         = "2003",
	url          = "citeseer.ist.psu.edu/artho03highlevel.html",
}

@Article{ Beckman08,
        title        = "Verifying Correct Usage of Atomic Blocks and Typestate",
        author       = "Nels E. Beckman and Kevin Bierhoff and Jonathan Aldrich",
        publisher    = "ACM",
        address      = "New York, NY, USA",
        journal      = "SIGPLAN Not.",
        pages        = "227--244",
        volume       = "43",
        number       = "10",
        year         = "2008",
        issn         = "0362-1340",
        doi          = "10.1145/1449955.1449783",
}

@InProceedings{ Flanagan04,
	author       = "Cormac Flanagan and Stephen N Freund",
	title        = "Atomizer: a dynamic atomicity checker for multithreaded programs",
	booktitle    = "POPL '04: Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages",
	year         = "2004",
	isbn         = "1-58113-729-X",
	pages        = "256--267",
	location     = "Venice, Italy",
	doi          = "10.1145/964001.964023",
	publisher    = "ACM",
}

@Misc{ IBM-Rep,
	title        = "{IBM's Concurrency Testing Repository}",
	howpublished = "\url{http://www.haifa.il.ibm.com/projects/verification/contest/index.html}",
	year         = "2007",
        note         = "Link currently inactive/removed"
}

@Article{ Praun03,
	author       = "Christoph {von Praun} and Thomas R. Gross",
	title        = "Static Detection of Atomicity Violations in Object-Oriented Programs",
	journal      = "Journal of Object Technology",
	volume       = "3",
	number       = "6",
	year         = "2004",
	pages        = "103--122",
	doi          = "10.5381/jot.2004.3.6.a5",
}

@InProceedings{ Shavit95,
	author       = "Nir Shavit and Dan Touitou",
	title        = "Software transactional memory",
	booktitle    = "PODC '95: Proceedings of the fourteenth annual ACM symposium on Principles of distributed computing",
	year         = "1995",
	isbn         = "0-89791-710-3",
	pages        = "204--213",
	location     = "Ottowa, Ontario, Canada",
	doi          = "10.1145/224964.224987",
	publisher    = "ACM",
	address      = "New York, NY, USA",
}

@Book{ Silberschatz06,
	author       = "Abraham Silberschatz and Henry F. Korth and S. Sudarshan",
	title        = "Database System Concepts",
	publisher    = "McGraw-Hill",
	year         = "2006",
	edition      = "Fifth",
	isbn         = "007-124476-X",
}

@Book{ Moss85,
	author       = "Moss, J. Eliot B.",
	title        = "Nested transactions: an approach to reliable distributed computing",
	year         = "1985",
	isbn         = "0-262-13200-1",
	publisher    = "MIT Press",
	address      = "Cambridge, MA, USA",
	doi          = "10.7551/mitpress/6724.001",
}

@Proceedings{ DBLP:conf/atva/2004,
	editor       = "Farn Wang",
	title        = "Automated Technology for Verification and Analysis: Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004. Proceedings",
	booktitle    = "ATVA",
	publisher    = "Springer",
	series       = "Lecture Notes in Computer Science",
	volume       = "3299",
	year         = "2004",
	isbn         = "3-540-23610-4",
	doi          = "10.1007/b101344",
}

@InProceedings{ecoop12-dias,
	author       = "Dias, Ricardo J. and Distefano, Dino and Seco, J. C. and Lourenço, João M.",
	booktitle    = "Proceedings of the 26th European conference on Object-oriented programming ({ECOOP}'12)",
	title        = "Verification of Snapshot Isolation in Transactional Memory Java Programs",
	year         = "2012",
	month        = jun,
	publisher    = "Springer-Verlag",
	doi          = "10.1007/978-3-642-31057-7-28",
}

@online{wiki:shuntingyard,
    author = "Wikipedia contributors",
    title = "Shunting-yard algorithm --- Wikipedia{,} The Free Encyclopedia",
    year = "2017",
    month = "3",
    url = "https://en.wikipedia.org/w/index.php?title=Shunting-yard_algorithm&oldid=817901155",
    urldate = {2018-03-01},
    keywords  = "Dijkstra,prefix"
}

@online{bison,
    author = {{Free Software Foundation}},
    url = {https://www.gnu.org/software/bison/},
    urldate = {2020-07-26},
    keywords = {parser,generator},
    title = {Gnu Bison},
}

@online{flex,
    author = {Vern Paxson},
    url = {https://github.com/westes/flex},
    urldate = {2020-07-26},
    keywords = {lexical,analyser},
    title = {Fast Lexical Analyser},
}