{"id":545412,"date":"2018-10-29T14:27:48","date_gmt":"2018-10-29T21:27:48","guid":{"rendered":"https:\/\/www.microsoft.com\/en-us\/research\/?post_type=msr-event&p=545412"},"modified":"2025-08-06T11:56:44","modified_gmt":"2025-08-06T18:56:44","slug":"splash-2018-oopsla","status":"publish","type":"msr-event","link":"https:\/\/www.microsoft.com\/en-us\/research\/event\/splash-2018-oopsla\/","title":{"rendered":"Microsoft @ SPLASH 2018 OOPSLA"},"content":{"rendered":"\n\n

Venue: <\/strong>Boston Park Plaza Hotel (opens in new tab)<\/span><\/a><\/p>\n

Website: <\/strong>SPLASH 2018 OOPSLA (opens in new tab)<\/span><\/a>Opens in a new tab<\/span><\/p>\n

Microsoft is excited to be a part of SPLASH 2018 OOPSLA (opens in new tab)<\/span><\/a> in Boston, Massachusetts November 4 \u2013 9, 2018. Microsoft is a gold sponsor and many of our researchers in programming, languages, and software engineering have contributed to this year\u2019s conference. Learn more about our research being presented at SPLASH 2018 on this page.<\/p>\n

Session Chair<\/h3>\n

Titus Barik<\/p>\n

Review Committee Member<\/h3>\n

Rahul Sharma<\/a><\/p>\n

External Reviewer<\/h3>\n

Madan Musuvathi<\/a><\/p>\n

Distinguished Paper Committee Member<\/h3>\n

Madan Musuvathi<\/a>Opens in a new tab<\/span><\/p>\n

Sunday, November 4, 2018 | 2:30 PM\u20132:35 PM | Beacon Hill
\nBLOCKS+ – Themed Session 3: Accessibility and Language Construction Tools<\/h4>\n

TypeScript: From JavaScript to Blockly and Back<\/strong><\/p>\n

Thomas Ball<\/a>, Peli de Halleux<\/a>, Sam El-Husseini<\/strong>, Richard Knoll<\/strong>, Michal Moskal<\/a><\/p>\n

 <\/p>\n

Monday, November 5, 2018 | 1:30 PM\u20132:30 PM | Whittier
\nSPLASH – I | Marron<\/h4>\n

Time-Travel Debugging and Actionable Diagnostics Insights<\/strong><\/p>\n

Mark Marron<\/a><\/p>\n

 <\/p>\n

Monday, November 5, 2018 | 3:55 PM\u20134:00 PM | Beacon Hill
\nPLATEAU 2018 – Interactive Tools + Teasers + Breakout<\/h4>\n

ExceLint: Automatically Finding Spreadsheet Formula Errors – Preview<\/strong><\/p>\n

Daniel W. Barowy, Emery Berger, Benjamin Zorn<\/a><\/p>\n

 <\/p>\n

Monday, November 5, 2018 | 4:00 PM\u20134:30 PM | Newbury
\nAGERE – Session 3: Agents + WIP papers<\/h4>\n

Compositional Programming and Testing of Actor Programs<\/strong><\/p>\n

Ankush Desai, Shaz Qadeer<\/a>, Sanjit Seshia<\/p>\n

 <\/p>\n

Tuesday, November 6, 2018 | 1:30 PM\u20132:00 PM | The Loft
\nDLS 2018 \u2013 Optimization<\/h4>\n

Log++ Logging for a Cloud-Native World<\/strong><\/a><\/p>\n

Mark Marron<\/a><\/p>\n

 <\/p>\n

Wednesday, November 7, 2018 | 4:15 PM\u20134:37 PM | Studio 2
\nOOPSLA \u2013 Compiler Optimization<\/h4>\n

Reconciling High-level Optimizations and Low-level Code in LLVM<\/strong><\/p>\n

Juneyoung Lee, Chung-Kil Hur, Ralf Jung, Zhengyang Liu, John Regehr, Nuno P. Lopes<\/a><\/p>\n

 <\/p>\n

Wednesday, November 7, 2018 | 4:37 PM-5:00 PM | Studio 2
\nOOPSLA \u2013 Compiler Optimization<\/h4>\n

An Empirical Study of the Effect of Source-level Loop Transformations on Compiler Stability<\/strong><\/p>\n

Zhangxiaowen Gong, Zhi Chen, Justin Szaday, David Wong, Zehra Sura, Neftali Watkinson, Saeed Maleki<\/a>, David Padua, Alexander Veidenbaum, Alexandru Nicolau, Josep Torrellas<\/p>\n

 <\/p>\n

Thursday, November 8, 2018 | 3:52 PM\u20134:15 PM | Studio 1
\nOOPSLA \u2013 Performance<\/h4>\n

Reactive Caching for Composed Services<\/strong><\/a><\/p>\n

Sebastian Burckhardt<\/a>, Tim Coppieters<\/p>\n

 <\/p>\n

Thursday, November 8, 2018 | 3:52 PM\u20134:15 PM | Studio 2
\nOOPSLA \u2013 Potpourri<\/h4>\n

ExceLint: Automatically Finding Spreadsheet Formula Errors<\/strong><\/p>\n

Daniel W. Barowy, Emery Berger, Benjamin Zorn<\/a><\/p>\n

 <\/p>\n

Thursday, November 8, 2018 | 4:37 PM\u20135:00 PM | Studio 2
\nOOPSLA \u2013 Potpourri<\/h4>\n

FlashProfile: A Framework for Synthesizing Data Profiles<\/strong><\/p>\n

Saswat Padhi, Prateek Jain<\/a>, Daniel Perelman, Alex Polozov<\/a>, Sumit Gulwani<\/a>, Todd Millstein<\/p>\n

 <\/p>\n

Friday, November 9, 2018 | 10:30 AM\u201310:52 AM | Studio 1
\nOOPSLA \u2013 Testing<\/h4>\n

Compositional Programming and Testing of Dynamic Distributed Systems<\/strong><\/a><\/p>\n

Ankush Desai, Amar Phanishayee<\/a>, Shaz Qadeer<\/a>, Sanjit Seshia<\/p>\n

 <\/p>\n

Friday, November 9, 2018 | 1:30 PM\u20131:52 PM | Studio 2
\nOOPSLA \u2013 Safe Merging<\/h4>\n

Verified Three-Way Program Merge<\/strong><\/p>\n

Marcelo Sousa, Isil Dillig, Shuvendu K. Lahiri<\/a>Opens in a new tab<\/span><\/p>\n

Monday (October 5, 2018) & Wednesday\u00a0(October 7, 2018) | 4:30 PM\u20137:30 PM | Georgian<\/h4>\n

Compositional Programming and Testing of Dynamic Distributed Systems<\/strong><\/a><\/p>\n

Ankush Desai, Amar Phanishayee<\/a>, Shaz Qadeer<\/a>, Sanjit Seshia<\/p>\n

Reconciling High-level Optimizations and Low-level Code in LLVM<\/strong> (opens in new tab)<\/span><\/a><\/p>\n

Juneyoung Lee, Chung-Kil Hur, Ralf Jung, Zhengyang Liu, John Regehr), Nuno P. Lopes<\/a><\/p>\n

An Empirical Study of the Effect of Source-level Loop Transformations on Compiler Stability<\/strong> (opens in new tab)<\/span><\/a><\/p>\n

Zhangxiaowen Gong, Zhi Chen, Justin Szaday, David Wong, Zehra Sura, Neftali Watkinson, Saeed Maleki<\/a>, David Padua, Alexander Veidenbaum, Alexandru Nicolau, Josep TorrellasOpens in a new tab<\/span><\/p>\n

\t\t\t

\n\t\t\t
\n\t\t\t\t

\n

\n\t
\n\t\t

\n\t\t\t\t\t\t\tResearch Software Engineer (Junior to Senior) \u2013 acceleration for ML workloads<\/a>\n\t\t\t\t\t<\/h3>\n\n\t\t
\n\t\t\t
\n\t\t\t\t\t\t\t\tMicrosoft Research Cambridge is searching for an exceptional research engineer (any experience level from Junior to Senior will be considered) with an interest in compilers and programming languages to work on a project aiming to accelerate machine learning workloads on specialized hardware.\t\t\t<\/div>\n\t\t<\/div>\n\n\t<\/div>\n<\/article>\n<\/p>\t\t\t<\/div>\n\t\t<\/div>\n\t\tOpens in a new tab<\/span><\/p>\n","protected":false},"excerpt":{"rendered":"

Microsoft is excited to be a part of SPLASH 2018 OOPSLA in Boston, Massachusetts November 4 \u2013 9. Microsoft is a gold sponsor and many of our researchers in programming, languages, and software engineering have contributed to this year\u2019s conference.<\/p>\n","protected":false},"featured_media":545763,"template":"","meta":{"msr-url-field":"","msr-podcast-episode":"","msrModifiedDate":"","msrModifiedDateEnabled":false,"ep_exclude_from_search":false,"_classifai_error":"","msr_startdate":"2018-11-04","msr_enddate":"2018-11-09","msr_location":"Boston, Massachusetts","msr_expirationdate":"","msr_event_recording_link":"","msr_event_link":"https:\/\/2018.splashcon.org\/attending\/registration","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":[13560],"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-545412","msr-event","type-msr-event","status-publish","has-post-thumbnail","hentry","msr-research-area-programming-languages-software-engineering","msr-region-north-america","msr-event-type-conferences","msr-locale-en_us"],"msr_about":"\n\n

Venue: <\/strong>Boston Park Plaza Hotel (opens in new tab)<\/span><\/a><\/p>\n

Website: <\/strong>SPLASH 2018 OOPSLA (opens in new tab)<\/span><\/a>Opens in a new tab<\/span><\/p>\n

Microsoft is excited to be a part of SPLASH 2018 OOPSLA<\/a> in Boston, Massachusetts November 4 \u2013 9, 2018. Microsoft is a gold sponsor and many of our researchers in programming, languages, and software engineering have contributed to this year\u2019s conference. Learn more about our research being presented at SPLASH 2018 on this page.<\/p>\n

Session Chair<\/h3>\n

Titus Barik<\/p>\n

Review Committee Member<\/h3>\n

Rahul Sharma<\/a><\/p>\n

External Reviewer<\/h3>\n

Madan Musuvathi<\/a><\/p>\n

Distinguished Paper Committee Member<\/h3>\n

Madan Musuvathi<\/a>Opens in a new tab<\/span><\/p>\n

Sunday, November 4, 2018 | 2:30 PM\u20132:35 PM | Beacon Hill
\nBLOCKS+ – Themed Session 3: Accessibility and Language Construction Tools<\/h4>\n

TypeScript: From JavaScript to Blockly and Back<\/strong><\/p>\n

Thomas Ball<\/a>, Peli de Halleux<\/a>, Sam El-Husseini<\/strong>, Richard Knoll<\/strong>, Michal Moskal<\/a><\/p>\n

 <\/p>\n

Monday, November 5, 2018 | 1:30 PM\u20132:30 PM | Whittier
\nSPLASH – I | Marron<\/h4>\n

Time-Travel Debugging and Actionable Diagnostics Insights<\/strong><\/p>\n

Mark Marron<\/a><\/p>\n

 <\/p>\n

Monday, November 5, 2018 | 3:55 PM\u20134:00 PM | Beacon Hill
\nPLATEAU 2018 – Interactive Tools + Teasers + Breakout<\/h4>\n

ExceLint: Automatically Finding Spreadsheet Formula Errors – Preview<\/strong><\/p>\n

Daniel W. Barowy, Emery Berger, Benjamin Zorn<\/a><\/p>\n

 <\/p>\n

Monday, November 5, 2018 | 4:00 PM\u20134:30 PM | Newbury
\nAGERE – Session 3: Agents + WIP papers<\/h4>\n

Compositional Programming and Testing of Actor Programs<\/strong><\/p>\n

Ankush Desai, Shaz Qadeer<\/a>, Sanjit Seshia<\/p>\n

 <\/p>\n

Tuesday, November 6, 2018 | 1:30 PM\u20132:00 PM | The Loft
\nDLS 2018 \u2013 Optimization<\/h4>\n

Log++ Logging for a Cloud-Native World<\/strong><\/a><\/p>\n

Mark Marron<\/a><\/p>\n

 <\/p>\n

Wednesday, November 7, 2018 | 4:15 PM\u20134:37 PM | Studio 2
\nOOPSLA \u2013 Compiler Optimization<\/h4>\n

Reconciling High-level Optimizations and Low-level Code in LLVM<\/strong><\/p>\n

Juneyoung Lee, Chung-Kil Hur, Ralf Jung, Zhengyang Liu, John Regehr, Nuno P. Lopes<\/a><\/p>\n

 <\/p>\n

Wednesday, November 7, 2018 | 4:37 PM-5:00 PM | Studio 2
\nOOPSLA \u2013 Compiler Optimization<\/h4>\n

An Empirical Study of the Effect of Source-level Loop Transformations on Compiler Stability<\/strong><\/p>\n

Zhangxiaowen Gong, Zhi Chen, Justin Szaday, David Wong, Zehra Sura, Neftali Watkinson, Saeed Maleki<\/a>, David Padua, Alexander Veidenbaum, Alexandru Nicolau, Josep Torrellas<\/p>\n

 <\/p>\n

Thursday, November 8, 2018 | 3:52 PM\u20134:15 PM | Studio 1
\nOOPSLA \u2013 Performance<\/h4>\n

Reactive Caching for Composed Services<\/strong><\/a><\/p>\n

Sebastian Burckhardt<\/a>, Tim Coppieters<\/p>\n

 <\/p>\n

Thursday, November 8, 2018 | 3:52 PM\u20134:15 PM | Studio 2
\nOOPSLA \u2013 Potpourri<\/h4>\n

ExceLint: Automatically Finding Spreadsheet Formula Errors<\/strong><\/p>\n

Daniel W. Barowy, Emery Berger, Benjamin Zorn<\/a><\/p>\n

 <\/p>\n

Thursday, November 8, 2018 | 4:37 PM\u20135:00 PM | Studio 2
\nOOPSLA \u2013 Potpourri<\/h4>\n

FlashProfile: A Framework for Synthesizing Data Profiles<\/strong><\/p>\n

Saswat Padhi, Prateek Jain<\/a>, Daniel Perelman, Alex Polozov<\/a>, Sumit Gulwani<\/a>, Todd Millstein<\/p>\n

 <\/p>\n

Friday, November 9, 2018 | 10:30 AM\u201310:52 AM | Studio 1
\nOOPSLA \u2013 Testing<\/h4>\n

Compositional Programming and Testing of Dynamic Distributed Systems<\/strong><\/a><\/p>\n

Ankush Desai, Amar Phanishayee<\/a>, Shaz Qadeer<\/a>, Sanjit Seshia<\/p>\n

 <\/p>\n

Friday, November 9, 2018 | 1:30 PM\u20131:52 PM | Studio 2
\nOOPSLA \u2013 Safe Merging<\/h4>\n

Verified Three-Way Program Merge<\/strong><\/p>\n

Marcelo Sousa, Isil Dillig, Shuvendu K. Lahiri<\/a>Opens in a new tab<\/span><\/p>\n

Monday (October 5, 2018) & Wednesday\u00a0(October 7, 2018) | 4:30 PM\u20137:30 PM | Georgian<\/h4>\n

Compositional Programming and Testing of Dynamic Distributed Systems<\/strong><\/a><\/p>\n

Ankush Desai, Amar Phanishayee<\/a>, Shaz Qadeer<\/a>, Sanjit Seshia<\/p>\n

Reconciling High-level Optimizations and Low-level Code in LLVM<\/strong><\/a><\/p>\n

Juneyoung Lee, Chung-Kil Hur, Ralf Jung, Zhengyang Liu, John Regehr), Nuno P. Lopes<\/a><\/p>\n

