{"id":"https://openalex.org/W4401942543","doi":"https://doi.org/10.1145/3678000","title":"Proceedings of the 9th ACM SIGPLAN International Workshop on Type-Driven Development","display_name":"Proceedings of the 9th ACM SIGPLAN International Workshop on Type-Driven Development","publication_year":2024,"publication_date":"2024-08-28","ids":{"openalex":"https://openalex.org/W4401942543","doi":"https://doi.org/10.1145/3678000"},"language":"en","primary_location":{"id":"doi:10.1145/3678000","is_oa":true,"landing_page_url":"http://dx.doi.org/10.1145/3678000","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3678000","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":null,"raw_type":"proceedings"},"type":"paratext","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3678000","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Sandra Alves","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Sandra Alves","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Jesper Cockx","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Jesper Cockx","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Guillaume Allai","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Guillaume Allai","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Robert Atkey","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Robert Atkey","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Julia Belyakova","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Julia Belyakova","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Joseph Eremondi","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Joseph Eremondi","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Amy Felty","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Amy Felty","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Patrik Jansson","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Patrik Jansson","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Tom Schrijvers","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Tom Schrijvers","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Niki Vazou","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Niki Vazou","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Miguel Ramos","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Miguel Ramos","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Nada Amin","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Nada Amin","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Patricia Johann","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Patricia Johann","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Hsiang-Shang Ko","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Hsiang-Shang Ko","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Liam O'connor","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Liam O'connor","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Hannes Saffrich","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Hannes Saffrich","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Peter Thiemann","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Peter Thiemann","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Ivan Todorov","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Ivan Todorov","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Thomas Hansen","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Thomas Hansen","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Marc Etter","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Marc Etter","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Farhad Mehta -Ost","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Farhad Mehta -Ost","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Gabriele Keller","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Gabriele Keller","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Marius Weidner","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Marius Weidner","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Andreas Abel","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Andreas Abel","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Guillaume Allais","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Guillaume Allais","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Aliya Hameer","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Aliya Hameer","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Brigitte Pientka","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Brigitte Pientka","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Alberto Momigliano","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Alberto Momigliano","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Steven Schfer","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Steven Schfer","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Kathrin Stark","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Kathrin Stark","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Andreas Abel","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Andreas Abel","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Joakim hman","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Joakim hman","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Andrea Vezzosi","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Andrea Vezzosi","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Amal Ahmed","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Amal Ahmed","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Guillaume Allais","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Guillaume Allais","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"James Chapman","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"James Chapman","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Conor Mcbride","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Conor Mcbride","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"James Mckinna","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"James Mckinna","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Thorsten Altenkirch","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Thorsten Altenkirch","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Ambrus Kaposi","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Ambrus Kaposi","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Thorsten Altenkirch","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Thorsten Altenkirch","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Bernhard Reus","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Bernhard Reus","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Lennart Augustsson","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Lennart Augustsson","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Magnus Carlsson","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Magnus Carlsson","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Nick Benton","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Nick Benton","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Chung-Kil Hur","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Chung-Kil Hur","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Andrew Kennedy","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Andrew Kennedy","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Conor Mcbride","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Conor Mcbride","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Richard Bird","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Richard Bird","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"G Lambert","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"G Lambert","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Meertens","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Meertens","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Richard Bird","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Richard Bird","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Ross Paterson","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Ross Paterson","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"James Chapman","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"James Chapman","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"James Chapman","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"James Chapman","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Roman Kireev","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Roman Kireev","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Chad Nester","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Chad Nester","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Philip Wadler","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Philip Wadler","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"James Cheney","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"James Cheney","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Ralf Hinze","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Ralf Hinze","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Nils Anders","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Nils Anders","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Danielsson","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Danielsson","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Derek Dreyer","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Derek Dreyer","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Amal Ahmed","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Amal Ahmed","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Lars Birkedal","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Lars Birkedal","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Jean-Yves Girard","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Jean-Yves Girard","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Ralf Jung","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Ralf Jung","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Robbert Krebbers","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Robbert Krebbers","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Jacques-Henri Jourdan","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Jacques-Henri Jourdan","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Ales Bizjak","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Ales Bizjak","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Lars Birkedal","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Lars Birkedal","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Derek Dreyer","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Derek Dreyer","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Wen Kokke","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Wen Kokke","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Jeremy Siek","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Jeremy Siek","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Philip Wadler","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Philip Wadler","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Daniel Leivant","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Daniel Leivant","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Conor Mcbride","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Conor Mcbride","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Ulf Norell","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Ulf Norell","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Casper Bach Poulsen","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Casper Bach Poulsen","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Arjen Rouvoet","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Arjen Rouvoet","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Andrew Tolmach","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Andrew Tolmach","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Robbert Krebbers","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Robbert Krebbers","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Eelco Visser","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Eelco Visser","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"John Reynolds","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"John Reynolds","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"John Reynolds","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"John Reynolds","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"John Reynolds","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"John Reynolds","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Arjen Rouvoet","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Arjen Rouvoet","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Arjen Rouvoet","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Arjen Rouvoet","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Robbert Krebbers","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Robbert Krebbers","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Eelco Visser","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Eelco Visser","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Arjen Rouvoet","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Arjen Rouvoet","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Casper Bach Poulsen","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Casper Bach Poulsen","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Robbert Krebbers","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Robbert Krebbers","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Eelco Visser","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Eelco Visser","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"David Schmidt","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"David Schmidt","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Lau Skorstengaard","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Lau Skorstengaard","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Amin Timany","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Amin Timany","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Robbert Krebbers","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Robbert Krebbers","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Derek Dreyer","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Derek Dreyer","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Lars Birkedal","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Lars Birkedal","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Cas Van Der Rest","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Cas Van Der Rest","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Casper Bach Poulsen","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Casper Bach Poulsen","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Arjen Rouvoet","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Arjen Rouvoet","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Eelco Visser","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Eelco Visser","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Peter Mosses","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Peter Mosses","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Abbott Michael Gordon","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Abbott Michael Gordon","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Thorsten Altenkirch","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Thorsten Altenkirch","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Neil Ghani","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Neil Ghani","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Abbott Michael Gordon","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Abbott Michael Gordon","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Thorsten Altenkirch","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Thorsten Altenkirch","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Neil Ghani","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Neil Ghani","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Andreas Abel","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Andreas Abel","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"James Chapman","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"James Chapman","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Andreas Abel","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Andreas Abel","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Brigitte Pientka","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Brigitte Pientka","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"David Thibodeau","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"David Thibodeau","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Anton Setzer","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Anton Setzer","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Thorsten Altenkirch","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Thorsten Altenkirch","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Neil Ghani","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Neil Ghani","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Peter Hancock","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Peter Hancock","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Conor Mcbride","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Conor Mcbride","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Peter Morris","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Peter Morris","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Steve Awodey","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Steve Awodey","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"James Chapman","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"James Chapman","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Pierre-variste Dagand","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Pierre-variste Dagand","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Conor Mcbride","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Conor Mcbride","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Peter Morris","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Peter Morris","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Ugo Dal","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Ugo Dal","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Lago","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Lago","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Alexis Ghyselen","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Alexis Ghyselen","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Ana De","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Ana De","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Almeida Borges","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Almeida Borges","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Nicolaas Govert","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Nicolaas Govert","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"De Bruijn","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"De Bruijn","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Dominique Devriese","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Dominique Devriese","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Frank Piessens","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Frank Piessens","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Edsger Wybe","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Edsger Wybe","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Dijkstra","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Dijkstra","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Jan Friso","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Jan Friso","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Groote","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Groote","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"M Mousavi","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"M Mousavi","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Matthew Hennessy","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Matthew Hennessy","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Robin Milner","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Robin Milner","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Dexter Kozen","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Dexter Kozen","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Leslie Lamport","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Leslie Lamport","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"C.-H. Luke Ong","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"C.-H. Luke Ong","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Vaughan R Pratt","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Vaughan R Pratt","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Wouter Swierstra","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Wouter Swierstra","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Wouter Swierstra","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Wouter Swierstra","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Tim Baanen","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Tim Baanen","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Li-Yao Xia","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Li-Yao Xia","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Yannick Zakowski","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Yannick Zakowski","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Paul He","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Paul He","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Chung-Kil Hur","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Chung-Kil Hur","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Gregory Malecha","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Gregory Malecha","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Benjamin Pierce","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Benjamin Pierce","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Steve Zdancewic","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Steve Zdancewic","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"P Henk","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"P Henk","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Barendregt","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Barendregt","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Cyril Cohen","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Cyril Cohen","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Robert Constable","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Robert Constable","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Douglas Howe","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Douglas Howe","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Pierre Courtieu","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Pierre Courtieu","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Martin Hofmann","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Martin Hofmann","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Simon Thompson","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Simon Thompson","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"D Turner","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"D Turner","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Tho Winterhalter","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Tho Winterhalter","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Matthieu Sozeau","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Matthieu Sozeau","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Nicolas Tabareau","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Nicolas Tabareau","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"S Gokulnath A R, Chandrakumar","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"S Gokulnath A R, Chandrakumar","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"T D Sudhakar","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"T D Sudhakar","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Thomas Arts","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Thomas Arts","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"John Hughes","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"John Hughes","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Ulf Norell","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Ulf Norell","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Hans Svensson","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Hans Svensson","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Robert Atkey","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Robert Atkey","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Adam Barwell","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Adam Barwell","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Ping Hou","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Ping Hou","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Nobuko Yoshida","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Nobuko Yoshida","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Fangyi Zhou","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Fangyi Zhou","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Johan Bengtsson","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Johan Bengtsson","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Kim Larsen","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Kim Larsen","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Fredrik Larsson","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Fredrik Larsson","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Paul Pettersson","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Paul Pettersson","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Wang Yi","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Wang Yi","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"S Berghofer","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"S Berghofer","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"T Nipkow","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"T Nipkow","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Saleem Bhatti","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Saleem Bhatti","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Edwin Brady","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Edwin Brady","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Kevin Hammond","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Kevin Hammond","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"James Mckinna","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"James Mckinna","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Ana Bove","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Ana Bove","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Peter Dybjer","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Peter Dybjer","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Ulf Norell","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Ulf Norell","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Edwin Brady","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Edwin Brady","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Edwin Brady","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Edwin Brady","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Edwin Brady","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Edwin Brady","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Edwin Brady","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Edwin Brady","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Edwin Brady","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Edwin Brady","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Kevin Hammond","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Kevin Hammond","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Edwin Brady","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Edwin Brady","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Kevin Hammond","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Kevin Hammond","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"F","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"F","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Warren Burton","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Warren Burton","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Rex Page","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Rex Page","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"David Castro-Perez","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"David Castro-Perez","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Francisco Ferreira","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Francisco Ferreira","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Lorenzo Gheri","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Lorenzo Gheri","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Nobuko Yoshida","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Nobuko Yoshida","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Stefanos Chaliasos","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Stefanos Chaliasos","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Thodoris Sotiropoulos","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Thodoris Sotiropoulos","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Georgios-Petros Drosos","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Georgios-Petros Drosos","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Charalambos Mitropoulos","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Charalambos Mitropoulos","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Dimitris Mitropoulos","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Dimitris Mitropoulos","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Diomidis Spinellis","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Diomidis Spinellis","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Zilin Chen","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zilin Chen","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Christine Rizkallah","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Christine Rizkallah","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"O' Liam","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"O' Liam","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Partha Connor","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Partha Connor","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Gerwin Susarla","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Gerwin Susarla","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Gernot Klein","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Gernot Klein","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Gabriele Heiser","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Gabriele Heiser","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Keller","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Keller","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Koen Claessen","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Koen Claessen","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"John Hughes","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"John Hughes","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Koen Claessen","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Koen Claessen","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Michal Palka","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Michal Palka","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Nicholas Smallbone","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Nicholas Smallbone","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"John Hughes","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"John Hughes","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Hans Svensson","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Hans Svensson","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Thomas Arts","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Thomas Arts","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Ulf Wiger","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Ulf Wiger","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Koen Claessen","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Koen Claessen","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"H Micha","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"H Micha","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Paka","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Paka","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Edmund Clarke","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Edmund Clarke","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Orna Grumberg","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Orna Grumberg","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Somesh Jha","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Somesh Jha","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Yuan Lu","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Yuan Lu","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Helmut Veith","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Helmut Veith","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Edmund Clarke","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Edmund Clarke","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Edmund Clarke","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Edmund Clarke","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"William Klieber","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"William Klieber","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Milo Novek","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Milo Novek","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Paolo Zuliani","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Paolo Zuliani","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Krzysztof Czarnecki","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Krzysztof Czarnecki","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"John O'donnell","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"John O'donnell","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Jrg Striegnitz","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Jrg Striegnitz","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Walid Taha","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Walid Taha","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"S Demri","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"S Demri","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"F Laroussinie","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"F Laroussinie","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Ph Schnoebelen","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Ph Schnoebelen","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Maxime Dns","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Maxime Dns","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Ctlin Hrit","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Ctlin Hrit","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Leonidas Lampropoulos","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Leonidas Lampropoulos","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Zoe Paraskevopoulou","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zoe Paraskevopoulou","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Benjamin Pierce","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Benjamin Pierce","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Joo Paulo","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Joo Paulo","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Pizani Flor","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Pizani Flor","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Wouter Swierstra","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Wouter Swierstra","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Yorick Sijsling","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Yorick Sijsling","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Christian Holler","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Christian Holler","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Kim Herzig","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Kim Herzig","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Andreas Zeller","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Andreas Zeller","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"G Holzmann","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"G Holzmann","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"John Hughes","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"John Hughes","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"John Hughes","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"John Hughes","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Shu Lin","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Shu Lin","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Daniel Costello","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Daniel Costello","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Conor Mcbride","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Conor Mcbride","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Liam O' Connor","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Liam O' Connor","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Oskar Wickstrm","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Oskar Wickstrm","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Rohan Padhye","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Rohan Padhye","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Caroline Lemieux","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Caroline Lemieux","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Koushik Sen","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Koushik Sen","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Boqin Qin","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Boqin Qin","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Yilun Chen","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Yilun Chen","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Zeming Yu","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zeming Yu","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Linhai Song","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Linhai Song","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Yiying Zhang","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Yiying Zhang","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Georg Hans","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Georg Hans","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Schaathun","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Schaathun","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Guy Steele","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Guy Steele","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Sebastiano Vigna","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Sebastiano Vigna","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Antti Valmari","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Antti Valmari","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Xuejun Yang","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Xuejun Yang","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Yang Chen","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Yang Chen","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Eric Eide","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Eric Eide","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"John Regehr","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"John Regehr","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Henrique Botelho Guerra","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Henrique Botelho Guerra","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Joo Ferreira","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Joo Ferreira","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Joo Costa","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Joo Costa","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Seco","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Seco","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Marc Etter","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Marc Etter","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Farhad Mehta","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Farhad Mehta","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Yu Feng","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Yu Feng","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Ruben Martins","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Ruben Martins","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Yuepeng Wang","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Yuepeng Wang","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Isil Dillig","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Isil Dillig","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Thomas Reps","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Thomas Reps","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"James Gosling","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"James Gosling","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Bill Joy","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Bill Joy","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Buy Steele","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Buy Steele","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Gilad Bracha","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Gilad Bracha","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Alex Buckley","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Alex Buckley","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Daniel Smith","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Daniel Smith","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Gavin Bierman","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Gavin Bierman","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Zheng Guo","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zheng Guo","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Michael James","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Michael James","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"David Justo","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"David Justo","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Jiaxiao Zhou","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Jiaxiao Zhou","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Ziteng Wang","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Ziteng Wang","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Ranjit Jhala","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Ranjit Jhala","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Nadia Polikarpova","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Nadia Polikarpova","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"B Michael","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"B Michael","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Zheng James","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zheng James","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Ziteng Guo","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Ziteng Guo","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Shivani Wang","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Shivani Wang","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Hila Doshi","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Hila Doshi","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Ranjit Peleg","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Ranjit Peleg","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Nadia Jhala","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Nadia Jhala","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Polikarpova","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Polikarpova","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"David Mandelin","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"David Mandelin","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Lin Xu","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Lin Xu","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Rastislav Bodk","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Rastislav Bodk","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Doug Kimelman","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Doug Kimelman","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Neil Mitchell","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Neil Mitchell","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Neil Mitchell","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Neil Mitchell","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Neil Mitchell","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Neil Mitchell","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Junpeng Ouyang","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Junpeng Ouyang","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Yan Liu","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Yan Liu","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Benjamin Pierce","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Benjamin Pierce","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Tom Schrijvers","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Tom Schrijvers","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"C Bruno","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"C Bruno","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Philip Oliveira","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Philip Oliveira","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Koar Wadler","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Koar Wadler","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Marntirosian","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Marntirosian","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Lukas Wegmann","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Lukas Wegmann","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Farhad Mehta","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Farhad Mehta","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Peter Sommerlad","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Peter Sommerlad","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Mirko Stocker","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Mirko Stocker","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Shraddha Barke","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Shraddha Barke","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Michael James","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Michael James","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Nadia Polikarpova","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Nadia Polikarpova","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Edwin Brady","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Edwin Brady","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Will Crichton","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Will Crichton","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Andrej Dudenhefner","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Andrej Dudenhefner","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Jakob Rehof","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Jakob Rehof","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Jon Fiala","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Jon Fiala","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Shachar Itzhaky","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Shachar Itzhaky","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Peter Mller","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Peter Mller","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Nadia Polikarpova","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Nadia Polikarpova","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Ilya Sergey","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Ilya Sergey","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Jrg Hudelmaier","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Jrg Hudelmaier","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Je Johnson","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Je Johnson","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Ralf Jung","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Ralf Jung","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Hoang-Hai Dang","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Hoang-Hai Dang","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Jeehoon Kang","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Jeehoon Kang","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Derek Dreyer","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Derek Dreyer","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Ralf Jung","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Ralf Jung","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Jacques-Henri Jourdan","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Jacques-Henri Jourdan","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Robbert Krebbers","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Robbert Krebbers","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Derek Dreyer","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Derek Dreyer","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Richard Korf","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Richard Korf","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Fredrik Lindblad","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Fredrik Lindblad","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Marcin Benke","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Marcin Benke","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Martin Hugo","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Martin Hugo","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Lb","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Lb","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Reed Mullanix","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Reed Mullanix","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Jakob Nielsen","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Jakob Nielsen","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Nadia Polikarpova","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Nadia Polikarpova","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Ilya Sergey","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Ilya Sergey","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Lukas Skystedt","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Lukas Skystedt","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Jonathan Sterling","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Jonathan Sterling","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Robert Harper","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Robert Harper","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":null,"display_name":"Philip Wadler","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Philip Wadler","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":413,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":true,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9941999912261963,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9941999912261963,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10715","display_name":"Distributed and Parallel Computing Systems","score":0.9745000004768372,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11986","display_name":"Scientific Computing and Data Management","score":0.965499997138977,"subfield":{"id":"https://openalex.org/subfields/1802","display_name":"Information Systems and Management"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5442209243774414},{"id":"https://openalex.org/keywords/type","display_name":"Type (biology)","score":0.5017054080963135},{"id":"https://openalex.org/keywords/geology","display_name":"Geology","score":0.15802735090255737}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5442209243774414},{"id":"https://openalex.org/C2777299769","wikidata":"https://www.wikidata.org/wiki/Q3707858","display_name":"Type (biology)","level":2,"score":0.5017054080963135},{"id":"https://openalex.org/C127313418","wikidata":"https://www.wikidata.org/wiki/Q1069","display_name":"Geology","level":0,"score":0.15802735090255737},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3678000","is_oa":true,"landing_page_url":"http://dx.doi.org/10.1145/3678000","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3678000","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":null,"raw_type":"proceedings"}],"best_oa_location":{"id":"doi:10.1145/3678000","is_oa":true,"landing_page_url":"http://dx.doi.org/10.1145/3678000","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3678000","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":null,"raw_type":"proceedings"},"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320321090","display_name":"Eesti Teadusagentuur","ror":"https://ror.org/00jjeja18"},{"id":"https://openalex.org/F4320334593","display_name":"Natural Sciences and Engineering Research Council of Canada","ror":"https://ror.org/01h531d29"},{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4401942543.pdf","grobid_xml":"https://content.openalex.org/works/W4401942543.grobid-xml"},"referenced_works_count":116,"referenced_works":["https://openalex.org/W25515096","https://openalex.org/W142612778","https://openalex.org/W156309329","https://openalex.org/W1465777884","https://openalex.org/W1504504841","https://openalex.org/W1511916234","https://openalex.org/W1520174560","https://openalex.org/W1531203382","https://openalex.org/W1534925464","https://openalex.org/W1548537769","https://openalex.org/W1552620091","https://openalex.org/W1557561422","https://openalex.org/W1558175043","https://openalex.org/W1559059528","https://openalex.org/W1572578464","https://openalex.org/W1574570499","https://openalex.org/W1575675278","https://openalex.org/W1577384748","https://openalex.org/W1585023794","https://openalex.org/W1587287586","https://openalex.org/W1589421353","https://openalex.org/W1591780766","https://openalex.org/W1595372275","https://openalex.org/W1611541577","https://openalex.org/W1827112781","https://openalex.org/W1966256736","https://openalex.org/W1997354605","https://openalex.org/W2004098856","https://openalex.org/W2024402979","https://openalex.org/W2026281894","https://openalex.org/W2028419206","https://openalex.org/W2034083013","https://openalex.org/W2074592053","https://openalex.org/W2079640625","https://openalex.org/W2092765780","https://openalex.org/W2096425305","https://openalex.org/W2098456636","https://openalex.org/W2098691999","https://openalex.org/W2103999647","https://openalex.org/W2107589331","https://openalex.org/W2111014638","https://openalex.org/W2115309705","https://openalex.org/W2123360309","https://openalex.org/W2138018877","https://openalex.org/W2138308600","https://openalex.org/W2145108549","https://openalex.org/W2147289514","https://openalex.org/W2150470619","https://openalex.org/W2151384546","https://openalex.org/W2160883697","https://openalex.org/W2163552400","https://openalex.org/W2176580510","https://openalex.org/W2186501980","https://openalex.org/W2274485505","https://openalex.org/W2288908380","https://openalex.org/W2296178001","https://openalex.org/W2402296188","https://openalex.org/W2484189767","https://openalex.org/W2523572481","https://openalex.org/W2532636001","https://openalex.org/W2564286502","https://openalex.org/W2568721247","https://openalex.org/W2601874230","https://openalex.org/W2605220654","https://openalex.org/W2777364118","https://openalex.org/W2779668776","https://openalex.org/W2779850521","https://openalex.org/W2799182172","https://openalex.org/W2883187296","https://openalex.org/W2884840709","https://openalex.org/W2897762392","https://openalex.org/W2901454403","https://openalex.org/W2901489207","https://openalex.org/W2912261953","https://openalex.org/W2913811625","https://openalex.org/W2949578585","https://openalex.org/W2962200727","https://openalex.org/W2966299348","https://openalex.org/W2980703959","https://openalex.org/W2995075587","https://openalex.org/W2995341674","https://openalex.org/W2995917016","https://openalex.org/W2996725384","https://openalex.org/W3002954820","https://openalex.org/W3010301879","https://openalex.org/W3034030180","https://openalex.org/W3037986940","https://openalex.org/W3109017117","https://openalex.org/W3114038009","https://openalex.org/W3139094484","https://openalex.org/W3150082626","https://openalex.org/W3175560211","https://openalex.org/W3184092516","https://openalex.org/W3200599048","https://openalex.org/W3205605633","https://openalex.org/W4213453328","https://openalex.org/W4221159966","https://openalex.org/W4232188856","https://openalex.org/W4240072532","https://openalex.org/W4244007069","https://openalex.org/W4244348917","https://openalex.org/W4244488020","https://openalex.org/W4251125603","https://openalex.org/W4281716253","https://openalex.org/W4287904022","https://openalex.org/W4288278978","https://openalex.org/W4307886767","https://openalex.org/W4310514121","https://openalex.org/W4362659486","https://openalex.org/W4376167477","https://openalex.org/W4379537202","https://openalex.org/W4390603485","https://openalex.org/W4391285994","https://openalex.org/W4394654223","https://openalex.org/W4400499766","https://openalex.org/W6891796055"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052","https://openalex.org/W2382290278","https://openalex.org/W4395014643"],"abstract_inverted_index":{"on":[0,10,63,70,178],"Type-Driven":[1],"Development":[2],"(TyDe":[3],"2024),":[4],"co-located":[5],"with":[6],"the":[7,28,61,68,98,120,128,131,145,162,179],"International":[8],"Conference":[9],"Functional":[11],"Programming":[12,66],"(ICFP":[13],"2024).The":[14],"workshop":[15,53,132,180],"aims":[16],"to":[17,48,157,170],"discuss":[18],"how":[19],"static":[20],"type":[21,114],"information":[22],"may":[23],"be":[24],"used":[25],"effectively":[26],"in":[27,119,161],"development":[29],"of":[30,95,102,125,130,144,147],"computer":[31],"programs,":[32],"bringing":[33],"together":[34],"leading":[35],"researchers":[36],"and":[37,67,83,100,109,116,137,166,188],"practitioners":[38],"who":[39],"are":[40],"using":[41,117],"or":[42,123],"exploring":[43],"types":[44,86,118],"as":[45,87,191],"a":[46,138],"means":[47],"support":[49,111],"program":[50,129],"development.The":[51],"TyDe":[52],"was":[54],"created":[55],"by":[56,141],"merging":[57],"two":[58,75,91],"previous":[59],"workshops:":[60],"Workshop":[62,69],"Dependently":[64],"Typed":[65],"Generic":[71],"Programming,":[72],"thus":[73],"combining":[74],"valuable":[76],"research":[77],"areas":[78],"that":[79,112],"combine":[80],"both":[81,153],"theory":[82],"practice":[84],"having":[85],"their":[88],"foundation.Beyond":[89],"these":[90],"pillars,":[92],"other":[93],"topics":[94],"interest":[96],"include":[97],"design":[99],"implementation":[101],"strongly":[103],"typed":[104],"programming":[105],"languages,":[106],"building":[107],"tooling":[108],"editor":[110],"exploit":[113],"information,":[115],"derivation,":[121],"calculation,":[122],"construction":[124],"programs.This":[126],"year,":[127],"included":[133],"11":[134],"contributed":[135],"talks":[136],"keynote":[139],"talk":[140],"Gabriele":[142],"Keller":[143],"University":[146],"Utrecht.The":[148],"call":[149],"for":[150,195],"submissions":[151,182,194],"sought":[152],"full":[154],"papers":[155],"(up":[156,169],"12":[158],"pages,":[159,172],"published":[160,175],"ACM":[163],"Digital":[164],"Library)":[165],"extended":[167],"abstracts":[168],"3":[171],"not":[173],"formally":[174],"but":[176],"posted":[177],"webpage).All":[181],"received":[183],"(at":[184],"least)":[185],"three":[186],"reviews":[187],"were":[189],"evaluated":[190],"follows:":[192],"all":[193],"relevance":[196]},"counts_by_year":[],"updated_date":"2026-04-21T08:09:41.155169","created_date":"2025-10-10T00:00:00"}