{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:56:39Z","timestamp":1725562599837},"publisher-location":"Boston, MA","reference-count":24,"publisher":"Springer US","isbn-type":[{"type":"print","value":"9781441963994"},{"type":"electronic","value":"9781441964007"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-1-4419-6400-7_4","type":"book-chapter","created":{"date-parts":[[2010,8,4]],"date-time":"2010-08-04T20:08:37Z","timestamp":1280952517000},"page":"121-146","source":"Crossref","is-referenced-by-count":0,"title":["Compiling SHIM"],"prefix":"10.1007","author":[{"given":"Stephen A","family":"Edwards","sequence":"first","affiliation":[]},{"given":"Nalini","family":"Vasudevan","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2010,6,26]]},"reference":[{"issue":"5","key":"4_CR1_4","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1109\/32.588521","volume":"23","author":"GJ Holzmann","year":"1997","unstructured":"Holzmann, G.J.: The model checker SPIN. IEEE Transactions on Software Engineering 23(5) (May 1997) 279\u2013294","journal-title":"IEEE Transactions on Software Engineering"},{"key":"4_CR2_4","first-page":"471","volume-title":"The semantics of a simple language for parallel programming","author":"G Kahn","year":"1974","unstructured":"Kahn, G.: The semantics of a simple language for parallel programming. In: Information Processing 74: Proceedings of IFIP Congress 74, Stockholm, Sweden, North-Holland (August 1974) 471\u2013475"},{"issue":"8","key":"4_CR3_4","doi-asserted-by":"publisher","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"CAR Hoare","year":"1978","unstructured":"Hoare, C.A.R.: Communicating sequential processes. Communications of the ACM 21(8) (August 1978) 666\u2013677","journal-title":"Communications of the ACM"},{"key":"4_CR4_4","volume-title":"Scheduling dynamic dataflow graphs with bounded memory using the token flow model. PhD thesis, University of California, Berkeley","author":"JT Buck","year":"1993","unstructured":"Buck, J.T.: Scheduling dynamic dataflow graphs with bounded memory using the token flow model. PhD thesis, University of California, Berkeley (1993). Available as UCB\/ERL M93\/69"},{"key":"4_CR5_4","volume-title":"Bounded scheduling of process networks. PhD thesis, University of California, Berkeley","author":"TM Parks","year":"1995","unstructured":"Parks, T.M.: Bounded scheduling of process networks. PhD thesis, University of California, Berkeley (1995). Available as UCB\/ERL M95\/105"},{"key":"4_CR6_4","first-page":"52","volume-title":"Experiences teaching an FPGA-based embedded systems class","author":"SA Edwards","year":"2005","unstructured":"Edwards, S.A.: Experiences teaching an FPGA-based embedded systems class. In: Proceedings of the Workshop on Embedded Systems Education (WESE), Jersey City, New Jersey (September 2005) 52\u201358"},{"key":"4_CR7_4","volume-title":"SHIM: A language for hardware\/software integration","author":"SA Edwards","year":"2005","unstructured":"Edwards, S.A.: SHIM: A language for hardware\/software integration. In: Proceedings of Synchronous Languages, Applications, and Programming (SLAP). Electronic Notes in Theoretical Computer Science, Edinburgh, Scotland (April 2005)"},{"issue":"1","key":"4_CR8_4","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1109\/JPROC.2002.805826","volume":"91","author":"A Benveniste","year":"2003","unstructured":"Benveniste, A., Caspi, P., Edwards, S.A., Halbwachs, N., Guernic, P.L., de Simone, R.: The synchronous languages 12 years later. Proceedings of the IEEE 91(1) (January 2003) 64\u201383","journal-title":"Proceedings of the IEEE"},{"key":"4_CR9_4","first-page":"125","volume-title":"Efficient code generation from SHIM models","author":"SA Edwards","year":"2006","unstructured":"Edwards, S.A., Tardieu, O.: Efficient code generation from SHIM models. In: Proceedings of Languages, Compilers, and Tools for Embedded Systems (LCTES), Ottawa, Canada (June 2006) 125\u2013134"},{"key":"4_CR10_4","first-page":"37","volume-title":"SHIM: A deterministic model for heterogeneous embedded systems","author":"SA Edwards","year":"2005","unstructured":"Edwards, S.A., Tardieu, O.: SHIM: A deterministic model for heterogeneous embedded systems. In: Proceedings of the International Conference on Embedded Software (Emsoft), Jersey City, New Jersey (September 2005) 37\u201344"},{"issue":"8","key":"4_CR11_4","doi-asserted-by":"publisher","first-page":"854","DOI":"10.1109\/TVLSI.2006.878473","volume":"14","author":"SA Edwards","year":"2006","unstructured":"Edwards, S.A., Tardieu, O.: SHIM: A deterministic model for heterogeneous embedded systems. IEEE Transactions on Very Large Scale Integration (VLSI) Systems 14(8) (August 2006) 854\u2013867","journal-title":"IEEE Transactions on Very Large Scale Integration (VLSI) Systems"},{"key":"4_CR12_4","first-page":"202","volume-title":"R-SHIM: Deterministic concurrency with recursion and shared variables","author":"O Tardieu","year":"2006","unstructured":"Tardieu, O., Edwards, S.A.: R-SHIM: Deterministic concurrency with recursion and shared variables. In: Proceedings of the International Conference on Formal Methods and Models for Codesign (MEMOCODE), Napa, California (July 2006) 202"},{"key":"4_CR13_4","first-page":"71","volume-title":"Static elaboration of recursion for concurrent software","author":"SA Edwards","year":"2008","unstructured":"Edwards, S.A., Zeng, J.: Static elaboration of recursion for concurrent software. In: Proceedings of the Workshop on Partial Evaluation and Program Manipulation (PEPM), San Francisco, California (January 2008) 71\u201380"},{"key":"4_CR14_4","first-page":"142","volume-title":"Scheduling-independent threads and exceptions in SHIM","author":"O Tardieu","year":"2006","unstructured":"Tardieu, O., Edwards, S.A.: Scheduling-independent threads and exceptions in SHIM. In: Proceedings of the International Conference on Embedded Software (Emsoft), Seoul, Korea (October 2006) 142\u2013151"},{"issue":"2","key":"4_CR15_4","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/0167-6423(92)90005-V","volume":"19","author":"G Berry","year":"1992","unstructured":"Berry, G., Gonthier, G.: The Esterel synchronous programming language: Design, semantics, implementation. Science of Computer Programming 19(2) (November 1992) 87\u2013152","journal-title":"Science of Computer Programming"},{"key":"4_CR16_4","first-page":"1498","volume-title":"Programming shared memory multiprocessors with deterministic message-passing concurrency: Compiling SHIM to Pthreads","author":"SA Edwards","year":"2008","unstructured":"Edwards, S.A., Vasudevan, N., Tardieu, O.: Programming shared memory multiprocessors with deterministic message-passing concurrency: Compiling SHIM to Pthreads. In: Proceedings of Design, Automation, and Test in Europe (DATE), Munich, Germany (March 2008) 1498\u20131503"},{"key":"4_CR17_4","first-page":"1626","volume-title":"Celling SHIM: Compiling deterministic concurrency to a heterogeneous multicore","author":"N Vasudevan","year":"2009","unstructured":"Vasudevan, N., Edwards, S.A.: Celling SHIM: Compiling deterministic concurrency to a heterogeneous multicore. In: Proceedings of the Symposium on Applied Computing (SAC), Volume III, Honolulu, Hawaii (March 2009) 1626\u20131631"},{"key":"4_CR18_4","first-page":"49","volume-title":"Static deadlock detection for the SHIM concurrent language","author":"N Vasudevan","year":"2008","unstructured":"Vasudevan, N., Edwards, S.A.: Static deadlock detection for the SHIM concurrent language. In: Proceedings of the International Conference on Formal Methods and Models for Codesign (MEMOCODE), Anaheim, California (June 2008) 49\u201358"},{"key":"4_CR19_4","first-page":"359","volume-title":"Volume 2404 of Lecture Notes in Computer Science","author":"Cimatti, A., Clarke, E.M., Giunchiglia, E., Giunchiglia, F., Pistore, M., Roveri, M., Sebastiani, R., Tacchella, A.: NuSMV version 2: An opensource tool for symbolic model checking. In: Proceedings of the International Conference on Computer-Aided Verification (CAV), Copenhagen, Denmark","year":"2002","unstructured":"Cimatti, A., Clarke, E.M., Giunchiglia, E., Giunchiglia, F., Pistore, M., Roveri, M., Sebastiani, R., Tacchella, A.: NuSMV version 2: An opensource tool for symbolic model checking. In: Proceedings of the International Conference on Computer-Aided Verification (CAV), Copenhagen, Denmark (July 2002). Volume 2404 of Lecture Notes in Computer Science, Springer, Berlin, pp. 359\u2013364"},{"key":"4_CR20_4","volume-title":"Compositional deadlock detection for rendezvous communication","author":"B Shao","year":"2009","unstructured":"Shao, B., Vasudevan, N., Edwards, S.A.: Compositional deadlock detection for rendezvous communication. In: Proceedings of the International Conference on Embedded Software (Emsoft), Grenoble, France (October 2009)"},{"key":"4_CR21_4","volume-title":"Buffer sharing in CSP-like programs","author":"N Vasudevan","year":"2009","unstructured":"Vasudevan, N., Edwards, S.A.: Buffer sharing in CSP-like programs. In: Proceedings of the International Conference on Formal Methods and Models for Codesign (MEMOCODE), Cambridge, Massachusetts (July 2009)"},{"key":"4_CR22_4","first-page":"1","volume-title":"A deterministic multi-way rendezvous library for Haskell","author":"N Vasudevan","year":"2008","unstructured":"Vasudevan, N., Singh, S., Edwards, S.A.: A deterministic multi-way rendezvous library for Haskell. In: Proceedings of the International Parallel and Distributed Processing Symposium (IPDPS), Miami, Florida (April 2008) 1\u201312"},{"key":"4_CR23_4","volume-title":"A determinizing compiler","author":"N Vasudevan","year":"2009","unstructured":"Vasudevan, N., Edwards, S.A.: A determinizing compiler. In: Proceedings of Program Language Design and Implementation (PLDI), Dublin, Ireland (June 2009)"},{"key":"4_CR24_4","first-page":"48","volume-title":"Volume 5501 of Lecture Notes in Computer Science","author":"Vasudevan, N., Tardieu, O., Dolby, J., Edwards, S.A.: Compile-time analysis and specialization of clocks in concurrent programs. In: Proceedings of Compiler Construction (CC), York, United Kingdom","year":"2009","unstructured":"Vasudevan, N., Tardieu, O., Dolby, J., Edwards, S.A.: Compile-time analysis and specialization of clocks in concurrent programs. In: Proceedings of Compiler Construction (CC), York, United Kingdom (March 2009). Volume 5501 of Lecture Notes in Computer Science, Springer, Berlin, pp. 48\u201362"}],"container-title":["Synthesis of Embedded Software"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4419-6400-7_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,30]],"date-time":"2021-04-30T23:41:21Z","timestamp":1619826081000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4419-6400-7_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9781441963994","9781441964007"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-1-4419-6400-7_4","relation":{},"subject":[],"published":{"date-parts":[[2010]]}}}