An Empirical Study of the Effect of Source-level Loop Transformations on Compiler Stability<\/strong><\/a><\/p>\n

Zhangxiaowen Gong, Zhi Chen, Justin Szaday, David Wong, Zehra Sura, Neftali Watkinson, Saeed Maleki<\/a>, David Padua, Alexander Veidenbaum, Alexandru Nicolau, Josep TorrellasOpens in a new tab<\/span><\/p>\n

\t\t\t

\n\t\t\t
\n\t\t\t\t

\n

\n\t
\n\t\t

\n\t\t\t\t\t\t\tResearch Software Engineer (Junior to Senior) \u2013 acceleration for ML workloads<\/a>\n\t\t\t\t\t<\/h3>\n\n\t\t
\n\t\t\t
\n\t\t\t\t\t\t\t\tMicrosoft Research Cambridge is searching for an exceptional research engineer (any experience level from Junior to Senior will be considered) with an interest in compilers and programming languages to work on a project aiming to accelerate machine learning workloads on specialized hardware.\t\t\t<\/div>\n\t\t<\/div>\n\n\t<\/div>\n<\/article>\n<\/p>\t\t\t<\/div>\n\t\t<\/div>\n\t\tOpens in a new tab<\/span><\/p>\n","tab-content":[{"id":0,"name":"About","content":"Microsoft is excited to be a part of SPLASH 2018 OOPSLA<\/a> in Boston, Massachusetts November 4 \u2013 9, 2018. Microsoft is a gold sponsor and many of our researchers in programming, languages, and software engineering have contributed to this year\u2019s conference. Learn more about our research being presented at SPLASH 2018 on this page.\r\n

