Transforming Spreadsheet Data Types using Examples Rishabh Singh Sumit Gulwani Microsoft Research, Redmond, USA

Source URL: rishabhmit.bitbucket.io

Full version of an extended abstract published in ACM CCSTransparency Overlays and Applications Melissa Chase Microsoft Research Redmond

Source URL: smeiklej.com

• Cryptography
• Public key infrastructure
• Transport Layer Security
• Cryptocurrencies
• Bitcoin
• Alternative currencies
• Certificate Transparency
• Peer-to-peer
• Certificate authority

BlinkFill: Semi-supervised Programming By Example for Syntactic String Transformations Rishabh Singh Microsoft Research, Redmond, USA

Source URL: rishabhmit.bitbucket.io

• Computing
• Formal languages
• Computer programming
• Mathematics
• String
• Substring
• Regular expression
• Rope
• Expr
• Hash function
• Recursion
• Longest common substring problem

Transparency Overlays and Applications Melissa Chase (Microsoft Research Redmond) Sarah Meiklejohn (University College London) (icons by parkjisun from noun project)

Source URL: smeiklej.com

Performance Inconsistency in Large Scale Data Processing Clusters Mingyuan Xia and Nan Zhu McGill University Yuxiong He and Sameh Elnikety Microsoft Research Redmond

Source URL: 0b4af6cdc2f0c5998459-c0245c5c937c5dedcca3f1764ecc9b2f.r43.cf2.rackcdn.com

• Concurrent computing
• Parallel computing
• Computing
• System software
• Apache Hadoop
• Scheduling
• Job scheduler
• Computer cluster
• Data-intensive computing
• MapReduce

REDMOND ORLANDO AUGUST 5-9, 2019

Source URL: techmentorevents.com

• Technology
• Computing
• Business
• Sponsor
• Microsoft
• Build
• Redmond
• Washington

Succinct Malleable NIZKs and an Application to Compact Shuffles Melissa Chase (MSR Redmond) Markulf Kohlweiss (MSR Cambridge) Anna Lysyanskaya (Brown University) Sarah Meiklejohn (UC San Diego)

Source URL: smeiklej.com

• Cryptography
• Mathematical proofs
• Cryptographic protocols

REDMOND ORLANDO AUGUST 5-9, 2019

Source URL: techmentorevents.com

• Technology
• Computing
• Business
• Sponsor
• Microsoft
• Build
• Redmond
• Washington

Malleable Proof Systems and Applications Melissa Chase (MSR Redmond) Markulf Kohlweiss (MSR Cambridge) Anna Lysyanskaya (Brown University) Sarah Meiklejohn (UC San Diego)

Source URL: smeiklej.com

• Cryptography
• S99

Cars, Calls, and Cognition: Investigating Driving and Divided Attention Shamsi T. Iqbal, Yun-Cheng Ju, and Eric Horvitz Microsoft Research One Microsoft Way, Redmond, WA 98052 {shamsi, yuncj, horvitz}@microsoft.com

Source URL: erichorvitz.com