Fri 17 Jun 2022 15:50 - 16:10 at Toucan - Testing & Synthesis Chair(s): Caroline Lemieux
Sat 18 Jun 2022 03:50 - 04:10 at Toucan - Testing & Synthesis

We propose a new approach to extracting data items or field values from semi-structured documents. Examples of such problems include extracting passenger name, departure time and departure airport from a travel itinerary, or extracting price of an item from a purchase receipt. Traditional approaches to data extraction use machine learning or program synthesis to process the whole document to extract the desired fields. Such approaches are not robust to format changes in the document, and the extraction process typically fails even if changes are made to parts of the document that are unrelated to the desired fields of interest. We propose a new approach to data extraction based on the concepts of landmarks and regions. Humans routinely use landmarks in manual processing of documents to zoom in and focus their attention on small regions of interest in the document. Inspired by this human intuition, we use the notion of landmarks in program synthesis to automatically synthesize extraction programs that first extract a small region of interest, and then automatically extract the desired value from the region in a subsequent step. We have implemented our landmark based extraction approach in a tool LRSyn, and show extensive evaluation on documents in HTML as well as scanned images of invoices and receipts. Our results show that the our approach is robust to various types of format changes that routinely happen in real-world settings.

Fri 17 Jun

Displayed time zone: Pacific Time (US & Canada) change

15:30 - 16:50
Testing & SynthesisPLDI at Toucan +12h
Chair(s): Caroline Lemieux University of British Columbia
15:30
20m
Talk
Interpreter-guided Differential JIT Compiler Unit Testingvirtual
PLDI
Guillermo Polito Univ. Lille, CNRS, Inria, Centrale Lille, UMR 9189 CRIStAL, Pharo Consortium, Stéphane Ducasse Inria, Pablo Tesone Univ. Lille, Inria, CNRS, Centrale Lille, UMR 9189 CRIStAL, Pharo Consortium
DOI
15:50
20m
Talk
Landmarks and Regions: A Robust Approach to Data Extractionvirtual
PLDI
Suresh Parthasarathy Microsoft Research, Lincy Pattanaik Microsoft Research, Anirudh Khatry Microsoft Research, Arun Iyer Microsoft Research, Arjun Radhakrishna Microsoft, Sriram Rajamani Microsoft Research, Mohammad Raza Microsoft
DOI
16:10
20m
Talk
Odin: On-Demand Instrumentation with On-the-Fly Recompilationvirtual
PLDI
Mingzhe Wang Tsinghua University, Jie Liang Tsinghua University, Chijin Zhou Tsinghua University, Zhiyong Wu Tsinghua University, Xinyi Xu Tsinghua University, Yu Jiang Tsinghua University
DOI
16:30
20m
Talk
Quickstrom: Property-based acceptance testing with LTL specificationsvirtual
PLDI
Liam O'Connor University of Edinburgh, Oskar Wickström Monoid Consulting
DOI

Sat 18 Jun

Displayed time zone: Pacific Time (US & Canada) change

03:30 - 04:50
Testing & SynthesisPLDI at Toucan
03:30
20m
Talk
Interpreter-guided Differential JIT Compiler Unit Testingvirtual
PLDI
Guillermo Polito Univ. Lille, CNRS, Inria, Centrale Lille, UMR 9189 CRIStAL, Pharo Consortium, Stéphane Ducasse Inria, Pablo Tesone Univ. Lille, Inria, CNRS, Centrale Lille, UMR 9189 CRIStAL, Pharo Consortium
DOI
03:50
20m
Talk
Landmarks and Regions: A Robust Approach to Data Extractionvirtual
PLDI
Suresh Parthasarathy Microsoft Research, Lincy Pattanaik Microsoft Research, Anirudh Khatry Microsoft Research, Arun Iyer Microsoft Research, Arjun Radhakrishna Microsoft, Sriram Rajamani Microsoft Research, Mohammad Raza Microsoft
DOI
04:10
20m
Talk
Odin: On-Demand Instrumentation with On-the-Fly Recompilationvirtual
PLDI
Mingzhe Wang Tsinghua University, Jie Liang Tsinghua University, Chijin Zhou Tsinghua University, Zhiyong Wu Tsinghua University, Xinyi Xu Tsinghua University, Yu Jiang Tsinghua University
DOI
04:30
20m
Talk
Quickstrom: Property-based acceptance testing with LTL specificationsvirtual
PLDI
Liam O'Connor University of Edinburgh, Oskar Wickström Monoid Consulting
DOI