Digitala Vetenskapliga Arkivet

Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Affine killing: Semantics for stopping the ParT
Uppsala University, Disciplinary Domain of Science and Technology, Mathematics and Computer Science, Department of Information Technology, Computing Science.ORCID iD: 0000-0001-8654-118X
Uppsala University, Disciplinary Domain of Science and Technology, Mathematics and Computer Science, Department of Information Technology, Computing Science.
2017 (English)In: Proc. 2nd International Workshop on Type-Driven Development, New York: ACM Press, 2017Conference paper, Oral presentation with published abstract (Refereed)
Abstract [en]

Speculative, parallel abstractions allow that, once a result is computed, the remaining (unnecessary) speculative computations can be safely stopped. However, it is difficult to know when it is safe to stop an ongoing computation. This paper presents a refinement of the parallel speculative ParT abstraction with an affine type system that allows in-place updates, and killing speculative computations using thread-local reasoning. There is ongoing work to prove the soundness of the calculus and implement it in the Encore language.

Place, publisher, year, edition, pages
New York: ACM Press, 2017.
National Category
Computer Sciences
Identifiers
URN: urn:nbn:se:uu:diva-326193OAI: oai:DiVA.org:uu-326193DiVA, id: diva2:1119356
Conference
TyDe 2017, September 3, Oxford, UK
Available from: 2017-07-04 Created: 2017-07-04 Last updated: 2018-01-13Bibliographically approved

Open Access in DiVA

fulltext(1990 kB)543 downloads
File information
File name FULLTEXT01.pdfFile size 1990 kBChecksum SHA-512
737ce8c9fc6a318d01b60ae488759505e1ca4d3ea3571e31463f66405cf667af1cc4810051ac603b82f1e11a7538a2a365e9adf7f20b3de2f2b3c4a487487ca4
Type fulltextMimetype application/pdf

Search in DiVA

By author/editor
Fernandez-Reyes, KikoClarke, Dave
By organisation
Computing Science
Computer Sciences

Search outside of DiVA

GoogleGoogle Scholar
Total: 543 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

urn-nbn

Altmetric score

urn-nbn
Total: 469 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf