Digitala Vetenskapliga Arkivet

Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Affine killing: Semantics for stopping the ParT
Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datalogi.ORCID-id: 0000-0001-8654-118X
Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datalogi.
2017 (Engelska)Ingår i: Proc. 2nd International Workshop on Type-Driven Development, New York: ACM Press, 2017Konferensbidrag, Muntlig presentation med publicerat abstract (Refereegranskat)
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.

Ort, förlag, år, upplaga, sidor
New York: ACM Press, 2017.
Nationell ämneskategori
Datavetenskap (datalogi)
Identifikatorer
URN: urn:nbn:se:uu:diva-326193OAI: oai:DiVA.org:uu-326193DiVA, id: diva2:1119356
Konferens
TyDe 2017, September 3, Oxford, UK
Tillgänglig från: 2017-07-04 Skapad: 2017-07-04 Senast uppdaterad: 2018-01-13Bibliografiskt granskad

Open Access i DiVA

fulltext(1990 kB)543 nedladdningar
Filinformation
Filnamn FULLTEXT01.pdfFilstorlek 1990 kBChecksumma SHA-512
737ce8c9fc6a318d01b60ae488759505e1ca4d3ea3571e31463f66405cf667af1cc4810051ac603b82f1e11a7538a2a365e9adf7f20b3de2f2b3c4a487487ca4
Typ fulltextMimetyp application/pdf

Sök vidare i DiVA

Av författaren/redaktören
Fernandez-Reyes, KikoClarke, Dave
Av organisationen
Datalogi
Datavetenskap (datalogi)

Sök vidare utanför DiVA

GoogleGoogle Scholar
Totalt: 543 nedladdningar
Antalet nedladdningar är summan av nedladdningar för alla fulltexter. Det kan inkludera t.ex tidigare versioner som nu inte längre är tillgängliga.

urn-nbn

Altmetricpoäng

urn-nbn
Totalt: 469 träffar
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf