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)

Cédric Fournet (59)

Don Syme (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)

Jenna Butler (18)

Lev Nachmanson (17)

Henrique S. Malvar (17)

Suman Nath (17)

Minghua Ma (17)

Cha Zhang (16)

Jay Lorch (16)

Phil Bernstein (16)

Suresh Thummalapenta (16)

Nagarajan Natarajan (16)

Bo Qiao (16)

Antoine Delignat-Lavaud (15)

Suresh Parthasarathy (15)

Jack Williams (15)

Galen Hunt (14)

Eric Horvitz (14)

Sarah Fakhoury (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)

Peng Cheng (10)

Ryan Beckett (10)

Venkatesh Emani (10)

Spandan Garg (10)

Gabriel Ebner (10)

Shraddha Barke (10)

David Heckerman (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)

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

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)

Marc-Alexandre Côté (6)

Sonia Jaffe (6)

Sonu Mehta (6)

Jue Zhang (6)

Jinu Jang (6)

Jonathan Mace (6)

Emerson Murphy-Hill (6)

Andrew Putnam (5)

Nancy Baym (5)

Chris Quirk (5)

Chong Luo (5)

Christopher Bishop (5)

Scott Counts (5)

Doug Burger (5)

Manik Varma (5)

Michel Galley (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)

Matheus Pereira (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)

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)

Wei Chen (4)

Avrilia Floratou (4)

Alok Kumbhare (4)

Chinmay Singh (4)

Qi Chen (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)

Darya Moldavskaya (4)

Minseon Kim (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)

Song Ge (3)

Stefan Saroiu (3)

Sumit Basu (3)

Hanna Wallach (3)

Yongqiang Xiong (3)

Zhitao Hou (3)

Swami Manohar (3)

Harsha Simhadri (3)

Vageesh D C (3)

Sean Andrist (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)

Benjamin Steenhoek (3)

Rebecca Janssen (3)

Hayley LeBlanc (3)

Adrien Ghosn (3)

Andrew Herbert (2)

Ajay Manchepalli (2)

A.J. Brush (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)

Patrick Longa (2)

Roy Levin (2)

Sharad Agarwal (2)

Siddhartha Sen (2)

Raghav Kaushik (2)

Sarah Bird (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)

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

Ashish Panwar (2)

Sarah Smith (2)

Dan Bruce (2)

Christian Poelitz (2)

Baotong Lu (2)

Jennifer Marsman (2)

Baolin Peng (2)

Avik Dutta (2)

Alex Farach (2)

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

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

Qiang Huo (1)

Ramachandran Ramjee (1)

Ray Huang (1)

Roman Lutchyn (1)

Ryota Tomioka (1)

Satya Lokam (1)

Spencer Fowers (1)

Shobana Balakrishnan (1)

Aleksandrs Slivkins (1)

Subru Krishnan (1)

Weiwei Cui (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)

Young Jin Kim (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)

Zhixiong Niu (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)

Niranjani Prasad (1)

Fanny Nina Paravecino (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)

Fabio Vera (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)

Hosein Hasanbeig (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)

Prathamesh Deshpande (1)

Dongge Han (1)

Sarah Alamdari (1)

Kiran Tomlinson (1)

Sushrut Karmalkar (1)

Son Ho (1)

Satarupa Guha (1)

Gabriel Ryan (1)

Yu Hu (1)

Fazle Faisal (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)

Rachel Lawrence (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)

Taiwei Shi (1)

Published Date

Publication

Roll Forward, Not Back: A Case for Deterministic Conflict Resolution

Sebastian Burckhardt, Manuel Fahndrich, Daan Leijen

The 2nd Workshop on Determinism and Correctness in Parallel Programming (WODET’11) | March 2011

(no formal proceedings)

Project

Publication

Accounting for Variability in Large-Scale Cluster Power Models

John Davis, Suzanne Rivoire, Moises Goldszmidt, Ehsan K. Ardestani

2nd Workshop on Exascale Evaluation and Research Techniques, Held in Conjunction with ASPLOS 2011 | March 2011

Publication

Strongly Typed Term Representations in Coq

Nick Benton, Chung-Kil Hur, Andrew Kennedy, Conor McBride

Journal of Automated Reasoning | March 2011

Publication

“Not My Bug!” and Other Reasons for Software Bug Report Reassignments

Philip J. Guo, Thomas Zimmermann, Nachiappan Nagappan, Brendan Murphy, Nachi Nagappan, Tom Zimmermann

Proceedings of the ACM Conference on Computer Supported Cooperative Work (CSCW) | March 2011

Project

Publication

Efficient Processor Support for DRFx, a Memory Model with Exceptions

Abhayendra Singh, Daniel Marino, Satish Narayanasamy, Todd Millstein, Madanlal Musuvathi, Madan Musuvathi

Proceedings of the Sixteenth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2011) | March 2011

Publication

Flikker: Saving DRAM Refresh-power through Critical Data Partitioning

Song Liu, Karthik Pattabiraman, Thomas Moscibroda, Ben Zorn

ASPLOS 2011: 16th International Conference on Architectural Support for Programming Languages and Operating Systems, Newport Beach, CA | March 2011

Publication

Compiling Information-Flow Security to Minimal Trusted Computing Bases

Cédric Fournet, Jeremy Planu

To appear in the proceedings of Programming Languages and Systems, 20th European Symposium on Programming, ESOP 2011. | March 2011

Publication

Pex for Fun: Engineering an Automated Testing Tool for Serious Games in Computer Science

Nikolai Tillmann, Jonathan "Peli" de Halleux, Tao Xie

MSR-TR-2011-41 | March 2011

Project Project Project Project

Publication

CRANE: Failure Prediction, Change Analysis and Test Prioritization in Practice – Experiences from Windows

Jacek Czerwonka, Rajiv Das, Nachi Nagappan, Alex Tarvo, Alex Teterev

International Conference on Software Testing | March 2011

Project

Publication

Semantics of Concurrent Revisions

Sebastian Burckhardt, Daan Leijen

European Symposium on Programming (ESOP’11) | March 2011

Project