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)

Akash Lal (71)

Daan Leijen (71)

Nikhil Swamy (61)

Sebastian Burckhardt (61)

Don Syme (58)

Cédric Fournet (57)

Ben Zorn (57)

Aditya Nori (55)

Nikolaj Bjørner (55)

Arjun Radhakrishna (54)

Aseem Rastogi (51)

Vu Le (50)

Denae Ford (49)

Chris Hawblitzel (45)

Yu Kang (39)

Chetan Bansal (37)

Gustavo Soares (37)

Ethan Jackson (32)

Saravan Rajmohan (31)

Matthew J. Parkinson (29)

Advait Sarkar (27)

Butler Lampson (25)

Tahina Ramananandro (24)

Shi Han (23)

Haoxiang Lin (22)

Mukul Singh (22)

Jim Gray (21)

Andrey Rybalchenko (21)

Brian Houck (21)

Jacek Czerwonka (20)

Pu Zhao (20)

Saikat Chakraborty (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)

Bo Qiao (16)

Minghua Ma (16)

Suresh Parthasarathy (15)

Nagarajan Natarajan (15)

Jack Williams (15)

Galen Hunt (14)

Eric Horvitz (14)

Sarah Fakhoury (14)

Antoine Delignat-Lavaud (13)

Rui Ding (13)

Shuo Chen (13)

Shan Lu (13)

Badrish Chandramouli (12)

Yanjie Gao (12)

James Devine (12)

Yasharth Bajpai (12)

Emre Kiciman (11)

Jinyu Li (11)

Si Qin (11)

Kenji Takeda (10)

Ryan Beckett (10)

Venkatesh Emani (10)

Eirini Kalliamvakou (10)

Shengyu Fu (10)

Gabriel Ebner (10)

Shraddha Barke (10)

David Heckerman (9)

Chris Lovett (9)

Arun Iyer (9)

Spandan Garg (9)

Chris Parnin (9)

Bin Benjamin Zhu (8)

Bozidar Radunovic (8)

Jonathan M. Carlson (8)

Chris White (8)

Manish Gupta (8)

Kaushik Rajan (8)

Karin Strauss (8)

Surajit Chaudhuri (8)

Boris Köpf (8)

Liqun Li (8)

Jay Bosamiya (8)

Will Guyman (8)

Smitha Saligrama (8)

Cameron Runde (8)

Andrew Blake (7)

Fan Yang (7)

Gopal Srinivasa (7)

Lidong Zhou (7)

Marina Polishchuk (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)

Irene Zhang (6)

Sonia Jaffe (6)

Sonu Mehta (6)

Yeyun Gong (6)

Yufan Huang (6)

Jinu Jang (6)

Xuchao Zhang (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)

Divya Gupta (5)

Yiwen Zhu (5)

Hang Dong (5)

Paulo Salem (5)

Jeevana Priya Inala (5)

Priyanshu Gupta (5)

Jonathan Mace (5)

Nicolas Bruno (5)

Roshan Dathathri (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)

Michel Galley (4)

Nick Craswell (4)

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

Hongzhi Li (4)

Javier Hernandez (4)

Brent Hecht (4)

Zeqi Lin (4)

Joyce Cahoon (4)

Sara Malvar (4)

Sameer Segal (4)

Jue Zhang (4)

Abhinav Jangda (4)

Guido Martínez (4)

Oleksii Oleksenko (4)

Angelica Moreira (4)

Lev Tankelevitch (4)

Gagan Somashekar (4)

Karthick Jayaraman (4)

Emerson Murphy-Hill (4)

Alec Wolman (3)

Ashley Feniello (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)

Johannes Gehrke (3)

John Tang (3)

Kalika Bali (3)

Matthew Hastings (3)

Manoj Syamala (3)

Mark Encarnación (3)

Markus Weimer (3)

Nathalie Henry Riche (3)

Nicole Immorlica (3)

Pallavi Choudhury (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)

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)

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)

Marcus Peinado (2)

Matthew Johnson (2)

Martin Grayson (2)

Michael Levit (2)

Michael Naehrig (2)

Thomas Moscibroda (2)

Nicolas Villar (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)

Rahee Ghosh Peshawaria (2)

Pat Sweeney (2)

Xiao Lv (2)

Hannes Schulz (2)

Dan R. K. Ports (2)

Hannah Richardson (nee Murfet) (2)

Tal Zaccai (2)

Nicholas Wilson (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)

Aaron L Halfaker (2)

Matteo Interlandi (2)

Neha Parikh Shah (2)

Forough Poursabzi (2)

Pedro Henrique Penna (2)

Vanessa Rodrigues (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)

Andres Codas (2)

Sarah Smith (2)

Dan Bruce (2)

Shweti Mahajan (2)

Christian Poelitz (2)

Jennifer Marsman (2)

Minseon Kim (2)

