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

Programming languages and software engineering

Meet MicroCode: a Live and Portable Programming Tool for the BBC micro:bit

Jacdac: Service-Based Prototyping of Embedded Systems

Project Verona: a programming language for the modern cloud

Research in Software Engineering (RiSE)

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

Qingwei Lin 林庆维 (83)

G. Ramalingam (81)

Christian Bird (79)

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

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)

Yu Kang (40)

Chetan Bansal (39)

Gustavo Soares (37)

Saravan Rajmohan (33)

Ethan Jackson (32)

Matthew J. Parkinson (29)

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)

Cha Zhang (16)

Jay Lorch (16)

Phil Bernstein (16)

Suresh Thummalapenta (16)

Nagarajan Natarajan (16)

Bo Qiao (16)

Minghua Ma (16)

Suresh Parthasarathy (15)

Jack Williams (15)

Galen Hunt (14)

Eric Horvitz (14)

Sarah Fakhoury (14)

Shan Lu (14)

Antoine Delignat-Lavaud (13)

Rui Ding (13)

Shuo Chen (13)

Yanjie Gao (12)

James Devine (12)

Yasharth Bajpai (12)

Badrish Chandramouli (11)

Emre Kiciman (11)

Jinyu Li (11)

Shengyu Fu (11)

Si Qin (11)

Kenji Takeda (10)

Ryan Beckett (10)

Venkatesh Emani (10)

Eirini Kalliamvakou (10)

Spandan Garg (10)

Gabriel Ebner (10)

Shraddha Barke (10)

David Heckerman (9)

Arun Iyer (9)

Chris Parnin (9)

Bin Benjamin Zhu (8)

Bozidar Radunovic (8)

Jonathan M. Carlson (8)

Manish Gupta (8)

Kaushik Rajan (8)

Karin Strauss (8)

Surajit Chaudhuri (8)

Chris Lovett (8)

Boris Köpf (8)

Yeyun Gong (8)

Yufan Huang (8)

Liqun Li (8)

Jay Bosamiya (8)

Will Guyman (8)

Smitha Saligrama (8)

Cameron Runde (8)

Andrew Blake (7)

Chris White (7)

Fan Yang (7)

Gopal Srinivasa (7)

Lidong Zhou (7)

Marina Polishchuk (7)

Peng Cheng (7)

Peter Lee (7)

Shamsi Iqbal (7)

Tony Hoare (7)

Vivek Narasayya (7)

Ramakrishna Bairi (7)

Jacob Nelson (7)

Carmen Badea (7)

Suvam Mukherjee (7)

Fangkai Yang (7)

Xiaoyu Liu (7)

Abigail Sellen (6)

Baining Guo (6)

Carlo Curino (6)

Haidong Zhang (6)

Jianfeng Gao (6)

Leslie Lamport (6)

Manuel Costa (6)

Nishanth Chandran (6)

Venkat Padmanabhan (6)

Jaime Teevan (6)

Weidong Cui (6)

Yifan Gong (6)

Sonia Jaffe (6)

Sonu Mehta (6)

Jinu Jang (6)

Xuchao Zhang (6)

Jonathan Mace (6)

Rujia Wang (6)

Andrew Putnam (5)

Arnd Christian König (5)

Chris Quirk (5)

Christopher Bishop (5)

Scott Counts (5)

Doug Burger (5)

Dinei Florencio (5)

Manik Varma (5)

Tom Minka (5)

Ranveer Chandra (5)

Rick Rashid (5)

Sameh Elnikety (5)

Ramarathnam Venkatesan (5)

Sergey Yekhanin (5)

Sylvan Clebsch (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)

Roshan Dathathri (5)

Ananya Singha (5)

Emerson Murphy-Hill (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)

Michel Galley (4)

Nick Craswell (4)

Ricardo Bianchini (4)

Sanjeev Mehrotra (4)

Sean Rintel (4)

Siân Lindley (4)

Srinath Setty (4)

Tolga Acar (4)

Shital Shah (4)

Neil Toronto (4)

Avrilia Floratou (4)

Alok Kumbhare (4)

Javier Hernandez (4)

Brent Hecht (4)

Zeqi Lin (4)

Joyce Cahoon (4)

Sara Malvar (4)

Sameer Segal (4)

Jue Zhang (4)

Guido Martínez (4)

Oleksii Oleksenko (4)

Angelica Moreira (4)

Lev Tankelevitch (4)

Gagan Somashekar (4)

Karthick Jayaraman (4)

Tianyu Chen (4)

Alec Wolman (3)

Josh Benaloh (3)

Cecily Morrison (3)

Chong Luo (3)

Christophe Poulain (3)

Ed Cutrell (3)

Daniel G. Goldstein (3)

Furu Wei (3)

Jennifer Wortman Vaughan (3)

John Tang (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)

Zhitao Hou (3)

Swami Manohar (3)

Harsha Simhadri (3)

Vageesh D C (3)

Sean Andrist (3)

Chinmay Singh (3)

Mihaela Vorvoreanu (3)

Qi Chen (3)

Haoyu Dong (3)

Xingdi Yuan (3)

Marc-Alexandre Côté (3)

Alessandro Sordoni (3)

Sunayana Sitaram (3)

Karthik Ramachandra (3)

Scarlett Li (3)

Yun Wang (3)

Longqi Yang (3)

Danny Simmons (3)

Madeleine Daepp (3)

Anna Pavlenko (3)

Philipp Witte (3)

Ziqiao Zhou (3)

Rodrigo Fonseca (3)

Ross Cutler (3)

Clint Simon (3)

Gaurav Mittal (3)

Jennifer Neville (3)

A. Parayil (3)

Chenglong Wang (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)

Ashley Feniello (2)

Christian Borgs (2)

