{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T03:33:33Z","timestamp":1725680013512},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642298592"},{"type":"electronic","value":"9783642298608"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-29860-8_6","type":"book-chapter","created":{"date-parts":[[2012,5,11]],"date-time":"2012-05-11T13:38:03Z","timestamp":1336743483000},"page":"63-77","source":"Crossref","is-referenced-by-count":0,"title":["Isolating Determinism in Multi-threaded Programs"],"prefix":"10.1007","author":[{"given":"Lukasz","family":"Ziarek","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Siddharth","family":"Tiwary","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Suresh","family":"Jagannathan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"6_CR1","doi-asserted-by":"crossref","unstructured":"Navabi, A., Zhang, X., Jagannathan, S.: Quasi-static Scheduling for Safe Futures. In: PPoPP, pp. 23\u201332. ACM (2008)","DOI":"10.1145\/1345206.1345212"},{"key":"6_CR2","doi-asserted-by":"crossref","unstructured":"Navabi, A., Zhang, X., Jagannathan, S.: Dependence Analysis for Safe Futures. Science of Computer Programming (2011)","DOI":"10.1016\/j.scico.2010.09.002"},{"key":"6_CR3","doi-asserted-by":"crossref","unstructured":"Welc, A., Jagannathan, S., Hosking, A.: Safe Futures for Java. In: OOPSLA, pp. 439\u2013435. ACM (2005)","DOI":"10.1145\/1103845.1094845"},{"key":"6_CR4","doi-asserted-by":"crossref","unstructured":"Flanagan, C., Qadeer, S.: A Type and Effect System for Atomicity. In: PLDI, pp. 338\u2013349 (2003)","DOI":"10.1145\/780822.781169"},{"key":"6_CR5","doi-asserted-by":"publisher","first-page":"501","DOI":"10.1145\/4472.4478","volume":"7","author":"R. Halstead","year":"1985","unstructured":"Halstead, R.: Multilisp: A Language for Concurrent Symbolic Computation. ACM Trans. Program. Lang. Syst.\u00a07, 501\u2013538 (1985)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"6_CR6","unstructured":"http:\/\/java.sun.com\/j2se\/1.5.0\/docs\/guide\/concurrency"},{"key":"6_CR7","unstructured":"Allan, E., Chase, D., Hallett, J., Luchangco, V., Maessen, J., Ryu, S., Steele, G., Tobin-Hochstadt, S.: The Fortress Language Specification Version 1.0. Technical report, Sun Microsystems, Inc. (2008)"},{"key":"6_CR8","doi-asserted-by":"crossref","unstructured":"Charles, P., Grothoff, C., Saraswat, V., Donawa, C., Kielstra, A., Ebcioglu, K., von Praun, C., Sarkar, V.: X10: an object-oriented approach to non-uniform cluster computing. In: OOPSLA, pp. 519\u2013538. ACM (2005)","DOI":"10.1145\/1103845.1094852"},{"key":"6_CR9","doi-asserted-by":"crossref","unstructured":"Liskov, B., Shrira, L.: Promises: Linguistic Support for Efficient Asynchronous Procedure Calls in Distributed Systems. In: PLDI, pp. 260\u2013267. ACM (1988)","DOI":"10.1145\/960116.54016"},{"key":"6_CR10","doi-asserted-by":"crossref","unstructured":"Pratikakis, P., Spacco, J., Hicks, M.: Transparent Proxies for Java Futures. In: OOPSLA, pp. 206\u2013223. ACM (2004)","DOI":"10.1145\/1035292.1028994"},{"key":"6_CR11","doi-asserted-by":"crossref","unstructured":"Zhang, L., Krintz, C., Nagpurkar, P.: Supporting Exception Handling for Futures in Java. In: PPPJ, pp. 175\u2013184. ACM (2007)","DOI":"10.1145\/1294325.1294349"},{"key":"6_CR12","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1017\/S0956796899003329","volume":"9","author":"C. Flanagan","year":"1999","unstructured":"Flanagan, C., Felleisen, M.: The semantics of future and an application. Journal of Functional Programming\u00a09, 1\u201331 (1999)","journal-title":"Journal of Functional Programming"},{"key":"6_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1007\/978-3-642-02053-7_3","volume-title":"Coordination Models and Languages","author":"A. Navabi","year":"2009","unstructured":"Navabi, A., Jagannathan, S.: Exceptionally Safe Futures. In: Field, J., Vasconcelos, V.T. (eds.) COORDINATION 2009. LNCS, vol.\u00a05521, pp. 47\u201365. Springer, Heidelberg (2009)"},{"key":"6_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"316","DOI":"10.1007\/978-3-540-71316-6_22","volume-title":"Programming Languages and Systems","author":"F.S. Boer de","year":"2007","unstructured":"de Boer, F.S., Clarke, D., Johnsen, E.B.: A Complete Guide to the Future. In: De Nicola, R. (ed.) ESOP 2007. LNCS, vol.\u00a04421, pp. 316\u2013330. Springer, Heidelberg (2007)"},{"key":"6_CR15","unstructured":"Adve, S.V., Heumann, S., Komuravelli, R., Overbey, J., Simmons, P., Sung, H., Vakilian, M.: A type and effect system for deterministic parallel java. In: OOPSLA (2009)"},{"key":"6_CR16","first-page":"81","volume-title":"OOPSLA","author":"E.D. Berger","year":"2009","unstructured":"Berger, E.D., Yang, T., Liu, T., Novark, G.: Grace: safe multithreaded programming for c\/c++. In: OOPSLA, pp. 81\u201396. ACM, New York (2009)"},{"key":"6_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1007\/978-3-642-11957-6_10","volume-title":"Programming Languages and Systems","author":"G. Boudol","year":"2010","unstructured":"Boudol, G., Petri, G.: A Theory of Speculative Computation. In: Gordon, A.D. (ed.) ESOP 2010. LNCS, vol.\u00a06012, pp. 165\u2013184. Springer, Heidelberg (2010)"},{"key":"6_CR18","doi-asserted-by":"crossref","unstructured":"Flanagan, C., Freund, S.N., Yi, J.: Velodrome: a sound and complete dynamic atomicity checker for multithreaded programs. In: PLDI, pp. 293\u2013303 (2008)","DOI":"10.1145\/1379022.1375618"}],"container-title":["Lecture Notes in Computer Science","Runtime Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-29860-8_6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T11:19:12Z","timestamp":1620127152000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-29860-8_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642298592","9783642298608"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-29860-8_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}