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)

Christian Bird (80)

Madan Musuvathi (75)

Jonathan "Peli" de Halleux (74)

Daan Leijen (72)

Akash Lal (71)

Nikhil Swamy (61)

Sebastian Burckhardt (60)

Don Syme (58)

Cédric Fournet (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)

Gustavo Soares (37)

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)

Gust Verbruggen (18)

Lev Nachmanson (17)

Henrique S. Malvar (17)

Suman Nath (17)

Jenna Butler (17)

Minghua Ma (17)

Cha Zhang (16)

Jay Lorch (16)

Phil Bernstein (16)

Suresh Thummalapenta (16)

Nagarajan Natarajan (16)

Bo Qiao (16)

Suresh Parthasarathy (15)

Jack Williams (15)

Antoine Delignat-Lavaud (14)

Galen Hunt (14)

Eric Horvitz (14)

Sarah Fakhoury (14)

Shan Lu (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)

Ryan Beckett (10)

Venkatesh Emani (10)

Spandan Garg (10)

Gabriel Ebner (10)

Shraddha Barke (10)

David Heckerman (9)

Peng Cheng (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)

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)

Jianfeng Gao (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)

Sonia Jaffe (6)

Sonu Mehta (6)

Jue Zhang (6)

Jinu Jang (6)

Jonathan Mace (6)

Emerson Murphy-Hill (6)

Andrew Putnam (5)

Chris Quirk (5)

Chong Luo (5)

Christopher Bishop (5)

Scott Counts (5)

Doug Burger (5)

Manik Varma (5)

Michel Galley (5)

Tom Minka (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)

Abhinav Jangda (5)

Nicolas Bruno (5)

Angelica Moreira (5)

Roshan Dathathri (5)

Gagan Somashekar (5)

Ananya Singha (5)

Adam Fourney (4)

Adrian Bonar (4)

Nancy Baym (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)

Avrilia Floratou (4)

Alok Kumbhare (4)

Qi Chen (4)

Marc-Alexandre Côté (4)

Javier Hernandez (4)

Brent Hecht (4)

Zeqi Lin (4)

Joyce Cahoon (4)

Sara Malvar (4)

Sameer Segal (4)

A. Parayil (4)

Chenglong Wang (4)

Oleksii Oleksenko (4)

Lev Tankelevitch (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)

Siddhartha Sen (3)

Song Ge (3)

Stefan Saroiu (3)

Sumit Basu (3)

Hanna Wallach (3)

Wei Chen (3)

Yongqiang Xiong (3)

Zhitao Hou (3)

Swami Manohar (3)

Harsha Simhadri (3)

Vageesh D C (3)

Sean Andrist (3)

Chinmay Singh (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)

Matheus Pereira (3)

Aashaka Shah (3)

Darya Moldavskaya (3)

Benjamin Steenhoek (3)

Rebecca Janssen (3)

Hayley LeBlanc (3)

Adrien Ghosn (3)

Andrew Herbert (2)

Ajay Manchepalli (2)

A.J. Brush (2)

Akshay Krishnamurthy (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)

Roy Levin (2)

Sharad Agarwal (2)

Raghav Kaushik (2)

Sarah Bird (2)

Aleksandrs Slivkins (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)

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)

Hosein Hasanbeig (2)

Ashish Panwar (2)

Sarah Smith (2)

Dan Bruce (2)

Christian Poelitz (2)

Jennifer Marsman (2)

Minseon Kim (2)

Avik Dutta (2)

Alex Farach (2)

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 Langford (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)

Patrick Longa (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)

Shujie Liu (1)

Subru Krishnan (1)

Weiwei Cui (1)

Xiaodong Liu (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)

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)

Akshay Nambi (1)

Amaury Chamayou (1)

Pulkit Misra (1)

Bei Liu (1)

Rangan Majumder (1)

Krzysztof Maziarz (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)

Fanny Nina Paravecino (1)

Hao Cheng (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)

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)

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)

Baotong Lu (1)

Prathamesh Deshpande (1)

Dongge Han (1)

Sarah Alamdari (1)

Kiran Tomlinson (1)

Son Ho (1)

Satarupa Guha (1)

Gabriel Ryan (1)

Yu Hu (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)

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)

Published Date

Publication

Jigsaw: Large Language Models meet Program Synthesis

Naman Jain, Skanda Vaidyanath, Arun Iyer, Nagarajan Natarajan, Suresh Parthasarathy, Sriram Rajamani, Rahul Sharma

International Conference on Software Engineering (ICSE) | May 2022

Github Project Project

Publication

Methods2Test: A dataset of focal methods mapped to test cases

Michele Tufano, Shao Kun Deng, Neel Sundaresan, Alexey Svyatkovskiy

2022 International Conference on Mining Software Repositories (MSR) | May 2022

Project

Publication

Towards Mining OSS Skills from GitHub Activity

Jenny T. Liang , Tom Zimmermann, Denae Ford

ICSE 2022 | May 2022

Video Project Project

Publication

Learning to Reduce False Positives in Analytic Bug Detectors

Anant Kharkar, Roshanak Zilouchian Moghaddam, Matthew Jin, Xiaoyu Liu, Xin Shi, Colin Clement, Neel Sundaresan

International Conference on Software Engineering | May 2022

Publication

“It’s Freedom to Put Things Where My Mind Wants”: Understanding and Improving the User Experience of Structuring Data in Spreadsheets

George Chalhoub, Advait Sarkar

Proceedings of the ACM CHI Conference on Human Factors in Computing Systems | May 2022

Project

Publication

Practitioners’ Expectations on Automated Code Comment Generation

Xing Hu, Xin Xia, David Lo, Zhiyuan Wan, Qiuyuan Chen, Tom Zimmermann

ICSE 2022 | May 2022

Publication

Attracting and Retaining OSS contributors with a Maintainer Dashboard

Mariam Guizani, Tom Zimmermann, Anita Sarma, Denae Ford

ICSE 2022 | May 2022

Video Project Project

Publication

Strategies for Reuse and Sharing among Data Scientists in Software Teams

Will Epperson, April Wang, Robert DeLIne, Steven Drucker

ICSE 2022 | May 2022

Publication

Testing Machine Learning Systems in Industry: An Empirical Study

Shuyue Li, Jiaqi Guo, Jian-Guang Lou, Ming Fan, Ting Liu, Dongmei Zhang

ICSE 2022 | May 2022

Publication

Nufix: Escape From NuGet Dependency Maze

Zhenming Li, Ying Wang, Zeqi Lin, Shing-Chi Cheung, Jian-Guang Lou

International Conference on Software Engineering | May 2022