{"id":593482,"date":"2019-06-18T08:12:48","date_gmt":"2019-06-18T15:12:48","guid":{"rendered":"https:\/\/www.microsoft.com\/en-us\/research\/?post_type=msr-event&p=593482"},"modified":"2025-08-06T11:56:26","modified_gmt":"2025-08-06T18:56:26","slug":"microsoft-fcrc-2019","status":"publish","type":"msr-event","link":"https:\/\/www.microsoft.com\/en-us\/research\/event\/microsoft-fcrc-2019\/","title":{"rendered":"Microsoft at FCRC 2019"},"content":{"rendered":"\n\n

Venue:<\/strong> Phoenix Convention Center<\/p>\n

Website:<\/strong> FCRC 2019 (opens in new tab)<\/span><\/a>Opens in a new tab<\/span><\/p>\n

Microsoft is excited to be a sponsor of 5 different conferences at FCRC 2019 (opens in new tab)<\/span><\/a>. Over 30 of our researchers are at the conference. Stop by our booth to chat with our experts, see demos of our latest research and find out about\u00a0career opportunities (opens in new tab)<\/span><\/a>\u00a0with Microsoft.<\/p>\n

Meet our team<\/h2>\n

Monday, June 24<\/h3>\n\n\n\n\n\n\n\n\n\n\n\n\n
Time<\/strong><\/td>\nName<\/strong><\/td>\nTalk to me about<\/strong><\/td>\n<\/tr>\n
11:00 AM\u201311:20 AM
\n(cofee break)<\/td>\n		Akash Lal<\/a><\/td>\nAsynchronous programming, verification<\/td>\n<\/tr>\n
<\/td>\nThomas Ball<\/a><\/td>\nMakeCode<\/td>\n<\/tr>\n
1:30 PM\u20132:00 PM
\n(lunch break)<\/td>\n		Todd Mytkowicz<\/a><\/td>\nDistributed ML, Homomorphic Encryption<\/td>\n<\/tr>\n
<\/td>\nMadan Musuvathi<\/a><\/td>\nIntellicode, Distributed ML, Homomorphic Encryption<\/td>\n<\/tr>\n
3:30 PM\u20134:00 PM
\n(coffee break)<\/td>\n		Todd Mytkowicz<\/a><\/td>\nDistributed ML, Homomorphic Encryption, Big Code<\/td>\n<\/tr>\n
<\/td>\nOlli Saarikivi<\/a><\/td>\nHomomorphic Encryption, Distributed ML<\/td>\n<\/tr>\n
<\/td>\nThomas Ball<\/a><\/td>\nMakeCode<\/td>\n<\/tr>\n
5:30 PM\u20136:00 PM
\n(post sessions)<\/td>\n		Olli Saarikivi<\/a><\/td>\nHomomorphic Encryption, Distributed ML<\/td>\n<\/tr>\n
<\/td>\nMichal Moskal<\/a><\/td>\nMakeCode<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n
<\/div>\n

Tuesday, June 25<\/h3>\n\n\n\n\n\n\n\n\n\n\n
Time<\/strong><\/td>\nName<\/strong><\/td>\nTalk to me about<\/strong><\/td>\n<\/tr>\n
11:00 AM\u201311:20 AM
\n(cofee break)<\/td>\n		Akash Lal<\/a><\/td>\nAsynchronous programming, verification<\/td>\n<\/tr>\n
<\/td>\nOlli Saarikivi<\/a><\/td>\nHomomorphic Encryption, Distributed ML<\/td>\n<\/tr>\n
1:30 PM\u20132:00 PM
\n(lunch break)<\/td>\n		Arjun Radhakrishna (opens in new tab)<\/span><\/a><\/td>\nProgram synthesis<\/td>\n<\/tr>\n
<\/td>\nThomas Ball<\/a><\/td>\nMakeCode<\/td>\n<\/tr>\n
3:30 PM\u20134:00 PM
\n(coffee break)<\/td>\n		Ben Zorn<\/a><\/td>\nSpreadsheet intelligence and tools<\/td>\n<\/tr>\n
<\/td>\nMichal Moskal<\/a><\/td>\nMakeCode<\/td>\n<\/tr>\n
5:30 PM\u20136:00 PM
\n(post sessions)<\/td>\n		Madan Musuvathi<\/a><\/td>\nIntellicode, Distributed ML, Homomorphic Encryption<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n
<\/div>\n

Wednesday, June 26<\/h3>\n\n\n\n\n\n
Time<\/strong><\/td>\nName<\/strong><\/td>\nTalk to me about<\/strong><\/td>\n<\/tr>\n
11:00 AM\u201311:20 AM
\n(cofee break)<\/td>\n		Ting Cao<\/a><\/td>\nDeep learning framework and compiler<\/td>\n<\/tr>\n
<\/td>\nMichal Moskal<\/a><\/td>\nMakeCode<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n

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

Organizing Committee member<\/h2>\n

Minjia Zhang<\/a><\/p>\n

Programming Committee members<\/h2>\n

Nuno Lopes<\/a>
\nRahul Sharma<\/a>
\nBenjamin Zorn<\/a><\/p>\n

Co-located Conferences, Workshops & Tutorials<\/h2>\n

Saturday, June 22<\/h3>\n

DeepSpec 2019 (opens in new tab)<\/span><\/a><\/h4>\n

4:45 PM\u20135:30 PM | 106B (talk)
\nTyped Programming with Algebraic Effects (in terms of ambient values, functions, and control)<\/strong>
\nDaan\u00a0Leijen<\/strong><\/a><\/p>\n

Sunday, June 23<\/h3>\n

PLDI Tutorials (opens in new tab)<\/span><\/a><\/h4>\n

9:00 AM\u20135:30 PM | 212A (tutorial)
\nSafe Asynchronous Programming: Methodology, Language, and Tools<\/strong>
\nPantazis\u00a0Deligiannis<\/strong><\/a>,\u00a0Ankush Desai,\u00a0Akash Lal<\/strong><\/a>,\u00a0Shaz Qadeer<\/p>\n

ISMM 2019 (opens in new tab)<\/span><\/a><\/h4>\n

4:00 PM\u20135:15 PM | 106A (talk)
\nsnmalloc: A Message Passing Allocator<\/strong>
\nPaul\u00a0Lietar, Theodore Butler, Sylvan\u00a0Clebsch, Sophia\u00a0Drossopoulou,\u00a0Juliana Franco<\/strong>,\u00a0Matthew Parkinson<\/strong><\/a>,\u00a0Alex Shamis<\/strong><\/a>,\u00a0Christoph M.\u00a0Wintersteiger<\/strong><\/a>,\u00a0David\u00a0Chisnall<\/p>\n

PLMW 2019 (opens in new tab)<\/span><\/a><\/h4>\n

11:20 AM\u201312:30 PM | 105B
\nPanel: Charting Your Path<\/strong>
\nLisa Hsu, Adrian Sampson, Caroline Trippel, Benjamin Zorn<\/strong><\/a>, Emma Tosch<\/p>\n

4:30 PM\u20135:00 PM | 105B (talk)
\nA week in the life of an MSR Researcher\u00a0<\/strong>
\nTodd Mytkowicz<\/strong><\/a><\/p>\n

LCTES 2019 (opens in new tab)<\/span><\/a><\/h4>\n

4:35 PM\u20134:40 PM | 105A (short paper)
\nRaising Binaries to LLVM IR with MCTOLL (Work in progress)<\/strong>
\nS. Bharadwaj Yadavalli<\/strong>, Aaron Smith<\/p>\n

PLDI Accepted papers<\/h2>\n

Monday, June 24<\/h3>\n

9:05 AM\u2013 9:25 AM | 229AB (talk)
\nAccelerating Sequential Consistency for Java with Speculative Compilation<\/strong>
\nLun\u00a0Liu,\u00a0Todd Millstein,\u00a0Madan Musuvathi<\/strong><\/a><\/p>\n

9:25 AM\u20139:45 AM | 224AB (talk)
\nCompiling KB-Sized Machine Learning Models to Tiny IoT Devices<\/strong>
\nSridhar Gopinath<\/strong>, Nikhil\u00a0Ghanathe<\/strong>, Vivek Seshadri<\/strong><\/a>, Rahul Sharma<\/strong><\/a><\/p>\n

10:00 AM\u201310:20 AM | 224AB (talk)
\nCHET: An Optimizing Compiler for\u00a0Fully-Homomorphic\u00a0Neural-Network Inferencing<\/strong>
\nRoshan\u00a0Dathathri,\u00a0Olli\u00a0Saarikivi<\/strong><\/a>, Hao Chen<\/strong><\/a>,\u00a0Kim Laine<\/strong><\/a>,\u00a0Kristin Lauter<\/strong><\/a>,\u00a0Saeed Maleki<\/strong><\/a>, Madan Musuvathi<\/strong><\/a>, Todd Mytkowicz<\/strong><\/a><\/p>\n

3:07 PM\u20133:30 PM | 229AB (talk)
\nSynthesis and Machine Learning for Heterogeneous Extraction<\/strong>
\nArun Iyer<\/strong>,\u00a0Manohar\u00a0Jonnalagedda,\u00a0Suresh Parthasarathy<\/strong><\/a>,\u00a0Arjun Radhakrishna<\/strong>,\u00a0Sriram Rajamani<\/strong><\/a><\/p>\n

4:40 PM\u20135:00 PM | 229AB (talk)
\nPanthera: Holistic Memory Management for Big Data Processing over Hybrid Memories<\/strong>
\nChenxi\u00a0Wang,\u00a0Huimin\u00a0Cui,\u00a0Ting Cao<\/strong><\/a>,\u00a0John\u00a0Zigman,\u00a0Haris\u00a0Volos, Onur\u00a0Mutlu, Fang Lv, Xiaobing Feng, Harry Xu<\/p>\n

Wednesday, June 26<\/h3>\n

8:30 AM\u20138:50 AM | 229AB (talk)
\nSemantic Program Alignment for Equivalence Checking<\/strong>
\nBerkeley Churchill, Oded\u00a0Padon,\u00a0Rahul Sharma<\/strong><\/a>,\u00a0Alex AikenOpens in a new tab<\/span><\/p>\n

Organizing Committee members<\/h2>\n

Bobbie Manne, General Chair
\nSteve Reinhardt<\/a>, Finance Chair
\nLisa Hsu, Industry Liaison Chair<\/p>\n

Programming Committee members<\/h2>\n

Andrew Putnam<\/a>
\nSteve Reinhardt<\/a>
\nEric Chung<\/a>
\nArthur\u00a0Perais
\nRicardo Bianchini<\/a>
\nDave\u00a0Wecker<\/a><\/p>\n

Microsoft Dinner and Networking Event for Women at ISCA\/PLDI<\/h2>\n

Join us for a celebration of women in computer architecture<\/p>\n

Microsoft Azure Hardware Systems Group would like to invite the women and non-binary people of the ISCA, SIGMETRICS and PLDI communities to join us for a dinner celebrating women in computer architecture on Monday, June 24th at 7pm at the Hotel Palomar. We will have a brief program that showcases some of the work we do, why Microsoft is deeply invested in diversity, and inclusion, and the opportunity to meet some members of our team.
\nThis event will include a buffet dinner and the opportunity to meet other women in the industry and make long-lasting connections.<\/p>\n

Monday, June 24, 2019 from 7:00 pm – 9:00 pm @ Hotel Palomar<\/strong><\/p>\n

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

Programming Committee members<\/h2>\n

Alekh Agarwal<\/a>
\nSebastien Bubeck<\/a>
\nPrateek Jain<\/a>
\nAkshay Krishnamurthy<\/a>
\nPraneeth Netrapalli<\/a>
\nRobert Schapire<\/a>
\nVasilis Syrgkanis<\/a><\/p>\n

Sponsorship Chair<\/h2>\n

Robert Schapire<\/a><\/p>\n

Microsoft attendees<\/h2>\n

John Langford<\/a>
\nIlya Razenshteyn<\/a>
\nRobert Schapire<\/a>
\nChicheng Zhang<\/a>
\nAkshay Krishnamurthy<\/a>
\nNeeraj Kayal<\/a>
\nPrateek Jain<\/a>
\nJerry Li<\/a>
\nAbhishek Shetty
\nAlex Slivkins<\/a><\/p>\n

Accepted papers<\/h2>\n

Disagreement-Based Combinatorial Pure Exploration: Sample Complexity Bounds and an Efficient Algorithm<\/strong>
\nTongyi Cao, Akshay Krishnamurthy<\/strong><\/a><\/p>\n

Improved Path-length Regret Bounds for Bandits<\/strong>
\nS\u00e9bastien Bubeck<\/strong><\/a>, Yuanzhi Li, Haipeng Luo, Chen-Yu Wei<\/p>\n

Privately Learning High-Dimensional Distributions<\/strong>
\nGautam Kamath, Jerry Li<\/strong><\/a>, Vikrant Singhal, Jonathan Ullman<\/p>\n

Making the Last Iterate of SGD Information Theoretically Optimal<\/strong>
\nPrateek Jain<\/strong><\/a>, Dheeraj Nagaraj, Praneeth Netrapalli<\/strong><\/a><\/p>\n

Near-optimal method for highly smooth convex optimization<\/strong>
\nS\u00e9bastien Bubeck<\/strong><\/a>, Qijia Jiang, Yin Tat Lee, Yuanzhi Li, Aaron Sidford<\/p>\n

Learning to Prune: Speeding up Repeated Computations<\/strong>
\nDaniel Alabi, Adam Tauman Kalai<\/strong><\/a>, Katrina Ligett, Cameron Musco<\/strong><\/a>, Christos Tzamos, Ellen Vitercik<\/p>\n

Contextual Bandits with Continuous Actions: Smoothing, Zooming, and Adapting<\/strong>
\nAkshay Krishnamurthy<\/strong><\/a>, John Langford<\/strong><\/a>, Aleksandrs Slivkins<\/strong><\/a>, Chicheng Zhang<\/strong><\/a><\/p>\n

Model-based RL in Contextual Decision Processes: PAC bounds and Exponential Improvements over Model-free Approaches<\/strong>
\nWen Sun, Nan Jiang, Akshay Krishnamurthy<\/strong><\/a>, Alekh Agarwal<\/strong><\/a>, John Langford<\/strong><\/a><\/p>\n

On Mean Estimation for General Norms with Statistical Queries<\/strong>
\nJerry Li<\/strong><\/a>, Aleksandar Nikolov, Ilya Razenshteyn<\/strong><\/a>, Erik Waingarten<\/p>\n

Statistical Learning with a Nuisance Component<\/strong>
\nDylan Foster, Vasilis Syrgkanis<\/strong><\/a><\/p>\n

How Hard is Robust Mean Estimation?<\/strong>
\nSamuel B. Hopkins, Jerry Li<\/strong><\/a>Opens in a new tab<\/span><\/p>\n

Programming Committee members<\/h2>\n

Ilya Razenshteyn<\/a><\/p>\n

Accepted papers<\/h2>\n

Non-Gaussian Component Analysis using Entropy Methods\u00a0<\/strong>
\nNavin Goyal<\/strong><\/a>, Abhishek Shetty<\/strong><\/p>\n

Competitively Chasing Convex Bodies\u00a0<\/strong>
\nSebastien Bubeck<\/strong><\/a>, Yin Tat Lee, Yuanzhi Li, Mark Sellke<\/p>\n

Performance of Johnson\u2013Lindenstrauss\u00a0Transform for k-Means and k-Medians Clustering\u00a0<\/strong>
\nKonstantin Makarychev, Yury Makarychev, Ilya Razenshteyn<\/strong><\/a><\/p>\n

Reconstruction of non-degenerate homogeneous depth three circuits\u00a0<\/strong>
\nNeeraj Kayal<\/strong><\/a>, Chandan Saha<\/p>\n

A Universal Sampling Method for Reconstructing Signals with Simple Fourier Transforms\u00a0<\/strong>
\nHaim Avron, Michael Kapralov, Cameron Musco<\/strong><\/a>, Christopher Musco, Ameya Velingker, Amir Zandieh<\/p>\n

Hamiltonian simulation with nearly optimal dependence on spectral norm\u00a0<\/strong>
\nGuang Hao Low<\/strong><\/a><\/p>\n

CSPs with Global Modular Constraints: Algorithms and Hardness via Polynomial Representations\u00a0<\/strong>
\nJoshua\u00a0Brakensiek,\u00a0Sivakanth Gopi<\/strong><\/a>, Venkatesan\u00a0Guruswami<\/p>\n

Exponential separation between shallow quantum circuits and unbounded fan-in shallow classical circuits\u00a0<\/strong>
\nAdam Bene Watts, Robin Kothari<\/strong><\/a>, Luke Schaeffer, Avishay Tal<\/p>\n

How to Delegate Computations Publicly\u00a0<\/strong>
\nYael\u00a0Tauman Kalai<\/strong><\/a>, Omer Paneth, Lisa YangOpens in a new tab<\/span><\/p>\n

Organizing Committee members<\/h2>\n

Nicole Immorlica<\/a>
\nBrendan Lucier<\/a>
\nMoshe\u00a0Babaioff<\/a><\/p>\n

Accepted papers<\/h2>\n

Simple and Approximately Optimal Pricing for Proportional Complementarities<\/strong>
\nYang Cai, Nikhil Devanur<\/strong><\/a>, Kira Goldner and R. Preston McAfee<\/p>\n

You Can Lead a Horse to Water: Spatial Learning and Path Dependence in Consumer Search<\/strong>
\nGreg Lewis<\/strong><\/a> and Charles Hodgson<\/p>\n

Black Box Mechanism Design with Priors: Bayesian Incentive Compatibility and Beyond<\/strong>
\nEvangelia Gergatsouli, Christos Tzamos and Brendan Lucier<\/strong><\/a><\/p>\n

Truthful Aggregation of Budget Proposals<\/strong>
\nRupert Freeman, David Pennock<\/strong><\/a>, Dominik Peters and Jennifer Wortman Vaughan<\/strong><\/a><\/p>\n

Competing Bandits: The Perils of Exploration under Competition<\/strong>
\nGuy Aridor, Aleksandrs Slivkins<\/strong><\/a>, Zhiwei Steven Wu and Kevin LiuOpens 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\tSoftware Engineer II<\/a>\n\t\t\t\t\t<\/h3>\n\n\t\t
\n\t\t\t
\n\t\t\t\t\t\t\t\t
<\/div>

Type<\/strong>: Full-time<\/p>

Lab\/Location<\/strong>: Redmond, Washington<\/p>

Microsoft continues to make big investments to empower every person and every organization on the planet to achieve more. The Developer Tools group at Microsoft creates modern tools & services that help developers build apps & services for a variety of platforms, including Windows, iOS, Android, Azure…<\/p>

\t\t\t<\/div>\n\t\t<\/div>\n\n\t<\/div>\n<\/article>\n<\/p>

\n

\n\t
\n\t\t

\n\t\t\t\t\t\t\tSenior Software Engineer<\/a>\n\t\t\t\t\t<\/h3>\n\n\t\t
\n\t\t\t
\n\t\t\t\t\t\t\t\t<\/p>
<\/div>

Type<\/strong>: Full-time<\/p>

Lab\/Location<\/strong>: Redmond, Washington<\/p>

Any Developer. Any App. Any Platform.Microsoft continues to make big investments to empower every person and every organization on the planet to achieve more. The Developer Tools group at Microsoft creates modern tools & services that help developers build apps & services for a variety of platforms…<\/p>

\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":"

Venue: Phoenix Convention Center Website: FCRC 2019 (opens in new tab)Opens in a new tab Microsoft is excited to be a sponsor of 5 different conferences at FCRC 2019 (opens in new tab). Over 30 of our researchers are at the conference. Stop by our booth to chat with our experts, see demos of our […]<\/p>\n","protected":false},"featured_media":451395,"template":"","meta":{"msr-url-field":"","msr-podcast-episode":"","msrModifiedDate":"","msrModifiedDateEnabled":false,"ep_exclude_from_search":false,"_classifai_error":"","msr_startdate":"2019-06-22","msr_enddate":"2019-06-26","msr_location":"Phoenix, Arizona, USA","msr_expirationdate":"","msr_event_recording_link":"","msr_event_link":"https:\/\/www.cvent.com\/events\/fcrc-2019\/registration-78e7bfed5fc9437291908ea8f0950311.aspx","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":[13548,13560],"msr-region":[197900],"msr-event-type":[197941],"msr-video-type":[],"msr-locale":[268875],"msr-program-audience":[243727],"msr-post-option":[],"msr-impact-theme":[],"class_list":["post-593482","msr-event","type-msr-event","status-publish","has-post-thumbnail","hentry","msr-research-area-economics","msr-research-area-programming-languages-software-engineering","msr-region-north-america","msr-event-type-conferences","msr-locale-en_us","msr-program-audience-faculty"],"msr_about":"\n\n

Venue:<\/strong> Phoenix Convention Center<\/p>\n

Website:<\/strong> FCRC 2019 (opens in new tab)<\/span><\/a>Opens in a new tab<\/span><\/p>\n

Microsoft is excited to be a sponsor of 5 different conferences at FCRC 2019<\/a>. Over 30 of our researchers are at the conference. Stop by our booth to chat with our experts, see demos of our latest research and find out about\u00a0career opportunities<\/a>\u00a0with Microsoft.<\/p>\n

Meet our team<\/h2>\n

Monday, June 24<\/h3>\n\n\n\n\n\n\n\n\n\n\n\n\n
Time<\/strong><\/td>\nName<\/strong><\/td>\nTalk to me about<\/strong><\/td>\n<\/tr>\n
11:00 AM\u201311:20 AM
\n(cofee break)<\/td>\n		Akash Lal<\/a><\/td>\nAsynchronous programming, verification<\/td>\n<\/tr>\n
<\/td>\nThomas Ball<\/a><\/td>\nMakeCode<\/td>\n<\/tr>\n
1:30 PM\u20132:00 PM
\n(lunch break)<\/td>\n		Todd Mytkowicz<\/a><\/td>\nDistributed ML, Homomorphic Encryption<\/td>\n<\/tr>\n
<\/td>\nMadan Musuvathi<\/a><\/td>\nIntellicode, Distributed ML, Homomorphic Encryption<\/td>\n<\/tr>\n
3:30 PM\u20134:00 PM
\n(coffee break)<\/td>\n		Todd Mytkowicz<\/a><\/td>\nDistributed ML, Homomorphic Encryption, Big Code<\/td>\n<\/tr>\n
<\/td>\nOlli Saarikivi<\/a><\/td>\nHomomorphic Encryption, Distributed ML<\/td>\n<\/tr>\n
<\/td>\nThomas Ball<\/a><\/td>\nMakeCode<\/td>\n<\/tr>\n
5:30 PM\u20136:00 PM
\n(post sessions)<\/td>\n		Olli Saarikivi<\/a><\/td>\nHomomorphic Encryption, Distributed ML<\/td>\n<\/tr>\n
<\/td>\nMichal Moskal<\/a><\/td>\nMakeCode<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n
<\/div>\n

Tuesday, June 25<\/h3>\n\n\n\n\n\n\n\n\n\n\n
Time<\/strong><\/td>\nName<\/strong><\/td>\nTalk to me about<\/strong><\/td>\n<\/tr>\n
11:00 AM\u201311:20 AM
\n(cofee break)<\/td>\n		Akash Lal<\/a><\/td>\nAsynchronous programming, verification<\/td>\n<\/tr>\n
<\/td>\nOlli Saarikivi<\/a><\/td>\nHomomorphic Encryption, Distributed ML<\/td>\n<\/tr>\n
1:30 PM\u20132:00 PM
\n(lunch break)<\/td>\n		Arjun Radhakrishna<\/a><\/td>\nProgram synthesis<\/td>\n<\/tr>\n
<\/td>\nThomas Ball<\/a><\/td>\nMakeCode<\/td>\n<\/tr>\n
3:30 PM\u20134:00 PM
\n(coffee break)<\/td>\n		Ben Zorn<\/a><\/td>\nSpreadsheet intelligence and tools<\/td>\n<\/tr>\n
<\/td>\nMichal Moskal<\/a><\/td>\nMakeCode<\/td>\n<\/tr>\n
5:30 PM\u20136:00 PM
\n(post sessions)<\/td>\n		Madan Musuvathi<\/a><\/td>\nIntellicode, Distributed ML, Homomorphic Encryption<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n
<\/div>\n

Wednesday, June 26<\/h3>\n\n\n\n\n\n
Time<\/strong><\/td>\nName<\/strong><\/td>\nTalk to me about<\/strong><\/td>\n<\/tr>\n
11:00 AM\u201311:20 AM
\n(cofee break)<\/td>\n		Ting Cao<\/a><\/td>\nDeep learning framework and compiler<\/td>\n<\/tr>\n
<\/td>\nMichal Moskal<\/a><\/td>\nMakeCode<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n

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

Organizing Committee member<\/h2>\n

Minjia Zhang<\/a><\/p>\n

Programming Committee members<\/h2>\n

Nuno Lopes<\/a>
\nRahul Sharma<\/a>
\nBenjamin Zorn<\/a><\/p>\n

Co-located Conferences, Workshops & Tutorials<\/h2>\n

Saturday, June 22<\/h3>\n

DeepSpec 2019<\/a><\/h4>\n

4:45 PM\u20135:30 PM | 106B (talk)
\nTyped Programming with Algebraic Effects (in terms of ambient values, functions, and control)<\/strong>
\nDaan\u00a0Leijen<\/strong><\/a><\/p>\n

Sunday, June 23<\/h3>\n

PLDI Tutorials<\/a><\/h4>\n

9:00 AM\u20135:30 PM | 212A (tutorial)
\nSafe Asynchronous Programming: Methodology, Language, and Tools<\/strong>
\nPantazis\u00a0Deligiannis<\/strong><\/a>,\u00a0Ankush Desai,\u00a0Akash Lal<\/strong><\/a>,\u00a0Shaz Qadeer<\/p>\n

ISMM 2019<\/a><\/h4>\n

4:00 PM\u20135:15 PM | 106A (talk)
\nsnmalloc: A Message Passing Allocator<\/strong>
\nPaul\u00a0Lietar, Theodore Butler, Sylvan\u00a0Clebsch, Sophia\u00a0Drossopoulou,\u00a0Juliana Franco<\/strong>,\u00a0Matthew Parkinson<\/strong><\/a>,\u00a0Alex Shamis<\/strong><\/a>,\u00a0Christoph M.\u00a0Wintersteiger<\/strong><\/a>,\u00a0David\u00a0Chisnall<\/p>\n

PLMW 2019<\/a><\/h4>\n

11:20 AM\u201312:30 PM | 105B
\nPanel: Charting Your Path<\/strong>
\nLisa Hsu, Adrian Sampson, Caroline Trippel, Benjamin Zorn<\/strong><\/a>, Emma Tosch<\/p>\n

4:30 PM\u20135:00 PM | 105B (talk)
\nA week in the life of an MSR Researcher\u00a0<\/strong>
\nTodd Mytkowicz<\/strong><\/a><\/p>\n

LCTES 2019<\/a><\/h4>\n

4:35 PM\u20134:40 PM | 105A (short paper)
\nRaising Binaries to LLVM IR with MCTOLL (Work in progress)<\/strong>
\nS. Bharadwaj Yadavalli<\/strong>, Aaron Smith<\/p>\n

PLDI Accepted papers<\/h2>\n

Monday, June 24<\/h3>\n

9:05 AM\u2013 9:25 AM | 229AB (talk)
\nAccelerating Sequential Consistency for Java with Speculative Compilation<\/strong>
\nLun\u00a0Liu,\u00a0Todd Millstein,\u00a0Madan Musuvathi<\/strong><\/a><\/p>\n

9:25 AM\u20139:45 AM | 224AB (talk)
\nCompiling KB-Sized Machine Learning Models to Tiny IoT Devices<\/strong>
\nSridhar Gopinath<\/strong>, Nikhil\u00a0Ghanathe<\/strong>, Vivek Seshadri<\/strong><\/a>, Rahul Sharma<\/strong><\/a><\/p>\n

10:00 AM\u201310:20 AM | 224AB (talk)
\nCHET: An Optimizing Compiler for\u00a0Fully-Homomorphic\u00a0Neural-Network Inferencing<\/strong>
\nRoshan\u00a0Dathathri,\u00a0Olli\u00a0Saarikivi<\/strong><\/a>, Hao Chen<\/strong><\/a>,\u00a0Kim Laine<\/strong><\/a>,\u00a0Kristin Lauter<\/strong><\/a>,\u00a0Saeed Maleki<\/strong><\/a>, Madan Musuvathi<\/strong><\/a>, Todd Mytkowicz<\/strong><\/a><\/p>\n

3:07 PM\u20133:30 PM | 229AB (talk)
\nSynthesis and Machine Learning for Heterogeneous Extraction<\/strong>
\nArun Iyer<\/strong>,\u00a0Manohar\u00a0Jonnalagedda,\u00a0Suresh Parthasarathy<\/strong><\/a>,\u00a0Arjun Radhakrishna<\/strong>,\u00a0Sriram Rajamani<\/strong><\/a><\/p>\n

4:40 PM\u20135:00 PM | 229AB (talk)
\nPanthera: Holistic Memory Management for Big Data Processing over Hybrid Memories<\/strong>
\nChenxi\u00a0Wang,\u00a0Huimin\u00a0Cui,\u00a0Ting Cao<\/strong><\/a>,\u00a0John\u00a0Zigman,\u00a0Haris\u00a0Volos, Onur\u00a0Mutlu, Fang Lv, Xiaobing Feng, Harry Xu<\/p>\n

Wednesday, June 26<\/h3>\n

8:30 AM\u20138:50 AM | 229AB (talk)
\nSemantic Program Alignment for Equivalence Checking<\/strong>
\nBerkeley Churchill, Oded\u00a0Padon,\u00a0Rahul Sharma<\/strong><\/a>,\u00a0Alex AikenOpens in a new tab<\/span><\/p>\n

Organizing Committee members<\/h2>\n

Bobbie Manne, General Chair
\nSteve Reinhardt<\/a>, Finance Chair
\nLisa Hsu, Industry Liaison Chair<\/p>\n

Programming Committee members<\/h2>\n

Andrew Putnam<\/a>
\nSteve Reinhardt<\/a>
\nEric Chung<\/a>
\nArthur\u00a0Perais
\nRicardo Bianchini<\/a>
\nDave\u00a0Wecker<\/a><\/p>\n

Microsoft Dinner and Networking Event for Women at ISCA\/PLDI<\/h2>\n

Join us for a celebration of women in computer architecture<\/p>\n

Microsoft Azure Hardware Systems Group would like to invite the women and non-binary people of the ISCA, SIGMETRICS and PLDI communities to join us for a dinner celebrating women in computer architecture on Monday, June 24th at 7pm at the Hotel Palomar. We will have a brief program that showcases some of the work we do, why Microsoft is deeply invested in diversity, and inclusion, and the opportunity to meet some members of our team.
\nThis event will include a buffet dinner and the opportunity to meet other women in the industry and make long-lasting connections.<\/p>\n

Monday, June 24, 2019 from 7:00 pm – 9:00 pm @ Hotel Palomar<\/strong><\/p>\n

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

Programming Committee members<\/h2>\n

Alekh Agarwal<\/a>
\nSebastien Bubeck<\/a>
\nPrateek Jain<\/a>
\nAkshay Krishnamurthy<\/a>
\nPraneeth Netrapalli<\/a>
\nRobert Schapire<\/a>
\nVasilis Syrgkanis<\/a><\/p>\n

Sponsorship Chair<\/h2>\n

Robert Schapire<\/a><\/p>\n

Microsoft attendees<\/h2>\n

John Langford<\/a>
\nIlya Razenshteyn<\/a>
\nRobert Schapire<\/a>
\nChicheng Zhang<\/a>
\nAkshay Krishnamurthy<\/a>
\nNeeraj Kayal<\/a>
\nPrateek Jain<\/a>
\nJerry Li<\/a>
\nAbhishek Shetty
\nAlex Slivkins<\/a><\/p>\n

Accepted papers<\/h2>\n

Disagreement-Based Combinatorial Pure Exploration: Sample Complexity Bounds and an Efficient Algorithm<\/strong>
\nTongyi Cao, Akshay Krishnamurthy<\/strong><\/a><\/p>\n

Improved Path-length Regret Bounds for Bandits<\/strong>
\nS\u00e9bastien Bubeck<\/strong><\/a>, Yuanzhi Li, Haipeng Luo, Chen-Yu Wei<\/p>\n

Privately Learning High-Dimensional Distributions<\/strong>
\nGautam Kamath, Jerry Li<\/strong><\/a>, Vikrant Singhal, Jonathan Ullman<\/p>\n

Making the Last Iterate of SGD Information Theoretically Optimal<\/strong>
\nPrateek Jain<\/strong><\/a>, Dheeraj Nagaraj, Praneeth Netrapalli<\/strong><\/a><\/p>\n

Near-optimal method for highly smooth convex optimization<\/strong>
\nS\u00e9bastien Bubeck<\/strong><\/a>, Qijia Jiang, Yin Tat Lee, Yuanzhi Li, Aaron Sidford<\/p>\n

Learning to Prune: Speeding up Repeated Computations<\/strong>
\nDaniel Alabi, Adam Tauman Kalai<\/strong><\/a>, Katrina Ligett, Cameron Musco<\/strong><\/a>, Christos Tzamos, Ellen Vitercik<\/p>\n

Contextual Bandits with Continuous Actions: Smoothing, Zooming, and Adapting<\/strong>
\nAkshay Krishnamurthy<\/strong><\/a>, John Langford<\/strong><\/a>, Aleksandrs Slivkins<\/strong><\/a>, Chicheng Zhang<\/strong><\/a><\/p>\n

Model-based RL in Contextual Decision Processes: PAC bounds and Exponential Improvements over Model-free Approaches<\/strong>
\nWen Sun, Nan Jiang, Akshay Krishnamurthy<\/strong><\/a>, Alekh Agarwal<\/strong><\/a>, John Langford<\/strong><\/a><\/p>\n

On Mean Estimation for General Norms with Statistical Queries<\/strong>
\nJerry Li<\/strong><\/a>, Aleksandar Nikolov, Ilya Razenshteyn<\/strong><\/a>, Erik Waingarten<\/p>\n

Statistical Learning with a Nuisance Component<\/strong>
\nDylan Foster, Vasilis Syrgkanis<\/strong><\/a><\/p>\n

How Hard is Robust Mean Estimation?<\/strong>
\nSamuel B. Hopkins, Jerry Li<\/strong><\/a>Opens in a new tab<\/span><\/p>\n

Programming Committee members<\/h2>\n

Ilya Razenshteyn<\/a><\/p>\n

Accepted papers<\/h2>\n

Non-Gaussian Component Analysis using Entropy Methods\u00a0<\/strong>
\nNavin Goyal<\/strong><\/a>, Abhishek Shetty<\/strong><\/p>\n

Competitively Chasing Convex Bodies\u00a0<\/strong>
\nSebastien Bubeck<\/strong><\/a>, Yin Tat Lee, Yuanzhi Li, Mark Sellke<\/p>\n

Performance of Johnson\u2013Lindenstrauss\u00a0Transform for k-Means and k-Medians Clustering\u00a0<\/strong>
\nKonstantin Makarychev, Yury Makarychev, Ilya Razenshteyn<\/strong><\/a><\/p>\n

Reconstruction of non-degenerate homogeneous depth three circuits\u00a0<\/strong>
\nNeeraj Kayal<\/strong><\/a>, Chandan Saha<\/p>\n

A Universal Sampling Method for Reconstructing Signals with Simple Fourier Transforms\u00a0<\/strong>
\nHaim Avron, Michael Kapralov, Cameron Musco<\/strong><\/a>, Christopher Musco, Ameya Velingker, Amir Zandieh<\/p>\n

Hamiltonian simulation with nearly optimal dependence on spectral norm\u00a0<\/strong>
\nGuang Hao Low<\/strong><\/a><\/p>\n

CSPs with Global Modular Constraints: Algorithms and Hardness via Polynomial Representations\u00a0<\/strong>
\nJoshua\u00a0Brakensiek,\u00a0Sivakanth Gopi<\/strong><\/a>, Venkatesan\u00a0Guruswami<\/p>\n

Exponential separation between shallow quantum circuits and unbounded fan-in shallow classical circuits\u00a0<\/strong>
\nAdam Bene Watts, Robin Kothari<\/strong><\/a>, Luke Schaeffer, Avishay Tal<\/p>\n

How to Delegate Computations Publicly\u00a0<\/strong>
\nYael\u00a0Tauman Kalai<\/strong><\/a>, Omer Paneth, Lisa YangOpens in a new tab<\/span><\/p>\n

Organizing Committee members<\/h2>\n

Nicole Immorlica<\/a>
\nBrendan Lucier<\/a>
\nMoshe\u00a0Babaioff<\/a><\/p>\n

Accepted papers<\/h2>\n

Simple and Approximately Optimal Pricing for Proportional Complementarities<\/strong>
\nYang Cai, Nikhil Devanur<\/strong><\/a>, Kira Goldner and R. Preston McAfee<\/p>\n

You Can Lead a Horse to Water: Spatial Learning and Path Dependence in Consumer Search<\/strong>
\nGreg Lewis<\/strong><\/a> and Charles Hodgson<\/p>\n

Black Box Mechanism Design with Priors: Bayesian Incentive Compatibility and Beyond<\/strong>
\nEvangelia Gergatsouli, Christos Tzamos and Brendan Lucier<\/strong><\/a><\/p>\n

Truthful Aggregation of Budget Proposals<\/strong>
\nRupert Freeman, David Pennock<\/strong><\/a>, Dominik Peters and Jennifer Wortman Vaughan<\/strong><\/a><\/p>\n

Competing Bandits: The Perils of Exploration under Competition<\/strong>
\nGuy Aridor, Aleksandrs Slivkins<\/strong><\/a>, Zhiwei Steven Wu and Kevin LiuOpens 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\tSoftware Engineer II<\/a>\n\t\t\t\t\t<\/h3>\n\n\t\t
\n\t\t\t
\n\t\t\t\t\t\t\t\t
<\/div>

Type<\/strong>: Full-time<\/p>

Lab\/Location<\/strong>: Redmond, Washington<\/p>

Microsoft continues to make big investments to empower every person and every organization on the planet to achieve more. The Developer Tools group at Microsoft creates modern tools & services that help developers build apps & services for a variety of platforms, including Windows, iOS, Android, Azure…<\/p>

\t\t\t<\/div>\n\t\t<\/div>\n\n\t<\/div>\n<\/article>\n<\/p>

\n

\n\t
\n\t\t

\n\t\t\t\t\t\t\tSenior Software Engineer<\/a>\n\t\t\t\t\t<\/h3>\n\n\t\t
\n\t\t\t
\n\t\t\t\t\t\t\t\t<\/p>
<\/div>

Type<\/strong>: Full-time<\/p>

Lab\/Location<\/strong>: Redmond, Washington<\/p>

Any Developer. Any App. Any Platform.Microsoft continues to make big investments to empower every person and every organization on the planet to achieve more. The Developer Tools group at Microsoft creates modern tools & services that help developers build apps & services for a variety of platforms…<\/p>

\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 sponsor of 5 different conferences at FCRC 2019<\/a>. Over 30 of our researchers are at the conference. Stop by our booth to chat with our experts, see demos of our latest research and find out about\u00a0career opportunities<\/a>\u00a0with Microsoft.<\/p>\r\n\r\n

Meet our team<\/h2>\r\n

Monday, June 24<\/h3>\r\n\r\n\r\n\r\n\r\n\r\n\r\n\r\n\r\n\r\n\r\n\r\n\r\n
Time<\/strong><\/td>\r\nName<\/strong><\/td>\r\nTalk to me about<\/strong><\/td>\r\n<\/tr>\r\n
11:00 AM\u201311:20 AM\r\n(cofee break)<\/td>\r\nAkash Lal<\/a><\/td>\r\nAsynchronous programming, verification<\/td>\r\n<\/tr>\r\n
<\/td>\r\nThomas Ball<\/a><\/td>\r\nMakeCode<\/td>\r\n<\/tr>\r\n
1:30 PM\u20132:00 PM\r\n(lunch break)<\/td>\r\nTodd Mytkowicz<\/a><\/td>\r\nDistributed ML, Homomorphic Encryption<\/td>\r\n<\/tr>\r\n
<\/td>\r\nMadan Musuvathi<\/a><\/td>\r\nIntellicode, Distributed ML, Homomorphic Encryption<\/td>\r\n<\/tr>\r\n
3:30 PM\u20134:00 PM\r\n(coffee break)<\/td>\r\nTodd Mytkowicz<\/a><\/td>\r\nDistributed ML, Homomorphic Encryption, Big Code<\/td>\r\n<\/tr>\r\n
<\/td>\r\nOlli Saarikivi<\/a><\/td>\r\nHomomorphic Encryption, Distributed ML<\/td>\r\n<\/tr>\r\n
<\/td>\r\nThomas Ball<\/a><\/td>\r\nMakeCode<\/td>\r\n<\/tr>\r\n
5:30 PM\u20136:00 PM\r\n(post sessions)<\/td>\r\nOlli Saarikivi<\/a><\/td>\r\nHomomorphic Encryption, Distributed ML<\/td>\r\n<\/tr>\r\n
<\/td>\r\nMichal Moskal<\/a><\/td>\r\nMakeCode<\/td>\r\n<\/tr>\r\n<\/tbody>\r\n<\/table>\r\n
<\/div>\r\n

Tuesday, June 25<\/h3>\r\n\r\n\r\n\r\n\r\n\r\n\r\n\r\n\r\n\r\n\r\n
Time<\/strong><\/td>\r\nName<\/strong><\/td>\r\nTalk to me about<\/strong><\/td>\r\n<\/tr>\r\n
11:00 AM\u201311:20 AM\r\n(cofee break)<\/td>\r\nAkash Lal<\/a><\/td>\r\nAsynchronous programming, verification<\/td>\r\n<\/tr>\r\n
<\/td>\r\nOlli Saarikivi<\/a><\/td>\r\nHomomorphic Encryption, Distributed ML<\/td>\r\n<\/tr>\r\n
1:30 PM\u20132:00 PM\r\n(lunch break)<\/td>\r\nArjun Radhakrishna<\/a><\/td>\r\nProgram synthesis<\/td>\r\n<\/tr>\r\n
<\/td>\r\nThomas Ball<\/a><\/td>\r\nMakeCode<\/td>\r\n<\/tr>\r\n
3:30 PM\u20134:00 PM\r\n(coffee break)<\/td>\r\nBen Zorn<\/a><\/td>\r\nSpreadsheet intelligence and tools<\/td>\r\n<\/tr>\r\n
<\/td>\r\nMichal Moskal<\/a><\/td>\r\nMakeCode<\/td>\r\n<\/tr>\r\n
5:30 PM\u20136:00 PM\r\n(post sessions)<\/td>\r\nMadan Musuvathi<\/a><\/td>\r\nIntellicode, Distributed ML, Homomorphic Encryption<\/td>\r\n<\/tr>\r\n<\/tbody>\r\n<\/table>\r\n
<\/div>\r\n

Wednesday, June 26<\/h3>\r\n\r\n\r\n\r\n\r\n\r\n
Time<\/strong><\/td>\r\nName<\/strong><\/td>\r\nTalk to me about<\/strong><\/td>\r\n<\/tr>\r\n
11:00 AM\u201311:20 AM\r\n(cofee break)<\/td>\r\nTing Cao<\/a><\/td>\r\nDeep learning framework and compiler<\/td>\r\n<\/tr>\r\n
<\/td>\r\nMichal Moskal<\/a><\/td>\r\nMakeCode<\/td>\r\n<\/tr>\r\n<\/tbody>\r\n<\/table>"},{"id":1,"name":"PLDI","content":"

Organizing Committee member<\/h2>\r\nMinjia Zhang<\/a>\r\n

Programming Committee members<\/h2>\r\nNuno Lopes<\/a>\r\nRahul Sharma<\/a>\r\nBenjamin Zorn<\/a>\r\n

Co-located Conferences, Workshops & Tutorials<\/h2>\r\n

Saturday, June 22<\/h3>\r\n

DeepSpec 2019<\/a><\/h4>\r\n4:45 PM\u20135:30 PM | 106B (talk)\r\nTyped Programming with Algebraic Effects (in terms of ambient values, functions, and control)<\/strong>\r\nDaan\u00a0Leijen<\/strong><\/a>\r\n

Sunday, June 23<\/h3>\r\n

PLDI Tutorials<\/a><\/h4>\r\n9:00 AM\u20135:30 PM | 212A (tutorial)\r\nSafe Asynchronous Programming: Methodology, Language, and Tools<\/strong>\r\nPantazis\u00a0Deligiannis<\/strong><\/a>,\u00a0Ankush Desai,\u00a0Akash Lal<\/strong><\/a>,\u00a0Shaz Qadeer\r\n

ISMM 2019<\/a><\/h4>\r\n4:00 PM\u20135:15 PM | 106A (talk)\r\nsnmalloc: A Message Passing Allocator<\/strong>\r\nPaul\u00a0Lietar, Theodore Butler, Sylvan\u00a0Clebsch, Sophia\u00a0Drossopoulou,\u00a0Juliana Franco<\/strong>,\u00a0Matthew Parkinson<\/strong><\/a>,\u00a0Alex Shamis<\/strong><\/a>,\u00a0Christoph M.\u00a0Wintersteiger<\/strong><\/a>,\u00a0David\u00a0Chisnall\r\n

PLMW 2019<\/a><\/h4>\r\n11:20 AM\u201312:30 PM | 105B\r\nPanel: Charting Your Path<\/strong>\r\nLisa Hsu, Adrian Sampson, Caroline Trippel, Benjamin Zorn<\/strong><\/a>, Emma Tosch\r\n\r\n4:30 PM\u20135:00 PM | 105B (talk)\r\nA week in the life of an MSR Researcher\u00a0<\/strong>\r\nTodd Mytkowicz<\/strong><\/a>\r\n

LCTES 2019<\/a><\/h4>\r\n4:35 PM\u20134:40 PM | 105A (short paper)\r\nRaising Binaries to LLVM IR with MCTOLL (Work in progress)<\/strong>\r\nS. Bharadwaj Yadavalli<\/strong>, Aaron Smith\r\n

PLDI Accepted papers<\/h2>\r\n

Monday, June 24<\/h3>\r\n9:05 AM\u2013 9:25 AM | 229AB (talk)\r\nAccelerating Sequential Consistency for Java with Speculative Compilation<\/strong>\r\nLun\u00a0Liu,\u00a0Todd Millstein,\u00a0Madan Musuvathi<\/strong><\/a>\r\n\r\n9:25 AM\u20139:45 AM | 224AB (talk)\r\nCompiling KB-Sized Machine Learning Models to Tiny IoT Devices<\/strong>\r\nSridhar Gopinath<\/strong>, Nikhil\u00a0Ghanathe<\/strong>, Vivek Seshadri<\/strong><\/a>, Rahul Sharma<\/strong><\/a>\r\n\r\n10:00 AM\u201310:20 AM | 224AB (talk)\r\nCHET: An Optimizing Compiler for\u00a0Fully-Homomorphic\u00a0Neural-Network Inferencing<\/strong>\r\nRoshan\u00a0Dathathri,\u00a0Olli\u00a0Saarikivi<\/strong><\/a>, Hao Chen<\/strong><\/a>,\u00a0Kim Laine<\/strong><\/a>,\u00a0Kristin Lauter<\/strong><\/a>,\u00a0Saeed Maleki<\/strong><\/a>, Madan Musuvathi<\/strong><\/a>, Todd Mytkowicz<\/strong><\/a>\r\n\r\n3:07 PM\u20133:30 PM | 229AB (talk)\r\nSynthesis and Machine Learning for Heterogeneous Extraction<\/strong>\r\nArun Iyer<\/strong>,\u00a0Manohar\u00a0Jonnalagedda,\u00a0Suresh Parthasarathy<\/strong><\/a>,\u00a0Arjun Radhakrishna<\/strong>,\u00a0Sriram Rajamani<\/strong><\/a>\r\n\r\n4:40 PM\u20135:00 PM | 229AB (talk)\r\nPanthera: Holistic Memory Management for Big Data Processing over Hybrid Memories<\/strong>\r\nChenxi\u00a0Wang,\u00a0Huimin\u00a0Cui,\u00a0Ting Cao<\/strong><\/a>,\u00a0John\u00a0Zigman,\u00a0Haris\u00a0Volos, Onur\u00a0Mutlu, Fang Lv, Xiaobing Feng, Harry Xu\r\n

Wednesday, June 26<\/h3>\r\n8:30 AM\u20138:50 AM | 229AB (talk)\r\nSemantic Program Alignment for Equivalence Checking<\/strong>\r\nBerkeley Churchill, Oded\u00a0Padon,\u00a0Rahul Sharma<\/strong><\/a>,\u00a0Alex Aiken"},{"id":2,"name":"ISCA","content":"

Organizing Committee members<\/h2>\r\nBobbie Manne, General Chair\r\nSteve Reinhardt<\/a>, Finance Chair\r\nLisa Hsu, Industry Liaison Chair\r\n

Programming Committee members<\/h2>\r\nAndrew Putnam<\/a>\r\nSteve Reinhardt<\/a>\r\nEric Chung<\/a>\r\nArthur\u00a0Perais\r\nRicardo Bianchini<\/a>\r\nDave\u00a0Wecker<\/a>\r\n

Microsoft Dinner and Networking Event for Women at ISCA\/PLDI<\/h2>\r\nJoin us for a celebration of women in computer architecture\r\n\r\nMicrosoft Azure Hardware Systems Group would like to invite the women and non-binary people of the ISCA, SIGMETRICS and PLDI communities to join us for a dinner celebrating women in computer architecture on Monday, June 24th at 7pm at the Hotel Palomar. We will have a brief program that showcases some of the work we do, why Microsoft is deeply invested in diversity, and inclusion, and the opportunity to meet some members of our team.\r\nThis event will include a buffet dinner and the opportunity to meet other women in the industry and make long-lasting connections.\r\n\r\nMonday, June 24, 2019 from 7:00 pm - 9:00 pm @ Hotel Palomar<\/strong>\r\n\r\nRegister<\/a>"},{"id":3,"name":"COLT","content":"

Programming Committee members<\/h2>\r\nAlekh Agarwal<\/a>\r\nSebastien Bubeck<\/a>\r\nPrateek Jain<\/a>\r\nAkshay Krishnamurthy<\/a>\r\nPraneeth Netrapalli<\/a>\r\nRobert Schapire<\/a>\r\nVasilis Syrgkanis<\/a>\r\n

Sponsorship Chair<\/h2>\r\nRobert Schapire<\/a>\r\n

Microsoft attendees<\/h2>\r\nJohn Langford<\/a>\r\nIlya Razenshteyn<\/a>\r\nRobert Schapire<\/a>\r\nChicheng Zhang<\/a>\r\nAkshay Krishnamurthy<\/a>\r\nNeeraj Kayal<\/a>\r\nPrateek Jain<\/a>\r\nJerry Li<\/a>\r\nAbhishek Shetty\r\nAlex Slivkins<\/a>\r\n

Accepted papers<\/h2>\r\nDisagreement-Based Combinatorial Pure Exploration: Sample Complexity Bounds and an Efficient Algorithm<\/strong>\r\nTongyi Cao, Akshay Krishnamurthy<\/strong><\/a>\r\n\r\nImproved Path-length Regret Bounds for Bandits<\/strong>\r\nS\u00e9bastien Bubeck<\/strong><\/a>, Yuanzhi Li, Haipeng Luo, Chen-Yu Wei\r\n\r\nPrivately Learning High-Dimensional Distributions<\/strong>\r\nGautam Kamath, Jerry Li<\/strong><\/a>, Vikrant Singhal, Jonathan Ullman\r\n\r\nMaking the Last Iterate of SGD Information Theoretically Optimal<\/strong>\r\nPrateek Jain<\/strong><\/a>, Dheeraj Nagaraj, Praneeth Netrapalli<\/strong><\/a>\r\n\r\nNear-optimal method for highly smooth convex optimization<\/strong>\r\nS\u00e9bastien Bubeck<\/strong><\/a>, Qijia Jiang, Yin Tat Lee, Yuanzhi Li, Aaron Sidford\r\n\r\nLearning to Prune: Speeding up Repeated Computations<\/strong>\r\nDaniel Alabi, Adam Tauman Kalai<\/strong><\/a>, Katrina Ligett, Cameron Musco<\/strong><\/a>, Christos Tzamos, Ellen Vitercik\r\n\r\nContextual Bandits with Continuous Actions: Smoothing, Zooming, and Adapting<\/strong>\r\nAkshay Krishnamurthy<\/strong><\/a>, John Langford<\/strong><\/a>, Aleksandrs Slivkins<\/strong><\/a>, Chicheng Zhang<\/strong><\/a>\r\n\r\nModel-based RL in Contextual Decision Processes: PAC bounds and Exponential Improvements over Model-free Approaches<\/strong>\r\nWen Sun, Nan Jiang, Akshay Krishnamurthy<\/strong><\/a>, Alekh Agarwal<\/strong><\/a>, John Langford<\/strong><\/a>\r\n\r\nOn Mean Estimation for General Norms with Statistical Queries<\/strong>\r\nJerry Li<\/strong><\/a>, Aleksandar Nikolov, Ilya Razenshteyn<\/strong><\/a>, Erik Waingarten\r\n\r\nStatistical Learning with a Nuisance Component<\/strong>\r\nDylan Foster, Vasilis Syrgkanis<\/strong><\/a>\r\n\r\nHow Hard is Robust Mean Estimation?<\/strong>\r\nSamuel B. Hopkins, Jerry Li<\/strong><\/a>"},{"id":4,"name":"STOC","content":"

Programming Committee members<\/h2>\r\nIlya Razenshteyn<\/a>\r\n

Accepted papers<\/h2>\r\nNon-Gaussian Component Analysis using Entropy Methods\u00a0<\/strong>\r\nNavin Goyal<\/strong><\/a>, Abhishek Shetty<\/strong>\r\n\r\nCompetitively Chasing Convex Bodies\u00a0<\/strong>\r\nSebastien Bubeck<\/strong><\/a>, Yin Tat Lee, Yuanzhi Li, Mark Sellke\r\n\r\nPerformance of Johnson\u2013Lindenstrauss\u00a0Transform for k-Means and k-Medians Clustering\u00a0<\/strong>\r\nKonstantin Makarychev, Yury Makarychev, Ilya Razenshteyn<\/strong><\/a>\r\n\r\nReconstruction of non-degenerate homogeneous depth three circuits\u00a0<\/strong>\r\nNeeraj Kayal<\/strong><\/a>, Chandan Saha\r\n\r\nA Universal Sampling Method for Reconstructing Signals with Simple Fourier Transforms\u00a0<\/strong>\r\nHaim Avron, Michael Kapralov, Cameron Musco<\/strong><\/a>, Christopher Musco, Ameya Velingker, Amir Zandieh\r\n\r\nHamiltonian simulation with nearly optimal dependence on spectral norm\u00a0<\/strong>\r\nGuang Hao Low<\/strong><\/a>\r\n\r\nCSPs with Global Modular Constraints: Algorithms and Hardness via Polynomial Representations\u00a0<\/strong>\r\nJoshua\u00a0Brakensiek,\u00a0Sivakanth Gopi<\/strong><\/a>, Venkatesan\u00a0Guruswami\r\n\r\nExponential separation between shallow quantum circuits and unbounded fan-in shallow classical circuits\u00a0<\/strong>\r\nAdam Bene Watts, Robin Kothari<\/strong><\/a>, Luke Schaeffer, Avishay Tal\r\n\r\nHow to Delegate Computations Publicly\u00a0<\/strong>\r\nYael\u00a0Tauman Kalai<\/strong><\/a>, Omer Paneth, Lisa Yang"},{"id":5,"name":"EC","content":"

Organizing Committee members<\/h2>\r\nNicole Immorlica<\/a>\r\nBrendan Lucier<\/a>\r\nMoshe\u00a0Babaioff<\/a>\r\n

Accepted papers<\/h2>\r\nSimple and Approximately Optimal Pricing for Proportional Complementarities<\/strong>\r\nYang Cai, Nikhil Devanur<\/strong><\/a>, Kira Goldner and R. Preston McAfee\r\n\r\nYou Can Lead a Horse to Water: Spatial Learning and Path Dependence in Consumer Search<\/strong>\r\nGreg Lewis<\/strong><\/a> and Charles Hodgson\r\n\r\nBlack Box Mechanism Design with Priors: Bayesian Incentive Compatibility and Beyond<\/strong>\r\nEvangelia Gergatsouli, Christos Tzamos and Brendan Lucier<\/strong><\/a>\r\n\r\nTruthful Aggregation of Budget Proposals<\/strong>\r\nRupert Freeman, David Pennock<\/strong><\/a>, Dominik Peters and Jennifer Wortman Vaughan<\/strong><\/a>\r\n\r\nCompeting Bandits: The Perils of Exploration under Competition<\/strong>\r\nGuy Aridor, Aleksandrs Slivkins<\/strong><\/a>, Zhiwei Steven Wu and Kevin Liu"},{"id":6,"name":"Career Opportunities","content":"[row]\r\n[card title=\"Software Engineer II\" url=\"https:\/\/careers.microsoft.com\/us\/en\/job\/569834\/Software-Engineer-II\" ]\r\n
<\/div>\r\n

Type<\/strong>: Full-time<\/p>\r\n

Lab\/Location<\/strong>: Redmond, Washington<\/p>\r\n

Microsoft continues to make big investments to empower every person and every organization on the planet to achieve more. The Developer Tools group at Microsoft creates modern tools & services that help developers build apps & services for a variety of platforms, including Windows, iOS, Android, Azure...<\/p>\r\n[\/card]\r\n\r\n[card title=\"Senior Software Engineer\" url=\"https:\/\/careers.microsoft.com\/us\/en\/job\/570239\/Senior-Software-Engineer\" ]\r\n

<\/div>\r\n

Type<\/strong>: Full-time<\/p>\r\n

Lab\/Location<\/strong>: Redmond, Washington<\/p>\r\n

Any Developer. Any App. Any Platform.Microsoft continues to make big investments to empower every person and every organization on the planet to achieve more. The Developer Tools group at Microsoft creates modern tools & services that help developers build apps & services for a variety of platforms...<\/p>\r\n[\/card]\r\n[\/row]"}],"msr_startdate":"2019-06-22","msr_enddate":"2019-06-26","msr_event_time":"","msr_location":"Phoenix, Arizona, USA","msr_event_link":"https:\/\/www.cvent.com\/events\/fcrc-2019\/registration-78e7bfed5fc9437291908ea8f0950311.aspx","msr_event_recording_link":"","msr_startdate_formatted":"June 22, 2019","msr_register_text":"Watch now","msr_cta_link":"https:\/\/www.cvent.com\/events\/fcrc-2019\/registration-78e7bfed5fc9437291908ea8f0950311.aspx","msr_cta_text":"Watch now","msr_cta_bi_name":"Event Register","featured_image_thumbnail":"\"IEEE","event_excerpt":"Microsoft is excited to be a sponsor of 5 different conferences at FCRC 2019. Over 30 of our researchers are at the conference. Stop by our booth to chat with our experts, see demos of our latest research and find out about\u00a0career opportunities\u00a0with Microsoft. Meet our team Monday, June 24 Time Name Talk to me about 11:00 AM\u201311:20 AM (cofee break) Akash Lal Asynchronous programming, verification Thomas Ball MakeCode 1:30 PM\u20132:00 PM (lunch break) Todd…","msr_research_lab":[],"related-researchers":[],"msr_impact_theme":[],"related-academic-programs":[],"related-groups":[],"related-projects":[],"related-opportunities":[],"related-publications":[],"related-videos":[],"related-posts":[],"_links":{"self":[{"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-event\/593482","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":3,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-event\/593482\/revisions"}],"predecessor-version":[{"id":1147040,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-event\/593482\/revisions\/1147040"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/media\/451395"}],"wp:attachment":[{"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/media?parent=593482"}],"wp:term":[{"taxonomy":"msr-research-area","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/research-area?post=593482"},{"taxonomy":"msr-region","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-region?post=593482"},{"taxonomy":"msr-event-type","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-event-type?post=593482"},{"taxonomy":"msr-video-type","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-video-type?post=593482"},{"taxonomy":"msr-locale","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-locale?post=593482"},{"taxonomy":"msr-program-audience","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-program-audience?post=593482"},{"taxonomy":"msr-post-option","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-post-option?post=593482"},{"taxonomy":"msr-impact-theme","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-impact-theme?post=593482"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}