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)

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)

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)

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)

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

Video

Demo of the CodeContracts static checker with code fixes

September 21, 2012 | Francesco Logozzo

A short demo of cccheck/Clousot The code implements a (buggy) Binary Search. The squiggles are bugs found by the static checker. The boxes are fixes suggested by it

Demo of the CodeContracts static checker with code fixes

02:00

Publication

F#3.0 – Strongly-Typed Language Support for Internet-Scale Information Sources

Don Syme, Keith Battocchi, Kenji Takeda, Donna Malayeri, Jomo Fisher, Jack Hu, Tao Liu, Brian McNamara, Daniel Quirk, Matteo Taveggia, Wonseok Chae, Uladzimir Matsveyeu, Tomas Petricek, ,

MSR-TR-2012-101 | September 2012

Project Project

Publication

Textual Features for Programming by Example

Aditya Krishna Menon, Omer Tamuz, Sumit Gulwani, Butler Lampson, Adam Tauman Kalai

Proceedings of the 30th International Conference on Machine Learning (ICML), 2013 | September 2012

Publication

The Effect of Branching Strategies on Software Quality

Emad Shihab, Christian Bird, Tom Zimmermann

Proceedings of the ACM/IEEE International Symposium on Empirical Software Engineering and Measurement | September 2012

Publication

Vectorisation avoidance

Gabriele Keller, Manuel Chakravarty, Roman Leshchinskiy, Ben Lippmeier, Simon Peyton Jones

Haskell Symposium | September 2012

Publication

Guiding parallel array fusion with index types

Ben Lippmeier, Manuel Chakravarty, Gabriele Keller, Simon Peyton Jones

Haskell Symposium, Copenhagen | September 2012

Publication

Safe Haskell

Simon Peyton Jones

Haskell ’12: Proceedings of the Fifth ACM SIGPLAN Symposium on Haskell | September 2012

Publication

Work Efficient Higher-Order Vectorisation

Ben Lippmeier, Manuel Chakravarty, Gabriele Keller, Roman Leshchinskiy, Simon Peyton Jones

ICFP’12 | September 2012

Publication

Modular Heap Analysis For Higher Order Programs

G. Ramalingam, Kapil Vaswani

Static Analysis Symposium (SAS) | September 2012

Publication

Predicting Method Crashes with Bytecode Operations

Sunghun Kim, Tom Zimmermann, Rahul Premraj, Nicolas Bettenburg, Shivkumar Shivaji

MSR-TR-2012-94 | September 2012