September 4, 2023 –
September 9, 2023
Microsoft at ICFP 2023
Pacific Daylight Time (UTC -7)
Location: Seattle, Washington
Microsoft Booth Schedule at ICFP
Talk to our experts and learn more about our research and open opportunities.
Tuesday, September 5
10:00-10:30 | Q&A Coffee Chat
| Speaker | Title | Session Title/Research Focus |
|---|---|---|
| Tom Ball | Partner Researcher | Ask Me Anything |
12:45-13:30 | Q&A Coffee Chat
| Speaker | Title | Session Title/Research Focus |
|---|---|---|
| Gabriel Ebner | RSDE – Interactive Theorem Proving, “Modal types for typed quotations” | Modal Types for Typed Quotations |
14:30-15:00 | Demo
| Speaker | Title | Session Title/Research Focus |
|---|---|---|
| Nik Swamy | Senior Principal Researcher | Proof-oriented Programming in F* |
15:00-16:00 | Demo
| Speaker | Title | Session Title/Research Focus |
|---|---|---|
| Dan Leijen | Principal Researcher | Fully In-Place Programming |
16:00-16:30 | Demo
| Speaker | Title | Session Title/Research Focus |
|---|---|---|
| Chris Hawblitzel | Principal Researcher | Verifying Rust Code with Verus |
Wednesday, September 6
10:00-10:30 | Q&A Coffee Chat
| Speaker | Title | Session Title/Research Focus |
|---|---|---|
| Tom Ball | Partner Researcher | Ask Me Anything |
10:30-12:00 | Q&A Coffee Chat
| Speaker | Title | Session Title/Research Focus |
|---|---|---|
| Madan Musuvathi | Partner Research Manager | AMA on RiSE & MSR |
14:30-15:00 | Research Talk
| Speaker | Title | Session Title/Research Focus |
|---|---|---|
| Aashaka Shah | Senior Researcher | MONeT: Memory Optimization for Deep Network Training |
16:00-16:00 | Demo
| Speaker | Title | Session Title/Research Focus |
|---|---|---|
| Tahina Ramananandro | Principal RSDE – Verified Parsing | EverParse: Verified parsers for binary data formats |
Thursday, September 7
10:00-10:30 | Q&A Coffee Chat
| Speaker | Title | Session Title/Research Focus |
|---|---|---|
| Tom Ball | Partner Researcher | Ask Me Anything |
13:30-14:30 | Demo
| Speaker | Title | Session Title/Research Focus |
|---|---|---|
| Dan Leijen | Principal Researcher | Fully In-Place Programming |
14:30-15:00 | Q&A Coffee Chat
| Speaker | Title | Session Title/Research Focus |
|---|---|---|
| Nik Swamy | Senior Principal Researcher | Ask Me Anything (PL @ MSR) |
16:00-16:30 | Demo
| Speaker | Title | Session Title/Research Focus |
|---|---|---|
| Guido Martínez | RSDE | Imperative Programming in F* with Pulse |