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

Publication

Robust online Hamiltonian learning

Chris Granade, Chris Ferrie, Nathan Wiebe, David Cory

New Journal of Physics | January 2012

Publication

Performance Issue Diagnosis for Online Service Systems

Qiang Fu, …, Qingwei Lin 林庆维, …

the 31st International Symposium on Reliable Distributed Systems (SRDS’12) | January 2012

Publication

Interpolants as Classifiers

Rahul Sharma, Aditya Nori, Alex Aiken,

MSR-TR-2012-13 | January 2012

Publication

Round-Based Public Transit Routing

Daniel Delling, Thomas Pajor, Renato Werneck

Proceedings of the 14th Meeting on Algorithm Engineering and Experiments (ALENEX’12) | January 2012

Publication

Show No Weakness: Sequentially Consistent Specification of TSO Libraries

Alexey Gotsman, Madan Musuvathi, Hongseok Yang

International Symposium on Distributed Computing (DISC ’12) | January 2012

Publication

Incentive Compatible Two Player Cake Cutting

Avishay Maya, Noam Nisan

WINE 2012 | January 2012

Publication

Automated Termination Proofs for Java Bytecode with Cyclic Data

Marc Brockschmidt, Richard Musiol, Carsten Otto, Juergen Giesl

CAV | January 2012

Publication

Integrating Community Matching and Outlier Detection for Mining Evolutionary Community Outliers

Manish Gupta, Jing Gao, Yizhou Sun, Jiawei Han

Proc. of the 18th ACM Intl. Conf. on Knowledge Discovery and Data Mining (KDD) | January 2012

Publication

Symbolic Finite State Transducers: Algorithms and Applications

Margus Veanes, Pieter Hooimeijer, David Molnar, Nikolaj Bjorner, Ben Livshits

POPL’12 | January 2012

Publication

Using Dafny, an Automatic Program Verier

Luke Herbert, Rustan Leino, Jose Quaresma

Tools for Practical Software Verification | 2012

Github