Lucas Caccia (2)

Avik Dutta (2)

Tianyu Chen (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 Needham (1)

Chuck Thacker (1)

Chin-Yew Lin (1)

Dave Brown (1)

Daniel Cletheroe (1)

Darren Edge (1)

Dany Rouhana (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)

Lenin Ravindranath Sivalingam (1)

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

Robert Gruen (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)

ThuVan Pham (1)

Weiwei Cui (1)

Xiaodong Liu (1)

Xing Xie (1)

Xin Ma (1)

Yan Huang (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)

Nathan Evans (1)

Shikhar Sharma (1)

Robert Sim (1)

Bryan Tower (1)

Pavel Myshkov (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)

Dr Kiran Muthabatulla (1)

Ran Shu (1)

Yu Shi (1)

Martez Mott (1)

David Tittsworth (1)

Kate Lytvynets (1)

Akshay Nambi (1)

Amaury Chamayou (1)

Pulkit Misra (1)

Xiaofei Wang (1)

Lukas Wutschitz (1)

Denny Sun (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)

Carolyn Buractaon (1)

Dongsheng Li (1)

Brian Caswell (1)

Bahar Sarrafzadeh (1)

Manthan Thakker (1)

Yoganand Rajasekaran (1)

Shaohan Huang (1)

Fanny Nina Paravecino (1)

Hao Cheng (1)

Brandon Haynes (1)

Jingwen Lu (1)

Fotis Psallidas (1)

Dean Carignan (1)

Camille Couturier (1)

Weiwei Yang (1)

Iker Llorens (1)

Luis França (1)

Ava P. Amini (1)

Gabriela Martinez Sanchez (1)

Jason (Zengzhong) Li (1)

Rafael da Silva (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)

Gaurav Mittal (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)

Morris Sharp (1)

Shoko Ueda (1)

Bonnie Kruft (1)

Nikola Pejic (1)

Matheus R. F. Mendonça (1)

Corby Rosset (1)

Judith Amores (1)

Tara Safavi (1)

Sadid A. Hasan (1)

Chethan M (1)

Bruno Silva (1)

Riyaz Pishori (1)

Sara Abdali (1)

Jan Hermann (1)

Whitney Hudson (1)

Siva Kesava Reddy Kakarla (1)

Asma Ben Abacha (1)

Nicolai Marquardt (1)

Ade Famoti (1)

Sampath Rajendra (1)

Baotong Lu (1)

Sarah Alamdari (1)

Carles Domingo-Enrich (1)

Kiran Tomlinson (1)

Satarupa Guha (1)

Gabriel Ryan (1)

Yu Hu (1)

Gaurav Verma (1)

Simra Shahid (1)

Travis Lowdermilk (1)

Tyler Payne (1)

Shiyun Xu (1)

Somya Chatterjee (1)

Published Date

Publication

Extracting Equivalent SQL from Imperative Code in Database Applications

Venkatesh Emani, Karthik Ramachandra, Subhro Bhattacharya, S. Sudarshan

SIGMOD | June 2016

Publication

DSMR: A Parallel Algorithm for Single-Source Shortest Path Problem

Saeed Maleki, Donald Nguyen, Andrew Lenharth, María Garzarán, David Padua, Keshav Pingali

2016 International Conference on Supercomputing | May 2016

Publication

How to Tame Your Online Services

Qingwei Lin 林庆维, …

Perspectives in Data Science for SE | 2016

Video

Latin American Faculty Summit 2016 – Open source software and industry: exploring the reality

May 19, 2016 | Judith Bishop

0:53:18

Video

Latin American Faculty Summit 2016 – Data and Code at your Fingertips

May 19, 2016 | Jonathan Protzenko

0:25:49

Publication

Program Synthesis using Natural Language

Aditya Desai, Sumit Gulwani, Vineet Hingorani, Nidhi Jain, Amey Karkare, Mark Marron, Sailesh R, Subhajit Roy

ICSE ’16, Austin, TX, USA | May 2016

Publication

Finding and analyzing compiler warning defects

Chengnian Sun, Vu Le, Zhendong Su

2016 International Conference on Software Engineering | May 2016

Publication

Practical programming, validation and verification with finite-state machines: a library and its industrial application

Paulo Salem

2016 International Conference on Software Engineering | May 2016

Video

Studio Pedagogy in Computer Classes with Projection AR

May 6, 2016 | Betsy DiSalvo, Blair MacIntyre

STEM education often involves computer-based work, from modeling and simulation in engineering, to programming in computer science, to Mathematica work in mathematics classes. Even using novel pedagogy like pair programming, the opportunities for collaboration, awareness…

1:13:34

Publication

Information Flows in Encrypted Databases

Kapil Vaswani, Ravi Ramamurthy, Ramarathnam Venkatesan

May 2016

Programming languages and software engineering

Highlights