ICFP 2021
Sun 22 - Sat 28 August 2021
Fri 27 Aug 2021 18:50 - 19:10 at OCaml - Session 2 Chair(s): Tim McGilchrist

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 Aug

Displayed time zone: Seoul change

18:00 - 19:30
Session 2OCaml at OCaml
Chair(s): Tim McGilchrist Tarides
18:00
30m
Talk
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
20m
Talk
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
20m
Talk
Wibbily Wobbly Timey Camly
OCaml
Di Long Li The Australian National University, Gabriel Radanne Inria
19:10
20m
Talk
Leveraging Formal Specifications to Generate Fuzzing Suites
OCaml
Nicolas Osborne Tarides, Clément Pascutto Tarides, Université Paris-Saclay, CNRS, ENS Paris-Saclay, LMF