Time handling is commonly considered a difficult problem by programmers due to myriad standards and complexity of time zone definitions. This also complicates scheduling across multiple time zones especially when one takes Daylight Saving Time into account. We present a highly expressive set of APIs, Timere, which can describe scheduling requirements precisely with flexible time zone handling, along with a natural language parser that can handle common English phrases. We also contribute a new date time handling library as part of the work.
Fri 27 AugDisplayed time zone: Seoul change
Fri 27 Aug
Displayed time zone: Seoul change
18:00 - 19:30 | |||
18:00 30mTalk | Deductive Verification of Realistic OCaml Code OCaml Carlos Pinto NOVA LINCS & Universidade da Beira Interior, Portugal, Mário Pereira NOVA LINCS & DI -- Nova School of Science and Technology, Simão Melo de Sousa NOVA LINCS & Universidade da Beira Interior, Portugal | ||
18:30 20mTalk | Parafuzz: Coverage-guided Property Fuzzing for Multicore OCaml programs OCaml Sumit Padhiyar Indian Institue Of Technology, Madras, Adharsh Kamath National Institute of Technology Karnataka, Surathkal, India, KC Sivaramakrishnan IIT Madras Media Attached File Attached | ||
18:50 20mTalk | Wibbily Wobbly Timey Camly OCaml | ||
19:10 20mTalk | Leveraging Formal Specifications to Generate Fuzzing Suites OCaml Nicolas Osborne Tarides, Clément Pascutto Tarides, Université Paris-Saclay, CNRS, ENS Paris-Saclay, LMF |