Dr. Chetan Nayak (2)

Cormac Herley (2)

Christian Paquin (2)

Dan Shumow (2)

Ece Kamar (2)

Ganesh Ananthanarayanan (2)

Jennifer Chayes (2)

Jonathan Tims (2)

John Winn (2)

Karen Easterbrook (2)

Ken Woodberry (2)

Lijuan Wang (2)

Marcus Peinado (2)

Mark Encarnación (2)

Matthew Johnson (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)

Sarah Bird (2)

Aleksandrs Slivkins (2)

Siddharth Suri (2)

Vassily Lyutsarev (2)

Wentao Wu (2)

William Blum (2)

Weizhu Chen (2)

Yang Liu (2)

Yongqiang Xiong (2)

Xiao Lv (2)

Hannes Schulz (2)

Dan R. K. Ports (2)

Hannah Richardson (nee Murfet) (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)

Dongsheng Li (2)

Rathijit Sen (2)

Mengting Wan (2)

Katja Kevic (2)

Aaron L Halfaker (2)

Matteo Interlandi (2)

Dean Carignan (2)

Neha Parikh Shah (2)

Forough Poursabzi (2)

Pedro Henrique Penna (2)

Celine Irvene (2)

Jesús Camacho-Rodríguez (2)

Jayashree Mohan (2)

Javier Zazo (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)

Alex Bocharov (1)

Amit Sharma (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)

Dave Brown (1)

Daniel Cletheroe (1)

Darren Edge (1)

David Rothschild (1)

David Langworthy (1)

Dushyanth Narayanan (1)

Gordon Bell (1)

E. Glen Weyl (1)

Hannes Gamper (1)

Hitesh Ballani (1)

Hoifung Poon (1)

Hsiao-Wuen Hon (1)

Harry Shum (1)

Íñigo Goiri (1)

Ivan Tashev (1)

Janardhan (Jana) Kulkarni (1)

John Langford (1)

John Helmes (1)

Jonathan Lester (1)

John (JD) Douceur (1)

John Snyder (1)

Nebojsa Jojic (1)

Jonathan Larson (1)

Jack W. Stokes (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)

Mike Lewis (1)

Mary L. Gray (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)

Raghav Kaushik (1)

Subru Krishnan (1)

Weiwei Cui (1)

Xiaodong Liu (1)

Xing Xie (1)

Xin Ma (1)

Yan Huang (1)

Yan Lu (1)

Yao Qian (1)

Yongguang Zhang (1)

Youshan Miao (1)

Yordan Zaykov (1)

Zhenghan Wang (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)

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)

Qianxi Zhang (1)

Xu Cao (1)

Andrew Paverd (1)

Sangho Lee (1)

Ran Shu (1)

Yu Shi (1)

Tal Zaccai (1)

Martez Mott (1)

David Tittsworth (1)

Kate Lytvynets (1)

Akshay Nambi (1)

Amaury Chamayou (1)

Pulkit Misra (1)

Tanuja Ganu (1)

Rangan Majumder (1)

Krzysztof Maziarz (1)

Nathan Myhrvold (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)

Shaohan Huang (1)

Fanny Nina Paravecino (1)

Hao Cheng (1)

Brandon Haynes (1)

Jingwen Lu (1)

Fotis Psallidas (1)

Camille Couturier (1)

Weiwei Yang (1)

Marwin Segler (1)

Ava P. Amini (1)

Jason (Zengzhong) Li (1)

Rafael da Silva (1)

Vanessa Rodrigues (1)

James Brand (1)

Tengchao Lv (1)

Yuqing Yang (1)

Millicent Ochieng (1)

Anja Gruenheid (1)

Yuanyuan Tian (1)

Qianhui Wu (1)

Leonardo Nunes (1)

Najeeb G. Abdulhamid (1)

Debopam Bhattacherjee (1)

Sheng Zhao (1)

Serena Hillman (1)

Srinivasan Iyengar (1)

Giovanni Cherubin (1)

Xingxing Zhang (1)

Yangyu Huang (1)

Jiahang Xu (1)

Shuo Zhang (1)

Shaleen Deep (1)

Shoko Ueda (1)

Bonnie Kruft (1)

Nikola Pejic (1)

Corby Rosset (1)

Judith Amores (1)

Sadid A. Hasan (1)

Andres Codas (1)

Chethan M (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)

Ade Famoti (1)

Sampath Rajendra (1)

Baotong Lu (1)

Sarah Alamdari (1)

Kiran Tomlinson (1)

Satarupa Guha (1)

Gabriel Ryan (1)

Yu Hu (1)

Gaurav Verma (1)

Travis Lowdermilk (1)

Tyler Payne (1)

Shiyun Xu (1)

Vineeth N Balasubramanian (1)

Somya Chatterjee (1)

Nitisha Jain (1)

Alexandra Savelieva (1)

Lokesh Nagalapatti (1)

Yanuo Ma (1)

Published Date

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

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

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

Publication

Generating Examples From CLI Usage: Can Transformers Help?

Roshanak Zilouchian Moghaddam, Spandan Garg, Colin Clement, Yevhen Mohylevskyy, Neel Sundaresan

KDD 2022 | April 2022

Video

Github OS Community Panel at Schelling Point Amsterdam

April 21, 2022 | Kasia Sitkiewicz, Thibault Imbert, Sam Richards, Ele Diakomichalis

Github OS Community Panel featuring Kasia Sitkiewicz, Thibault Imbert, Sam Richardson, Ele Diakomichalis

40:25

Publication

Beyond Notations: Hygienic Macro Expansion for Theorem Proving Languages

Sebastian Ullrich, Leonardo de Moura

International Joint Conference on Automated Reasoning | April 2022

Project

Programming languages and software engineering

Highlights