Session Chair<\/h3>\r\nTitus Barik\r\n

Review Committee Member<\/h3>\r\nRahul Sharma<\/a>\r\n

External Reviewer<\/h3>\r\nMadan Musuvathi<\/a>\r\n

Distinguished Paper Committee Member<\/h3>\r\nMadan Musuvathi<\/a>"},{"id":1,"name":"Talks","content":"

Sunday, November 4, 2018 | 2:30 PM\u20132:35 PM | Beacon Hill\r\nBLOCKS+ - Themed Session 3: Accessibility and Language Construction Tools<\/h4>\r\nTypeScript: From JavaScript to Blockly and Back<\/strong>\r\n\r\nThomas Ball<\/a>, Peli de Halleux<\/a>, Sam El-Husseini<\/strong>, Richard Knoll<\/strong>, Michal Moskal<\/a>\r\n\r\n \r\n

Monday, November 5, 2018 | 1:30 PM\u20132:30 PM | Whittier\r\nSPLASH - I | Marron<\/h4>\r\nTime-Travel Debugging and Actionable Diagnostics Insights<\/strong>\r\n\r\nMark Marron<\/a>\r\n\r\n \r\n

Monday, November 5, 2018 | 3:55 PM\u20134:00 PM | Beacon Hill\r\nPLATEAU 2018 - Interactive Tools + Teasers + Breakout<\/h4>\r\nExceLint: Automatically Finding Spreadsheet Formula Errors - Preview<\/strong>\r\n\r\nDaniel W. Barowy, Emery Berger, Benjamin Zorn<\/a>\r\n\r\n \r\n

