BEGIN:VCALENDAR
VERSION:2.0
PRODID:Linklings LLC
BEGIN:VTIMEZONE
TZID:America/New_York
X-LIC-LOCATION:America/New_York
BEGIN:DAYLIGHT
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
TZNAME:EDT
DTSTART:19700308T020000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=2SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
TZNAME:EST
DTSTART:19701101T020000
RRULE:FREQ=YEARLY;BYMONTH=11;BYDAY=1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTAMP:20250626T234540Z
LOCATION:B302
DTSTART;TZID=America/New_York:20241118T114400
DTEND;TZID=America/New_York:20241118T120700
UID:submissions.supercomputing.org_SC24_sess756_ws_worksp108@linklings.com
SUMMARY:Towards Generating Contracts for Scientific Data Analysis Workflow
 s
DESCRIPTION:Anh Duc Vu (University of Bern, Switzerland; Gesellschaft für 
 Informatik) and Timo Kehrer (University of Bern, Switzerland)\n\nTo increa
 se the dependability and portability of scientific data analysis workflows
  (DAWs), recent work has proposed contract-driven design of DAWs, providin
 g verifiable expectations and obligations to ensure that tasks run in a pr
 oper environment and produce correct results.\nHowever, the specification 
 of suitable contracts is still left to the discretion of DAW developers, i
 mposing labor-intensive manual work which likely hampers the widespread ad
 option of contracts in scientific practice. We report about work-in-progre
 ss of developing a pipeline empowered by Large Language Models for automat
 ically generating code contracts from logical workflow descriptions. We in
 stantiate this pipeline within the workflow system Nextflow, and evaluate 
 its contract generation capabilities in an experiment using real-world Nex
 tflow modules. Our findings indicate that we generate a substantial amount
  of contracts serving as starting point for DAW developers. Our approach d
 emonstrates potential in assisting domain scientists with contract-driven 
 design of DAWs, laying the groundwork for its future adoption.\n\nTag: App
 lications and Application Frameworks, Distributed Computing, Middleware an
 d System Software\n\nRegistration Category: Workshop Reg Pass\n\nSession C
 hairs: Silvina Caino-Lores (French Institute for Research in Computer Scie
 nce and Automation (INRIA)) and Anirban Mandal\n\n
END:VEVENT
END:VCALENDAR