illustration of content lines and curly brackets on top of a computer screen with 0s and 1s on a green gradient background

Programming languages & software engineering

Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.

Current selections

Sort by: Most recent

Clear selections

Search within these results

Content Types

People

Sumit Gulwani (192)

Margus Veanes (116)

Shuvendu Lahiri (101)

Sriram Rajamani (89)

Dongmei Zhang (88)

Qingwei Lin 林庆维 (84)

G. Ramalingam (81)

Jonathan "Peli" de Halleux (74)

Daan Leijen (72)

Akash Lal (71)

Nikhil Swamy (61)

Sebastian Burckhardt (60)

Cédric Fournet (59)

Don Syme (58)

Ben Zorn (57)

Nikolaj Bjørner (56)

Aditya Nori (55)

Arjun Radhakrishna (54)

Aseem Rastogi (51)

Vu Le (50)

Denae Ford (49)

Chris Hawblitzel (45)

Chetan Bansal (40)

Saravan Rajmohan (37)

Ethan Jackson (32)

Matthew J. Parkinson (30)

Advait Sarkar (27)

Butler Lampson (25)

Tahina Ramananandro (24)

Shi Han (23)

Haoxiang Lin (22)

Mukul Singh (22)

Brian Houck (22)

Jim Gray (21)

Andrey Rybalchenko (21)

Saikat Chakraborty (21)

Jacek Czerwonka (20)

Pu Zhao (20)

Kim Herzig (19)

Pantazis Deligiannis (19)

Ashish Tiwari (19)

Santiago Zanella-Béguelin (18)

Jenna Butler (18)

Lev Nachmanson (17)

Henrique S. Malvar (17)

Suman Nath (17)

Minghua Ma (17)

Cha Zhang (16)

Jay Lorch (16)

Phil Bernstein (16)

Suresh Thummalapenta (16)

Nagarajan Natarajan (16)

Bo Qiao (16)

Antoine Delignat-Lavaud (15)

Suresh Parthasarathy (15)

Jack Williams (15)

Galen Hunt (14)

Eric Horvitz (14)

Sarah Fakhoury (14)

Rui Ding (13)

Shuo Chen (13)

Yanjie Gao (13)

Badrish Chandramouli (12)

James Devine (12)

Si Qin (12)

Yasharth Bajpai (12)

Emre Kiciman (11)

Jinyu Li (11)

Shengyu Fu (11)

Kenji Takeda (10)

Peng Cheng (10)

Ryan Beckett (10)

Venkatesh Emani (10)

Spandan Garg (10)

Gabriel Ebner (10)

Shraddha Barke (10)

David Heckerman (9)

Arun Iyer (9)

Yufan Huang (9)

Chris Parnin (9)

Liqun Li (9)

Bozidar Radunovic (8)

Jonathan M. Carlson (8)

Fan Yang (8)

Manish Gupta (8)

Jianfeng Gao (8)

Kaushik Rajan (8)

Karin Strauss (8)

Surajit Chaudhuri (8)

Vivek Narasayya (8)

Boris Köpf (8)

Carmen Badea (8)

Yeyun Gong (8)

Fangkai Yang (8)

Jay Bosamiya (8)

Will Guyman (8)

Smitha Saligrama (8)

Cameron Runde (8)

Andrew Blake (7)

Chris White (7)

Gopal Srinivasa (7)

Lidong Zhou (7)

Marina Polishchuk (7)

Peter Lee (7)

Shamsi Iqbal (7)

Tony Hoare (7)

Ramakrishna Bairi (7)

Jacob Nelson (7)

Suvam Mukherjee (7)

Xiaoyu Liu (7)

Xuchao Zhang (7)

Rujia Wang (7)

Abigail Sellen (6)

Baining Guo (6)

Carlo Curino (6)

Arnd Christian König (6)

Haidong Zhang (6)

Leslie Lamport (6)

Manuel Costa (6)

Nishanth Chandran (6)

Venkat Padmanabhan (6)

Jaime Teevan (6)

Weidong Cui (6)

Sylvan Clebsch (6)

Marc-Alexandre Côté (6)

Sonia Jaffe (6)

Sonu Mehta (6)

Jue Zhang (6)

Jinu Jang (6)

Jonathan Mace (6)

Emerson Murphy-Hill (6)

Andrew Putnam (5)

Nancy Baym (5)

Chris Quirk (5)

Chong Luo (5)

Christopher Bishop (5)

Scott Counts (5)

Doug Burger (5)

Manik Varma (5)

Michel Galley (5)

Ranveer Chandra (5)

Rick Rashid (5)