Monday, November 5, 2018 | 4:00 PM\u20134:30 PM | Newbury\r\nAGERE - Session 3: Agents + WIP papers<\/h4>\r\nCompositional Programming and Testing of Actor Programs<\/strong>\r\n\r\nAnkush Desai, Shaz Qadeer<\/a>, Sanjit Seshia\r\n\r\n \r\n

Tuesday, November 6, 2018 | 1:30 PM\u20132:00 PM | The Loft\r\nDLS 2018 \u2013 Optimization<\/h4>\r\nLog++ Logging for a Cloud-Native World<\/strong><\/a>\r\n\r\nMark Marron<\/a>\r\n\r\n \r\n

Wednesday, November 7, 2018 | 4:15 PM\u20134:37 PM | Studio 2\r\nOOPSLA \u2013 Compiler Optimization<\/h4>\r\nReconciling High-level Optimizations and Low-level Code in LLVM<\/strong>\r\n\r\nJuneyoung Lee, Chung-Kil Hur, Ralf Jung, Zhengyang Liu, John Regehr, Nuno P. Lopes<\/a>\r\n\r\n \r\n

Wednesday, November 7, 2018 | 4:37 PM-5:00 PM | Studio 2\r\nOOPSLA \u2013 Compiler Optimization<\/h4>\r\nAn Empirical Study of the Effect of Source-level Loop Transformations on Compiler Stability<\/strong>\r\n\r\nZhangxiaowen Gong, Zhi Chen, Justin Szaday, David Wong, Zehra Sura, Neftali Watkinson, Saeed Maleki<\/a>, David Padua, Alexander Veidenbaum, Alexandru Nicolau, Josep Torrellas\r\n\r\n \r\n

