{"id":435219,"date":"2017-10-25T12:36:55","date_gmt":"2017-10-25T19:36:55","guid":{"rendered":"https:\/\/cm-edgetun.pages.dev\/en-us\/research\/?post_type=msr-event&p=435219"},"modified":"2025-08-06T11:57:34","modified_gmt":"2025-08-06T18:57:34","slug":"microsoft-research-splash-2017","status":"publish","type":"msr-event","link":"https:\/\/cm-edgetun.pages.dev\/en-us\/research\/event\/microsoft-research-splash-2017\/","title":{"rendered":"Microsoft Research @ SPLASH 2017"},"content":{"rendered":"\n\n

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>Opens in a new tab<\/span><\/p>\n

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.<\/p>\n

Committee organizers<\/h2>\n

Tom Ball<\/a>, Gabriel Dos Reis, SPLASH 2017 OOPSLA, Program Committee<\/p>\n

Alex Kolesnichenko, CHESE 2017, Program Committee<\/p>\n

Nikolai Tillmann, CHESE 2017, Steering Committee<\/p>\n

Rob DeLine<\/a>, LIVE 2017, Program Committee<\/p>\n

Gustavo Soares, PLATEAU 2017, Organizing Committee, Session Chair of Tools and Environments<\/p>\n

Liam Kiemele, Donna Long, SAVR 2017, Program Committee<\/p>\n

Tihamer Levendovszky, SLE 2017, Program Committee<\/p>\n

Sessions<\/h2>\n

D\u00e9j\u00e0Vu: A Map of Code Duplicates on GitHub (opens in new tab)<\/span><\/a>, Hitesh Sajnani<\/p>\n

One \u03bb at a time: What do we know about presenting human-friendly output from program analysis tools? (opens in new tab)<\/span><\/a>, Titus Barik<\/p>\n

Seam: Provably Safe Local Edits on Graphs (opens in new tab)<\/span><\/a>, Rahul Sharma<\/a><\/p>\n

Synthesis of Data Completion Scripts using Finite Tree Automata (opens in new tab)<\/span><\/a>, Rishabh Singh<\/a><\/p>\n

Geo-Distribution of Actor-Based Services (opens in new tab)<\/span><\/a>, Philip Bernstein<\/a>, Sebastian Burckhardt<\/a>, Sergey Bykov<\/a>, Alok Kumbhare<\/a>, Muntasir Raihan Rahman, Jorgen Thelin<\/a><\/p>\n

Finding Bugs and Insights in Semi-structured Data (opens in new tab)<\/span><\/a>, Benjamin Zorn<\/a><\/p>\n

A Volatile-by-Default JVM for Server Applications (opens in new tab)<\/span><\/a>, Madan Musuvathi<\/a><\/p>\n

Project Snowflake: Non-blocking Safe Manual Memory Management for .NET (opens in new tab)<\/span><\/a>, Matthew Parkinson<\/a>, Dimitrios Vytiniotis<\/a>, Kapil Vaswani<\/a>, Manuel Costa<\/a>, Pantazis Deligiannis<\/a><\/p>\n

Synthesizing Configuration File Specifications with Association Rule Learning (opens in new tab)<\/span><\/a>, Aaron Shim<\/p>\n

Semantics of Asynchronous JavaScript (opens in new tab)<\/span><\/a>, Mark Marron<\/a>, Daan Leijen<\/a><\/p>\n

Static Stages for Heterogeneous Programming (opens in new tab)<\/span><\/a>, Todd Mytkowicz<\/a><\/p>\n

Keynote talks<\/h2>\n

AGREE! Keynote: Advanced Features of the Orleans Programming Framework (opens in new tab)<\/span><\/a>, Philip Bernstein<\/a><\/p>\n

PLATEAU Keynote: Usability Design Space in Programming by Examples (opens in new tab)<\/span><\/a>, Sumit Gulwani<\/a><\/p>\n

Don\u2019t Hit Refresh: Towards Automatic Reactivity for Distributed Services (opens in new tab)<\/span><\/a>, Sebastian Burckhardt<\/a><\/p>\n

Panelists<\/h2>\n

50 Years of Language Evolution: From Simula\u201967 to the Future (opens in new tab)<\/span><\/a>, Sumit Gulwani<\/a><\/p>\n

Industry & Academia (opens in new tab)<\/span><\/a>, Benjamin Zorn<\/a><\/p>\n

Workshops<\/h2>\n

The Influence of Programming Languages on Augmenting Human Understanding (opens in new tab)<\/span><\/a>, Benjamin Zorn<\/a><\/p>\n

PLMW Speakers (opens in new tab)<\/span><\/a>, Benjamin Zorn<\/a>Opens in a new tab<\/span><\/p>\n","protected":false},"excerpt":{"rendered":"

Venue:\u00a0Hyatt Regency Vancouver (opens in new tab) Website:\u00a0Systems, Programming, Languages and Applications: Software for Humanity (opens in new tab)Opens in a new tab 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 […]<\/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,"msr_hide_image_in_river":0,"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":"\n\n

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>Opens in a new tab<\/span><\/p>\n

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.<\/p>\n

Committee organizers<\/h2>\n

Tom Ball<\/a>, Gabriel Dos Reis, SPLASH 2017 OOPSLA, Program Committee<\/p>\n

Alex Kolesnichenko, CHESE 2017, Program Committee<\/p>\n

Nikolai Tillmann, CHESE 2017, Steering Committee<\/p>\n

Rob DeLine<\/a>, LIVE 2017, Program Committee<\/p>\n

Gustavo Soares, PLATEAU 2017, Organizing Committee, Session Chair of Tools and Environments<\/p>\n

Liam Kiemele, Donna Long, SAVR 2017, Program Committee<\/p>\n

Tihamer Levendovszky, SLE 2017, Program Committee<\/p>\n

Sessions<\/h2>\n

D\u00e9j\u00e0Vu: A Map of Code Duplicates on GitHub<\/a>, Hitesh Sajnani<\/p>\n

One \u03bb at a time: What do we know about presenting human-friendly output from program analysis tools?<\/a>, Titus Barik<\/p>\n

Seam: Provably Safe Local Edits on Graphs<\/a>, Rahul Sharma<\/a><\/p>\n

Synthesis of Data Completion Scripts using Finite Tree Automata<\/a>, Rishabh Singh<\/a><\/p>\n

Geo-Distribution of Actor-Based Services<\/a>, Philip Bernstein<\/a>, Sebastian Burckhardt<\/a>, Sergey Bykov<\/a>, Alok Kumbhare<\/a>, Muntasir Raihan Rahman, Jorgen Thelin<\/a><\/p>\n

Finding Bugs and Insights in Semi-structured Data<\/a>, Benjamin Zorn<\/a><\/p>\n

A Volatile-by-Default JVM for Server Applications<\/a>, Madan Musuvathi<\/a><\/p>\n

Project 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><\/p>\n

Synthesizing Configuration File Specifications with Association Rule Learning<\/a>, Aaron Shim<\/p>\n

Semantics of Asynchronous JavaScript<\/a>, Mark Marron<\/a>, Daan Leijen<\/a><\/p>\n

Static Stages for Heterogeneous Programming<\/a>, Todd Mytkowicz<\/a><\/p>\n

Keynote talks<\/h2>\n

AGREE! Keynote: Advanced Features of the Orleans Programming Framework<\/a>, Philip Bernstein<\/a><\/p>\n

PLATEAU Keynote: Usability Design Space in Programming by Examples<\/a>, Sumit Gulwani<\/a><\/p>\n

Don\u2019t Hit Refresh: Towards Automatic Reactivity for Distributed Services<\/a>, Sebastian Burckhardt<\/a><\/p>\n

Panelists<\/h2>\n

50 Years of Language Evolution: From Simula\u201967 to the Future<\/a>, Sumit Gulwani<\/a><\/p>\n

Industry & Academia<\/a>, Benjamin Zorn<\/a><\/p>\n

Workshops<\/h2>\n

The Influence of Programming Languages on Augmenting Human Understanding<\/a>, Benjamin Zorn<\/a><\/p>\n

PLMW Speakers<\/a>, Benjamin Zorn<\/a>Opens in a new tab<\/span><\/p>\n","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:\/\/cm-edgetun.pages.dev\/en-us\/research\/wp-json\/wp\/v2\/msr-event\/435219","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/cm-edgetun.pages.dev\/en-us\/research\/wp-json\/wp\/v2\/msr-event"}],"about":[{"href":"https:\/\/cm-edgetun.pages.dev\/en-us\/research\/wp-json\/wp\/v2\/types\/msr-event"}],"version-history":[{"count":4,"href":"https:\/\/cm-edgetun.pages.dev\/en-us\/research\/wp-json\/wp\/v2\/msr-event\/435219\/revisions"}],"predecessor-version":[{"id":1147136,"href":"https:\/\/cm-edgetun.pages.dev\/en-us\/research\/wp-json\/wp\/v2\/msr-event\/435219\/revisions\/1147136"}],"wp:attachment":[{"href":"https:\/\/cm-edgetun.pages.dev\/en-us\/research\/wp-json\/wp\/v2\/media?parent=435219"}],"wp:term":[{"taxonomy":"msr-research-area","embeddable":true,"href":"https:\/\/cm-edgetun.pages.dev\/en-us\/research\/wp-json\/wp\/v2\/research-area?post=435219"},{"taxonomy":"msr-region","embeddable":true,"href":"https:\/\/cm-edgetun.pages.dev\/en-us\/research\/wp-json\/wp\/v2\/msr-region?post=435219"},{"taxonomy":"msr-event-type","embeddable":true,"href":"https:\/\/cm-edgetun.pages.dev\/en-us\/research\/wp-json\/wp\/v2\/msr-event-type?post=435219"},{"taxonomy":"msr-video-type","embeddable":true,"href":"https:\/\/cm-edgetun.pages.dev\/en-us\/research\/wp-json\/wp\/v2\/msr-video-type?post=435219"},{"taxonomy":"msr-locale","embeddable":true,"href":"https:\/\/cm-edgetun.pages.dev\/en-us\/research\/wp-json\/wp\/v2\/msr-locale?post=435219"},{"taxonomy":"msr-program-audience","embeddable":true,"href":"https:\/\/cm-edgetun.pages.dev\/en-us\/research\/wp-json\/wp\/v2\/msr-program-audience?post=435219"},{"taxonomy":"msr-post-option","embeddable":true,"href":"https:\/\/cm-edgetun.pages.dev\/en-us\/research\/wp-json\/wp\/v2\/msr-post-option?post=435219"},{"taxonomy":"msr-impact-theme","embeddable":true,"href":"https:\/\/cm-edgetun.pages.dev\/en-us\/research\/wp-json\/wp\/v2\/msr-impact-theme?post=435219"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}