{"id":958992,"date":"2023-08-22T10:31:32","date_gmt":"2023-08-22T17:31:32","guid":{"rendered":"https:\/\/www.microsoft.com\/en-us\/research\/?post_type=msr-event&p=958992"},"modified":"2023-09-05T10:58:15","modified_gmt":"2023-09-05T17:58:15","slug":"icfp-2023","status":"publish","type":"msr-event","link":"https:\/\/www.microsoft.com\/en-us\/research\/event\/icfp-2023\/","title":{"rendered":"ICFP 2023"},"content":{"rendered":"\n\n\n\n\n

Microsoft is proud to be a sponsor of the 28th ACM SIGPLAN International Conference on Functional Programming (ICFP 2023) (opens in new tab)<\/span><\/a>. The conference will be held in Seattle, Washington from September 4-9, 2023.<\/p>\n\n\n\n

Research contributions to ICFP covers the entire range of functional programming topics such as language design, implementation, software-development techniques, foundations, analysis and transformation, applications, and education, to name a few.<\/p>\n\n\n\n

A few of our Microsoft researchers are members of the ICFP committee, workshop committees, and have contributed papers.<\/p>\n\n\n\n

Stop by the Microsoft booth<\/a> to learn more about our work and connect with our team.<\/p>\n\n\n\n

\"Anders<\/figure>
\n

Keynote<\/h2>\n\n\n\n

September 6, 2023 | 09:00 \u2013 10:00 | Grand Ballroom 3<\/p>\n\n\n\n

TypeScript: Static types for JavaScript (opens in new tab)<\/span><\/a><\/h3>\n\n\n\n

Anders Hejlsberg (opens in new tab)<\/span><\/a><\/p>\n<\/div><\/div>\n\n\n\n

General Chair <\/strong><\/p>\n\n\n\n

Nikhil Swamy<\/a> <\/p>\n\n\n\n

Diversity Committee Chair <\/strong><\/p>\n\n\n\n

Daan Leijen<\/a> <\/p>\n\n\n\n

Local Organization Chairs<\/strong> <\/p>\n\n\n\n

Guido Mart\u00ednez, Tahina Ramananandro<\/a> <\/p>\n\n\n\n

<\/div>\n\n\n\n\n\n

Microsoft Booth Schedule at ICFP<\/h2>\n\n\n\n

Talk to our experts and learn more about our research and open opportunities.<\/p>\n\n\n\n

Tuesday, September 5<\/h3>\n\n\n\n

10:00-10:30 | Q&A Coffee Chat<\/p>\n\n\n\n

Speaker<\/strong><\/th>Title<\/strong><\/th>Session Title\/Research Focus<\/strong><\/th><\/tr><\/thead>
Tom Ball<\/td>Partner Researcher<\/td>Ask Me Anything<\/td><\/tr><\/tbody><\/table><\/figure>\n\n\n\n
<\/div>\n\n\n\n

12:45-13:30 | Q&A Coffee Chat<\/p>\n\n\n\n

Speaker<\/strong><\/th>Title<\/strong><\/th>Session Title\/Research Focus<\/strong><\/th><\/tr><\/thead>
Gabriel Ebner<\/td>RSDE \u2013 Interactive Theorem Proving, “Modal types for typed quotations”<\/td>Modal Types for Typed Quotations<\/td><\/tr><\/tbody><\/table><\/figure>\n\n\n\n
<\/div>\n\n\n\n

14:30-15:00 | Demo<\/p>\n\n\n\n

Speaker<\/strong><\/th>Title<\/strong><\/th>Session Title\/Research Focus<\/strong><\/th><\/tr><\/thead>
Nik Swamy<\/td>Senior Principal Researcher<\/td>Proof-oriented Programming in F*\u200b<\/td><\/tr><\/tbody><\/table><\/figure>\n\n\n\n
<\/div>\n\n\n\n

15:00-16:00 | Demo<\/p>\n\n\n\n

Speaker<\/strong><\/th>Title<\/strong><\/th>Session Title\/Research Focus<\/strong><\/th><\/tr><\/thead>
Dan Leijen<\/td>Principal Researcher<\/td>Fully In-Place Programming<\/td><\/tr><\/tbody><\/table><\/figure>\n\n\n\n
<\/div>\n\n\n\n

16:00-16:30 | Demo<\/p>\n\n\n\n

Speaker<\/strong><\/th>Title<\/strong><\/th>Session Title\/Research Focus<\/strong><\/th><\/tr><\/thead>
Chris Hawblitzel<\/td>Principal Researcher<\/td>Verifying Rust Code with Verus<\/td><\/tr><\/tbody><\/table><\/figure>\n\n\n\n
<\/div>\n\n\n\n

Wednesday, September 6<\/h3>\n\n\n\n

10:00-10:30 | Q&A Coffee Chat<\/p>\n\n\n\n

Speaker<\/strong><\/th>Title<\/strong><\/th>Session Title\/Research Focus<\/strong><\/th><\/tr><\/thead>
Tom Ball<\/td>Partner Researcher<\/td>Ask Me Anything<\/td><\/tr><\/tbody><\/table><\/figure>\n\n\n\n
<\/div>\n\n\n\n

10:30-12:00 | Q&A Coffee Chat<\/p>\n\n\n\n

Speaker<\/strong><\/th>Title<\/strong><\/th>Session Title\/Research Focus<\/strong><\/th><\/tr><\/thead>
Madan Musuvathi<\/td>Partner Research Manager<\/td>AMA on RiSE & MSR<\/td><\/tr><\/tbody><\/table><\/figure>\n\n\n\n
<\/div>\n\n\n\n

14:30-15:00 | Research Talk<\/p>\n\n\n\n

Speaker<\/strong><\/th>Title<\/strong><\/th>Session Title\/Research Focus<\/strong><\/th><\/tr><\/thead>
Aashaka Shah<\/td>Senior Researcher<\/td>MONeT: Memory Optimization for Deep Network Training<\/td><\/tr><\/tbody><\/table><\/figure>\n\n\n\n
<\/div>\n\n\n\n

16:00-16:00 | Demo<\/p>\n\n\n\n

Speaker<\/strong><\/th>Title<\/strong><\/th>Session Title\/Research Focus<\/strong><\/th><\/tr><\/thead>
Tahina Ramananandro<\/td>Principal RSDE \u2013 Verified Parsing<\/td>EverParse: Verified parsers for binary data formats<\/td><\/tr><\/tbody><\/table><\/figure>\n\n\n\n
<\/div>\n\n\n\n

Thursday, September 7<\/h3>\n\n\n\n

10:00-10:30 | Q&A Coffee Chat<\/p>\n\n\n\n

Speaker<\/strong><\/th>Title<\/strong><\/th>Session Title\/Research Focus<\/strong><\/th><\/tr><\/thead>
Tom Ball<\/td>Partner Researcher<\/td>Ask Me Anything<\/td><\/tr><\/tbody><\/table><\/figure>\n\n\n\n
<\/div>\n\n\n\n

13:30-14:30 | Demo<\/p>\n\n\n\n

Speaker<\/strong><\/th>Title<\/strong><\/th>Session Title\/Research Focus<\/strong><\/th><\/tr><\/thead>
Dan Leijen<\/td>Principal Researcher<\/td>Fully In-Place Programming<\/td><\/tr><\/tbody><\/table><\/figure>\n\n\n\n
<\/div>\n\n\n\n

14:30-15:00 | Q&A Coffee Chat<\/p>\n\n\n\n

Speaker<\/strong><\/th>Title<\/strong><\/th>Session Title\/Research Focus<\/strong><\/th><\/tr><\/thead>
Nik Swamy<\/td>Senior Principal Researcher<\/td>Ask Me Anything (PL @ MSR)<\/td><\/tr><\/tbody><\/table><\/figure>\n\n\n\n
<\/div>\n\n\n\n

16:00-16:30 | Demo<\/p>\n\n\n\n

Speaker<\/strong><\/th>Title<\/strong><\/th>Session Title\/Research Focus<\/strong><\/th><\/tr><\/thead>
Guido Mart\u00ednez<\/td>RSDE<\/td>Imperative Programming in F* with Pulse<\/td><\/tr><\/tbody><\/table><\/figure>\n\n\n\n
<\/div>\n\n\n","protected":false},"excerpt":{"rendered":"

Microsoft is proud to be a sponsor of the 28th ACM SIGPLAN International Conference on Functional Programming (ICFP 2023) (opens in new tab). The conference will be held in Seattle, Washington from September 4-9, 2023. Research contributions to ICFP covers the entire range of functional programming topics such as language design, implementation, software-development techniques, foundations, […]<\/p>\n","protected":false},"featured_media":964512,"template":"","meta":{"msr-url-field":"","msr-podcast-episode":"","msrModifiedDate":"","msrModifiedDateEnabled":false,"ep_exclude_from_search":false,"_classifai_error":"","msr_startdate":"2023-09-04","msr_enddate":"2023-09-09","msr_location":"Seattle, Washington","msr_expirationdate":"","msr_event_recording_link":"","msr_event_link":"","msr_event_link_redirect":false,"msr_event_time":"Pacific Daylight Time (UTC -7)","msr_hide_region":false,"msr_private_event":false,"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":[264846],"class_list":["post-958992","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\n\n\n

Microsoft is proud to be a sponsor of the 28th ACM SIGPLAN International Conference on Functional Programming (ICFP 2023)<\/a>. The conference will be held in Seattle, Washington from September 4-9, 2023.<\/p>\n\n\n\n

Research contributions to ICFP covers the entire range of functional programming topics such as language design, implementation, software-development techniques, foundations, analysis and transformation, applications, and education, to name a few.<\/p>\n\n\n\n

A few of our Microsoft researchers are members of the ICFP committee, workshop committees, and have contributed papers.<\/p>\n\n\n\n

Stop by the Microsoft booth<\/a> to learn more about our work and connect with our team.<\/p>\n\n\n\n

\"Anders<\/figure>
\n

Keynote<\/h2>\n\n\n\n

September 6, 2023 | 09:00 \u2013 10:00 | Grand Ballroom 3<\/p>\n\n\n\n

TypeScript: Static types for JavaScript<\/a><\/h3>\n\n\n\n

Anders Hejlsberg<\/a><\/p>\n<\/div><\/div>\n\n\n\n

General Chair <\/strong><\/p>\n\n\n\n

Nikhil Swamy<\/a> <\/p>\n\n\n\n

Diversity Committee Chair <\/strong><\/p>\n\n\n\n

Daan Leijen<\/a> <\/p>\n\n\n\n

Local Organization Chairs<\/strong> <\/p>\n\n\n\n

Guido Mart\u00ednez, Tahina Ramananandro<\/a> <\/p>\n\n\n\n

<\/div>\n\n\n\n\n\n

Microsoft Booth Schedule at ICFP<\/h2>\n\n\n\n

Talk to our experts and learn more about our research and open opportunities.<\/p>\n\n\n\n

Tuesday, September 5<\/h3>\n\n\n\n

10:00-10:30 | Q&A Coffee Chat<\/p>\n\n\n\n

Speaker<\/strong><\/th>Title<\/strong><\/th>Session Title\/Research Focus<\/strong><\/th><\/tr><\/thead>
Tom Ball<\/td>Partner Researcher<\/td>Ask Me Anything<\/td><\/tr><\/tbody><\/table><\/figure>\n\n\n\n
<\/div>\n\n\n\n

12:45-13:30 | Q&A Coffee Chat<\/p>\n\n\n\n

Speaker<\/strong><\/th>Title<\/strong><\/th>Session Title\/Research Focus<\/strong><\/th><\/tr><\/thead>
Gabriel Ebner<\/td>RSDE \u2013 Interactive Theorem Proving, \"Modal types for typed quotations\"<\/td>Modal Types for Typed Quotations<\/td><\/tr><\/tbody><\/table><\/figure>\n\n\n\n
<\/div>\n\n\n\n

14:30-15:00 | Demo<\/p>\n\n\n\n

Speaker<\/strong><\/th>Title<\/strong><\/th>Session Title\/Research Focus<\/strong><\/th><\/tr><\/thead>
Nik Swamy<\/td>Senior Principal Researcher<\/td>Proof-oriented Programming in F*\u200b<\/td><\/tr><\/tbody><\/table><\/figure>\n\n\n\n
<\/div>\n\n\n\n

15:00-16:00 | Demo<\/p>\n\n\n\n

Speaker<\/strong><\/th>Title<\/strong><\/th>Session Title\/Research Focus<\/strong><\/th><\/tr><\/thead>
Dan Leijen<\/td>Principal Researcher<\/td>Fully In-Place Programming<\/td><\/tr><\/tbody><\/table><\/figure>\n\n\n\n
<\/div>\n\n\n\n

16:00-16:30 | Demo<\/p>\n\n\n\n

Speaker<\/strong><\/th>Title<\/strong><\/th>Session Title\/Research Focus<\/strong><\/th><\/tr><\/thead>
Chris Hawblitzel<\/td>Principal Researcher<\/td>Verifying Rust Code with Verus<\/td><\/tr><\/tbody><\/table><\/figure>\n\n\n\n
<\/div>\n\n\n\n

Wednesday, September 6<\/h3>\n\n\n\n

10:00-10:30 | Q&A Coffee Chat<\/p>\n\n\n\n

Speaker<\/strong><\/th>Title<\/strong><\/th>Session Title\/Research Focus<\/strong><\/th><\/tr><\/thead>
Tom Ball<\/td>Partner Researcher<\/td>Ask Me Anything<\/td><\/tr><\/tbody><\/table><\/figure>\n\n\n\n
<\/div>\n\n\n\n

10:30-12:00 | Q&A Coffee Chat<\/p>\n\n\n\n

Speaker<\/strong><\/th>Title<\/strong><\/th>Session Title\/Research Focus<\/strong><\/th><\/tr><\/thead>
Madan Musuvathi<\/td>Partner Research Manager<\/td>AMA on RiSE & MSR<\/td><\/tr><\/tbody><\/table><\/figure>\n\n\n\n
<\/div>\n\n\n\n

14:30-15:00 | Research Talk<\/p>\n\n\n\n

Speaker<\/strong><\/th>Title<\/strong><\/th>Session Title\/Research Focus<\/strong><\/th><\/tr><\/thead>
Aashaka Shah<\/td>Senior Researcher<\/td>MONeT: Memory Optimization for Deep Network Training<\/td><\/tr><\/tbody><\/table><\/figure>\n\n\n\n
<\/div>\n\n\n\n

16:00-16:00 | Demo<\/p>\n\n\n\n

Speaker<\/strong><\/th>Title<\/strong><\/th>Session Title\/Research Focus<\/strong><\/th><\/tr><\/thead>
Tahina Ramananandro<\/td>Principal RSDE \u2013 Verified Parsing<\/td>EverParse: Verified parsers for binary data formats<\/td><\/tr><\/tbody><\/table><\/figure>\n\n\n\n
<\/div>\n\n\n\n

Thursday, September 7<\/h3>\n\n\n\n

10:00-10:30 | Q&A Coffee Chat<\/p>\n\n\n\n

Speaker<\/strong><\/th>Title<\/strong><\/th>Session Title\/Research Focus<\/strong><\/th><\/tr><\/thead>
Tom Ball<\/td>Partner Researcher<\/td>Ask Me Anything<\/td><\/tr><\/tbody><\/table><\/figure>\n\n\n\n
<\/div>\n\n\n\n

13:30-14:30 | Demo<\/p>\n\n\n\n

Speaker<\/strong><\/th>Title<\/strong><\/th>Session Title\/Research Focus<\/strong><\/th><\/tr><\/thead>
Dan Leijen<\/td>Principal Researcher<\/td>Fully In-Place Programming<\/td><\/tr><\/tbody><\/table><\/figure>\n\n\n\n
<\/div>\n\n\n\n

14:30-15:00 | Q&A Coffee Chat<\/p>\n\n\n\n

Speaker<\/strong><\/th>Title<\/strong><\/th>Session Title\/Research Focus<\/strong><\/th><\/tr><\/thead>
Nik Swamy<\/td>Senior Principal Researcher<\/td>Ask Me Anything (PL @ MSR)<\/td><\/tr><\/tbody><\/table><\/figure>\n\n\n\n
<\/div>\n\n\n\n

16:00-16:30 | Demo<\/p>\n\n\n\n

Speaker<\/strong><\/th>Title<\/strong><\/th>Session Title\/Research Focus<\/strong><\/th><\/tr><\/thead>
Guido Mart\u00ednez<\/td>RSDE<\/td>Imperative Programming in F* with Pulse<\/td><\/tr><\/tbody><\/table><\/figure>\n\n\n\n
<\/div>\n\n\n","tab-content":[],"msr_startdate":"2023-09-04","msr_enddate":"2023-09-09","msr_event_time":"Pacific Daylight Time (UTC -7)","msr_location":"Seattle, Washington","msr_event_link":"","msr_event_recording_link":"","msr_startdate_formatted":"September 4, 2023","msr_register_text":"Watch now","msr_cta_link":"","msr_cta_text":"","msr_cta_bi_name":"","featured_image_thumbnail":"\"abstract","event_excerpt":"Microsoft is proud to be a sponsor of the 28th ACM SIGPLAN International Conference on Functional Programming (ICFP 2023) (opens in new tab). The conference will be held in Seattle, Washington from September 4-9, 2023. Research contributions to ICFP covers the entire range of functional programming topics such as language design, implementation, software-development techniques, foundations, analysis and transformation, applications, and education, to name a few. A few of our Microsoft researchers are members of the…","msr_research_lab":[],"related-researchers":[],"msr_impact_theme":["Computing foundations"],"related-academic-programs":[],"related-groups":[],"related-projects":[],"related-opportunities":[],"related-publications":[953625,959013,965088],"related-videos":[],"related-posts":[],"_links":{"self":[{"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-event\/958992"}],"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":16,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-event\/958992\/revisions"}],"predecessor-version":[{"id":965412,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-event\/958992\/revisions\/965412"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/media\/964512"}],"wp:attachment":[{"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/media?parent=958992"}],"wp:term":[{"taxonomy":"msr-research-area","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/research-area?post=958992"},{"taxonomy":"msr-region","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-region?post=958992"},{"taxonomy":"msr-event-type","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-event-type?post=958992"},{"taxonomy":"msr-video-type","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-video-type?post=958992"},{"taxonomy":"msr-locale","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-locale?post=958992"},{"taxonomy":"msr-program-audience","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-program-audience?post=958992"},{"taxonomy":"msr-post-option","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-post-option?post=958992"},{"taxonomy":"msr-impact-theme","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-impact-theme?post=958992"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}