Sameh Elnikety (5)

Srinath Setty (5)

Ramarathnam Venkatesan (5)

Sergey Yekhanin (5)

Irene Zhang (5)

Divya Gupta (5)

Yiwen Zhu (5)

Hang Dong (5)

Paulo Salem (5)

Jeevana Priya Inala (5)

Priyanshu Gupta (5)

Matheus Pereira (5)

Abhinav Jangda (5)

Nicolas Bruno (5)

Angelica Moreira (5)

Roshan Dathathri (5)

Gagan Somashekar (5)

Ananya Singha (5)

Adam Fourney (4)

Adrian Bonar (4)

Dan Bohus (4)

Greg Smith (4)

Jacki O'Neill (4)

Jake Hofman (4)

Kim Laine (4)

Kori Inkpen (4)

Laurent Bussard (4)

Nick Craswell (4)

Ricardo Bianchini (4)

Sanjeev Mehrotra (4)

Sean Rintel (4)

Siân Lindley (4)

Tolga Acar (4)

Wei Chen (4)

Avrilia Floratou (4)

Alok Kumbhare (4)

Chinmay Singh (4)

Qi Chen (4)

Javier Hernandez (4)

Brent Hecht (4)

Zeqi Lin (4)

Joyce Cahoon (4)

Sara Malvar (4)

A. Parayil (4)

Chenglong Wang (4)

Oleksii Oleksenko (4)

Lev Tankelevitch (4)

Darya Moldavskaya (4)

Minseon Kim (4)

Karthick Jayaraman (4)

Tianyu Chen (4)

Alec Wolman (3)

Josh Benaloh (3)

Cecily Morrison (3)

Christophe Poulain (3)

Daniel G. Goldstein (3)

Furu Wei (3)

Jennifer Wortman Vaughan (3)

Kalika Bali (3)

Matthew Hastings (3)

Manoj Syamala (3)

Markus Weimer (3)

Nathalie Henry Riche (3)

Nicole Immorlica (3)

Ray Bittner (3)

Reuben Olinsky (3)

Ran Gal (3)

Rich Draves (3)

Ryen W. White (3)

Song Ge (3)

Stefan Saroiu (3)

Sumit Basu (3)

Hanna Wallach (3)

Yongqiang Xiong (3)

Zhitao Hou (3)

Swami Manohar (3)

Harsha Simhadri (3)

Vageesh D C (3)

Sean Andrist (3)

Mihaela Vorvoreanu (3)

Haoyu Dong (3)

Xingdi Yuan (3)

Sunayana Sitaram (3)

Karthik Ramachandra (3)

Scarlett Li (3)

Yun Wang (3)

Longqi Yang (3)

Tanuja Ganu (3)

Danny Simmons (3)

Dongsheng Li (3)

Madeleine Daepp (3)

Anna Pavlenko (3)

Philipp Witte (3)

Ziqiao Zhou (3)

Rodrigo Fonseca (3)

Yuqing Yang (3)

Ross Cutler (3)

Yifan Xiong (3)

Clint Simon (3)

Gaurav Mittal (3)

Jennifer Neville (3)

Yangyu Huang (3)

Heidi Howard (3)

Benjamin Steenhoek (3)

Rebecca Janssen (3)

Hayley LeBlanc (3)

Adrien Ghosn (3)

Andrew Herbert (2)

Ajay Manchepalli (2)

A.J. Brush (2)

Anoop Gupta (2)

Anton Schwaighofer (2)

Arjmand Samuel (2)

Christian Borgs (2)

Dr. Chetan Nayak (2)

Christian Paquin (2)

Dan Shumow (2)

Ganesh Ananthanarayanan (2)

Janardhan (Jana) Kulkarni (2)

Jennifer Chayes (2)

John Winn (2)

Karen Easterbrook (2)

Ken Woodberry (2)

Lijuan Wang (2)

Marcus Peinado (2)

Mark Encarnación (2)

Martin Grayson (2)

Michael Levit (2)

Thomas Moscibroda (2)

Nicolas Villar (2)

Pallavi Choudhury (2)

Bo-June (Paul) Hsu (2)

Piali Choudhury (2)

Patrick Longa (2)

Roy Levin (2)

Sharad Agarwal (2)

Siddhartha Sen (2)

Raghav Kaushik (2)

Sarah Bird (2)

Siddharth Suri (2)

Vassily Lyutsarev (2)

Wentao Wu (2)

William Blum (2)

Weizhu Chen (2)

Yang Liu (2)

Xiao Lv (2)

Hannes Schulz (2)

Dan R. K. Ports (2)

