BEGIN:VCALENDAR
VERSION:2.0
PRODID:Linklings LLC
BEGIN:VTIMEZONE
TZID:Europe/Stockholm
X-LIC-LOCATION:Europe/Stockholm
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:19700308T020000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:19701101T020000
RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTAMP:20191206T142455Z
LOCATION:Booth N-230
DTSTART;TZID=Europe/Stockholm:20180626T151500
DTEND;TZID=Europe/Stockholm:20180626T154500
UID:isc_hpc_ISC High Performance 2018_sess144_proj121@linklings.com
SUMMARY:(PP18) MYX - MUST Correctness Checking for YML and XMP Programs
DESCRIPTION:Project Poster\n\n(PP18) MYX - MUST Correctness Checking for Y
 ML and XMP Programs\n\nProtze, Schwitanski, Müller, Murai, Tsuji...\n\nWit
 h rapidly increasing concurrency, the HPC community is looking\nfor new pa
 rallel programming paradigms to make best use\nof current and up-coming ma
 chines. \nUnder the Japanese CREST funding program, the post-petascale HPC
 \nproject developed the XMP programming paradigm, a pragma-based\npartitio
 ned global address space (PGAS) approach.\nGood tool support for debugging
  and performance analysis is \ncrucial for the productivity and therefore 
 acceptance of a \nnew programming paradigm.\nIn this project we investigat
 e which properties of a parallel programing \nlanguage specification may h
 elp tools to highlight correctness and\nperformance issues or help to avoi
 d common issues in parallel programming \nin the first place.\nWe exercise
  these investigations on the example of XMP and also investigate \nthe que
 stion how to improve the reusability of existing correctness and \nperform
 ance analysis tools.\nAs a base for further tool development and portabili
 ty, we propose a tools\ninterface for XMP.\nSimilar as with the OpenMP too
 ls interface, an interested tool can collect\ninformation about the parall
 el execution during runtime and apply analysis\non this information.\n\nTo
  further increase scalability of parallel applications, the control\nflow 
 and data flow of the application can be expressed with coarse-grained \nYM
 L tasks. \nIn this programming model, YML tasks can be implemented with an
 y parallel\nprogramming language. \nFor development it is of interest to t
 he programmer, that the individual\ntasks are correct.\nTherefore we provi
 de a workflow to apply runtime correctness checking to\nYML tasks.\n\nPass
 es: Conference Pass, Exhibition Pass, Programming Models & Languages\n\nTa
 g: Conference Pass, Exhibition Pass, Programming Models & Languages
URL:https://2018.isc-program.com/presentation/?id=proj121&sess=sess144
END:VEVENT
END:VCALENDAR