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
18:00 - 19:30
|Deductive Verification of Realistic OCaml Code|
|Parafuzz: Coverage-guided Property Fuzzing for Multicore OCaml programs|
Sumit Padhiyar Indian Institue Of Technology, Madras, Adharsh Kamath National Institute of Technology Karnataka, Surathkal, India, KC Sivaramakrishnan IIT MadrasMedia Attached File Attached
|Wibbily Wobbly Timey Camly|
|Leveraging Formal Specifications to Generate Fuzzing Suites|