Hannah Richardson (nee Murfet) (2)

Qianxi Zhang (2)

Nicholas Wilson (2)

Xiaofei Wang (2)

Tanakorn Leesatapornwongsa (2)

Mohit Jain (2)

Li Dong (2)

P. Anandan (2)

Adam D. Troy (2)

Eddy Ashton (2)

Xenofon Foukas (2)

Rathijit Sen (2)

Mengting Wan (2)

Katja Kevic (2)

Shaohan Huang (2)

Aaron L Halfaker (2)

Matteo Interlandi (2)

Hao Cheng (2)

Dean Carignan (2)

Camille Couturier (2)

Neha Parikh Shah (2)

Forough Poursabzi (2)

Pedro Henrique Penna (2)

Celine Irvene (2)

Jesús Camacho-Rodríguez (2)

Qianhui Wu (2)

Jayashree Mohan (2)

Javier Zazo (2)

Jiahang Xu (2)

Kate Nowak (2)

Changho Hwang (2)

Ashish Panwar (2)

Sarah Smith (2)

Christian Poelitz (2)

Baotong Lu (2)

Jennifer Marsman (2)

Baolin Peng (2)

Avik Dutta (2)

Alex Farach (2)

Akshay Krishnamurthy (1)

Austin Donnelly (1)

Andrew D. Wilson (1)

Victor Bahl (1)

Bela Bauer (1)

Bodhi Priyantha (1)

Brendan Lucier (1)

Burton Smith (1)

Chris O'Prey (1)

Chuck Thacker (1)

Chin-Yew Lin (1)

Daniel Cletheroe (1)

Darren Edge (1)

David Rothschild (1)

Dushyanth Narayanan (1)

Dong Chen (1)

Gordon Bell (1)

E. Glen Weyl (1)

Hannes Gamper (1)

Hitesh Ballani (1)

Hsiao-Wuen Hon (1)

Harry Shum (1)

Íñigo Goiri (1)

Ivan Tashev (1)

John Helmes (1)

Jonathan Lester (1)

John Snyder (1)

Nebojsa Jojic (1)

Jonathan Larson (1)

Katja Hofmann (1)

Kevin Kane (1)

Krishna Chintalapudi (1)

Kukjin Lee (1)

Lei Cui (1)

Lei Ji (1)

Lenin Ravindranath Sivalingam (1)

Lili Cheng (1)

Michael Freedman (1)

Navin Goyal (1)

Neeraj Kayal (1)

Nikunj Raghuvanshi (1)

Nirupama Chandrasekaran (1)

Paul Koch (1)

Peter Bodík (1)

Qiang Huo (1)

Ramachandran Ramjee (1)

Ray Huang (1)

Roman Lutchyn (1)

Ryota Tomioka (1)

Satya Lokam (1)

Spencer Fowers (1)

Shobana Balakrishnan (1)

Aleksandrs Slivkins (1)

Subru Krishnan (1)

Weiwei Cui (1)

Xin Ma (1)

Yan Huang (1)

Yan Lu (1)

Yao Qian (1)

Yongguang Zhang (1)

Yinan Li (1)

Youshan Miao (1)

Yordan Zaykov (1)

Yue Dong (1)

Anja Thieme (1)

Anand Bonde (1)

Laura Walker (1)

Camilla Longden (1)

Matthew H. McLoughlin (1)

Nathan Evans (1)

Shikhar Sharma (1)

Robert Sim (1)

Bryan Tower (1)

Qi Dai (1)

Pavel Myshkov (1)

Rahee Ghosh Peshawaria (1)

Pat Sweeney (1)

Sida Peng (1)

Hui Xue (1)

Ted Meeds (1)

Landon Cox (1)

Nipun Kwatra (1)

Young Jin Kim (1)

Yang Ou (1)

Vibhav Vineet (1)

Jason Kace (1)

Esha Ghosh (1)

Xian Zhang (1)

Andrew Paverd (1)

Sangho Lee (1)

Tal Zaccai (1)

Martez Mott (1)

David Tittsworth (1)

Kate Lytvynets (1)

Zhixiong Niu (1)

Akshay Nambi (1)

Amaury Chamayou (1)

Pulkit Misra (1)

Bei Liu (1)

Rangan Majumder (1)

Nathan Myhrvold (1)

Kai Qiu (1)

Shruti Tople (1)

Linjun Shou (寿林钧) (1)

Xiubo Geng (1)

Kevin Kaichuang Yang (1)

Mike Walker (1)

Kenichi Kumatani (1)

Carolyn Buractaon (1)

Brian Caswell (1)