Thursday, November 8, 2018 | 3:52 PM\u20134:15 PM | Studio 1\r\nOOPSLA \u2013 Performance<\/h4>\r\nReactive Caching for Composed Services<\/strong><\/a>\r\n\r\nSebastian Burckhardt<\/a>, Tim Coppieters\r\n\r\n \r\n

Thursday, November 8, 2018 | 3:52 PM\u20134:15 PM | Studio 2\r\nOOPSLA \u2013 Potpourri<\/h4>\r\nExceLint: Automatically Finding Spreadsheet Formula Errors<\/strong>\r\n\r\nDaniel W. Barowy, Emery Berger, Benjamin Zorn<\/a>\r\n\r\n \r\n

Thursday, November 8, 2018 | 4:37 PM\u20135:00 PM | Studio 2\r\nOOPSLA \u2013 Potpourri<\/h4>\r\nFlashProfile: A Framework for Synthesizing Data Profiles<\/strong>\r\n\r\nSaswat Padhi, Prateek Jain<\/a>, Daniel Perelman, Alex Polozov<\/a>, Sumit Gulwani<\/a>, Todd Millstein\r\n\r\n \r\n

Friday, November 9, 2018 | 10:30 AM\u201310:52 AM | Studio 1\r\nOOPSLA \u2013 Testing<\/h4>\r\nCompositional Programming and Testing of Dynamic Distributed Systems<\/strong><\/a>\r\n\r\nAnkush Desai, Amar Phanishayee<\/a>, Shaz Qadeer<\/a>, Sanjit Seshia\r\n\r\n \r\n

