{"id":444528,"date":"2017-12-07T12:57:39","date_gmt":"2017-12-07T20:57:39","guid":{"rendered":"https:\/\/www.microsoft.com\/en-us\/research\/?post_type=msr-event&p=444528"},"modified":"2018-01-05T22:02:22","modified_gmt":"2018-01-06T06:02:22","slug":"popl-2018","status":"publish","type":"msr-event","link":"https:\/\/www.microsoft.com\/en-us\/research\/event\/popl-2018\/","title":{"rendered":"Microsoft Research @ POPL 2018"},"content":{"rendered":"

Co-located events:<\/strong> January 7\u201313, 2018<\/p>\n

Venue<\/strong>: Omni Hotel<\/a>
\n251 S Olive St
\nLos Angeles, CA 90012<\/p>\n

Website:<\/strong>\u00a0ACM POPL 2018<\/a><\/p>\n

Past Events:\u00a0<\/strong>POPL 2017<\/a><\/p>\n","protected":false},"excerpt":{"rendered":"

Microsoft is a Gold sponsor of the 45th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2018)\u00a0January 7\u201313, 2018 at the Omni Hotel in Los Angeles, CA.<\/p>\n","protected":false},"featured_media":449364,"template":"","meta":{"msr-url-field":"","msr-podcast-episode":"","msrModifiedDate":"","msrModifiedDateEnabled":false,"ep_exclude_from_search":false,"msr_startdate":"2018-01-10","msr_enddate":"2018-01-12","msr_location":"Los Angeles, CA, USA","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":[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-444528","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":"Co-located events:<\/strong> January 7\u201313, 2018\r\n\r\nVenue<\/strong>: Omni Hotel<\/a>\r\n251 S Olive St\r\nLos Angeles, CA 90012\r\n\r\nWebsite:<\/strong>\u00a0ACM POPL 2018<\/a>\r\n\r\nPast Events:\u00a0<\/strong>POPL 2017<\/a>","tab-content":[{"id":0,"name":"About","content":"We are excited to be part of the 45th ACM SIGPLAN Symposium on Principles of Programming Languages <\/a>(POPL 2018)\u00a0January 7\u201313, 2018 at the Omni Hotel in Los Angeles, CA.\r\n\r\nMicrosoft is a Gold sponsor and proud that many of our researchers in programming language and verification technology are involved in POPL and several of the other co-located conferences and workshops taking place January 7\u201313. Learn more about our research being presented at POPL 2018 and co-located events below.\r\n

POPL 2018<\/h2>\r\nSteering Committee<\/strong>\r\n\r\nAndrew D. Gordon<\/a>\r\n\r\nProgram Committee for Research Papers<\/strong>\r\n\r\nAndrey Rybalchenko<\/a>\r\nAseem Rastogi<\/a>\r\n

Co-located conferences and workshops<\/h2>\r\nCo-chair for PPS 2018<\/strong>\r\n\r\nAndrew D. Gordon<\/a>\r\n\r\nProgram Committee for PEPM 2018<\/strong>\r\n\r\nSimon Peyton Jones<\/a>\r\nSriram Rajamani<\/a>\r\n\r\nProgram Committee for PriSC 2018<\/strong>\r\n\r\nCedric Fournet<\/a>\r\nNikhil Swamy<\/a>\r\n\r\nProgram Committee for VMCAI 2018<\/strong>\r\n\r\nRahul Sharma<\/a>\r\nKenneth L. McMillan<\/a>\r\n

Invited Speakers<\/h2>\r\nJanuary 8, 2018 @9:00\u201310:00 AM |\u00a0Kenneth L. McMillan<\/a>, VMCAI 2018<\/a>"},{"id":1,"name":"Internship opportunities","content":"Interns put inquiry and theory into practice. Alongside fellow doctoral candidates and some of the world\u2019s best researchers, interns learn, collaborate, and network for life. Interns not only advance their own careers, but they also contribute to exciting research and development strides. During the 12-week internship, students are paired with mentors and expected to collaborate with other interns and researchers, present findings, and contribute to the vibrant life of the community. Internships are available in all areas of research. In the application process, we\u2019ll work with you to find the opportunity that best aligns with your interests. Internships are offered year-round, though they typically begin in the summer. All internships are paid. We\u2019ll also help with visa applications where needed.\r\n

Internship opportunities<\/h2>\r\n[accordion]\r\n\r\n[panel header=\"India Lab\"]\r\n\r\nMicrosoft Research India<\/a> is actively working in the areas of program synthesis<\/strong> (e.g., for database query optimization) (contact: Kaushik Rajan<\/a> and Akash Lal<\/a>), automated testing and bug-finding for concurrent programs<\/strong> (contact: Akash Lal<\/a>), programming secure enclaves<\/strong> (contact: Aseem Rastogi<\/a> and Akash Lal<\/a>), and parallel programming models and runtime systems<\/strong> (contact: Harsha Vardhan Simhadri<\/a>). Students interested in any of these areas are encouraged to apply for an internship! Please indicate the appropriate contact from above in your application.\r\n\r\n[\/panel]\r\n\r\n[panel header=\"Redmond Lab\"]\r\n\r\nThe Research in Software Engineering (RiSE) group<\/a>\u00a0at Microsoft Research Redmond is actively looking for strong intern candidates including those with interest in the following areas:\r\n