Bahar Sarrafzadeh (1)

Manthan Thakker (1)

Niranjani Prasad (1)

Fanny Nina Paravecino (1)

Brandon Haynes (1)

Jingwen Lu (1)

Fotis Psallidas (1)

Marwin Segler (1)

Huseyin Inan (1)

Ava P. Amini (1)

Daniel Madrigal (1)

Peidong Wang (1)

Jason (Zengzhong) Li (1)

Rafael da Silva (1)

Vanessa Rodrigues (1)

James Brand (1)

Zhongxin Guo (1)

Tengchao Lv (1)

Peichen Xie (1)

Xuan Feng (1)

Millicent Ochieng (1)

Anja Gruenheid (1)

Yuanyuan Tian (1)

Leonardo Nunes (1)

Najeeb G. Abdulhamid (1)

Sheng Zhao (1)

Mayukh Das (1)

Serena Hillman (1)

Srinivasan Iyengar (1)

Luna K. Qiu (1)

Fabio Vera (1)

Giovanni Cherubin (1)

Xingxing Zhang (1)

Yifan Yang (1)

Yuge Zhang (1)

Shuo Zhang (1)

Shaleen Deep (1)

Xiao Liu (1)

Shoko Ueda (1)

Bonnie Kruft (1)

Nikola Pejic (1)

Menglin Xia (1)

Judith Amores (1)

Sadid A. Hasan (1)

Yongqiang Yao (1)

Hosein Hasanbeig (1)

Andres Codas (1)

Bruno Silva (1)

Riyaz Pishori (1)

Zinan Lin (1)

Sara Abdali (1)

Jan Hermann (1)

Whitney Hudson (1)

Siva Kesava Reddy Kakarla (1)

Asma Ben Abacha (1)

Shweti Mahajan (1)

Nicolai Marquardt (1)

Gbola Afonja (1)

Ade Famoti (1)

Sampath Rajendra (1)

Prathamesh Deshpande (1)

Dongge Han (1)

Sarah Alamdari (1)

Kiran Tomlinson (1)

Sushrut Karmalkar (1)

Son Ho (1)

Satarupa Guha (1)

Gabriel Ryan (1)

Yu Hu (1)

Fazle Faisal (1)

Gaurav Verma (1)

Samuel Lee (1)

Travis Lowdermilk (1)

Anson Bastos (1)

Tyler Payne (1)

Xinjie Zhang (1)

Helia Hashemi (1)

Shiyun Xu (1)

Vineeth N Balasubramanian (1)

Wei-Ning Chen (1)

Somya Chatterjee (1)

Rachel Lawrence (1)

Danrui Qi (1)

Scott Tsukamaki (1)

Nitisha Jain (1)

Alexandra Savelieva (1)

Lokesh Nagalapatti (1)

Yanuo Ma (1)

Ti-Chung Cheng (1)

Vishnu Shreeram M P (1)

Taiwei Shi (1)

Published Date

Publication

CODEMINE: Building a Software Development Data Analytics Platform at Microsoft

Jacek Czerwonka, Nachi Nagappan, Wolfram Schulte, Brendan Murphy

IEEE Software | July 2013

Project

Publication

Micro Execution

Patrice Godefroid

MSR-TR-2013-72 | July 2013

Publication

Automated Feedback Generation for Introductory Programming Assignments

Sumit Gulwani, Rishabh Singh

ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2013) | July 2013

Project Project

Publication

Solving Existentially Quantified Horn Clauses

Tewodros A. Beyene, Corneliu Popeea, Andrey Rybalchenko

Computer Aided Verification (CAV) | Published by Springer | 2013

Publication

Applications of Symbolic Finite Automata

Margus Veanes

CIAA’13 | July 2013

Project

Publication

LINQits: Big Data on Little Clients

Eric Chung, John Davis, Jaewon Lee

40th International Symposium on Computer Architecture | June 2013

Publication

Proof-Relevant Logical Relations for Name Generation

Nick Benton, Martin Hofmann, Vivek Nigam

11th International Conference on Typed Lambda Calculi and Applications | June 2013

Video

Programming by Natural Language: Smartphone scripts

June 25, 2013 | Sumit Gulwani

Publication

Incremental Mapping Compilation in an Object-to-Relational Mapping System (Extended Version)

Phil Bernstein, Marie Jacob, Jorge Perez, Guillem Rull, James Terwilliger

MSR-TR-2013-45 | June 2013

Publication

SmartSynth: synthesizing smartphone automation scripts from natural language

Vu Le, Sumit Gulwani, Zhendong Su

MobiSys’13 | June 2013

Video Project