| dc.contributor.author | Chen, Jiahao | |
| dc.contributor.author | Edelman, Alan | |
| dc.date.accessioned | 2017-06-01T20:21:12Z | |
| dc.date.available | 2017-06-01T20:21:12Z | |
| dc.date.issued | 2015-03 | |
| dc.date.submitted | 2014-11 | |
| dc.identifier.isbn | 978-1-4799-7020-9 | |
| dc.identifier.uri | http://hdl.handle.net/1721.1/109518 | |
| dc.description.abstract | Polymorphism in programming languages enables code reuse. Here, we show that polymorphism has broad applicability far beyond computations for technical computing: parallelism in distributed computing, presentation of visualizations of runtime data flow, and proofs for formal verification of correctness. The ability to reuse a single codebase for all these purposes provides new ways to understand and verify parallel programs. | en_US |
| dc.description.sponsorship | Intel Science and Technology Center for Big Data | en_US |
| dc.description.sponsorship | Massachusetts Institute of Technology. Deshpande Center (Innovation Grant) | en_US |
| dc.description.sponsorship | United States. Defense Advanced Research Projects Agency. XDATA Program | en_US |
| dc.description.sponsorship | National Science Foundation (U.S.) (Grant DMS- 1312831) | en_US |
| dc.language.iso | en_US | |
| dc.publisher | Institute of Electrical and Electronics Engineers (IEEE) | en_US |
| dc.relation.isversionof | http://dx.doi.org/10.1109/HPTCDL.2014.9 | en_US |
| dc.rights | Creative Commons Attribution-Noncommercial-Share Alike | en_US |
| dc.rights.uri | http://creativecommons.org/licenses/by-nc-sa/4.0/ | en_US |
| dc.source | arXiv | en_US |
| dc.title | Parallel Prefix Polymorphism Permits Parallelization, Presentation & Proof | en_US |
| dc.type | Article | en_US |
| dc.identifier.citation | Chen, Jiahao, and Alan Edelman. “Parallel Prefix Polymorphism Permits Parallelization, Presentation Proof.” 2014 First Workshop for High Performance Technical Computing in Dynamic Languages, 17 November, 2014, New Orleans, LA, USA, IEEE, 2014. 47–56. | en_US |
| dc.contributor.department | Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory | en_US |
| dc.contributor.department | Massachusetts Institute of Technology. Department of Mathematics | en_US |
| dc.contributor.mitauthor | Chen, Jiahao | |
| dc.contributor.mitauthor | Edelman, Alan | |
| dc.relation.journal | 2014 First Workshop for High Performance Technical Computing in Dynamic Languages | en_US |
| dc.eprint.version | Original manuscript | en_US |
| dc.type.uri | http://purl.org/eprint/type/ConferencePaper | en_US |
| eprint.status | http://purl.org/eprint/status/NonPeerReviewed | en_US |
| dspace.orderedauthors | Chen, Jiahao; Edelman, Alan | en_US |
| dspace.embargo.terms | N | en_US |
| dc.identifier.orcid | https://orcid.org/0000-0001-7676-3133 | |
| mit.license | OPEN_ACCESS_POLICY | en_US |