Friday, November 9, 2018 | 1:30 PM\u20131:52 PM | Studio 2\r\nOOPSLA \u2013 Safe Merging<\/h4>\r\nVerified Three-Way Program Merge<\/strong>\r\n\r\nMarcelo Sousa, Isil Dillig, Shuvendu K. Lahiri<\/a>"},{"id":2,"name":"Poster Sessions","content":"

Monday (October 5, 2018) & Wednesday\u00a0(October 7, 2018) | 4:30 PM\u20137:30 PM | Georgian<\/h4>\r\nCompositional Programming and Testing of Dynamic Distributed Systems<\/strong><\/a>\r\n\r\nAnkush Desai, Amar Phanishayee<\/a>, Shaz Qadeer<\/a>, Sanjit Seshia\r\n\r\nReconciling High-level Optimizations and Low-level Code in LLVM<\/strong><\/a>\r\n\r\nJuneyoung Lee, Chung-Kil Hur, Ralf Jung, Zhengyang Liu, John Regehr), Nuno P. Lopes<\/a>\r\n\r\nAn Empirical Study of the Effect of Source-level Loop Transformations on Compiler Stability<\/strong><\/a>\r\n\r\nZhangxiaowen Gong, Zhi Chen, Justin Szaday, David Wong, Zehra Sura, Neftali Watkinson, Saeed Maleki<\/a>, David Padua, Alexander Veidenbaum, Alexandru Nicolau, Josep Torrellas"},{"id":3,"name":"Job Opportunities","content":"[row]\r\n\r\n[card title=\"Research Software Engineer (Junior to Senior) \u2013 acceleration for ML workloads\" url=\"https:\/\/careers.microsoft.com\/us\/en\/job\/532026\/Research-SDE-2\" ]Microsoft Research Cambridge is searching for an exceptional research engineer (any experience level from Junior to Senior will be considered) with an interest in compilers and programming languages to work on a project aiming to accelerate machine learning workloads on specialized hardware.[\/card]\r\n\r\n[\/row]"}],"msr_startdate":"2018-11-04","msr_enddate":"2018-11-09","msr_event_time":"","msr_location":"Boston, Massachusetts","msr_event_link":"https:\/\/2018.splashcon.org\/attending\/registration","msr_event_recording_link":"","msr_startdate_formatted":"November 4, 2018","msr_register_text":"Watch now","msr_cta_link":"https:\/\/2018.splashcon.org\/attending\/registration","msr_cta_text":"Watch now","msr_cta_bi_name":"Event Register","featured_image_thumbnail":"\"Vector","event_excerpt":"Microsoft is excited to be a part of SPLASH 2018 OOPSLA in Boston, Massachusetts November 4 \u2013 9. Microsoft is a gold sponsor and many of our researchers in programming, languages, and software engineering have contributed to this year\u2019s conference.","msr_research_lab":[199561,199562,199565],"related-researchers":[],"msr_impact_theme":[],"related-academic-programs":[],"related-groups":[],"related-projects":[],"related-opportunities":[],"related-publications":[738781],"related-videos":[],"related-posts":[],"_links":{"self":[{"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-event\/545412","targetHints":{"allow":["GET"]}}],"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":5,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-event\/545412\/revisions"}],"predecessor-version":[{"id":1147066,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-event\/545412\/revisions\/1147066"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/media\/545763"}],"wp:attachment":[{"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/media?parent=545412"}],"wp:term":[{"taxonomy":"msr-research-area","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/research-area?post=545412"},{"taxonomy":"msr-region","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-region?post=545412"},{"taxonomy":"msr-event-type","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-event-type?post=545412"},{"taxonomy":"msr-video-type","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-video-type?post=545412"},{"taxonomy":"msr-locale","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-locale?post=545412"},{"taxonomy":"msr-program-audience","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-program-audience?post=545412"},{"taxonomy":"msr-post-option","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-post-option?post=545412"},{"taxonomy":"msr-impact-theme","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-impact-theme?post=545412"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}