Change search
ReferencesLink to record
Permanent link

Direct link
Synthesizing Code for GPGPUs from Abstract Formal Models
KTH, School of Information and Communication Technology (ICT), Electronic Systems.ORCID iD: 0000-0001-6794-6413
KTH, School of Information and Communication Technology (ICT), Electronic Systems.
KTH, School of Information and Communication Technology (ICT), Electronic Systems.ORCID iD: 0000-0003-4859-3100
2014 (English)In: Forum on specification and Design Languages (FDL), Munich, Germany, October 14-16, 2014 / [ed] Dr. Adam Morawiec and Jinnie Hinderscheit, IEEE conference proceedings, 2014Conference paper (Refereed)
Abstract [en]

Today multiple frameworks exist for elevating thetask of writing programs for GPGPUs, which are massively data-parallel execution platforms. These are needed as writing correctand high-performing applications for GPGPUs is notoriouslydifficult due to the intricacies of the underlying architecture.However, the existing frameworks lack a formal foundation thatmakes them difficult to use together with formal verification,testing, and design space exploration. We present in this papera novel software synthesis tool – called f2cc – which is capableof generating efficient GPGPU code from abstract formal modelsbased on the synchronous model of computation. These modelscan be built using high-level modeling methodologies that hidelow-level architecture details from the developer. The correctnessof the tool has been experimentally validated on models derivedfrom two applications. The experiments also demonstrate that thesynthesized GPGPU code yielded a 28× speedup when executedon a graphics card with 96 cores and compared against asequential version that uses only the CPU.

Place, publisher, year, edition, pages
IEEE conference proceedings, 2014.
Keyword [en]
Analytical models, computational modeling, system- level design, multicore processing
National Category
Computer Systems
Research subject
Computer Science
URN: urn:nbn:se:kth:diva-154842DOI: 10.1109/FDL.2014.7119363ScopusID: 2-s2.0-84940498062ISBN: 979-10-9227-04-7OAI: diva2:758857
Forum on specification and Design Languages(FDL),October 14-16, 2014 Munich, Germany

QC 20141117

Available from: 2014-10-28 Created: 2014-10-28 Last updated: 2015-12-10Bibliographically approved

Open Access in DiVA

hjort-blindell-menne-sander-2014-synthesizing-code-for-gpgpus-from-abstract-formal-models.pdf(284 kB)41 downloads
File information
File name FULLTEXT01.pdfFile size 284 kBChecksum SHA-512
Type fulltextMimetype application/pdf

Other links

Publisher's full textScopusConference website

Search in DiVA

By author/editor
Hjort Blindell, GabrielMenne, ChristianSander, Ingo
By organisation
Electronic Systems
Computer Systems

Search outside of DiVA

GoogleGoogle Scholar
Total: 41 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Altmetric score

Total: 69 hits
ReferencesLink to record
Permanent link

Direct link