The AlphaZ Verifier
| dc.contributor.author | Basupalli, Vamshi, author | |
| dc.contributor.author | Rajopadhye, Sanjay, advisor | |
| dc.contributor.author | Strout, Michelle, committee member | |
| dc.contributor.author | Pasricha, Sudeep, committee member | |
| dc.date.accessioned | 2007-01-03T08:21:12Z | |
| dc.date.available | 2007-01-03T08:21:12Z | |
| dc.date.issued | 2011 | |
| dc.description.abstract | In the context of a compiler research framework, it is useful to have a tool that can certify that a proposed transformation is legal according to the semantics of the source language and a model of the target architecture (sequential, SIMD, shared memory, etc.) This thesis describes such a tool, the AlphaZ Verifier developed for a system for parallelizing and transforming programs in Alphabets, a high level polyhedral equational language. Our Verifier takes an alphabets program and a proposed target mapping as input. The mapping is very general and includes a proposed space-time mapping, a memory mapping, and a tiling specification (specifically which of the dimensions after the space-time mapping are to be tiled). The Verifier first checks whether the space-time mapping is legal, i.e., no dependences are violated. Next it validates the memory mapping by ensuring that no live values are overwritten before their final use. Finally, it checks tiling legality by ensuring that the proposed tiling dimensions are fully permutable. We show how all the necessary checks are reduced to polyhedron emptiness checking so that a single back-end engine can be used for each of these steps. | |
| dc.format.medium | born digital | |
| dc.format.medium | masters theses | |
| dc.identifier | Basupalli_colostate_0053N_10790.pdf | |
| dc.identifier | ETDF2011400281COMS | |
| dc.identifier.uri | http://hdl.handle.net/10217/70665 | |
| dc.language | English | |
| dc.language.iso | eng | |
| dc.publisher | Colorado State University. Libraries | |
| dc.relation.ispartof | 2000-2019 | |
| dc.rights | Copyright and other restrictions may apply. User is responsible for compliance with all applicable laws. For information about copyright law, please see https://libguides.colostate.edu/copyright. | |
| dc.title | The AlphaZ Verifier | |
| dc.type | Text | |
| dcterms.rights.dpla | This Item is protected by copyright and/or related rights (https://rightsstatements.org/vocab/InC/1.0/). You are free to use this Item in any way that is permitted by the copyright and related rights legislation that applies to your use. For other uses you need to obtain permission from the rights-holder(s). | |
| thesis.degree.discipline | Computer Science | |
| thesis.degree.grantor | Colorado State University | |
| thesis.degree.level | Masters | |
| thesis.degree.name | Master of Science (M.S.) |
Files
Original bundle
1 - 1 of 1
Loading...
- Name:
- Basupalli_colostate_0053N_10790.pdf
- Size:
- 578.41 KB
- Format:
- Adobe Portable Document Format
- Description: