{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:47:47Z","timestamp":1772164067072,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":61,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,6,11]],"date-time":"2018-06-11T00:00:00Z","timestamp":1528675200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100006393","name":"U.S. Air Force","doi-asserted-by":"publisher","award":["FA8750-15-C-0010"],"award-info":[{"award-number":["FA8750-15-C-0010"]}],"id":[{"id":"10.13039\/100006393","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000185","name":"Defense Advanced Research Projects Agency","doi-asserted-by":"publisher","award":["FA8750-16-2-0032"],"award-info":[{"award-number":["FA8750-16-2-0032"]}],"id":[{"id":"10.13039\/100000185","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["DGE-1256082"],"award-info":[{"award-number":["DGE-1256082"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,6,11]]},"DOI":"10.1145\/3192366.3192407","type":"proceedings-article","created":{"date-parts":[[2018,6,12]],"date-time":"2018-06-12T08:16:01Z","timestamp":1528791361000},"page":"1-14","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":27,"title":["Verifying that web pages have accessible layout"],"prefix":"10.1145","author":[{"given":"Pavel","family":"Panchekha","sequence":"first","affiliation":[{"name":"University of Washington, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Adam T.","family":"Geller","sequence":"additional","affiliation":[{"name":"University of Washington, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael D.","family":"Ernst","sequence":"additional","affiliation":[{"name":"University of Washington, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zachary","family":"Tatlock","sequence":"additional","affiliation":[{"name":"University of Washington, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shoaib","family":"Kamil","sequence":"additional","affiliation":[{"name":"Adobe Research, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2018,6,11]]},"reference":[{"key":"e_1_3_2_2_1_1","unstructured":"Apple. 2017. Human Interface Guidelines. https:\/\/developer.apple. com\/ios\/human-interface-guidelines\/  Apple. 2017. Human Interface Guidelines. https:\/\/developer.apple. com\/ios\/human-interface-guidelines\/"},{"key":"e_1_3_2_2_2_1","unstructured":"Apple. 2017. UI Design Do\u2019s and Don\u2019ts. https:\/\/developer.apple.com\/ design\/tips\/  Apple. 2017. UI Design Do\u2019s and Don\u2019ts. https:\/\/developer.apple.com\/ design\/tips\/"},{"key":"e_1_3_2_2_3_1","unstructured":"Apple Developer. 2017. UIKit Framework. https:\/\/developer.apple. com\/documentation\/uikit  Apple Developer. 2017. UIKit Framework. https:\/\/developer.apple. com\/documentation\/uikit"},{"key":"e_1_3_2_2_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/320719.322588"},{"key":"e_1_3_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2642918.2647357"},{"key":"e_1_3_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/266180.266361"},{"key":"e_1_3_2_2_7_1","unstructured":"Matthew Butterick. 2010. Practical Typography. Matthew Butterick Typography online only.  Matthew Butterick. 2010. Practical Typography. Matthew Butterick Typography online only."},{"key":"e_1_3_2_2_8_1","unstructured":"Lyndon Cerejo. 2011. A User-Centered Approach to Web Design for Mobile Devices. https:\/\/www.smashingmagazine.com\/2011\/05\/ a-user-centered-approach-to-web-design-for-mobile-devices  Lyndon Cerejo. 2011. A User-Centered Approach to Web Design for Mobile Devices. https:\/\/www.smashingmagazine.com\/2011\/05\/ a-user-centered-approach-to-web-design-for-mobile-devices"},{"key":"e_1_3_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2047196.2047228"},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1753326.1753555"},{"key":"e_1_3_2_2_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2012.97"},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2908080.2908103"},{"key":"e_1_3_2_2_13_1","volume-title":"Selenium 2 Testing Tools: Beginner\u2019s Guide","author":"David Burns","unstructured":"Burns David . 2012. Selenium 2 Testing Tools: Beginner\u2019s Guide . Packt Publishing , Birmingham, UK . Burns David. 2012. Selenium 2 Testing Tools: Beginner\u2019s Guide. Packt Publishing, Birmingham, UK."},{"key":"e_1_3_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.5555\/1792734.1792766"},{"key":"e_1_3_2_2_15_1","unstructured":"Diet. 2000. Basic Act on the Formation of an Advanced Information and Telecommunications Network Society. http:\/\/japan.kantei.go.jp\/ it\/it_basiclaw\/it_basiclaw.html  Diet. 2000. Basic Act on the Formation of an Advanced Information and Telecommunications Network Society. http:\/\/japan.kantei.go.jp\/ it\/it_basiclaw\/it_basiclaw.html"},{"key":"e_1_3_2_2_16_1","unstructured":"European Commission. 2016. Directive (EU) 2016\/2102 of the European Parliament and of the Council of 26 October 2016 on the accessibility of the websites and mobile applications of public sector bodies. http:\/\/eur-lex.europa.eu\/legal-content\/EN\/TXT\/?uri=uriserv: OJ.L_.2016.327.01.0001.01.ENG&toc=OJ:L:2016:327:TOC  European Commission. 2016. Directive (EU) 2016\/2102 of the European Parliament and of the Council of 26 October 2016 on the accessibility of the websites and mobile applications of public sector bodies. http:\/\/eur-lex.europa.eu\/legal-content\/EN\/TXT\/?uri=uriserv: OJ.L_.2016.327.01.0001.01.ENG&toc=OJ:L:2016:327:TOC"},{"key":"e_1_3_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1137702.1137709"},{"key":"e_1_3_2_2_18_1","unstructured":"LLC Formstack. 2014. Free Section 508 Compliance Checker. http: \/\/www.508checker.com\/check  LLC Formstack. 2014. Free Section 508 Compliance Checker. http: \/\/www.508checker.com\/check"},{"key":"e_1_3_2_2_19_1","unstructured":"Amy Fowler. 2017. A Swing Architecture Overview. http:\/\/www. oracle.com\/technetwork\/java\/architecture-142923.html  Amy Fowler. 2017. A Swing Architecture Overview. http:\/\/www. oracle.com\/technetwork\/java\/architecture-142923.html"},{"key":"e_1_3_2_2_20_1","unstructured":"Free Website Templates. 2017. Free Website Templates. https:\/\/ freewebsitetemplates.com  Free Website Templates. 2017. Free Website Templates. https:\/\/ freewebsitetemplates.com"},{"key":"e_1_3_2_2_21_1","volume-title":"Verification and Validation (ICST), 2015 IEEE 8th International Conference on. IEEE, IEEE, 1\u20138.","author":"Hall\u00e9 Sylvain","year":"2015","unstructured":"Sylvain Hall\u00e9 , Nicolas Bergeron , Francis Guerin , and Gabriel Le Breton . 2015 . Testing Web Applications Through Layout Constraints. In Software Testing , Verification and Validation (ICST), 2015 IEEE 8th International Conference on. IEEE, IEEE, 1\u20138. Sylvain Hall\u00e9, Nicolas Bergeron, Francis Guerin, and Gabriel Le Breton. 2015. Testing Web Applications Through Layout Constraints. In Software Testing, Verification and Validation (ICST), 2015 IEEE 8th International Conference on. IEEE, IEEE, 1\u20138."},{"key":"e_1_3_2_2_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/142621.142635"},{"key":"e_1_3_2_2_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/1978942.1979262"},{"key":"e_1_3_2_2_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/2695664.2695847"},{"key":"e_1_3_2_2_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2501988.2502006"},{"key":"e_1_3_2_2_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/3092703.3092726"},{"key":"e_1_3_2_2_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/1054972.1054979"},{"key":"e_1_3_2_2_29_1","doi-asserted-by":"publisher","DOI":"10.5555\/950792.951350"},{"key":"e_1_3_2_2_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985870"},{"key":"e_1_3_2_2_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/1772690.1772763"},{"key":"e_1_3_2_2_32_1","unstructured":"Mozilla Developer Network. 2017. float. https:\/\/developer.mozilla.org\/ en-US\/docs\/Web\/CSS\/float  Mozilla Developer Network. 2017. float. https:\/\/developer.mozilla.org\/ en-US\/docs\/Web\/CSS\/float"},{"key":"e_1_3_2_2_33_1","unstructured":"Mozilla Developer Network. 2017. Mobile accessibility checklist. https:\/\/developer.mozilla.org\/en-US\/docs\/Web\/Accessibility\/ Mobile_accessibility_checklist  Mozilla Developer Network. 2017. Mobile accessibility checklist. https:\/\/developer.mozilla.org\/en-US\/docs\/Web\/Accessibility\/ Mobile_accessibility_checklist"},{"key":"e_1_3_2_2_34_1","unstructured":"National Federation for the Blind. 2016. Blindness Statistics. https: \/\/nfb.org\/blindness-statistics  National Federation for the Blind. 2016. Blindness Statistics. https: \/\/nfb.org\/blindness-statistics"},{"key":"e_1_3_2_2_35_1","volume-title":"Proc. 30th IEEE\/ACM International Conference on Automated Software Engineering (ASE) (ASE\u201915)","author":"Tuan","unstructured":"Tuan A. Nguyen and Christoph Csallner. 2015. Reverse engineering mobile application user interfaces with REMAUI . In Proc. 30th IEEE\/ACM International Conference on Automated Software Engineering (ASE) (ASE\u201915) . IEEE, 248\u2013259. Tuan A. Nguyen and Christoph Csallner. 2015. Reverse engineering mobile application user interfaces with REMAUI. In Proc. 30th IEEE\/ACM International Conference on Automated Software Engineering (ASE) (ASE\u201915). IEEE, 248\u2013259."},{"key":"e_1_3_2_2_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/271771.271793"},{"key":"e_1_3_2_2_37_1","unstructured":"Jason Pamental. 2014. A More Modern Scale for Web Typography.  Jason Pamental. 2014. A More Modern Scale for Web Typography."},{"key":"e_1_3_2_2_38_1","unstructured":"Parasoft. 2017. Web UI Testing. https:\/\/www.parasoft.com\/capability\/ web-ui-testing\/  Parasoft. 2017. Web UI Testing. https:\/\/www.parasoft.com\/capability\/ web-ui-testing\/"},{"key":"e_1_3_2_2_39_1","unstructured":"Pearson. 2017. Making E-Learning Accessible. http:\/\/wps.pearsoned. com\/accessibility\/  Pearson. 2017. Making E-Learning Accessible. http:\/\/wps.pearsoned. com\/accessibility\/"},{"key":"e_1_3_2_2_40_1","unstructured":"Android Open Source Project. 2017. UI Overview. https:\/\/developer. android.com\/guide\/topics\/ui\/overview.html  Android Open Source Project. 2017. UI Overview. https:\/\/developer. android.com\/guide\/topics\/ui\/overview.html"},{"key":"e_1_3_2_2_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/354324.354346"},{"key":"e_1_3_2_2_42_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.2010.5609723"},{"key":"e_1_3_2_2_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/2047196.2047247"},{"key":"e_1_3_2_2_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/355460.355549"},{"key":"e_1_3_2_2_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/800265.810742"},{"key":"e_1_3_2_2_46_1","unstructured":"Anthony T. 2012. Finger-friendly design: ideal mobile touchscreen target sizes. https:\/\/www.smashingmagazine.com\/2012\/02\/ finger-friendly-design-ideal-mobile-touchscreen-target-sizes\/  Anthony T. 2012. Finger-friendly design: ideal mobile touchscreen target sizes. https:\/\/www.smashingmagazine.com\/2012\/02\/ finger-friendly-design-ideal-mobile-touchscreen-target-sizes\/"},{"key":"e_1_3_2_2_47_1","unstructured":"US DOJ. 2010. Department of Justice Advanced Notice of Proposed Rulemaking RIN 1190-AA61. https:\/\/www.ada.gov\/anprm2010\/web% 20anprm_2010.htm  US DOJ. 2010. Department of Justice Advanced Notice of Proposed Rulemaking RIN 1190-AA61. https:\/\/www.ada.gov\/anprm2010\/web% 20anprm_2010.htm"},{"key":"e_1_3_2_2_48_1","unstructured":"US DOJ. 2017. ADA Best Practices Tool Kit for State and Local Governments. https:\/\/www.ada.gov\/pcatoolkit\/chap5toolkit.htm  US DOJ. 2017. ADA Best Practices Tool Kit for State and Local Governments. https:\/\/www.ada.gov\/pcatoolkit\/chap5toolkit.htm"},{"key":"e_1_3_2_2_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/357299.357303"},{"key":"e_1_3_2_2_50_1","unstructured":"Minh N. Vu and Susan Ryan. {n. d.}. 2017 Website Accessibility Lawsuit Recap: A Tough Year for Businesses. https:\/\/www.adatitleiii.com\/2018\/01\/ 2017-website-accessibility-lawsuit-recap-a-tough-year-for-businesses\/  Minh N. Vu and Susan Ryan. {n. d.}. 2017 Website Accessibility Lawsuit Recap: A Tough Year for Businesses. https:\/\/www.adatitleiii.com\/2018\/01\/ 2017-website-accessibility-lawsuit-recap-a-tough-year-for-businesses\/"},{"key":"e_1_3_2_2_51_1","unstructured":"W3C. 2008. Web Content Accessibility Guidelines 2.0. https:\/\/www. w3.org\/TR\/WCAG\/  W3C. 2008. Web Content Accessibility Guidelines 2.0. https:\/\/www. w3.org\/TR\/WCAG\/"},{"key":"e_1_3_2_2_52_1","unstructured":"W3C. 2011. Cascading Style Sheets Level 2 Revision 1 (CSS 2.1) Specification. https:\/\/www.w3.org\/TR\/2011\/REC-CSS2-20110607\/  W3C. 2011. Cascading Style Sheets Level 2 Revision 1 (CSS 2.1) Specification. https:\/\/www.w3.org\/TR\/2011\/REC-CSS2-20110607\/"},{"key":"e_1_3_2_2_53_1","unstructured":"W3C. 2016. WAI-ARIA Overview. https:\/\/www.w3.org\/WAI\/intro\/aria  W3C. 2016. WAI-ARIA Overview. https:\/\/www.w3.org\/WAI\/intro\/aria"},{"key":"e_1_3_2_2_54_1","unstructured":"W3Schools. 2017. CSS Dropdowns. https:\/\/www.w3schools.com\/css\/ css_dropdowns.asp  W3Schools. 2017. CSS Dropdowns. https:\/\/www.w3schools.com\/css\/ css_dropdowns.asp"},{"key":"e_1_3_2_2_55_1","doi-asserted-by":"publisher","DOI":"10.1145\/3092703.3092712"},{"key":"e_1_3_2_2_56_1","volume-title":"2015 30th IEEE\/ACM International Conference on Automated Software Engineering (ASE). 709\u2013714","author":"Walsh T. A.","unstructured":"T. A. Walsh , P. McMinn , and G. M. Kapfhammer . 2015. Automatic Detection of Potential Layout Faults Following Changes to Responsive Web Pages (N) . In 2015 30th IEEE\/ACM International Conference on Automated Software Engineering (ASE). 709\u2013714 . T. A. Walsh, P. McMinn, and G. M. Kapfhammer. 2015. Automatic Detection of Potential Layout Faults Following Changes to Responsive Web Pages (N). In 2015 30th IEEE\/ACM International Conference on Automated Software Engineering (ASE). 709\u2013714."},{"key":"e_1_3_2_2_57_1","unstructured":"Web Platform Tests. 2017. web-platform-tests dashboard WPT\/css\/CSS2\/floats. https:\/\/wptdashboard.appspot.com\/css\/ CSS2\/floats  Web Platform Tests. 2017. web-platform-tests dashboard WPT\/css\/CSS2\/floats. https:\/\/wptdashboard.appspot.com\/css\/ CSS2\/floats"},{"key":"e_1_3_2_2_58_1","unstructured":"WebAIM. 2017. WAVE Web Accessibility Tool. http:\/\/wave.webaim. org\/  WebAIM. 2017. WAVE Web Accessibility Tool. http:\/\/wave.webaim. org\/"},{"key":"e_1_3_2_2_59_1","volume-title":"ggplot2: Elegant Graphics for Data Analysis","author":"Wickham Hadley","unstructured":"Hadley Wickham . 2009. ggplot2: Elegant Graphics for Data Analysis . Springer-Verlag New York , New York , New York, USA. http:\/\/ggplot2. org Hadley Wickham. 2009. ggplot2: Elegant Graphics for Data Analysis. Springer-Verlag New York, New York, New York, USA. http:\/\/ggplot2. org"},{"key":"e_1_3_2_2_60_1","volume-title":"The Grammar of Graphics (Statistics and Computing)","author":"Wilkinson Leland","unstructured":"Leland Wilkinson . 2005. The Grammar of Graphics (Statistics and Computing) . Springer-Verlag New York, Inc. , Secaucus, NJ, USA . Leland Wilkinson. 2005. The Grammar of Graphics (Statistics and Computing). Springer-Verlag New York, Inc., Secaucus, NJ, USA."},{"key":"e_1_3_2_2_61_1","doi-asserted-by":"publisher","DOI":"10.1145\/1189748.1189752"},{"key":"e_1_3_2_2_62_1","doi-asserted-by":"publisher","DOI":"10.1145\/108844.109005"}],"event":{"name":"PLDI '18: ACM SIGPLAN Conference on Programming Language Design and Implementation","location":"Philadelphia PA USA","acronym":"PLDI '18","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3192366.3192407","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3192366.3192407","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3192366.3192407","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:07:53Z","timestamp":1750198073000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3192366.3192407"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,6,11]]},"references-count":61,"alternative-id":["10.1145\/3192366.3192407","10.1145\/3192366"],"URL":"https:\/\/doi.org\/10.1145\/3192366.3192407","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/3296979.3192407","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2018,6,11]]},"assertion":[{"value":"2018-06-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}