{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:26:09Z","timestamp":1750220769254,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":4,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,2,27]],"date-time":"2020-02-27T00:00:00Z","timestamp":1582761600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,2,27]]},"DOI":"10.1145\/3385032.3385060","type":"proceedings-article","created":{"date-parts":[[2020,3,25]],"date-time":"2020-03-25T10:04:52Z","timestamp":1585130692000},"page":"1-1","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Formal System Design and Verification"],"prefix":"10.1145","author":[{"given":"Sriram","family":"Rajamani","sequence":"first","affiliation":[{"name":"Microsoft Research India"}]}],"member":"320","published-online":{"date-parts":[[2020,3,25]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1965724.1965743"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2462184"},{"key":"e_1_3_2_1_3_1","first-page":"665","volume-title":"PLDI","author":"Sinha R.","year":"2016","unstructured":"R. Sinha, M. Costa, A. Lal, N. P. Lopes, S. K. Rajamani, S. A. Seshia, and K. Vaswani, \"A design and verification methodology for secure isolated regions,\" in Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2016, Santa Barbara, CA, USA, June 13-17, 2016 (C. Krintz and E. Berger, eds.), pp. 665--681, ACM, 2016."},{"key":"e_1_3_2_1_4_1","first-page":"301","volume-title":"PLDI","author":"Iyer A. S.","year":"2019","unstructured":"A. S. Iyer, M. Jonnalagedda, S. Parthasarathy, A. Radhakrishna, and S. K. Rajamani, \"Synthesis and machine learning for heterogeneous extraction,\" in Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2019, Phoenix, AZ, USA, June 22-26, 2019 (K. S. McKinley and K. Fisher, eds.), pp. 301--315, ACM, 2019."}],"event":{"name":"ISEC 2020: 13th Innovations in Software Engineering Conference","sponsor":["iSOFT iSOFT","SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Jabalpur India","acronym":"ISEC 2020"},"container-title":["Proceedings of the 13th Innovations in Software Engineering Conference (formerly known as India Software Engineering Conference)"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3385032.3385060","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3385032.3385060","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:41:13Z","timestamp":1750200073000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3385032.3385060"}},"subtitle":["A Perspective"],"short-title":[],"issued":{"date-parts":[[2020,2,27]]},"references-count":4,"alternative-id":["10.1145\/3385032.3385060","10.1145\/3385032"],"URL":"https:\/\/doi.org\/10.1145\/3385032.3385060","relation":{},"subject":[],"published":{"date-parts":[[2020,2,27]]},"assertion":[{"value":"2020-03-25","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}