{"id":435219,"date":"2017-10-25T12:36:55","date_gmt":"2017-10-25T19:36:55","guid":{"rendered":"https:\/\/www.microsoft.com\/en-us\/research\/?post_type=msr-event&p=435219"},"modified":"2017-11-01T10:38:43","modified_gmt":"2017-11-01T17:38:43","slug":"microsoft-research-splash-2017","status":"publish","type":"msr-event","link":"https:\/\/www.microsoft.com\/en-us\/research\/event\/microsoft-research-splash-2017\/","title":{"rendered":"Microsoft Research @ SPLASH 2017"},"content":{"rendered":"

Venue:<\/strong>\u00a0Hyatt Regency Vancouver (opens in new tab)<\/span><\/a><\/p>\n

Website:<\/strong>\u00a0Systems, Programming, Languages and Applications: Software for Humanity (opens in new tab)<\/span><\/a><\/p>\n","protected":false},"excerpt":{"rendered":"

Venue:\u00a0Hyatt Regency Vancouver Website:\u00a0Systems, Programming, Languages and Applications: Software for Humanity<\/p>\n","protected":false},"featured_media":0,"template":"","meta":{"msr-url-field":"","msr-podcast-episode":"","msrModifiedDate":"","msrModifiedDateEnabled":false,"ep_exclude_from_search":false,"_classifai_error":"","msr_startdate":"2017-10-22","msr_enddate":"2017-10-27","msr_location":"Vancouver, Canada","msr_expirationdate":"","msr_event_recording_link":"","msr_event_link":"","msr_event_link_redirect":false,"msr_event_time":"","msr_hide_region":false,"msr_private_event":false,"footnotes":""},"research-area":[13561,13556,13562,13563,198583,13548,13551,13552,13545,13554,13546,13553,13560,13555,13558,13559,13547,13568],"msr-region":[197900],"msr-event-type":[197941],"msr-video-type":[],"msr-locale":[268875],"msr-program-audience":[],"msr-post-option":[],"msr-impact-theme":[],"class_list":["post-435219","msr-event","type-msr-event","status-publish","hentry","msr-research-area-algorithms","msr-research-area-artificial-intelligence","msr-research-area-computer-vision","msr-research-area-data-platform-analytics","msr-research-area-ecology-environment","msr-research-area-economics","msr-research-area-graphics-and-multimedia","msr-research-area-hardware-devices","msr-research-area-human-language-technologies","msr-research-area-human-computer-interaction","msr-research-area-computational-sciences-mathematics","msr-research-area-medical-health-genomics","msr-research-area-programming-languages-software-engineering","msr-research-area-search-information-retrieval","msr-research-area-security-privacy-cryptography","msr-research-area-social-sciences","msr-research-area-systems-and-networking","msr-research-area-technology-for-emerging-markets","msr-region-north-america","msr-event-type-conferences","msr-locale-en_us"],"msr_about":"Venue:<\/strong>\u00a0Hyatt Regency Vancouver<\/a>\r\n\r\nWebsite:<\/strong>\u00a0Systems, Programming, Languages and Applications: Software for Humanity<\/a>","tab-content":[{"id":0,"name":"About","content":"We are excited to be participating in SPLASH 2017, the ACM SIGPLAN conference that embraces all aspects of software construction and delivery to make it the premier conference at the intersection of programming, languages, and software engineering.\r\n

Committee organizers<\/h2>\r\nTom Ball<\/a>, Gabriel Dos Reis, SPLASH 2017 OOPSLA, Program Committee\r\n\r\nAlex Kolesnichenko, CHESE 2017, Program Committee\r\n\r\nNikolai Tillmann, CHESE 2017, Steering Committee\r\n\r\nRob DeLine<\/a>, LIVE 2017, Program Committee\r\n\r\nGustavo Soares, PLATEAU 2017, Organizing Committee, Session Chair of Tools and Environments\r\n\r\nLiam Kiemele, Donna Long, SAVR 2017, Program Committee\r\n\r\nTihamer Levendovszky, SLE 2017, Program Committee\r\n

Sessions<\/h2>\r\nD\u00e9j\u00e0Vu: A Map of Code Duplicates on GitHub<\/a>, Hitesh Sajnani\r\n\r\nOne \u03bb at a time: What do we know about presenting human-friendly output from program analysis tools?<\/a>, Titus Barik\r\n\r\nSeam: Provably Safe Local Edits on Graphs<\/a>, Rahul Sharma<\/a>\r\n\r\nSynthesis of Data Completion Scripts using Finite Tree Automata<\/a>, Rishabh Singh<\/a>\r\n\r\nGeo-Distribution of Actor-Based Services<\/a>, Philip Bernstein<\/a>, Sebastian Burckhardt<\/a>, Sergey Bykov<\/a>, Alok Kumbhare<\/a>, Muntasir Raihan Rahman, Jorgen Thelin<\/a>\r\n\r\nFinding Bugs and Insights in Semi-structured Data<\/a>, Benjamin Zorn<\/a>\r\n\r\nA Volatile-by-Default JVM for Server Applications<\/a>, Madan Musuvathi<\/a>\r\n\r\nProject Snowflake: Non-blocking Safe Manual Memory Management for .NET<\/a>, Matthew Parkinson<\/a>, Dimitrios Vytiniotis<\/a>, Kapil Vaswani<\/a>, Manuel Costa<\/a>, Pantazis Deligiannis<\/a>\r\n\r\nSynthesizing Configuration File Specifications with Association Rule Learning<\/a>, Aaron Shim\r\n\r\nSemantics of Asynchronous JavaScript<\/a>, Mark Marron<\/a>, Daan Leijen<\/a>\r\n\r\nStatic Stages for Heterogeneous Programming<\/a>, Todd Mytkowicz<\/a>\r\n

Keynote talks<\/h2>\r\nAGREE! Keynote: Advanced Features of the Orleans Programming Framework<\/a>, Philip Bernstein<\/a>\r\n\r\nPLATEAU Keynote: Usability Design Space in Programming by Examples<\/a>, Sumit Gulwani<\/a>\r\n\r\nDon\u2019t Hit Refresh: Towards Automatic Reactivity for Distributed Services<\/a>, Sebastian Burckhardt<\/a>\r\n

Panelists<\/h2>\r\n50 Years of Language Evolution: From Simula\u201967 to the Future<\/a>, Sumit Gulwani<\/a>\r\n\r\nIndustry & Academia<\/a>, Benjamin Zorn<\/a>\r\n

Workshops<\/h2>\r\nThe Influence of Programming Languages on Augmenting Human Understanding<\/a>, Benjamin Zorn<\/a>\r\n\r\nPLMW Speakers<\/a>, Benjamin Zorn<\/a>"}],"msr_startdate":"2017-10-22","msr_enddate":"2017-10-27","msr_event_time":"","msr_location":"Vancouver, Canada","msr_event_link":"","msr_event_recording_link":"","msr_startdate_formatted":"October 22, 2017","msr_register_text":"Watch now","msr_cta_link":"","msr_cta_text":"","msr_cta_bi_name":"","featured_image_thumbnail":null,"event_excerpt":"We are excited to be participating in SPLASH 2017, the ACM SIGPLAN conference that embraces all aspects of software construction and delivery to make it the premier conference at the intersection of programming, languages, and software engineering. Committee organizers Tom Ball, Gabriel Dos Reis, SPLASH 2017 OOPSLA, Program Committee Alex Kolesnichenko, CHESE 2017, Program Committee Nikolai Tillmann, CHESE 2017, Steering Committee Rob DeLine, LIVE 2017, Program Committee Gustavo Soares, PLATEAU 2017, Organizing Committee, Session Chair…","msr_research_lab":[199561,199565],"related-researchers":[],"msr_impact_theme":[],"related-academic-programs":[],"related-groups":[],"related-projects":[],"related-opportunities":[],"related-publications":[],"related-videos":[],"related-posts":[],"_links":{"self":[{"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-event\/435219"}],"collection":[{"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-event"}],"about":[{"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/types\/msr-event"}],"version-history":[{"count":3,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-event\/435219\/revisions"}],"predecessor-version":[{"id":435228,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-event\/435219\/revisions\/435228"}],"wp:attachment":[{"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/media?parent=435219"}],"wp:term":[{"taxonomy":"msr-research-area","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/research-area?post=435219"},{"taxonomy":"msr-region","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-region?post=435219"},{"taxonomy":"msr-event-type","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-event-type?post=435219"},{"taxonomy":"msr-video-type","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-video-type?post=435219"},{"taxonomy":"msr-locale","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-locale?post=435219"},{"taxonomy":"msr-program-audience","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-program-audience?post=435219"},{"taxonomy":"msr-post-option","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-post-option?post=435219"},{"taxonomy":"msr-impact-theme","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-impact-theme?post=435219"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}