Programming languages and software engineering research area

Return to Microsoft Research Lab – Redmond

Research in Software Engineering (RiSE)

출판물

자료 보기:

- DroidSpeak: Efficient Context Sharing for Multiple-LLM Inference
  
  Yuhan Liu, Yuyang Huang, Jiayi Yao, Zhuohan Gu, Kuntai Du, Hanchen Li, Yihua Cheng, Junchen Jiang, Shan Lu, Madan Musuvathi, Esha Choukse
  
  NSDI | May 2026
  
  Publication 프로젝트
- Regex Decision Procedures in Extended RE#
  
  Ian Erik Varatalu, Margus Veanes, Ekaterina Zhuchko, Juhan Ernits
  
  CAV 2025 | July 2025
  
  편집자: R. Piskac and Z. Rakamaric
  
  Published in LNCS vol. 15933
  
  DOI 프로젝트
- Principal Type Inference under a Prefix
  
  Daan Leijen, Wenjia Ye
  
  PLDI’25 | June 2025
  
  A Fresh Look at Static Overloading. See also the accompanying technical report.
  
  Publication 프로젝트
- PulseCore: An Impredicative Concurrent Separation Logic for Dependently Typed Programs
  
  Gabriel Ebner, Guido Martínez, Aseem Rastogi, Thibault Dardinier, Megan Frisella, Tahina Ramananandro, Nikhil Swamy
  
  2025 Programming Language Design and Implementation | June 2025
  
  Accepted for publication, to appear
  
  Author's Version 프로젝트
- 3DGen: AI-Assisted Generation of Provably Correct Binary Format Parsers
  
  Sarah Fakhoury, Markus Kuppe, Shuvendu Lahiri, Tahina Ramananandro, Nikhil Swamy
  
  2025 International Conference on Software Engineering | April 2025
  
  DOI Publication Publication 프로젝트
- Towards Neural Synthesis for SMT-Assisted Proof-Oriented Programming
  
  Saikat Chakraborty, Gabriel Ebner, Siddharth Bhat, Sarah Fakhoury, Sakina Fatima, Shuvendu Lahiri, Nikhil Swamy
  
  2025 International Conference on Software Engineering | April 2025
  
  Preprint 다운로드 다운로드 프로젝트
- Netherite: Efficient Execution of Serverless Workflows (Extended Journal Version)
  
  Sebastian Burckhardt, Badrish Chandramouli, Chris Gillum (cgillum), David Justo (dajusto), Konstantinos Kallas, Connor McMahon, Christopher S. Meiklejohn, Xiangfeng Zhu
  
  VLDB J. | February 2025, 제 34 권: pp. 25
  
  Special Issue "Best of VLDB 2022"
  
  DOI Publication
- RE#: High Performance Derivative-Based Regex Matching with Intersection, Complement, and Restricted Lookarounds
  
  Ian Erik Varatalu, Margus Veanes, Juhan Ernits
  
  POPL | January 2025
  
  DOI Author's Version 프로젝트
- Symbolic Automata: Omega-Regularity Modulo Theories
  
  Margus Veanes, Thomas Ball, Gabriel Ebner, Ekaterina Zhuchko
  
  POPL | January 2025
  
  Author's Version DOI 프로젝트
- Principal Type Inference under a Prefix (TR)
  
  Daan Leijen, Wenjia Ye
  
  MSR-TR-2024-34 | September 2024
  
  글쓴이 Microsoft
  
  A Fresh Look at Static Overloading. Updated 2025-05-19, v7. Extended version of the PLDI'25 paper.
  
  Publication 프로젝트
- Cloud Actor-Oriented Database Transactions in Orleans
  
  Tamer Eldeeb, Sebastian Burckhardt, Reuben Bond, Asaf Cidon, Junfeng Yang, Phil Bernstein
  
  Proc. VLDB Endow. | July 2024, 제 17 권: pp. 3720-3730
  
  DOI Publication 프로젝트
- Can Large Language Models Transform Natural Language Intent into Formal Method Postconditions?
  
  Madeline Endres, Sarah Fakhoury, Saikat Chakraborty, Shuvendu Lahiri
  
  The ACM International Conference on the Foundations of Software Engineering (FSE) | July 2024
  
  GitHub page https://github.com/microsoft/nl-2-postcond/
  
  Publication Preprint 프로젝트
- Evaluating LLM-driven User-Intent Formalization for Verification-Aware Languages
  
  Shuvendu Lahiri
  
  Formal Methods in Computer-Aided Design (FMCAD’24) | July 2024
  
  Preprint 프로젝트
- Jacdac: Service-Based Prototyping of Embedded Systems
  
  Thomas Ball, Jonathan "Peli" de Halleux, James Devine, Steve Hodges, Michal Moskal
  
  Programming Language Design and Implementation (PLDI) | June 2024
  
  Publication 프로젝트
- The Functional Essence of Imperative Binary Search Trees
  
  Anton Lorenzen, Daan Leijen, Wouter Swierstra, Sam Lindley
  
  PLDI’24 | June 2024
  
  Publication 프로젝트
- Meet MicroCode: a Live and Portable Programming Tool for the BBC micro:bit
  
  Kobi Hartley, Elisa Rubegni, Lorraine Underwood, Joe Finney, Thomas Ball, Steve Hodges, Eric Anderson, Jonathan "Peli" de Halleux, James Devine, Michal Moskal
  
  23rd annual ACM Interaction Design and Children (IDC) Conference | June 2024
  
  Publication Github
- Solving Data-centric Tasks using Large Language Models
  
  Shraddha Barke, Christian Poelitz, Carina Negreanu, Ben Zorn, José Cambronero, Andy Gordon, Vu Le, Elnaz Nouri, Nadia Polikarpova, Advait Sarkar, Brian Slininger, Neil Toronto, Jack Williams
  
  Annual Conference of the North American Chapter of the Association for Computational Linguistics | June 2024
  
  Publication
- NL2Fix: Generating Functionally Correct Code Edits from Bug Descriptions
  
  Sarah Fakhoury, Saikat Chakraborty, Madan Musuvathi, Shuvendu Lahiri
  
  2024 International Conference on Software Engineering | May 2024
  
  Poster track
  
  Publication 프로젝트
- Tail Recursion Modulo Context: An Equational Approach (extended version)
  
  Daan Leijen, Anton Lorenzen
  
  under submission to JFP. | May 2024
  
  This is an extended version of the POPL'23 publication under submission to a special issue of the Journal of Functional Programming (JFP). Extended topics include an improved TRMC algorithm, composing contexts, _field_ contexts, and first-class constructor contexts.
  
  Publication 프로젝트
- LLM-Based Test-Driven Interactive Code Generation: User Study and Empirical Evaluation
  
  Sarah Fakhoury, Aaditya Naik, Georgios Sakkas, Saikat Chakraborty, Shuvendu Lahiri
  
  IEEE Transactions on Software Engineering | April 2024, 제 50 권: pp. 2254-2268
  
  DOI Publication 프로젝트
- Lean Formalization of Extended Regular Expression Matching with Lookarounds
  
  Ekaterina Zhuchko, Margus Veanes, Gabriel Ebner
  
  CPP | January 2024
  
  Author's Version DOI 프로젝트
- Ranking LLM-Generated Loop Invariants for Program Verification
  
  Saikat Chakraborty, Shuvendu Lahiri, Sarah Fakhoury, Madan Musuvathi, Akash Lal, Aseem Rastogi, Nikhil Swamy, Rahul Sharma
  
  2023 Empirical Methods in Natural Language Processing | December 2023
  
  EMNLP-Findings 2023
  
  Preprint Github 프로젝트
- Qualified Effect Types — Taming Control-Flow through Linear Effect Handlers
  
  Jonathan Immanuel Brachthäuser, Daan Leijen
  
  MSR-TR-2023-42 | November 2023
  
  글쓴이 Microsoft
  
  This technical report is the result of an internship of Jonathan Brachthäuser at Microsoft Research, Redmond in 2018. While the report is published in 2023, the paper reflects the work at the time of writing.
  
  Publication 프로젝트
- ColDeco: An End User Spreadsheet Inspection Tool for AI-Generated Code
  
  Kasra Ferdowsi, Jack Williams, Ian Drosos, Andy Gordon, Carina Negreanu, Nadia Polikarpova, Advait Sarkar, Ben Zorn
  
  IEEE Symposium on Visual Languages and Human-Centric Computing | October 2023
  
  Publication 프로젝트 프로젝트 프로젝트
- Confidential Consortium Framework: Secure Multiparty Applications with Confidentiality, Integrity, and High Availability
  
  Heidi Howard, Fritz Alder, Eddy Ashton, Amaury Chamayou, Sylvan Clebsch, Manuel Costa, Antoine Delignat-Lavaud, Cédric Fournet, Andrew Jeffery, Matthew Kerner, Fotios Kounelis, Markus Kuppe, Julien Maffre, Mark Russinovich, Christoph M. Wintersteiger
  
  Proceedings of the VLDB Endowment | October 2023, 제 17 권(2)
  
  Nominee for Best Paper Award
  
  Publication Preprint Author's Version 프로젝트
- Continuing WebAssembly with Effect Handlers
  
  LUNA PHIPPS-COSTIN, ANDREAS ROSSBERG, ARJUN GUHA, Daan Leijen, DANIEL HILLERSTRÖM, KC SIVARAMAKRISHNAN, MATIJA PRETNAR, SAM LINDLEY
  
  OOPSLA’23 | October 2023
  
  Publication 프로젝트
- FP$^2$: Fully in-Place Functional Programming
  
  Anton Lorenzen, Daan Leijen, Wouter Swierstra
  
  ICFP 2023 | September 2023
  
  preprint
  
  Publication 프로젝트
- Exploring Perceus for OCaml
  
  Elton Pinto, Daan Leijen
  
  September 2023
  
  Presented at the "Higher order, Typed, Strict: ML Family Workshop 2023" co-located with ICFP'23.
  
  Publication 프로젝트
- Participatory prompting: a user-centric research method for eliciting AI assistance opportunities in knowledge workflows
  
  Advait Sarkar, Ian Drosos, Robert DeLIne, Andy Gordon, Carina Negreanu, Sean Rintel, Jack Williams, Ben Zorn
  
  Proceedings of the 34th Annual Conference of the Psychology of Programming Interest Group (PPIG 2023) | August 2023
  
  PDF 프로젝트 프로젝트 프로젝트
- The Functional Essence of Imperative Binary Search Trees
  
  Anton Lorenzen, Daan Leijen, Wouter Swierstra, Sam Lindley
  
  MSR-TR-2023-28 | July 2023
  
  글쓴이 Microsoft
  
  v4, Dec 27, 2023 (previously titled "A Functional Correspondence between Top-down and Bottom-up Tree Algorithms") This is an extended version of the PLDI'24 publication.
  
  Publication 프로젝트
- CODAMOSA: Escaping Coverage Plateaus in Test Generation with Pre-trained Large Language Models
  
  Caroline Lemieux, Jeevana Priya Inala, Shuvendu Lahiri, Siddhartha Sen
  
  ICSE’23 | May 2023
  
  Preprint Github 프로젝트
- FP^2: Fully in-Place Functional Programming (TR)
  
  Anton Lorenzen, Daan Leijen, Wouter Swierstra
  
  MSR-TR-2023-19 | May 2023
  
  글쓴이 Microsoft
  
  Extended version of the ICFP'23 publication
  
  Publication 프로젝트
- Derivative Based Nonbacktracking Real-World Regex Matching with Backtracking Semantics
  
  Dan Moseley, Mario Nishio, Jose Perez Rodriguez, Olli Saarikivi, Stephen Toub, Margus Veanes, Tiki Wan, Eric Xu
  
  MSR-TR-2023-15 | April 2023
  
  글쓴이 Microsoft
  
  Extended version of paper that appears in PLDI 2023.
  
  Publication Author's Version 프로젝트
- Doing More with Less: Orchestrating Serverless Applications without an Orchestrator
  
  David Liu , Amit Levy, Shadi Noghabi, Sebastian Burckhardt
  
  NSDI | April 2023
  
  Publication
- Tail Recursion Modulo Context: An Equational Approach
  
  Daan Leijen, Anton Lorenzen
  
  POPL’23 | January 2023
  
  Publication 프로젝트
- Jacdac: Service-based Prototyping of Embedded Systems
  
  Thomas Ball, Jonathan "Peli" de Halleux, James Devine, Steve Hodges, Michal Moskal
  
  MSR-TR-2023-4 | January 2023
  
  글쓴이 Microsoft
  
  Publication 프로젝트 프로젝트
- ASN1*: Provably Correct Non-Malleable Parsing for ASN.1 DER
  
  Haobin Ni, Antoine Delignat-Lavaud, Cédric Fournet, Tahina Ramananandro, Nikhil Swamy
  
  Certified Programs and Proofs | January 2023
  
  Accepted for publication, to appear
  
  PDF 프로젝트
- FastVer2: A Provably Correct Monitor for Concurrent, Key-Value Stores
  
  Arvind Arasu, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy, Aymeric Fromherz, Kesha Hietala, Bryan Parno, Ravi Ramamurthy
  
  Certified Programs and Proofs | January 2023
  
  Accepted for publication, to appear
  
  PDF 프로젝트
- Fault-Aware Neural Code Rankers
  
  Jeevana Priya Inala, Chenglong Wang, Mei Yang, Andres Codas, Mark Encarnación, Shuvendu Lahiri, Madan Musuvathi, Jianfeng Gao
  
  NeurIPS 2022 | November 2022
  
  Publication Publication 프로젝트
- Program Merge Conflict Resolution via Neural Transformers
  
  Alexey Svyatkovskiy, Sarah Fakhoury, Negar Ghorbani, Todd Mytkowicz, Christian Bird, Jinu Jang, Neel Sundaresan, Shuvendu Lahiri, Elizabeth Dinella
  
  The ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE ’22) | November 2022
  
  Publication 프로젝트 프로젝트
- Lost in Translation: from Linear Temporal Logic to Büchi Automata
  
  Margus Veanes, Olli Saarikivi, Thomas Ball
  
  MSR-TR-2022-26 | October 2022
  
  글쓴이 Microsoft
  
  Publication 프로젝트
- Plug-and-play Physical Computing with Jacdac
  
  James Devine, Michal Moskal, Jonathan "Peli" de Halleux, Thomas Ball, Steve Hodges, Gabriele D’Amone, David Gakure, Joe Finney, Lorraine Underwood, Kobi Hartley, Paul Kos, Matt Oppenheim
  
  Proceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous Technologies | September 2022, 제 6 권(3)
  
  PDF DOI 프로젝트 프로젝트
- Reference counting with frame limited reuse
  
  Anton Lorenzen, Daan Leijen
  
  ICFP’22 | August 2022
  
  Publication 프로젝트
- Interactive Code Generation via Test-Driven User-Intent Formalization
  
  Shuvendu Lahiri, Sarah Fakhoury, Aaditya Naik, Georgios Sakkas, Saikat Chakraborty, Piali Choudhury, Curtis von Veh, Madan Musuvathi, Jeevana Priya Inala, Chenglong Wang, Jianfeng Gao
  
  August 2022
  
  Publication 프로젝트
- Counting in Regexes Considered Harmful: Exposing ReDoS Vulnerability of Nonbacktracking Matchers
  
  Lenka Turoňová, Lukáš Holík, Ivan Homoliak, Ondřej Lengál, Margus Veanes, Tomáš Vojnar
  
  31st USENIX Security Symposium | August 2022
  
  Publication
- What About the Integer Numbers? Fast Arithmetic with Tagged Integers — A Plea for Hardware Support
  
  Daan Leijen
  
  MSR-TR-2022-17 | July 2022
  
  글쓴이 Microsoft
  
  Presented at ML language workshop 2022 (co-located with ICFP'22).
  
  Publication 프로젝트
- Tail Recursion Modulo Context — An Equational Approach
  
  Daan Leijen, Anton Lorenzen
  
  MSR-TR-2022-18 | July 2022
  
  글쓴이 Microsoft
  
  Publication 프로젝트
- Using Pre-trained Language Models to Resolve Textual and Semantic Merge Conflicts (Experience Paper)
  
  Jialu Zhang, Mike Kaufman, Todd Mytkowicz, Ruzica Piskac, Shuvendu Lahiri
  
  ISSTA 2022: Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis | July 2022
  
  Publication 프로젝트 프로젝트
- Hardening Attack Surfaces with Formally Proven Binary Format Parsers
  
  Nikhil Swamy, Tahina Ramananandro, Aseem Rastogi, Irina Spiridonova, Haobin Ni, Dmitry Malloy, Juan Vazquez, Michael Tang, Omar Cardona, Arti Gupta
  
  2022 Programming Language Design and Implementation | June 2022
  
  Publication DOI 프로젝트
- InspectJS: Leveraging Code Similarity and User-Feedback for Effective Taint Specification Inference for JavaScript
  
  Saikat Dutta, Diego Garbervetsky, Shuvendu Lahiri, Max Schäfer
  
  ICSE 2022 | May 2022
  
  Software Engineering in Practice SEIP Track
  
  Publication 동영상 프로젝트
- DeepMerge: Learning to Merge Programs
  
  Elizabeth Dinella, Todd Mytkowicz, Alexey Svyatkovskiy, Christian Bird, Mayur Naik, Shuvendu Lahiri
  
  IEEE Transactions on Software Engineering (TSE’22) | May 2022
  
  Preprint Publication 프로젝트 프로젝트
- TOGA: A Neural Method for Test Oracle Generation
  
  Elizabeth Dinella, Gabriel Ryan, Todd Mytkowicz, Shuvendu Lahiri
  
  ICSE 2022 | May 2022
  
  ICSE'22 ACM SIGSOFT Distinguished Award
  
  Publication Publication 동영상 프로젝트
- Netherite: Efficient Execution of Serverless Workflows
  
  Sebastian Burckhardt, Badrish Chandramouli, Chris Gillum, David Justo, Konstantinos Kallas, Connor McMahon, Christopher S. Meiklejohn, Xiangfeng Zhu
  
  VLDB 2022 | April 2022
  
  Publication PDF
- SolType: Refinement Types for Solidity
  
  Bryan Tan, Benjamin Mariano, Shuvendu Lahiri, Isil Dillig, Yu Feng
  
  POPL 2022 | January 2022
  
  Publication 프로젝트
- High Assurance Software for Financial Regulation and Business Platforms
  
  Stephen Goldbaum, Attila Mihaly, Tosha Ellison, Earl T. Barr, Mark Marron
  
  International Conference on Verification, Model Checking, and Abstract Interpretation | January 2022
  
  Publication 프로젝트
- Reference Counting with Frame Limited Reuse (extended version, v2)
  
  Anton Lorenzen, Daan Leijen
  
  MSR-TR-2021-30 | November 2021
  
  글쓴이 Microsoft
  
  Mar 15, 2022, v2
  
  Publication 프로젝트
- EVA Improved: Compiler and Extension Library for CKKS
  
  Sangeeta Chowdhary, Wei Dai, Kim Laine, Olli Saarikivi
  
  Workshop on Encrypted Computing & Applied Homomorphic Cryptography (WAHC ’21) | November 2021
  
  Publication
- Developers Who Vlog: Dismantling Stereotypes through Community and Identity
  
  Souti Chattoadhyay, Denae Ford, Tom Zimmermann
  
  ACM Conference on Computer-Supported Cooperative Work and Social Computing (CSCW) | October 2021
  
  PDF 동영상 프로젝트
- Durable Functions: Semantics for Stateful Serverless
  
  Sebastian Burckhardt, Chris Gillum, David Justo, Konstantinos Kallas, Connor McMahon, Christopher S. Meiklejohn
  
  OOPSLA | October 2021
  
  Publication Author's Version
- MergeBERT: Program Merge Conflict Resolution via Neural Transformers
  
  Alexey Svyatkovskiy, Todd Mytkowicz, Negar Ghorbani, Sarah Fakhoury, Elizabeth Dinella, Christian Bird, Neel Sundaresan, Shuvendu Lahiri
  
  August 2021
  
  Publication 프로젝트 프로젝트
- Generalized Evidence Passing for Effect Handlers (or, Efficient Compilation of Effect Handlers to C)
  
  Ningning Xie, Daan Leijen
  
  Proc. ACM Prog. Lang. (ICFP’21) | August 2021, 제 5 권(ICFP): pp. 71
  
  doi: 10.1145/3473576
  
  Publication 프로젝트
- Comprehensive Reachability Refutation and Witnesses Generation via Language and Tooling Co-Design
  
  Mark Marron, Deepak Kapur
  
  MSR-TR-2021-17 | August 2021
  
  글쓴이 Microsoft
  
  Publication 프로젝트
- Web-based Programming for Low-cost Gaming Handhelds
  
  Michal Moskal, Jonathan "Peli" de Halleux, Thomas Ball, Abhijith Chatra, James Devine, Steve Hodges, Shannon Kao, Richard Knoll, Galen Nickel, Jacqueline Russell, Joey Wunderlich, Daryl Zuniga
  
  Foundations of Digital Games | August 2021
  
  Best paper
  
  PDF DOI 프로젝트 프로젝트
- Reel Life vs. Real Life: How Software Developers Share Their Daily Life through Vlogs
  
  Souti Chattopadhyay, Tom Zimmermann, Denae Ford
  
  ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) | August 2021
  
  Publication 프로젝트
- FastVer: Making Data Integrity a Commodity
  
  Arvind Arasu, Aseem Rastogi, Badrish Chandramouli, Donald Kossmann, Esha Ghosh, Johannes Gehrke, Nikhil Swamy, Jonathan Protzenko, Ravi Ramamurthy, Srinath Setty, Tahina Ramananandro, Alexander van Renen, Min Xu
  
  SIGMOD | June 2021
  
  Publication 프로젝트
- Perceus: Garbage Free Reference Counting with Reuse
  
  Alex Reinking*, Ningning Xie*, Leonardo de Moura, Daan Leijen
  
  The 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation (PLDI ’21) | June 2021
  
  (*) The first two authors contributed equally to this work. Distinguished paper at PLDI'21.
  
  Publication Github 프로젝트
- Can Program Synthesis be Used to Learn Merge Conflict Resolutions? An Empirical Analysis
  
  Rangeet Pan, Vu Le, Nachi Nagappan, Sumit Gulwani, Shuvendu Lahiri, Mike Kaufman
  
  2021 IEEE/ACM 43nd International Conference on Software Engineering (ICSE ’21) | May 2021
  
  Publication 프로젝트
- SmartPulse: Automated Checking of Temporal Properties in Smart Contracts
  
  Jon Stephens, Kostas Ferles, Benjamin Mariano, Shuvendu Lahiri, Isil Dillig
  
  42nd IEEE Symposium on Security and Privacy | May 2021
  
  Publication 프로젝트
- First-class Named Effect Handlers
  
  Ningning Xie, Youyou Cong, Daan Leijen
  
  MSR-TR-2021-10 | May 2021
  
  글쓴이 Microsoft
  
  Presented at the 8th ACM SIGPLAN Workshop on Higher-Order Programming with Effects (HOPE'21).
  
  Publication 프로젝트
- A Security Model and Fully Verified Implementation for the IETF QUIC Record Layer
  
  Antoine Delignat-Lavaud, Cédric Fournet, Bryan Parno, Jonathan Protzenko, Tahina Ramananandro, Jay Bosamiya, Joseph Lallemand, Itsaka Rakotonirina, Yi Zhou
  
  IEEE Symposium on Security and Privacy | May 2021
  
  Publication 프로젝트
- Anomalicious: Automated Detection of Anomalous and Potentially Malicious Commits on GitHub
  
  Danielle Gonzalez, Thomas Zimmermann, Patrice Godefroid, Max Schaefer
  
  International Conference on Software Engineering (ICSE), Software Engineering in Practice (SEIP) track | May 2021
  
  Publication PDF 프로젝트 프로젝트
- Generalized Evidence Passing for Effect Handlers (or, Efficient Compilation of Effect Handlers to C) (Extended Version)
  
  Ningning Xie, Daan Leijen
  
  MSR-TR-2021-5 | March 2021
  
  글쓴이 Microsoft
  
  v4, 2021-06-07. Extended version of the ICFP'21 paper.
  
  Publication 프로젝트
- Serverless Workflows with Durable Functions and Netherite
  
  Sebastian Burckhardt, Chris Gillum, David Justo, Konstantinos Kallas, Connor McMahon, Christopher S. Meiklejohn
  
  February 2021
  
  Publication
- Specification and space complexity of collaborative text editing
  
  Hagit Attiya, Sebastian Burckhardt, Alexey Gotsman, Adam Morrison, Hongseok Yang, Marek Zawirski
  
  Theoretical Computer Science | February 2021, 제 855 권: pp. 141-160
  
  Publication Publication DOI
- Perceus: Garbage Free Reference Counting with Reuse (Extended version)
  
  Alex Reinking*, Ningning Xie*, Leonardo de Moura, Daan Leijen
  
  MSR-TR-2020-42 | November 2020
  
  글쓴이 Microsoft
  
  (*) The first two authors contributed equally to this work. v4, 2021-06-07. Extended version of the PLDI'21 paper.
  
  Publication Github 프로젝트
- HACL×N: Verified Generic SIMD Crypto (for all your favourite platforms)
  
  Marina Polubelova, Karthikeyan Bhargavan, Jonathan Protzenko, Benjamin Beurdouche, Aymeric Fromherz, Natalia Kulatova, Santiago Zanella-Béguelin
  
  ACM Conference on Computer and Communications Security (CCS) | November 2020
  
  Publication 다운로드 프로젝트
- Capacitivo: Contact-Based Object Recognition on Interactive Fabrics using Capacitive Sensing
  
  Te-Yen Wu, Lu Tan, Yuji Zhang, Teddy Seyed, Xing-Dong Yang
  
  Proceedings of the 33rd Annual Symposium on User Interface Software and Technology (UIST ’20) | October 2020
  
  Publication
- TileCode: Creation of Video Games on Gaming Handhelds
  
  Thomas Ball, Shannon Kao, Richard Knoll, Daryl Zuniga
  
  ACM Symposium on User Interface Software and Technology (UIST) | October 2020
  
  Publication Publication 동영상 Github 프로젝트 프로젝트
- Demystifying Loops in Smart Contracts
  
  Ben Mariano, Yanju Chen, Yu Feng, Shuvendu Lahiri, Isil Dillig
  
  35th IEEE/ACM International Conference on Automated Software Engineering (ASE’20) | September 2020
  
  Publication 프로젝트
- Regex Matching with Counting-Set Automata
  
  Margus Veanes (margus), Lukas Holik, Ondrej Lengal, Olli Saarikivi (olsaarik), Lenka Turonova, Tomas Vojnar
  
  MSR-TR-2020-31 | September 2020
  
  글쓴이 Microsoft
  
  The technical report includes detailed proofs of most of the theorems stated in the conference OOPSLA'2020 paper.
  
  DOI 프로젝트
- Effect Handlers in Haskell, Evidently
  
  Ningning Xie, Daan Leijen
  
  The 13th ACM SIGPLAN International Haskell Symposium | August 2020
  
  Publication 프로젝트
- Effect Handlers, Evidently
  
  Ningning Xie, Jonathan Brachthauser, Daniel Hillerstrom, Philipp Schuster, Daan Leijen
  
  The 25th ACM SIGPLAN International Conference on Functional Programming (ICFP) | August 2020
  
  Publication 프로젝트
- Symbolic Boolean Derivatives for Efficiently Solving Extended Regular Expression Constraints
  
  Caleb Stanford, Margus Veanes, Nikolaj Bjørner
  
  MSR-TR-2020-25 | August 2020
  
  글쓴이 Microsoft
  
  Updated November 2020. Extended version of paper in PLDI'2021.
  
  Publication Author's Version 프로젝트
- Angelic Checking within Static Driver Verifier: Towards high-precision defects without (modeling) cost
  
  Shuvendu Lahiri, Akash Lal, Sridhar Gopinath, Alexander Nutz, Vladimir Levin, Rahul Kumar, Nate Deisinger, Jakob Lichtenberg, Chetan Bansal
  
  FMCAD | July 2020
  
  Best paper award
  
  Publication 동영상 프로젝트 프로젝트
- Effect Handlers, Evidently (Extended Version)
  
  Ningning Xie, Jonathan Brachthauser, Daniel Hillerstrom, Philipp Schuster, Daan Leijen
  
  MSR-TR-2020-23 | July 2020
  
  글쓴이 Microsoft
  
  Extended version of the ICFP'20 article.
  
  Publication 프로젝트
- Learning from, Understanding, and Supporting DevOps Artifacts for Docker
  
  Jordan Henkel, Christian Bird, Shuvendu Lahiri, Thomas Reps
  
  42nd International Conference on Software Engineering (ICSE’20) | May 2020
  
  Publication
- Towards Understanding and Fixing Upstream Merge Induced Conflicts in Divergent Forks: An Industrial Case Study
  
  Chunhga Sung, Shuvendu Lahiri, Pallavi Choudhury, Mike Kaufman, Chao Wang
  
  The 42nd International Conference on Software Engineering (ICSE SEIP Track), Seoul, Korea, May 2020 | May 2020
  
  Publication 프로젝트 프로젝트
- EverCrypt: A Fast, Veriﬁed, Cross-Platform Cryptographic Provider
  
  Jonathan Protzenko, Bryan Parno, Aymeric Fromherz, Chris Hawblitzel, Marina Polubelova, Karthikeyan Bhargavan, Benjamin Beurdouche, Joonwon Choi, Antoine Delignat-Lavaud, Cédric Fournet, Natalia Kulatova, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy, Christoph M. Wintersteiger, Santiago Zanella-Béguelin
  
  IEEE Symposium on Security and Privacy | May 2020
  
  Publication 동영상 다운로드 Github 프로젝트
- The BBC micro:bit: from the U.K. to the world
  
  Jonny Austin, Howard Baker, Thomas Ball, James Devine, Joe Finney, Jonathan "Peli" de Halleux, Steve Hodges, Michal Moskal, Gareth Stockdale
  
  Communications of the ACM | February 2020, 제 63 권(3)
  
  PDF Publication DOI 프로젝트 프로젝트 프로젝트
- EVA: An Encrypted Vector Arithmetic Language and Compiler for Efficient Homomorphic Computation
  
  Roshan Dathathri, Blagovesta Kostova, Olli Saarikivi, Wei Dai, Kim Laine, Madan Musuvathi
  
  PLDI 2020 | December 2019
  
  Publication DOI Preprint
- Intelligent REST API Data Fuzzing
  
  Patrice Godefroid, Bo-Yuan Huang, Marina Polishchuk
  
  MSR-TR-2019-37 | November 2019
  
  글쓴이 Microsoft
  
  Revised version published in ESEC/FSE'2020, November 2020.
  
  PDF Github Github
- RESTler: Stateful REST API Fuzzing
  
  Vaggelis Atlidakis, Patrice Godefroid, Marina Polishchuk
  
  ICSE 2019 | November 2019
  
  PDF Publication 동영상 Github Github
- Microsoft MakeCode: Embedded Programming for Education, in Blocks and TypeScript
  
  Thomas Ball, Abhijith Chatra, Jonathan "Peli" de Halleux, Steve Hodges, Michal Moskal, Jacqueline Russell
  
  SPLASH-E 2019: Proceedings of the 2019 ACM SIGPLAN Symposium on SPLASH-E | October 2019
  
  DOI Publication 프로젝트 프로젝트 프로젝트
- Niijima: sound and automated computation consolidation for efficient multilingual data-parallel pipelines
  
  Guoqing Harry Xu, Margus Veanes (margus), Michael Barnett, Madan Musuvathi (madanm), Todd Mytkowicz (toddm), Ben Zorn (zorn), Huan He, Haibo Lin
  
  Proceedings of the 27th ACM Symposium on Operating Systems Principles | October 2019
  
  Publication DOI
- Static TypeScript: An Implementation of a Static Compiler for the TypeScript Language
  
  Michal Moskal, Thomas Ball, Jonathan "Peli" de Halleux
  
  Managed Programming Languages and Runtimes | October 2019
  
  Publication DOI 프로젝트
- Towards a Theory of Software Developer Job Satisfaction and Perceived Productivity
  
  Margaret-Anne Storey, Tom Zimmermann, Christian Bird, Jacek Czerwonka, Brendan Murphy, Eirini Kalliamvakou
  
  IEEE Transactions on Software Engineering | September 2019
  
  Publication DOI 프로젝트 프로젝트
- Formal Verification of Workflow Policies for Smart Contracts in Azure Blockchain
  
  Yuepeng Wang, Shuvendu Lahiri, Shuo Chen, Rong Pan, Isil Dillig, Cody Born, Immad Naseer, Kostas Ferles
  
  Verified Software: Theories, Tools and Experiments | September 2019
  
  Publication 프로젝트
- Ten simple rules for helping newcomers become contributors to open projects
  
  Dan Sholler, Igor Steinmacher, Denae Ford, Mara Averick, Mike Hoye, Greg Wilson
  
  PLoS Computational Biology | September 2019, 제 15 권
  
  PDF DOI
- EverParse: Verified Secure Zero-Copy Parsers for Authenticated Message Formats
  
  Tahina Ramananandro, Antoine Delignat-Lavaud, Cédric Fournet, Nikhil Swamy, Tej Chajed, Nadim Kobeissi, Jonathan Protzenko
  
  USENIX Security | August 2019
  
  Author's Version Github 프로젝트
- Differential Regression Testing for REST APIs
  
  Patrice Godefroid, Daniel Lehmann, Marina Polishchuk
  
  MSR-TR-2019-23 | August 2019
  
  글쓴이 Microsoft
  
  Revised version published in ISSTA'2020, July 2020.
  
  PDF 동영상 Github Github 프로젝트
- Mimalloc: Free List Sharding in Action
  
  Daan Leijen, Ben Zorn, Leonardo de Moura
  
  MSR-TR-2019-18 | June 2019
  
  글쓴이 Microsoft
  
  Publication 프로젝트
- CHET: An Optimizing Compiler for Fully-Homomorphic Neural-Network Inferencing
  
  Roshan Dathathri, Olli Saarikivi, Hao Chen, Kim Laine, Kristin Lauter, Saeed Maleki, Madan Musuvathi, Todd Mytkowicz
  
  PLDI 2019 | June 2019
  
  DOI 프로젝트
- MakerArcade: Using Gaming and Physical Computing for Playful Making, Learning, and Creativity
  
  Teddy Seyed, Jonathan "Peli" de Halleux, Michal Moskal, James Devine, Joe Finney, Steve Hodges, Thomas Ball
  
  CHI 2019 Extended Abstracts | May 2019
  
  PDF DOI 프로젝트 프로젝트
- Beyond the Code Itself: How Programmers Really Look at Pull Requests
  
  Denae Ford, Mahnaz Behroozi, Alexander Serebrenik, Chris Parnin
  
  In proceedings of the ACM/IEEE Internationl Conference on Software Engineering – Software Engineering in Society (ICSE SEIS) | May 2019
  
  PDF DOI 동영상
- Regularized Programming with the Bosque Language
  
  Mark Marron
  
  MSR-TR-2019-10 | April 2019
  
  글쓴이 Microsoft
  
  Publication Github 프로젝트
- Meta-F*: Proof Automation with SMT, Tactics, and Metaprograms
  
  Guido Martinez, Danel Ahman, Victor Dumitrescu, Nick Giannarakis, Chris Hawblitzel, Catalin Hritcu, Monal Narasimhamurthy, Zoe Paraskevopoulou, Clément Pit–Claudel, Jonathan Protzenko, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy
  
  European Symposium On Programming | April 2019
  
  Author's Version 프로젝트
- Symbolic Regex Matcher
  
  Margus Veanes (margus), Olli Saarikivi (olsaarik), Tiki Wan, Eric Xu
  
  TACAS | April 2019
  
  Author's Version 프로젝트
- Today was a Good Day: The Daily Life of Software Developers
  
  Andre N. Meyer, Earl T. Barr, Christian Bird, Thomas Zimmermann
  
  IEEE Transactions on Software Engineering | April 2019
  
  To appear.
  
  Author's Version
- Understanding Software Developer Activity via Windows 10 Telemetry
  
  Spencer Buja, Thomas Zimmermann, Philippe Kirsanov, Ankit Tandon, Xue Liu, Jay Windsor, Henok Addis
  
  MSR-TR-2019-42 | April 2019
  
  글쓴이 Microsoft
  
  Presented at the 2019 Wharton People Analytics Conference. Finalist for the White Paper Competition
- Programming with Implicit Values, Functions, and Control (or, Implicit Functions: Dynamic Binding with Lexical Scoping)
  
  Jonathan Brachthauser, Daan Leijen
  
  MSR-TR-2019-7 | March 2019
  
  글쓴이 Microsoft
  
  Submitted to ICFP'19
  
  PDF 프로젝트
- Checking Security Properties of Cloud Services REST APIs
  
  Vaggelis Atlidakis, Patrice Godefroid, Marina Polishchuk
  
  MSR-TR-2019-1 | February 2019
  
  글쓴이 Microsoft
  
  Revised version published in ICST'2020, March 2020.
  
  Publication 동영상 Github Github 프로젝트
- The Effect of Work Environments on Productivity and Satisfaction of Software Engineers
  
  Brittany Johnson, Thomas Zimmermann, Christian Bird
  
  IEEE Transactions on Software Engineering | February 2019
  
  To appear.
  
  Publication
- Reactive Caching for Composed Services
  
  Sebastian Burckhardt, Tim Coppieters
  
  OOPSLA | November 2018
  
  Publication 프로젝트
- Code Vectors: Understanding Programs Through Embedded Abstracted Symbolic Traces
  
  Jordan Henkel, Shuvendu Lahiri, Ben Liblit, Thomas Reps
  
  Proceedings of the 26th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE ’18) | November 2018
  
  Publication
- How Should Compilers Explain Problems to Developers?
  
  Titus Barik, Denae Ford, Emerson Murphy-Hill, Chris Parnin
  
  ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) | November 2018
  
  Publication DOI
- Verified Three-Way Program Merge
  
  Marcelo Sousa, Isil Dillig, Shuvendu Lahiri
  
  Object-Oriented Programming, Systems, Languages & Applications Conference (OOPSLA 2018) | November 2018
  
  Publication 프로젝트 프로젝트
- Log++ Logging for a Cloud-NativeWorld
  
  Mark Marron
  
  Dynamic Languages Symposium | October 2018
  
  Publication
- Simulation Algorithms for Symbolic Automata
  
  Lukáš Holík, Ondřej Lengál, Juraj Síč, Margus Veanes, Tomáš Vojnar
  
  International Symposium on Automated Technology for Verification and Analysis (ATVA) | September 2018
  
  편집자: Lahiri, S. and Wang, C.
  
  DOI
- We Still Don’t Have Secure Cross-Domain Requests: an Empirical Study of CORS
  
  Jianjun Chen, Jian Jiang, Haixin Duan, Tao Wan, Shuo Chen, Vern Paxson, Min Yang
  
  Proceedings of USENIX Security Symposium | August 2018
  
  Publication
- Datalog-Based Scalable Semantic Diffing of Concurrent Programs
  
  Chungha Sung, Shuvendu Lahiri, C. Enea, Chao Wang
  
  International Conference on Automated Software Engineering (ASE ’18) | July 2018
  
  DOI Publication Publication PDF 프로젝트
- MakeCode and CODAL: intuitive and efficient embedded systems programming for education (LCTES version)
  
  James Devine, Joe Finney, Jonathan "Peli" de Halleux, Michal Moskal, Thomas Ball, Steve Hodges
  
  Proceedings of the 19th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems | June 2018
  
  PDF DOI 프로젝트 프로젝트 프로젝트
- ARcadia: A Rapid Prototyping Platform for Real-time Tangible Interfaces
  
  Annie Kelly, R. Benjamin Shapiro, Peli de Halleux, Tom Ball
  
  Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems | April 2018
  
  ISBN: 978-1-4503-5620-6
  
  출판 출판 프로젝트
- A monadic framework for relational verification: applied to information security, program equivalence, and optimizations
  
  Niklas Grimm, Kenji Maillard, Cédric Fournet, Catalin Hritcu, Matteo Maffei, Jonathan Protzenko, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy, Santiago Zanella-Béguelin
  
  CPP 2018 | January 2018
  
  출판 출판 출판 프로젝트
- Implementing Algebraic Effects in C
  
  Daan Leijen
  
  APLAS’17, Asian Symposium on Programming Languages and Systems | November 2017
  
  편집자: Chang, Bor-Yuh Evan
  
  Publication 프로젝트
- Characterizing Software Engineering Work with Personas Based on Knowledge Worker Actions
  
  Denae Ford, Tom Zimmermann, Christian Bird, Nachi Nagappan
  
  In proceedings of the IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM) | November 2017
  
  PDF DOI
- SVAuth – A Single-Sign-On Integration Solution with Runtime Verification (tool paper)
  
  Shuo Chen, Matt McCutchen, Phuong Cao, Shaz Qadeer, Ravishankar K. Iyer
  
  International Conference on Runtime Verification 2017 | September 2017
  
  Publication
- Static Assertion Checking of Production Software with Angelic Verification
  
  Shuvendu Lahiri, Akash Lal
  
  | August 2017
  
  글쓴이 Microsoft
  
  Publication 프로젝트
- The Tech-Talk Balance: What Technical Interviewers Expect from Technical Candidates
  
  Denae Ford, Titus Barik, Leslie Rand-Pickett, Chris Parnin
  
  Proceedings of the IEEE ICSE 10th International Workshop on Cooperative and Human Aspects of Software Engineering (CHASE). | May 2017
  
  PDF DOI
- Forward Bisimulations for Nondeterministic Symbolic Finite Automata
  
  Loris D'Antoni, Margus Veanes
  
  TACAS | April 2017
  
  출판 프로젝트
- Monadic Second-Order Logic on Finite Sequences
  
  Loris D'Antoni, Margus Veanes
  
  POPL’2017 | January 2017
  
  출판 출판 프로젝트
- Type Directed Compilation of Row-Typed Algebraic Effects
  
  Daan Leijen
  
  Proceedings of Principles of Programming Languages (POPL’17), Paris, France | January 2017
  
  출판 프로젝트
- Appendix to Everything You Wanted to Know About Data Scientists
  
  Miryung Kim, Thomas Zimmermann, Robert DeLine, Andrew Begel
  
  MSR-TR-2016-1127 | December 2016
  
  출판
- Mining Semantic Loop Idioms from Big Code
  
  Miltiadis Allamanis, Earl T. Barr, Christian Bird, Premkumar Devanbu, Mark Marron, Charles Sutton
  
  MSR-TR-2016-1116 | November 2016
  
  출판 프로젝트
- Self-Verifying Execution (Position Paper)
  
  Matt McCutchen, Daniel Song, Shuo Chen, Shaz Qadeer
  
  Proceedings of the IEEE Cybersecurity Development Conference (SecDev) | November 2016
  
  Proceedings of the IEEE Cybersecurity Development Conference (SecDev)
  
  출판
- Parallelizing SGD Symbolically
  
  | November 2016
  
  출판
- Appendix to Personas in Practice: Adapting Knowledge Worker Actions to Software Engineer
  
  Denae Ford, Tom Zimmermann, Christian Bird, Nachi Nagappan
  
  MSR-TR-2016-75 | October 2016
  
  글쓴이 Microsoft
  
  Publication
- Fusing Effectful Comprehensions
  
  Olli Saarikivi, Margus Veanes, Todd Mytkowicz, Madan Musuvathi
  
  MSR-TR-2016-55 | October 2016
  
  출판
- Automatically verifying reachability and well-formedness in P4 Networks
  
  Nick McKeown, Dan Talayco, George Varghese, Nuno Lopes, Nikolaj Bjørner, Andrey Rybalchenko
  
  MSR-TR-2016-65 | September 2016
  
  출판
- Time-Travel Debugging for JavaScript/Node.js
  
  Earl T. Barr, Mark Marron, Ed Maurer, Dan Moseley, Gaurav Seth
  
  FSE ’16 Proceedings of the 2016 ACM International Symposium on the Foundations of Software Engineering | September 2016
  
  출판 프로젝트
- BlinkFill: Semi-supervised Programming By Example for Syntactic String Transformations
  
  Rishabh Singh
  
  PVLDB, 42nd International Conference on Very Large Data Bases (VLDB 2016) | September 2016
  
  출판
- Algebraic Effects for Functional Programming
  
  Daan Leijen
  
  MSR-TR-2016-29 | August 2016
  
  출판 프로젝트
- Rendering Mathematics for the Web using Madoko
  
  Daan Leijen
  
  Proceedings of Document Engineering 2016, Vienna, Austria | August 2016
  
  출판
- Wireless Protocol Validation Under Uncertainty
  
  Jinghao Shi, Shuvendu Lahiri, Ranveer Chandra, Geoffrey Challen
  
  Runtime Verification 2016 | July 2016
  
  Runtime Verification 2016 Best Paper Award
  
  Publication
- Equivalence of Finite-Valued Symbolic Finite Transducers
  
  Margus Veanes, Nikolaj Bjorner
  
  Perspectives of System Informatics (PSI’2015) | July 2016
  
  출판 출판 출판
- Prepose: Privacy, Security, and Reliability for Gesture-Based Programming
  
  Lucas Silva Figueiredo, Benjamin Livshits, David Molnar, Margus Veanes
  
  37th IEEE Symposium on Security and Privacy | July 2016
  
  출판 출판
- Bounded Abstract Interpretation
  
  Maria Christakis, Valentin Wüstholz
  
  23rd Static Analysis Symposium (SAS’16) | July 2016
  
  출판
- Minimization of Symbolic Tree Automata
  
  Margus Veanes
  
  LICS | July 2016
  
  LICS
  
  출판
- Qlose: Program Repair with Quantiative Objectives
  
  Loris D'Antoni, Roopsha Samanta, Rishabh Singh
  
  27th International Conference on Computer Aided Verification (CAV 2016) | July 2016
  
  출판
- Verifying Relative Safety, Accuracy, and Termination for Program Approximations
  
  NASA Formal Methods Symposium (NFM ’16) | June 2016
  
  NASA Formal Methods Symposium (NFM '16)
  
  출판 프로젝트
- A Gray Box Approach For High-Fidelity, High-Speed Time-Travel Debugging
  
  John Vilk, James Mickens, Mark Marron
  
  MSR-TR-2016-7 | June 2016
  
  출판 프로젝트
- Cardinalities and Universal Quantifers for Verifying Parameterized Systems
  
  Klaus v. Gleissenthall , Nikolaj Bjørner, Andrey Rybalchenko
  
  PLDI | June 2016
  
  Publication
- “What Went Right and What Went Wrong”: An Analysis of 155 Postmortems from Game Development
  
  Michael Washburn Jr., Pavithra Sathiyanarayanan, Meiyappan Nagappan, Tom Zimmermann, Christian Bird
  
  Proceedings of the 38th International Conference on Software Engineering (ICSE 2016 SEIP Track) | May 2016
  
  출판 출판
- Advances in Unit Testing: Theory and Practice
  
  Tao Xie, Nikolai Tillmann, Pratap Lakshman
  
  Proc. 38th International Conference on Software Engineering (ICSE 2016) | May 2016
  
  출판 출판 프로젝트 프로젝트
- Belief & Evidence in Empirical Software Engineering
  
  Prem Devanbu, Tom Zimmermann, Christian Bird
  
  Proceedings of the 38th International Conference on Software Engineering (ICSE 2016) | May 2016
  
  출판 출판 출판
- Beliefs, Practices, and Personalities of Software Engineers: A Survey in a Large Software Company
  
  Edward K. Smith, Christian Bird, Tom Zimmermann
  
  Proceedings of the 9th International Workshop on Cooperative and Human Aspects of Software Engineering (CHASE 2016) | May 2016
  
  출판 출판
- Measuring Code Behavioral Similarity for Programming and Software Engineering Education
  
  Sihan Li, Xusheng Xiao, Blake Bassett, Tao Xie, Nikolai Tillmann
  
  Proc. 38th International Conference on Software Engineering (ICSE 2016), Software Engineering Education and Training (SEET) | May 2016
  
  출판 출판 프로젝트 프로젝트 프로젝트 프로젝트
- Microsoft Touch Develop and the BBC micro:bit
  
  Thomas Ball, Jonathan Protzenko, Judith Bishop, Michal Moskal, Jonathan "Peli" de Halleux, Michael Braun, Steve Hodges, Clare Riley
  
  ICSE 2016 Companion | May 2016
  
  PDF DOI 프로젝트 프로젝트 프로젝트 프로젝트
- Program Synthesis Using Natural Language
  
  Aditya Desai , Sumit Gulwani, Vineet Hingorani , Nidhi Jain , Amey Karkare , Mark Marron, Sailesh R , Subhajit Roy
  
  ICSE ’16 Proceedings of the 38th International Conference on Software Engineering | May 2016
  
  Publication DOI 프로젝트
- Understanding Conversational Programmers: A Perspective from the Software Industry
  
  Parmit K. Chilana, Rishabh Singh, Philip J. Guo
  
  Proceedings of the 34th Conference on Human-Computer Interaction (CHI 2016) | May 2016
  
  출판 출판
- Integrated Environment for Diagnosing Verification Errors
  
  Maria Christakis, Rustan Leino, Peter Müller , Valentin Wüstholz
  
  22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS’16) | April 2016
  
  출판
- Abstract Specifications for Weakly Consistent Data
  
  Sebastian Burckhardt, Jonathan Protzenko
  
  IEEE Data Eng. Bull. | March 2016, 제 39 권: pp. 45-51
  
  출판 출판
- Transforming Spreadsheet Data Types using Examples
  
  Rishabh Singh, Sumit Gulwani
  
  43rd Symposium on Principles of Programming Languages (POPL 2016) | January 2016
  
  출판 프로젝트
- Trigger Selection Strategies to Stabilize Program Verifiers
  
  Rustan Leino, Clément Pit-Claudel
  
  January 2016
  
  출판
- An Assertional Proof of the Stability and Correctness of Natural Mergesort
  
  Rustan Leino, Paqui Lucio
  
  ACM Transactions on Computational Logic (TOCL) | December 2015, 제 17 권(1)
  
  출판 출판
- Toward Full Elasticity in Distributed Static Analysis
  
  Diego Garbevetsky, Edgardo Zoppi, Thomas Ball, Benjamin Livshits, Thomas Ball, Ben Livshits
  
  MSR-TR-2015-88 | November 2015
  
  출판
- User Interaction Models for Disambiguation in Programming by Example
  
  Mikaël Mayer, Gustavo Soares, Maxim Grechkin, Vu Le, Mark Marron, Alex Polozov, Rishabh Singh, Ben Zorn, Sumit Gulwani
  
  28th ACM User Interface Software and Technology Symposium (UIST 2015) | November 2015
  
  출판 출판
- Consistency in Distributed Systems
  
  Sebastian Burckhardt
  
  Software Engineering – International Summer Schools, LASER 2013-2014, Elba, Italy, Revised Tutorial Lectures | November 2015
  
  ISBN: 978-3-319-28405-7
  
  출판 출판
- FAST: A Transducer-Based Language for Tree Manipulation
  
  Lori D'Antoni, Margus Veanes, Ben Livshits, David Molnar
  
  ACM Transactions on Programming Languages and Systems (TOPLAS) | October 2015, 제 38 권
  
  출판 출판
- How Practitioners Perceive the Relevance of Software Engineering Research
  
  David Lo, Nachi Nagappan, Tom Zimmermann
  
  September 2015
  
  출판
- Appendix to The Effect of Work Environments on Productivity
  
  Thomas Zimmermann, Brittany Johnson, Christian Bird, Tom Zimmermann
  
  MSR-TR-2015-66 | August 2015
  
  출판
- Automatic Verification of Dafny Programs with Traits
  
  Reza Ahmadi, Rustan Leino, Jyrki Nummenmaa
  
  FTfJP ’15 Proceedings of the 17th Workshop on Formal Techniques for Java-like Programs, Prague, Czech Republic | July 2015
  
  출판 출판 Github
- Angelic Verification: Precise Verification Modulo Unknowns
  
  Shuvendu Lahiri, Akash Lal, Yi Li, Ankush Das
  
  Computer Aided Verification (CAV) | July 2015
  
  출판 출판 프로젝트 프로젝트
- Automated and modular refinement reasoning for concurrent programs
  
  Shaz Qadeer, Serdar Tasiran, Chris Hawblitzel
  
  Computer Aided Verification (CAV) | July 2015
  
  출판
- Automated Feedback and Recognition through Data Mining in Code Hunt
  
  Daniel Perelman, Judith Bishop, Sumit Gulwani, Dan Grossman
  
  MSR-TR-2015-57 | July 2015
  
  출판 프로젝트 프로젝트
- Extended symbolic finite automata and transducers
  
  Loris D’Antoni, Margus Veanes
  
  Formal Methods in System Design | July 2015
  
  출판
- Predicting a Correct Program in Programming by Example
  
  Rishabh Singh, Sumit Gulwani
  
  27th International Conference on Computer Aided Verification (CAV 2015) | July 2015
  
  27th International Conference on Computer Aided Verification (CAV 2015)
  
  출판 출판
- Results and Analysis of SyGuS-Comp’15
  
  Rajeev Alur, Dana Fisman, Rishabh Singh, Armando Solar-Lezama
  
  Proceedings Fourth Workshop on Synthesis (SYNT 2015) | July 2015
  
  Proceedings Fourth Workshop on Synthesis (SYNT 2015)
  
  출판 출판
- Programming Language Features for Refinement
  
  Jason Koenig, Rustan Leino
  
  Proceedings 17th International Workshop on Refinement, Refine@FM 2015, Oslo, Norway | June 2015
  
  출판 출판
- Computer Performance Microscopy with SHIM
  
  Stephen M. Blackburn, Kathryn S McKinley
  
  ACM/IEEE International Symposium on Computer Architecture (ISCA) | June 2015
  
  출판 출판
- DAG Inlining: A Decision Procedure for Reachability-Modulo-Theories in Hierarchical Programs
  
  Akash Lal, Shaz Qadeer
  
  Programming Language Design and Implementation (PLDI) | June 2015
  
  출판 프로젝트
- Educational Software Engineering: Where Software Engineering, Education, and Gaming Meet
  
  Tao Xie, Nikolai Tillmann, Jonathan "Peli" de Halleux, Judith Bishop
  
  5 | 글쓴이 CRC Press | 2015
  
  출판 프로젝트 프로젝트 프로젝트
- Redundant Memory Mappings for Fast Access to Large Memories
  
  Vasileios Karakostas, Jayneel Gandhi, Furkan Ayar, Adrián Cristal, Mark D. Hill, Kathryn S McKinley, Mario Nemirovsky, Michael M. Swift, Osman Ünsal
  
  June 2015
  
  출판 출판
- Approximating Attack Surfaces with Stack Traces
  
  Christopher Theisen, Kim Herzig, Patrick Morrison, Brendan Murphy, Laurie Williams
  
  Companion Proceedings of the 37th International Conference on Software Engineering | May 2015
  
  Please note that this paper is not yet published, but accepted for inclusion.
  
  출판 프로젝트
- Beyond Open Source: The TouchDevelop Cloud-based Integrated Development Environment
  
  Sebastian Burckhardt, Michal Moskal, Jonathan Protzenko, Nikolai Tillmann, Thomas Ball, Jonathan "Peli" de Halleux
  
  In Proceedings of 2nd ACM International Conference on Mobile Software Engineering and Systems (MOBILESoft) | May 2015
  
  출판 프로젝트
- Code Ownership and Software Quality: A Replication Study
  
  Michaela Greiler, Kim Herzig, Jacek Czerwonka
  
  Proceedings of the 12th Working Conference on Mining Software Repositories | May 2015
  
  출판 프로젝트
- Does Automated Refactoring Obviate Systematic Editing?
  
  Na Meng, Lisa Hua, Miryung Kim, Kathryn S McKinley
  
  May 2015
  
  출판
- Empirically Detecting False Test Alarms Using Association Rules
  
  Kim Herzig, Nachi Nagappan
  
  Companion Proceedings of the 37th International Conference on Software Engineering | May 2015
  
  출판 프로젝트
- Helping developers help themselves: Automatic decomposition of code review changesets
  
  Mike Barnett, Christian Bird, Shuvendu Lahiri, Joao Brunet
  
  Proceedings of the 37th International Conference on Software Engineering | May 2015
  
  출판 출판
- Retro: Targeted Resource Management in Multi-tenant Distributed Systems
  
  Jonathan Mace, Peter Bodík, Rodrigo Fonseca, Madan Musuvathi
  
  NSDI | May 2015
  
  출판
- The Art of Testing Less without Sacrificing Quality
  
  Kim Herzig, Michaela Greiler, Jacek Czerwonka, Brendan Murphy
  
  Proceedings of the 2015 International Conference on Software Engineering | May 2015
  
  출판 프로젝트
- The Emerging Role of Data Scientists on Software Development Teams
  
  Miryung Kim, Tom Zimmermann, Robert DeLIne, Andrew Begel
  
  MSR-TR-2015-30 | April 2015
  
  출판
- Challenges with Applying Vulnerability Prediction Models
  
  Kim Herzig, Brendan Murphy
  
  Proceedings of the 2015 Symposium and Bootcamp on the Science of Security | April 2015
  
  Proceedings of the 2015 Symposium and Bootcamp on the Science of Security
  
  출판 프로젝트
- Do Topics Make Sense to Managers and Developers?
  
  Abram Hindle, Christian Bird, Tom Zimmermann, Nachi Nagappan
  
  Empirical Software Engineering | April 2015, 제 20 권: pp. 479-515
  
  출판
- Gamifying Software Security Education and Training via Secure Coding Duels in Code Hunt
  
  Tao Xie, Judith Bishop, Nikolai Tillmann, Jonathan "Peli" de Halleux
  
  In Proceedings of the Symposium and Bootcamp on the Science of Security (HotSoS 2015) | April 2015
  
  In Proceedings of the Symposium and Bootcamp on the Science of Security (HotSoS 2015)
  
  출판 출판 프로젝트
- The impact of tangled code changes on defect prediction models
  
  Kim Herzig
  
  Empirical Software Engineering | April 2015, pp. 1-34
  
  출판 프로젝트
- Few-to-Many: Incremental Parallelism for Reducing Tail Latency in Interactive Services
  
  E. Haque, Yong hun Eom, Yuxiong He, Sameh Elnikety, Ricardo Bianchini, Kathryn S McKinley
  
  Proceedings of the ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS) | March 2015
  
  Publication
- SMACK+Corral: A Modular Verifier (Competition Contribution)
  
  Arvind Haran, Montgomery Carter, Michael Emmi, Akash Lal, Shaz Qadeer, Zvonimir Rakamaric
  
  Tools and Algorithms for the Construction and Analysis of Systems (TACAS) | March 2015
  
  출판 프로젝트
- Symbolic Tree Automata
  
  Margus Veanes, Nikolaj Bjørner
  
  Information Processing Letters | March 2015, 제 115 권(3): pp. 418-424
  
  출판 출판
- Symbolic String Transformations with Regular Lookahead and Rollback
  
  Margus Veanes
  
  PSI 2014 | February 2015
  
  출판 출판
- Towards AST-based Collaborative Editing
  
  Sebastian Burckhardt, Michal Moskal
  
  MSR-TR-2015-17 | February 2015
  
  출판 프로젝트
- Compiling Hilbert’s Ïµ Operator
  
  Rustan Leino
  
  LPAR-20. 20th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning – Short Presentations | January 2015
  
  출판
- Data-Parallel String-Manipulating Programs
  
  Margus Veanes, Todd Mytkowicz, David Molnar, Ben Livshits
  
  POPL 2015: 42nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | January 2015
  
  POPL 2015: 42nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
  
  출판 출판 프로젝트 프로젝트
- Global Sequence Protocol: A Robust Abstraction for Replicated Shared State (Extended version)
  
  Sebastian Burckhardt, Daan Leijen, Jonathan Protzenko, Manuel Fahndrich
  
  MSR-TR-2015-11 | January 2015
  
  출판
- Implementing real-time collaboration in TouchDevelop using AST merges
  
  Jonathan Protzenko, Sebastian Burckhardt, Jedidiah McClurg
  
  Proceedings of the 3rd International Workshop on Mobile Development Lifecycle, MobileDeLi 2015, Pittsburgh, PA, USA, October 25-30, 2015 | January 2015
  
  ISBN: 978-1-4503-3906-3
  
  출판 프로젝트
- Program Boosting: Program Synthesis via Crowd-Sourcing
  
  Robert A Cochran, , Benjamin Livshits, David Molnar, Margus Veanes, Ben Livshits
  
  POPL 2015: 42nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | January 2015
  
  출판 출판
- The Design Space of Bug Fixes and How Developers Navigate It
  
  Emerson Murphy-Hill, Tom Zimmermann, Christian Bird, Nachi Nagappan
  
  IEEE Transactions on Software Engineering | January 2015, 제 41 권(1): pp. 65-81
  
  출판
- Well-Founded Functions and Extreme Predicates in Dafny: A Tutorial
  
  Rustan Leino
  
  IWIL-2015. 11th International Workshop on the Implementation of Logics | January 2015
  
  출판
- The Uniqueness of Changes: Characteristics and Applications
  
  Baishakhi Ray, Meiyappan Nagappan, Christian Bird, Tom Zimmermann, Nachi Nagappan
  
  MSR-TR-2014-149 | November 2014
  
  글쓴이 Microsoft
  
  Publication
- Optimizing Human Computation to Save Time and Money
  
  Benjamin Livshits, George Kastrinis, Ben Livshits
  
  MSR-TR-2014-145 | November 2014
  
  출판 프로젝트
- PrePose: Security and Privacy for Gesture-Based Programming
  
  Lucas Silva Figueiredo, Ben Livshits, David Molnar, Margus Veanes
  
  MSR-TR-2014-146 | November 2014
  
  출판
- Software Developers’ Perceptions of Productivity
  
  André N. Meyer, Thomas Fritz, Gail C. Murphy, Tom Zimmermann
  
  FSE ’14: Proceedings of the 22nd ACM SIGSOFT International Symposium on the Foundations of Software Engineering | November 2014
  
  출판
- Using Pre-Release Test Failures to Build Early Post-Release Defect Prediction Models
  
  Kim Herzig
  
  Proceedings of the 25th International Symposium on Software Reliability Engineering | November 2014
  
  출판 출판 출판 프로젝트
- Principles of Eventual Consistency
  
  Sebastian Burckhardt
  
  Published by Now Publishers | October 2014, Vol 1 | Principles of Eventual Consistency edition
  
  출판 출판
- TARDIS: Affordable Time-Travel Debugging in Managed Runtimes
  
  Earl T. Barr, Mark Marron
  
  OOPSLA ’14 Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications | October 2014
  
  출판 출판 프로젝트
- The First Hour Experience: How the Initial Play can Engage (or Lose) New Players
  
  Gifford Cheung, Tom Zimmermann, Nachi Nagappan
  
  CHI PLAY ’14: Proceedings of the First ACM SIGCHI Annual Symposium on Computer-Human Interaction in Play | October 2014
  
  출판
- Beyond Open Source: The TouchDevelop Cloud-based Integrated Development Environment
  
  Thomas Ball, Sebastian Burckhardt, Jonathan "Peli" de Halleux, Michal Moskal, Nikolai Tillmann
  
  MSR-TR-2014-127 | September 2014
  
  출판 프로젝트
- Appendix to The Health of Software Engineering Research
  
  David Lo, Tom Zimmermann, Nachi Nagappan
  
  MSR-TR-2014-119 | September 2014
  
  출판
- Mining Energy Traces to Aid in Software Development: An Empirical Case Study
  
  Ashish Gupta, Thomas Zimmermann, Christian Bird, Nachiappan Nagappan, Thirumalesh Bhat, Syed Emran, Nachi Nagappan, Tom Zimmermann
  
  ESEM ’14: Proceedings of the 8th International Symposium on Empirical Software Engineering and Measurements | September 2014
  
  ESEM '14: Proceedings of the 8th International Symposium on Empirical Software Engineering and Measurements
  
  출판
- The Impact of Test Ownership and Team Structure on the Reliability and Effectiveness of Quality Test Runs
  
  Kim Herzig, Nachi Nagappan
  
  Proceedings of the 8th International Symposium on Empirical Software Engineering and Measurement | September 2014
  
  Proceedings of the 8th International Symposium on Empirical Software Engineering and Measurement
  
  출판 출판 출판 프로젝트
- Skolemization Modulo Theories
  
  Konstantin Korovin, Margus Veanes
  
  ICMS’14 | August 2014
  
  출판 출판
- An Empirical Study of Refactoring Challenges and Benefits at Microsoft
  
  Miryung Kim, Thomas Zimmermann, Nachiappan Nagappan, Nachi Nagappan, Tom Zimmermann
  
  IEEE Transactions on Software Engineering | July 2014, 제 40 권(7)
  
  출판
- Monadic Decomposition
  
  Margus Veanes, Nikolaj Bjørner, Lev Nachmanson, Sergey Bereg
  
  CAV’14 | July 2014
  
  출판
- Analyze This! 145 Questions for Data Scientists in Software Engineering
  
  Andrew Begel, Tom Zimmermann
  
  Proceedings of the 36th International Conference on Software Engineering (ICSE 2014) | June 2014
  
  Publication Publication 프로젝트
- Code Hunt: Searching for Secret Code for Fun
  
  Nikolai Tillmann, Judith Bishop, R. Nigel Horspool, Daniel Perelman, Tao Xie
  
  Proceedings of the International Conference on Software Engineering (Workshops) | June 2014
  
  출판 프로젝트 프로젝트 프로젝트 프로젝트
- Cowboys, Ankle Sprains, and Keepers of Quality: How Is Video Game Development Different from Software Development?
  
  Emerson Murphy-Hill, Tom Zimmermann, Nachi Nagappan
  
  Proceedings of the 36th International Conference on Software Engineering (ICSE 2014) | June 2014
  
  Proceedings of the 36th International Conference on Software Engineering (ICSE 2014)
  
  출판 프로젝트
- Expressing and Verifying Probabilistic Assertions
  
  Adrian Sampson, Pavel Panchekha, Todd Mytkowicz, Kathryn S McKinley, Dan Grossman, Luis Ceze
  
  Programming Language Design and Implementation (PLDI) | June 2014
  
  출판 출판
- Extrinsic Influence Factors in Software Reliability: A Study of 200,000 Windows Machines
  
  Christian Bird, Venkatesh-Prasad Ranganath, Tom Zimmermann, Nachi Nagappan, Andreas Zeller
  
  Proceedings of the 36th International Conference on Software Engineering (ICSE 2014) | June 2014
  
  출판 프로젝트
- FAST: A Transducer-Based Language for Tree Manipulation
  
  Margus Veanes, Benjamin Livshits, David Molnar, Ben Livshits
  
  PLDI 2014: Programming Language Design and Implementation | June 2014
  
  출판
- NLyze: Interactive Programming by Natural Language for SpreadSheet Data Analysis and Manipulation
  
  Sumit Gulwani, Mark Marron
  
  SIGMOD ’14 Proceedings of the 2014 ACM SIGMOD International Conference on Management of Data | June 2014
  
  출판 출판 동영상
- Tutorial: Create Rich Mobile Apps on Touch Devices
  
  Nikolai Tillmann, Michal Moskal, Jonathan "Peli" de Halleux, Sebastian Burckhardt, Thomas Ball, Judith Bishop
  
  Proceedings of the First International Conference on Mobile Software Engineering and Systems (MOBILESOFT) | June 2014
  
  Proceedings of the First International Conference on Mobile Software Engineering and Systems (MOBILESOFT)
  
  Tutorial
  
  출판 프로젝트 프로젝트
- Understanding and Improving Software Build Teams
  
  Shaun Phillips, Thomas Zimmermann, Christian Bird, Tom Zimmermann
  
  Proceedings of the 36th International Conference on Software Engineering (ICSE 2014) | June 2014
  
  Proceedings of the 36th International Conference on Software Engineering (ICSE 2014)
  
  출판
- Verification Modulo Versions: Towards Usable Verification
  
  Francesco Logozzo, Shuvendu Lahiri
  
  Proceedings of the 35th conference on Programming Languages, Design, and Implementation (PLDI 2014) | June 2014
  
  출판 출판 프로젝트 프로젝트
- Lazy Annotation Revisited
  
  Kenneth McMillan
  
  MSR-TR-2014-65 | May 2014
  
  출판 프로젝트
- Saving Money While Polling with InterPoll using Power Analysis
  
  Ben Livshits, Todd Mytkowicz
  
  MSR-TR-2014-50 | April 2014
  
  출판
- Heap Analysis Design: An Empirical Approach
  
  Mark Marron
  
  MSR-TR-2014-46 | April 2014
  
  글쓴이 Microsoft
  
  Publication
- Computing All Implied Equalities via SMT-based Partition Refinement
  
  Josh Berdine, Nikolaj Bjørner
  
  MSR-TR-2014-57 | April 2014
  
  출판 출판 출판
- Off With Their Assists: An Empirical Study of Driving Skill in Forza Motorsports 4
  
  Thomas Debeauvais, Tom Zimmermann, Nachi Nagappan, Kevin Carter, Ryan Cooper, Dan Greenawalt, Tyson Solberg
  
  Proceedings of the 9th International Conference on the Foundations of Digital Games (FDG 2014) | April 2014
  
  출판 프로젝트
- The Trill Incremental Analytics Engine
  
  Badrish Chandramouli, Jonathan Goldstein, Mike Barnett, John Wernsing, John Platt, Robert DeLine, Danyel Fisher, James Terwilliger, Robert DeLIne
  
  MSR-TR-2014-54 | April 2014
  
  출판 프로젝트
- Koka: Programming with Row Polymorphic Effect Types
  
  Daan Leijen
  
  Mathematically Structured Functional Programming 2014 | March 2014
  
  출판 Github 프로젝트
- Motion Sickness Susceptibility in Software Developers
  
  Emerson Murphy-Hill, Tom Zimmermann, Nachi Nagappan
  
  MSR-TR-2014-24 | March 2014
  
  출판 프로젝트
- Data-Parallel Finite-State Machines
  
  Todd Mytkowicz, Madan Musuvathi, Wolfram Schulte
  
  Architectural Support for Programming Languages and Operating Systems (ASPLOS) | March 2014
  
  출판 출판 프로젝트 프로젝트
- Uncertain< T >: A First-Order Type for Uncertain Data
  
  James Bornholt, Todd Mytkowicz, Kathryn S McKinley, Kathryn McKinley
  
  March 2014
  
  출판 출판 프로젝트 프로젝트
- PriVaricator: Deceiving Fingerprinters with Little White Lies
  
  Nick Nikiforakis, Wouter Joosen, Benjamin Livshits, Ben Livshits
  
  MSR-TR-2014-26 | February 2014
  
  출판
- ZÃ˜: An Optimizing Distributing Zero-Knowledge Compiler
  
  Benjamin Livshits, Ben Livshits
  
  MSR-TR-2014-27 | February 2014
  
  출판
- Parallelizing Dynamic Programming Through Rank Convergence
  
  Saeed Maleki, Madan Musuvathi, Todd Mytkowicz
  
  February 2014
  
  출판 프로젝트 프로젝트
- Replicated Data Types: Specification, Verification, Optimality
  
  Alexey Gotsman, Hongseok Yang, Marek Zawirski, Sebastian Burckhardt
  
  41st Symposium on Principles of Programming Languages (POPL) | January 2014
  
  출판
- InterPoll: Crowd-Sourced Internet Polls (Done Right)
  
  Ben Livshits, Todd Mytkowicz
  
  MSR-TR-2014-3 | January 2014
  
  출판 프로젝트
- Lessons from a Web-based IDE and Runtime
  
  Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation | January 2014
  
  Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation
  
  ISBN: 978-1-4503-2619-3
  
  출판 프로젝트
- Minimization of Symbolic Automata
  
  Loris D'Antoni, Margus Veanes
  
  POPL’14 | January 2014
  
  POPL'14
  
  출판 프로젝트
- Tracing Compilation by Abstract Interpretation
  
  Francesco Logozzo
  
  Proceedings of the 41st Symposium on Programming Languages (POPL’14) | January 2014
  
  출판
- Effectively Monadic Predicates
  
  Margus Veanes, Nikolaj Bjørner, Lev Nachmanson, Sergey Bereg
  
  LPAR-19 | December 2013
  
  출판
- Proving Memory Safety of the ANI Windows Image Parser using Compositional Exhaustive Testing
  
  Maria Christakis, Patrice Godefroid
  
  MSR-TR-2013-120 | November 2013
  
  출판
- Technology for Inferring Contracts from Code
  
  Francesco Logozzo
  
  Proceedings of SigADA High Integrity Language Technology (HILT 2013) | November 2013
  
  출판 프로젝트
- Analyze This! 145 Questions for Data Scientists in Software Engineering (Technical Report MSR-TR-2013-111)
  
  Andrew Begel, Tom Zimmermann
  
  MSR-TR-2013-111 | October 2013
  
  글쓴이 Microsoft
  
  Publication 프로젝트
- May/Must Abstraction-Based Software Model Checking For Sound Verification and Falsification
  
  Patrice Godefroid
  
  MSR-TR-2013-104 | October 2013
  
  출판
- Program Boosting or Crowd-Sourcing for Correctness
  
  Robert Cochran, Ben Livshits
  
  MSR-TR-2013-94 | September 2013
  
  출판
- Appendix to Analyze This! 145 Questions for Data Scientists in Software Engineering
  
  Andrew Begel, Tom Zimmermann
  
  MSR-TR-2013-84 | September 2013
  
  글쓴이 Microsoft
  
  Publication
- Reachability Modulo Theories
  
  Akash Lal, Shaz Qadeer
  
  7th International workshop on Reachability Problems (Invited Paper) | September 2013
  
  출판 프로젝트
- Koka: Programming with Row-Polymorphic Effect Types
  
  Daan Leijen
  
  MSR-TR-2013-79 | August 2013
  
  글쓴이 Microsoft
  
  Publication Github 프로젝트
- Combining Model Checking and Testing
  
  Patrice Godefroid
  
  MSR-TR-2013-80 | August 2013
  
  출판
- Differential Assertion Checking
  
  Shuvendu Lahiri, Ken McMillan, Chris Hawblitzel, Kenneth McMillan
  
  Foundations of Software Engineering (FSE’13) | August 2013
  
  출판 출판 프로젝트
- Diversity in Software Engineering Research
  
  Meiyappan Nagappan, Tom Zimmermann, Christian Bird
  
  Proceedings of the 9th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2013) | August 2013
  
  출판
- Will You Still Compile Me Tomorrow? Static Cross-Version Compiler Validation
  
  Chris Hawblitzel, Shuvendu Lahiri, Kshama Pawar, Hammad Hashmi, Sedar Gokbulut, Lakshan Fernando, Dave Detlefs, Scott Wadsworth
  
  Foundations of Software Engineering (FSE’13) | August 2013
  
  출판 출판 프로젝트
- Co-Induction Simply: Automatic Co-Inductive Proofs in a Program Verifier
  
  Rustan Leino, Michal Moskal
  
  MSR-TR-2013-49 | July 2013
  
  출판 프로젝트
- Applications of Symbolic Finite Automata
  
  Margus Veanes
  
  CIAA’13 | July 2013
  
  출판 프로젝트
- Automated Feedback Generation for Introductory Programming Assignments
  
  Sumit Gulwani, Rishabh Singh
  
  ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2013) | July 2013
  
  출판 출판 출판 출판 프로젝트 프로젝트
- Micro Execution
  
  Patrice Godefroid
  
  MSR-TR-2013-72 | July 2013
  
  출판
- On Solving Universally Quantified Horn Clauses
  
  Nikolaj Bjørner, Kenneth McMillan, Andrey Rybalchenko
  
  Static Analysis Symposium (SAS) | June 2013
  
  출판 출판
- Abstracting Runtime Heaps for Program Understanding
  
  Mark Marron, Cesar Sanchez, Zhendong Su, Manuel Fahndrich
  
  IEEE Transactions on Software Engineering | June 2013, 제 39 권(6): pp. 774
  
  출판 출판
- Increasing Human-Tool Interaction via the Web
  
  Thomas Ball, Jonathan "Peli" de Halleux, Daan Leijen, Nikhil Swamy
  
  11th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering | June 2013
  
  11th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering
  
  출판 프로젝트
- Proceedings of the 20th Static Analysis Symposium
  
  Manuel Fahndrich, Francesco Logozzo
  
  June 2013
  
  출판
- Automating Theorem Proving with SMT
  
  Rustan Leino
  
  ITP 2013 | May 2013
  
  출판
- It’s not a Bug, It’s a Feature: How Misclassification Impacts Bug Prediction
  
  Kim Herzig, Sascha Just, Andreas Zeller
  
  Proceedings of the 2013 International Conference on Software Engineering | May 2013
  
  출판 프로젝트
- Minimization of Symbolic Automata
  
  Margus Veanes
  
  MSR-TR-2013-48 | April 2013
  
  출판
- Verified Calculations
  
  Rustan Leino, Nadia Polikarpova
  
  March 2013
  
  출판
- From Relational Verification to SIMD Loop Synthesis
  
  Gilles Barthe , Juan Manuel Crespo , Sumit Gulwani, Cesar Kunz , Mark Marron
  
  PPoPP ’13 Proceedings of the 18th ACM SIGPLAN symposium on Principles and practice of parallel programming | February 2013
  
  Best Paper Award & CACM Highlight Nomination
  
  Publication Publication 프로젝트
- Abstract Read Permissions: Fractional Permissions without the Fractions
  
  Stefan Heule, Rustan Leino, Peter Müller, Alexander J. Summers
  
  Proceedings 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013 | January 2013
  
  출판 프로젝트
- SIMD parallelization of applications that traverse irregular data structures
  
  Bin Ren, Gagan Agrawal, Jim Larus, Todd Mytkowicz, Tomi Poutanen, Wolfram Schulte
  
  Proceedings of the 2013 IEEE/ACM International Symposium on Code Generation and Optimization (CGO) | January 2013
  
  ISBN: 978-1-4673-5524-7
  
  출판 출판
- Developing Verified Programs with Dafny
  
  Rustan Leino
  
  HILT ’12 Proceedings of the 2012 ACM Conference on High Integrity Language Technology | December 2012
  
  출판 출판 Github
- Learning Semantic String Transformations from Examples
  
  Rishabh Singh, Sumit Gulwani
  
  PVLDB, 38th International Conference on Very Large Data Bases (VLDB 2012) | August 2012
  
  출판 출판 동영상 프로젝트
- Synthesizing Number Transformations from Input-Output Examples
  
  Rishabh Singh, Sumit Gulwani
  
  24th International Conference on Computer Aided Verification (CAV 2012) | July 2012
  
  출판 출판 출판 동영상 프로젝트
- Undangle: Early Detection of Dangling Pointers in Use-After-Free and Double-Free Vulnerabilities
  
  Juan Caballero, Gustavo Grieco , Mark Marron, Antonio Nappa
  
  ISSTA 2012 Proceedings of the 2012 International Symposium on Software Testing and Analysis | July 2012
  
  출판 출판
- Getting Started with Dafny: A Guide
  
  Jason Koenig, Rustan Leino
  
  May 2012
  
  출판 출판 Github
- Spreadsheet Data Manipulation using Examples
  
  Sumit Gulwani, William R. Harris, Rishabh Singh
  
  January 2012
  
  Invited to CACM Research Highlights
  
  출판 출판 동영상 프로젝트 프로젝트
- Using Dafny, an Automatic Program Verier
  
  Luke Herbert, Rustan Leino, Jose Quaresma
  
  Tools for Practical Software Verification | 2012 | Tools for Practical Software Verification edition
  
  출판 출판 Github
- Stepwise Refinement of Heap-Manipulating Code in Chalice
  
  Rustan Leino, Kuat Yessenov
  
  December 2011
  
  출판 프로젝트
- Automating Induction with an SMT Solver
  
  Rustan Leino
  
  November 2011
  
  출판
- Using and Building an Automatic Program Verifier (Lecture 5)
  
  Rustan Leino
  
  LASER Summer School 2011 Elba, Italy | September 2011
  
  출판
- Using and Building an Automatic Program Verifier (Lecture 3)
  
  Rustan Leino
  
  LASER Summer School 2011 Elba, Italy | September 2011
  
  출판
- Using and Building an Automatic Program Verifier (Lecture 4)
  
  Rustan Leino
  
  LASER Summer School 2011 Elba, Italy | September 2011
  
  출판
- Using and Building an Automatic Program Verifier (Lecture 1)
  
  Rustan Leino
  
  LASER Summer School 2011 Elba, Italy | September 2011
  
  출판
- Using and Building an Automatic Program Verifier (Lecture 2)
  
  Rustan Leino
  
  LASER Summer School 2011 Elba, Italy | September 2011
  
  출판
- Using and Building an Automatic Program Verifier (Lecture 0)
  
  Rustan Leino
  
  LASER Summer School 2011 Elba, Italy | September 2011
  
  출판
- Using and Building an Automatic Program Verifier (Lecture 3)
  
  Rustan Leino
  
  Marktoberdorf Summer School 2011 Bayrischzell, BY, Germany | August 2011
  
  출판
- Using and Building an Automatic Program Verifier (Lecture 2)
  
  Rustan Leino
  
  Marktoberdorf Summer School 2011 Bayrischzell, BY, Germany | August 2011
  
  출판
- Using and Building an Automatic Program Verifier (Lecture 1)
  
  Rustan Leino
  
  Marktoberdorf Summer School 2011 Bayrischzell, BY, Germany | August 2011
  
  출판
- Using and Building an Automatic Program Verifier (Lecture 0)
  
  Rustan Leino
  
  Marktoberdorf Summer School 2011 Bayrischzell, BY, Germany | August 2011
  
  출판
- Dafny: An Automatic Program Verifier For Functional Correctness
  
  Rustan Leino
  
  LPAR-16, Dakar, Senegal | April 2010
  
  출판
- Dafny: An Automatic Program Verifier for Functional Correctness
  
  Rustan Leino
  
  16th International Conference, LPAR-16, Dakar, Senegal | April 2010
  
  출판 출판
- The Dafny Program Verifier
  
  Rustan Leino
  
  Seminar, Victoria University of Wellington, Wellington, New Zealand | April 2010
  
  출판 Github
- Contracts, Tools, Verification
  
  Rustan Leino
  
  ASWEC 2010, Auckland, New Zealand | April 2010
  
  출판
- Deadlock-Free Channels and Locks
  
  Rustan Leino, Peter Müller (ETH Zurich), Jan Smans (KU Leuven)
  
  ESOP 2010, Paphos, Cyprus | March 2010
  
  출판 프로젝트
- Verifying Concurrent Programs with Chalice
  
  Rustan Leino, Peter Müller (ETH Zurich), Jan Smans (KU Leuven)
  
  VMCAI, Madrid, Spain | January 2010
  
  출판 프로젝트
- Fun with Code, Tests, and Verification
  
  Rustan Leino
  
  Caltech, Pasadena, CA | November 2009
  
  출판
- UnderstandingProgram Verification
  
  Rustan Leino
  
  PROLE 2009, San Sebastian, Spain | September 2009
  
  출판
- Verification of Concurrent Object-Oriented Programs
  
  Rustan Leino, Peter Müller, (ETH Zurich)
  
  September 2009
  
  출판
- A Foundation for Verifying Concurrent Programs (Lecture 1)
  
  Rustan Leino, Peter Müller, Jan Smans
  
  FOSAD 2009, Bertinoro, Italy | September 2009
  
  출판 출판 프로젝트
- A Foundation for Verifying Concurrent Programs (Lecture 0)
  
  Rustan Leino, Peter Müller, Jan Smans
  
  FOSAD 2009, Bertinoro, Italy | September 2009
  
  출판 출판 프로젝트
- Comparing Heap Models: Ownership, Dynamic Frames, Permissions
  
  Rustan Leino
  
  Typing, Analysis and Verification of Heap-Manipulating Programs, Dagstuhl, Germany | July 2009
  
  출판
- Verification of Concurrent Programs with Chalice
  
  Rustan Leino, Peter Müller, Jan Smans
  
  Foundations of Security Analysis and Design V | June 2009
  
  출판 출판 출판 프로젝트
- Identification of Logically Related Heap Regions
  
  Mark Marron, Deepak Kapur , Manuel Hermenegildo
  
  ISMM ’09 Proceedings of the 2009 international symposium on Memory management | June 2009
  
  출판 출판
- A Basis for Verifying Multi-Threaded Programs
  
  Rustan Leino, Peter Müller
  
  ESOP ’09 Proceedings of the 18th European Symposium on Programming Languages and Systems: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009 | March 2009
  
  출판 출판 프로젝트
- Reasoning about Comprehensions with First-Order SMT Solvers
  
  Rustan Leino, Rosemary Monahan
  
  SAC’09 March 8-12, 2009, Honolulu, Hawaii, U.S.A. | March 2009
  
  출판 출판 프로젝트
- Sharing Analysis of Arrays, Collections, and Recursive Structures
  
  Mark Marron, Mario Méndez-Lojo , Manuel Hermenegildo , Darko Stefanovic , Deepak Kapur
  
  PASTE ’08 Proceedings of the 8th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering | November 2008
  
  Publication DOI
- Specification and Verification of Object-Oriented Software (Part 0)
  
  Rustan Leino
  
  International Summer School Marktoberdorf, Marktoberdorf, Germany | August 2008
  
  출판
- Identification of Heap-Carried Data Dependence Via Explicit Store Heap Models
  
  Mark Marron, Darko Stefanovic , Deepak Kapur , Manuel Hermenegildo
  
  July 2008
  
  출판 출판
- This is Boogie 2
  
  K. Rustan M. Leino
  
  June 2008
  
  Publication 프로젝트
- Specification and Verification of Object-Oriented Software
  
  Rustan Leino
  
  Marktoberdorf International Summer School 2008 | June 2008
  
  출판
- Heap Analysis in the Presence of Collection Libraries
  
  Mark Marron, Darko Stefanovic , Manuel Hermenegildo , Deepak Kapur
  
  PASTE ’07 Proceedings of the 7th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering | June 2007
  
  출판 출판
- Quantifying the Effectiveness of Testing via Efficient Residual Path Profiling
  
  Trishul Chilimbi, Aditya Nori, Kapil Vaswani
  
  MSR-TR-2007-62 | June 2007
  
  출판
- Practical Reasoning About Invocations and Implementations of Pure Methods
  
  Ádám Darvas, Rustan Leino
  
  Proceeding: FASE’07 Proceedings of the 10th international conference on Fundamental approaches to software engineering | March 2007
  
  ISBN: 978-3-540-71288-6
  
  출판 프로젝트
- Automatic Verification of Textbook Programs that Use Comprehensions
  
  Rustan Leino, Rosemary Monahan
  
  In FTfJP ’07: Proceedings of the 9th Workshop on Formal Techniques for Java-like Programs | January 2007
  
  출판 출판 프로젝트
- A Verification Methodology for Model Fields
  
  Rustan Leino, Peter Müller
  
  Proceeding: ESOP’06 Proceedings of the 15th European conference on Programming Languages and Systems | March 2006
  
  출판 출판 프로젝트
- Modular Verification of Static Class Invariants
  
  Rustan Leino, Peter Müller
  
  Proceeding: FM’05 Proceedings of the 2005 international conference on Formal Methods | July 2005
  
  출판 출판 프로젝트
- Inferring Object Invariants
  
  Bor-Yuh Evan Chang, Rustan Leino
  
  Electronic Notes in Theoretical Computer Science (ENTCS) | May 2005, 제 131 권: pp. 63-74
  
  출판 출판 프로젝트
- Object Invariants in Dynamic Contexts
  
  Rustan Leino, Peter Müller
  
  ECOOP 2004 – Object-Oriented Programming | June 2004
  
  출판 프로젝트
- Verifying Invariants in Object-Oriented Programs
  
  Rustan Leino, Mike Barnett, Robert DeLine, Manuel Fähndrich, Wolfram Schulte
  
  Computer Science Colloquium, ETH Zurich | November 2003
  
  출판

- Regex Decision Procedures in Extended RE#
  
  Ian Erik Varatalu, Margus Veanes, Ekaterina Zhuchko, Juhan Ernits
  
  CAV 2025 | July 2025
  
  편집자: R. Piskac and Z. Rakamaric
  
  Published in LNCS vol. 15933
  
  DOI 프로젝트
- Principal Type Inference under a Prefix
  
  Daan Leijen, Wenjia Ye
  
  PLDI’25 | June 2025
  
  A Fresh Look at Static Overloading. See also the accompanying technical report.
  
  Publication 프로젝트
- PulseCore: An Impredicative Concurrent Separation Logic for Dependently Typed Programs
  
  Gabriel Ebner, Guido Martínez, Aseem Rastogi, Thibault Dardinier, Megan Frisella, Tahina Ramananandro, Nikhil Swamy
  
  2025 Programming Language Design and Implementation | June 2025
  
  Accepted for publication, to appear
  
  Author's Version 프로젝트
- 3DGen: AI-Assisted Generation of Provably Correct Binary Format Parsers
  
  Sarah Fakhoury, Markus Kuppe, Shuvendu Lahiri, Tahina Ramananandro, Nikhil Swamy
  
  2025 International Conference on Software Engineering | April 2025
  
  DOI Publication Publication 프로젝트
- Towards Neural Synthesis for SMT-Assisted Proof-Oriented Programming
  
  Saikat Chakraborty, Gabriel Ebner, Siddharth Bhat, Sarah Fakhoury, Sakina Fatima, Shuvendu Lahiri, Nikhil Swamy
  
  2025 International Conference on Software Engineering | April 2025
  
  Preprint 다운로드 다운로드 프로젝트
- Symbolic Automata: Omega-Regularity Modulo Theories
  
  Margus Veanes, Thomas Ball, Gabriel Ebner, Ekaterina Zhuchko
  
  POPL | January 2025
  
  Author's Version DOI 프로젝트
- RE#: High Performance Derivative-Based Regex Matching with Intersection, Complement, and Restricted Lookarounds
  
  Ian Erik Varatalu, Margus Veanes, Juhan Ernits
  
  POPL | January 2025
  
  DOI Author's Version 프로젝트
- Principal Type Inference under a Prefix (TR)
  
  Daan Leijen, Wenjia Ye
  
  MSR-TR-2024-34 | September 2024
  
  글쓴이 Microsoft
  
  A Fresh Look at Static Overloading. Updated 2025-05-19, v7. Extended version of the PLDI'25 paper.
  
  Publication 프로젝트
- Can Large Language Models Transform Natural Language Intent into Formal Method Postconditions?
  
  Madeline Endres, Sarah Fakhoury, Saikat Chakraborty, Shuvendu Lahiri
  
  The ACM International Conference on the Foundations of Software Engineering (FSE) | July 2024
  
  GitHub page https://github.com/microsoft/nl-2-postcond/
  
  Publication Preprint 프로젝트
- Evaluating LLM-driven User-Intent Formalization for Verification-Aware Languages
  
  Shuvendu Lahiri
  
  Formal Methods in Computer-Aided Design (FMCAD’24) | July 2024
  
  Preprint 프로젝트
- The Functional Essence of Imperative Binary Search Trees
  
  Anton Lorenzen, Daan Leijen, Wouter Swierstra, Sam Lindley
  
  PLDI’24 | June 2024
  
  Publication 프로젝트
- Jacdac: Service-Based Prototyping of Embedded Systems
  
  Thomas Ball, Jonathan "Peli" de Halleux, James Devine, Steve Hodges, Michal Moskal
  
  Programming Language Design and Implementation (PLDI) | June 2024
  
  Publication 프로젝트
- NL2Fix: Generating Functionally Correct Code Edits from Bug Descriptions
  
  Sarah Fakhoury, Saikat Chakraborty, Madan Musuvathi, Shuvendu Lahiri
  
  2024 International Conference on Software Engineering | May 2024
  
  Poster track
  
  Publication 프로젝트
- Tail Recursion Modulo Context: An Equational Approach (extended version)
  
  Daan Leijen, Anton Lorenzen
  
  under submission to JFP. | May 2024
  
  This is an extended version of the POPL'23 publication under submission to a special issue of the Journal of Functional Programming (JFP). Extended topics include an improved TRMC algorithm, composing contexts, _field_ contexts, and first-class constructor contexts.
  
  Publication 프로젝트
- LLM-Based Test-Driven Interactive Code Generation: User Study and Empirical Evaluation
  
  Sarah Fakhoury, Aaditya Naik, Georgios Sakkas, Saikat Chakraborty, Shuvendu Lahiri
  
  IEEE Transactions on Software Engineering | April 2024, 제 50 권: pp. 2254-2268
  
  DOI Publication 프로젝트
- Lean Formalization of Extended Regular Expression Matching with Lookarounds
  
  Ekaterina Zhuchko, Margus Veanes, Gabriel Ebner
  
  CPP | January 2024
  
  Author's Version DOI 프로젝트
- Ranking LLM-Generated Loop Invariants for Program Verification
  
  Saikat Chakraborty, Shuvendu Lahiri, Sarah Fakhoury, Madan Musuvathi, Akash Lal, Aseem Rastogi, Nikhil Swamy, Rahul Sharma
  
  2023 Empirical Methods in Natural Language Processing | December 2023
  
  EMNLP-Findings 2023
  
  Preprint Github 프로젝트
- Qualified Effect Types — Taming Control-Flow through Linear Effect Handlers
  
  Jonathan Immanuel Brachthäuser, Daan Leijen
  
  MSR-TR-2023-42 | November 2023
  
  글쓴이 Microsoft
  
  This technical report is the result of an internship of Jonathan Brachthäuser at Microsoft Research, Redmond in 2018. While the report is published in 2023, the paper reflects the work at the time of writing.
  
  Publication 프로젝트
- Continuing WebAssembly with Effect Handlers
  
  LUNA PHIPPS-COSTIN, ANDREAS ROSSBERG, ARJUN GUHA, Daan Leijen, DANIEL HILLERSTRÖM, KC SIVARAMAKRISHNAN, MATIJA PRETNAR, SAM LINDLEY
  
  OOPSLA’23 | October 2023
  
  Publication 프로젝트
- ColDeco: An End User Spreadsheet Inspection Tool for AI-Generated Code
  
  Kasra Ferdowsi, Jack Williams, Ian Drosos, Andy Gordon, Carina Negreanu, Nadia Polikarpova, Advait Sarkar, Ben Zorn
  
  IEEE Symposium on Visual Languages and Human-Centric Computing | October 2023
  
  Publication 프로젝트 프로젝트 프로젝트
- FP$^2$: Fully in-Place Functional Programming
  
  Anton Lorenzen, Daan Leijen, Wouter Swierstra
  
  ICFP 2023 | September 2023
  
  preprint
  
  Publication 프로젝트
- Exploring Perceus for OCaml
  
  Elton Pinto, Daan Leijen
  
  September 2023
  
  Presented at the "Higher order, Typed, Strict: ML Family Workshop 2023" co-located with ICFP'23.
  
  Publication 프로젝트
- The Functional Essence of Imperative Binary Search Trees
  
  Anton Lorenzen, Daan Leijen, Wouter Swierstra, Sam Lindley
  
  MSR-TR-2023-28 | July 2023
  
  글쓴이 Microsoft
  
  v4, Dec 27, 2023 (previously titled "A Functional Correspondence between Top-down and Bottom-up Tree Algorithms") This is an extended version of the PLDI'24 publication.
  
  Publication 프로젝트
- CODAMOSA: Escaping Coverage Plateaus in Test Generation with Pre-trained Large Language Models
  
  Caroline Lemieux, Jeevana Priya Inala, Shuvendu Lahiri, Siddhartha Sen
  
  ICSE’23 | May 2023
  
  Preprint Github 프로젝트
- FP^2: Fully in-Place Functional Programming (TR)
  
  Anton Lorenzen, Daan Leijen, Wouter Swierstra
  
  MSR-TR-2023-19 | May 2023
  
  글쓴이 Microsoft
  
  Extended version of the ICFP'23 publication
  
  Publication 프로젝트
- Derivative Based Nonbacktracking Real-World Regex Matching with Backtracking Semantics
  
  Dan Moseley, Mario Nishio, Jose Perez Rodriguez, Olli Saarikivi, Stephen Toub, Margus Veanes, Tiki Wan, Eric Xu
  
  MSR-TR-2023-15 | April 2023
  
  글쓴이 Microsoft
  
  Extended version of paper that appears in PLDI 2023.
  
  Publication Author's Version 프로젝트
- Doing More with Less: Orchestrating Serverless Applications without an Orchestrator
  
  David Liu , Amit Levy, Shadi Noghabi, Sebastian Burckhardt
  
  NSDI | April 2023
  
  Publication
- Tail Recursion Modulo Context: An Equational Approach
  
  Daan Leijen, Anton Lorenzen
  
  POPL’23 | January 2023
  
  Publication 프로젝트
- Jacdac: Service-based Prototyping of Embedded Systems
  
  Thomas Ball, Jonathan "Peli" de Halleux, James Devine, Steve Hodges, Michal Moskal
  
  MSR-TR-2023-4 | January 2023
  
  글쓴이 Microsoft
  
  Publication 프로젝트 프로젝트
- FastVer2: A Provably Correct Monitor for Concurrent, Key-Value Stores
  
  Arvind Arasu, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy, Aymeric Fromherz, Kesha Hietala, Bryan Parno, Ravi Ramamurthy
  
  Certified Programs and Proofs | January 2023
  
  Accepted for publication, to appear
  
  PDF 프로젝트
- ASN1*: Provably Correct Non-Malleable Parsing for ASN.1 DER
  
  Haobin Ni, Antoine Delignat-Lavaud, Cédric Fournet, Tahina Ramananandro, Nikhil Swamy
  
  Certified Programs and Proofs | January 2023
  
  Accepted for publication, to appear
  
  PDF 프로젝트
- Fault-Aware Neural Code Rankers
  
  Jeevana Priya Inala, Chenglong Wang, Mei Yang, Andres Codas, Mark Encarnación, Shuvendu Lahiri, Madan Musuvathi, Jianfeng Gao
  
  NeurIPS 2022 | November 2022
  
  Publication Publication 프로젝트
- Program Merge Conflict Resolution via Neural Transformers
  
  Alexey Svyatkovskiy, Sarah Fakhoury, Negar Ghorbani, Todd Mytkowicz, Christian Bird, Jinu Jang, Neel Sundaresan, Shuvendu Lahiri, Elizabeth Dinella
  
  The ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE ’22) | November 2022
  
  Publication 프로젝트 프로젝트
- Lost in Translation: from Linear Temporal Logic to Büchi Automata
  
  Margus Veanes, Olli Saarikivi, Thomas Ball
  
  MSR-TR-2022-26 | October 2022
  
  글쓴이 Microsoft
  
  Publication 프로젝트
- Plug-and-play Physical Computing with Jacdac
  
  James Devine, Michal Moskal, Jonathan "Peli" de Halleux, Thomas Ball, Steve Hodges, Gabriele D’Amone, David Gakure, Joe Finney, Lorraine Underwood, Kobi Hartley, Paul Kos, Matt Oppenheim
  
  Proceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous Technologies | September 2022, 제 6 권(3)
  
  PDF DOI 프로젝트 프로젝트
- Reference counting with frame limited reuse
  
  Anton Lorenzen, Daan Leijen
  
  ICFP’22 | August 2022
  
  Publication 프로젝트
- Interactive Code Generation via Test-Driven User-Intent Formalization
  
  Shuvendu Lahiri, Sarah Fakhoury, Aaditya Naik, Georgios Sakkas, Saikat Chakraborty, Piali Choudhury, Curtis von Veh, Madan Musuvathi, Jeevana Priya Inala, Chenglong Wang, Jianfeng Gao
  
  August 2022
  
  Publication 프로젝트
- What About the Integer Numbers? Fast Arithmetic with Tagged Integers — A Plea for Hardware Support
  
  Daan Leijen
  
  MSR-TR-2022-17 | July 2022
  
  글쓴이 Microsoft
  
  Presented at ML language workshop 2022 (co-located with ICFP'22).
  
  Publication 프로젝트
- Using Pre-trained Language Models to Resolve Textual and Semantic Merge Conflicts (Experience Paper)
  
  Jialu Zhang, Mike Kaufman, Todd Mytkowicz, Ruzica Piskac, Shuvendu Lahiri
  
  ISSTA 2022: Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis | July 2022
  
  Publication 프로젝트 프로젝트
- Tail Recursion Modulo Context — An Equational Approach
  
  Daan Leijen, Anton Lorenzen
  
  MSR-TR-2022-18 | July 2022
  
  글쓴이 Microsoft
  
  Publication 프로젝트
- Hardening Attack Surfaces with Formally Proven Binary Format Parsers
  
  Nikhil Swamy, Tahina Ramananandro, Aseem Rastogi, Irina Spiridonova, Haobin Ni, Dmitry Malloy, Juan Vazquez, Michael Tang, Omar Cardona, Arti Gupta
  
  2022 Programming Language Design and Implementation | June 2022
  
  Publication DOI 프로젝트
- InspectJS: Leveraging Code Similarity and User-Feedback for Effective Taint Specification Inference for JavaScript
  
  Saikat Dutta, Diego Garbervetsky, Shuvendu Lahiri, Max Schäfer
  
  ICSE 2022 | May 2022
  
  Software Engineering in Practice SEIP Track
  
  Publication 동영상 프로젝트
- TOGA: A Neural Method for Test Oracle Generation
  
  Elizabeth Dinella, Gabriel Ryan, Todd Mytkowicz, Shuvendu Lahiri
  
  ICSE 2022 | May 2022
  
  ICSE'22 ACM SIGSOFT Distinguished Award
  
  Publication Publication 동영상 프로젝트
- DeepMerge: Learning to Merge Programs
  
  Elizabeth Dinella, Todd Mytkowicz, Alexey Svyatkovskiy, Christian Bird, Mayur Naik, Shuvendu Lahiri
  
  IEEE Transactions on Software Engineering (TSE’22) | May 2022
  
  Preprint Publication 프로젝트 프로젝트
- Netherite: Efficient Execution of Serverless Workflows
  
  Sebastian Burckhardt, Badrish Chandramouli, Chris Gillum, David Justo, Konstantinos Kallas, Connor McMahon, Christopher S. Meiklejohn, Xiangfeng Zhu
  
  VLDB 2022 | April 2022
  
  Publication PDF
- SolType: Refinement Types for Solidity
  
  Bryan Tan, Benjamin Mariano, Shuvendu Lahiri, Isil Dillig, Yu Feng
  
  POPL 2022 | January 2022
  
  Publication 프로젝트
- High Assurance Software for Financial Regulation and Business Platforms
  
  Stephen Goldbaum, Attila Mihaly, Tosha Ellison, Earl T. Barr, Mark Marron
  
  International Conference on Verification, Model Checking, and Abstract Interpretation | January 2022
  
  Publication 프로젝트
- Reference Counting with Frame Limited Reuse (extended version, v2)
  
  Anton Lorenzen, Daan Leijen
  
  MSR-TR-2021-30 | November 2021
  
  글쓴이 Microsoft
  
  Mar 15, 2022, v2
  
  Publication 프로젝트
- Durable Functions: Semantics for Stateful Serverless
  
  Sebastian Burckhardt, Chris Gillum, David Justo, Konstantinos Kallas, Connor McMahon, Christopher S. Meiklejohn
  
  OOPSLA | October 2021
  
  Publication Author's Version
- Developers Who Vlog: Dismantling Stereotypes through Community and Identity
  
  Souti Chattoadhyay, Denae Ford, Tom Zimmermann
  
  ACM Conference on Computer-Supported Cooperative Work and Social Computing (CSCW) | October 2021
  
  PDF 동영상 프로젝트
- MergeBERT: Program Merge Conflict Resolution via Neural Transformers
  
  Alexey Svyatkovskiy, Todd Mytkowicz, Negar Ghorbani, Sarah Fakhoury, Elizabeth Dinella, Christian Bird, Neel Sundaresan, Shuvendu Lahiri
  
  August 2021
  
  Publication 프로젝트 프로젝트
- Generalized Evidence Passing for Effect Handlers (or, Efficient Compilation of Effect Handlers to C)
  
  Ningning Xie, Daan Leijen
  
  Proc. ACM Prog. Lang. (ICFP’21) | August 2021, 제 5 권(ICFP): pp. 71
  
  doi: 10.1145/3473576
  
  Publication 프로젝트
- Comprehensive Reachability Refutation and Witnesses Generation via Language and Tooling Co-Design
  
  Mark Marron, Deepak Kapur
  
  MSR-TR-2021-17 | August 2021
  
  글쓴이 Microsoft
  
  Publication 프로젝트
- Web-based Programming for Low-cost Gaming Handhelds
  
  Michal Moskal, Jonathan "Peli" de Halleux, Thomas Ball, Abhijith Chatra, James Devine, Steve Hodges, Shannon Kao, Richard Knoll, Galen Nickel, Jacqueline Russell, Joey Wunderlich, Daryl Zuniga
  
  Foundations of Digital Games | August 2021
  
  Best paper
  
  PDF DOI 프로젝트 프로젝트
- Reel Life vs. Real Life: How Software Developers Share Their Daily Life through Vlogs
  
  Souti Chattopadhyay, Tom Zimmermann, Denae Ford
  
  ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) | August 2021
  
  Publication 프로젝트
- Perceus: Garbage Free Reference Counting with Reuse
  
  Alex Reinking*, Ningning Xie*, Leonardo de Moura, Daan Leijen
  
  The 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation (PLDI ’21) | June 2021
  
  (*) The first two authors contributed equally to this work. Distinguished paper at PLDI'21.
  
  Publication Github 프로젝트
- SmartPulse: Automated Checking of Temporal Properties in Smart Contracts
  
  Jon Stephens, Kostas Ferles, Benjamin Mariano, Shuvendu Lahiri, Isil Dillig
  
  42nd IEEE Symposium on Security and Privacy | May 2021
  
  Publication 프로젝트
- Can Program Synthesis be Used to Learn Merge Conflict Resolutions? An Empirical Analysis
  
  Rangeet Pan, Vu Le, Nachi Nagappan, Sumit Gulwani, Shuvendu Lahiri, Mike Kaufman
  
  2021 IEEE/ACM 43nd International Conference on Software Engineering (ICSE ’21) | May 2021
  
  Publication 프로젝트
- First-class Named Effect Handlers
  
  Ningning Xie, Youyou Cong, Daan Leijen
  
  MSR-TR-2021-10 | May 2021
  
  글쓴이 Microsoft
  
  Presented at the 8th ACM SIGPLAN Workshop on Higher-Order Programming with Effects (HOPE'21).
  
  Publication 프로젝트
- Anomalicious: Automated Detection of Anomalous and Potentially Malicious Commits on GitHub
  
  Danielle Gonzalez, Thomas Zimmermann, Patrice Godefroid, Max Schaefer
  
  International Conference on Software Engineering (ICSE), Software Engineering in Practice (SEIP) track | May 2021
  
  Publication PDF 프로젝트 프로젝트
- Generalized Evidence Passing for Effect Handlers (or, Efficient Compilation of Effect Handlers to C) (Extended Version)
  
  Ningning Xie, Daan Leijen
  
  MSR-TR-2021-5 | March 2021
  
  글쓴이 Microsoft
  
  v4, 2021-06-07. Extended version of the ICFP'21 paper.
  
  Publication 프로젝트
- Serverless Workflows with Durable Functions and Netherite
  
  Sebastian Burckhardt, Chris Gillum, David Justo, Konstantinos Kallas, Connor McMahon, Christopher S. Meiklejohn
  
  February 2021
  
  Publication
- Specification and space complexity of collaborative text editing
  
  Hagit Attiya, Sebastian Burckhardt, Alexey Gotsman, Adam Morrison, Hongseok Yang, Marek Zawirski
  
  Theoretical Computer Science | February 2021, 제 855 권: pp. 141-160
  
  Publication Publication DOI
- Perceus: Garbage Free Reference Counting with Reuse (Extended version)
  
  Alex Reinking*, Ningning Xie*, Leonardo de Moura, Daan Leijen
  
  MSR-TR-2020-42 | November 2020
  
  글쓴이 Microsoft
  
  (*) The first two authors contributed equally to this work. v4, 2021-06-07. Extended version of the PLDI'21 paper.
  
  Publication Github 프로젝트
- HACL×N: Verified Generic SIMD Crypto (for all your favourite platforms)
  
  Marina Polubelova, Karthikeyan Bhargavan, Jonathan Protzenko, Benjamin Beurdouche, Aymeric Fromherz, Natalia Kulatova, Santiago Zanella-Béguelin
  
  ACM Conference on Computer and Communications Security (CCS) | November 2020
  
  Publication 다운로드 프로젝트
- TileCode: Creation of Video Games on Gaming Handhelds
  
  Thomas Ball, Shannon Kao, Richard Knoll, Daryl Zuniga
  
  ACM Symposium on User Interface Software and Technology (UIST) | October 2020
  
  Publication Publication 동영상 Github 프로젝트 프로젝트
- Demystifying Loops in Smart Contracts
  
  Ben Mariano, Yanju Chen, Yu Feng, Shuvendu Lahiri, Isil Dillig
  
  35th IEEE/ACM International Conference on Automated Software Engineering (ASE’20) | September 2020
  
  Publication 프로젝트
- Regex Matching with Counting-Set Automata
  
  Margus Veanes (margus), Lukas Holik, Ondrej Lengal, Olli Saarikivi (olsaarik), Lenka Turonova, Tomas Vojnar
  
  MSR-TR-2020-31 | September 2020
  
  글쓴이 Microsoft
  
  The technical report includes detailed proofs of most of the theorems stated in the conference OOPSLA'2020 paper.
  
  DOI 프로젝트
- Effect Handlers in Haskell, Evidently
  
  Ningning Xie, Daan Leijen
  
  The 13th ACM SIGPLAN International Haskell Symposium | August 2020
  
  Publication 프로젝트
- Effect Handlers, Evidently
  
  Ningning Xie, Jonathan Brachthauser, Daniel Hillerstrom, Philipp Schuster, Daan Leijen
  
  The 25th ACM SIGPLAN International Conference on Functional Programming (ICFP) | August 2020
  
  Publication 프로젝트
- Symbolic Boolean Derivatives for Efficiently Solving Extended Regular Expression Constraints
  
  Caleb Stanford, Margus Veanes, Nikolaj Bjørner
  
  MSR-TR-2020-25 | August 2020
  
  글쓴이 Microsoft
  
  Updated November 2020. Extended version of paper in PLDI'2021.
  
  Publication Author's Version 프로젝트
- Angelic Checking within Static Driver Verifier: Towards high-precision defects without (modeling) cost
  
  Shuvendu Lahiri, Akash Lal, Sridhar Gopinath, Alexander Nutz, Vladimir Levin, Rahul Kumar, Nate Deisinger, Jakob Lichtenberg, Chetan Bansal
  
  FMCAD | July 2020
  
  Best paper award
  
  Publication 동영상 프로젝트 프로젝트
- Effect Handlers, Evidently (Extended Version)
  
  Ningning Xie, Jonathan Brachthauser, Daniel Hillerstrom, Philipp Schuster, Daan Leijen
  
  MSR-TR-2020-23 | July 2020
  
  글쓴이 Microsoft
  
  Extended version of the ICFP'20 article.
  
  Publication 프로젝트
- Towards Understanding and Fixing Upstream Merge Induced Conflicts in Divergent Forks: An Industrial Case Study
  
  Chunhga Sung, Shuvendu Lahiri, Pallavi Choudhury, Mike Kaufman, Chao Wang
  
  The 42nd International Conference on Software Engineering (ICSE SEIP Track), Seoul, Korea, May 2020 | May 2020
  
  Publication 프로젝트 프로젝트
- Learning from, Understanding, and Supporting DevOps Artifacts for Docker
  
  Jordan Henkel, Christian Bird, Shuvendu Lahiri, Thomas Reps
  
  42nd International Conference on Software Engineering (ICSE’20) | May 2020
  
  Publication
- EverCrypt: A Fast, Veriﬁed, Cross-Platform Cryptographic Provider
  
  Jonathan Protzenko, Bryan Parno, Aymeric Fromherz, Chris Hawblitzel, Marina Polubelova, Karthikeyan Bhargavan, Benjamin Beurdouche, Joonwon Choi, Antoine Delignat-Lavaud, Cédric Fournet, Natalia Kulatova, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy, Christoph M. Wintersteiger, Santiago Zanella-Béguelin
  
  IEEE Symposium on Security and Privacy | May 2020
  
  Publication 동영상 다운로드 Github 프로젝트
- The BBC micro:bit: from the U.K. to the world
  
  Jonny Austin, Howard Baker, Thomas Ball, James Devine, Joe Finney, Jonathan "Peli" de Halleux, Steve Hodges, Michal Moskal, Gareth Stockdale
  
  Communications of the ACM | February 2020, 제 63 권(3)
  
  PDF Publication DOI 프로젝트 프로젝트 프로젝트
- Intelligent REST API Data Fuzzing
  
  Patrice Godefroid, Bo-Yuan Huang, Marina Polishchuk
  
  MSR-TR-2019-37 | November 2019
  
  글쓴이 Microsoft
  
  Revised version published in ESEC/FSE'2020, November 2020.
  
  PDF Github Github
- RESTler: Stateful REST API Fuzzing
  
  Vaggelis Atlidakis, Patrice Godefroid, Marina Polishchuk
  
  ICSE 2019 | November 2019
  
  PDF Publication 동영상 Github Github
- Niijima: sound and automated computation consolidation for efficient multilingual data-parallel pipelines
  
  Guoqing Harry Xu, Margus Veanes (margus), Michael Barnett, Madan Musuvathi (madanm), Todd Mytkowicz (toddm), Ben Zorn (zorn), Huan He, Haibo Lin
  
  Proceedings of the 27th ACM Symposium on Operating Systems Principles | October 2019
  
  Publication DOI
- Microsoft MakeCode: Embedded Programming for Education, in Blocks and TypeScript
  
  Thomas Ball, Abhijith Chatra, Jonathan "Peli" de Halleux, Steve Hodges, Michal Moskal, Jacqueline Russell
  
  SPLASH-E 2019: Proceedings of the 2019 ACM SIGPLAN Symposium on SPLASH-E | October 2019
  
  DOI Publication 프로젝트 프로젝트 프로젝트
- Static TypeScript: An Implementation of a Static Compiler for the TypeScript Language
  
  Michal Moskal, Thomas Ball, Jonathan "Peli" de Halleux
  
  Managed Programming Languages and Runtimes | October 2019
  
  Publication DOI 프로젝트
- Towards a Theory of Software Developer Job Satisfaction and Perceived Productivity
  
  Margaret-Anne Storey, Tom Zimmermann, Christian Bird, Jacek Czerwonka, Brendan Murphy, Eirini Kalliamvakou
  
  IEEE Transactions on Software Engineering | September 2019
  
  Publication DOI 프로젝트 프로젝트
- Ten simple rules for helping newcomers become contributors to open projects
  
  Dan Sholler, Igor Steinmacher, Denae Ford, Mara Averick, Mike Hoye, Greg Wilson
  
  PLoS Computational Biology | September 2019, 제 15 권
  
  PDF DOI
- Formal Verification of Workflow Policies for Smart Contracts in Azure Blockchain
  
  Yuepeng Wang, Shuvendu Lahiri, Shuo Chen, Rong Pan, Isil Dillig, Cody Born, Immad Naseer, Kostas Ferles
  
  Verified Software: Theories, Tools and Experiments | September 2019
  
  Publication 프로젝트
- EverParse: Verified Secure Zero-Copy Parsers for Authenticated Message Formats
  
  Tahina Ramananandro, Antoine Delignat-Lavaud, Cédric Fournet, Nikhil Swamy, Tej Chajed, Nadim Kobeissi, Jonathan Protzenko
  
  USENIX Security | August 2019
  
  Author's Version Github 프로젝트
- Differential Regression Testing for REST APIs
  
  Patrice Godefroid, Daniel Lehmann, Marina Polishchuk
  
  MSR-TR-2019-23 | August 2019
  
  글쓴이 Microsoft
  
  Revised version published in ISSTA'2020, July 2020.
  
  PDF 동영상 Github Github 프로젝트
- Mimalloc: Free List Sharding in Action
  
  Daan Leijen, Ben Zorn, Leonardo de Moura
  
  MSR-TR-2019-18 | June 2019
  
  글쓴이 Microsoft
  
  Publication 프로젝트
- CHET: An Optimizing Compiler for Fully-Homomorphic Neural-Network Inferencing
  
  Roshan Dathathri, Olli Saarikivi, Hao Chen, Kim Laine, Kristin Lauter, Saeed Maleki, Madan Musuvathi, Todd Mytkowicz
  
  PLDI 2019 | June 2019
  
  DOI 프로젝트
- MakerArcade: Using Gaming and Physical Computing for Playful Making, Learning, and Creativity
  
  Teddy Seyed, Jonathan "Peli" de Halleux, Michal Moskal, James Devine, Joe Finney, Steve Hodges, Thomas Ball
  
  CHI 2019 Extended Abstracts | May 2019
  
  PDF DOI 프로젝트 프로젝트
- Beyond the Code Itself: How Programmers Really Look at Pull Requests
  
  Denae Ford, Mahnaz Behroozi, Alexander Serebrenik, Chris Parnin
  
  In proceedings of the ACM/IEEE Internationl Conference on Software Engineering – Software Engineering in Society (ICSE SEIS) | May 2019
  
  PDF DOI 동영상
- Regularized Programming with the Bosque Language
  
  Mark Marron
  
  MSR-TR-2019-10 | April 2019
  
  글쓴이 Microsoft
  
  Publication Github 프로젝트
- Understanding Software Developer Activity via Windows 10 Telemetry
  
  Spencer Buja, Thomas Zimmermann, Philippe Kirsanov, Ankit Tandon, Xue Liu, Jay Windsor, Henok Addis
  
  MSR-TR-2019-42 | April 2019
  
  글쓴이 Microsoft
  
  Presented at the 2019 Wharton People Analytics Conference. Finalist for the White Paper Competition
- Today was a Good Day: The Daily Life of Software Developers
  
  Andre N. Meyer, Earl T. Barr, Christian Bird, Thomas Zimmermann
  
  IEEE Transactions on Software Engineering | April 2019
  
  To appear.
  
  Author's Version
- Symbolic Regex Matcher
  
  Margus Veanes (margus), Olli Saarikivi (olsaarik), Tiki Wan, Eric Xu
  
  TACAS | April 2019
  
  Author's Version 프로젝트
- Meta-F*: Proof Automation with SMT, Tactics, and Metaprograms
  
  Guido Martinez, Danel Ahman, Victor Dumitrescu, Nick Giannarakis, Chris Hawblitzel, Catalin Hritcu, Monal Narasimhamurthy, Zoe Paraskevopoulou, Clément Pit–Claudel, Jonathan Protzenko, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy
  
  European Symposium On Programming | April 2019
  
  Author's Version 프로젝트
- Programming with Implicit Values, Functions, and Control (or, Implicit Functions: Dynamic Binding with Lexical Scoping)
  
  Jonathan Brachthauser, Daan Leijen
  
  MSR-TR-2019-7 | March 2019
  
  글쓴이 Microsoft
  
  Submitted to ICFP'19
  
  PDF 프로젝트
- Checking Security Properties of Cloud Services REST APIs
  
  Vaggelis Atlidakis, Patrice Godefroid, Marina Polishchuk
  
  MSR-TR-2019-1 | February 2019
  
  글쓴이 Microsoft
  
  Revised version published in ICST'2020, March 2020.
  
  Publication 동영상 Github Github 프로젝트
- The Effect of Work Environments on Productivity and Satisfaction of Software Engineers
  
  Brittany Johnson, Thomas Zimmermann, Christian Bird
  
  IEEE Transactions on Software Engineering | February 2019
  
  To appear.
  
  Publication
- Reactive Caching for Composed Services
  
  Sebastian Burckhardt, Tim Coppieters
  
  OOPSLA | November 2018
  
  Publication 프로젝트
- How Should Compilers Explain Problems to Developers?
  
  Titus Barik, Denae Ford, Emerson Murphy-Hill, Chris Parnin
  
  ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) | November 2018
  
  Publication DOI
- Code Vectors: Understanding Programs Through Embedded Abstracted Symbolic Traces
  
  Jordan Henkel, Shuvendu Lahiri, Ben Liblit, Thomas Reps
  
  Proceedings of the 26th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE ’18) | November 2018
  
  Publication
- Verified Three-Way Program Merge
  
  Marcelo Sousa, Isil Dillig, Shuvendu Lahiri
  
  Object-Oriented Programming, Systems, Languages & Applications Conference (OOPSLA 2018) | November 2018
  
  Publication 프로젝트 프로젝트
- Log++ Logging for a Cloud-NativeWorld
  
  Mark Marron
  
  Dynamic Languages Symposium | October 2018
  
  Publication
- Simulation Algorithms for Symbolic Automata
  
  Lukáš Holík, Ondřej Lengál, Juraj Síč, Margus Veanes, Tomáš Vojnar
  
  International Symposium on Automated Technology for Verification and Analysis (ATVA) | September 2018
  
  편집자: Lahiri, S. and Wang, C.
  
  DOI
- Datalog-Based Scalable Semantic Diffing of Concurrent Programs
  
  Chungha Sung, Shuvendu Lahiri, C. Enea, Chao Wang
  
  International Conference on Automated Software Engineering (ASE ’18) | July 2018
  
  DOI Publication Publication PDF 프로젝트
- MakeCode and CODAL: intuitive and efficient embedded systems programming for education (LCTES version)
  
  James Devine, Joe Finney, Jonathan "Peli" de Halleux, Michal Moskal, Thomas Ball, Steve Hodges
  
  Proceedings of the 19th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems | June 2018
  
  PDF DOI 프로젝트 프로젝트 프로젝트
- A monadic framework for relational verification: applied to information security, program equivalence, and optimizations
  
  Niklas Grimm, Kenji Maillard, Cédric Fournet, Catalin Hritcu, Matteo Maffei, Jonathan Protzenko, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy, Santiago Zanella-Béguelin
  
  CPP 2018 | January 2018
  
  출판 출판 출판 프로젝트
- Implementing Algebraic Effects in C
  
  Daan Leijen
  
  APLAS’17, Asian Symposium on Programming Languages and Systems | November 2017
  
  편집자: Chang, Bor-Yuh Evan
  
  Publication 프로젝트
- Characterizing Software Engineering Work with Personas Based on Knowledge Worker Actions
  
  Denae Ford, Tom Zimmermann, Christian Bird, Nachi Nagappan
  
  In proceedings of the IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM) | November 2017
  
  PDF DOI
- SVAuth – A Single-Sign-On Integration Solution with Runtime Verification (tool paper)
  
  Shuo Chen, Matt McCutchen, Phuong Cao, Shaz Qadeer, Ravishankar K. Iyer
  
  International Conference on Runtime Verification 2017 | September 2017
  
  Publication
- Static Assertion Checking of Production Software with Angelic Verification
  
  Shuvendu Lahiri, Akash Lal
  
  | August 2017
  
  글쓴이 Microsoft
  
  Publication 프로젝트
- The Tech-Talk Balance: What Technical Interviewers Expect from Technical Candidates
  
  Denae Ford, Titus Barik, Leslie Rand-Pickett, Chris Parnin
  
  Proceedings of the IEEE ICSE 10th International Workshop on Cooperative and Human Aspects of Software Engineering (CHASE). | May 2017
  
  PDF DOI
- Forward Bisimulations for Nondeterministic Symbolic Finite Automata
  
  Loris D'Antoni, Margus Veanes
  
  TACAS | April 2017
  
  출판 프로젝트
- Type Directed Compilation of Row-Typed Algebraic Effects
  
  Daan Leijen
  
  Proceedings of Principles of Programming Languages (POPL’17), Paris, France | January 2017
  
  출판 프로젝트
- Monadic Second-Order Logic on Finite Sequences
  
  Loris D'Antoni, Margus Veanes
  
  POPL’2017 | January 2017
  
  출판 출판 프로젝트
- Appendix to Everything You Wanted to Know About Data Scientists
  
  Miryung Kim, Thomas Zimmermann, Robert DeLine, Andrew Begel
  
  MSR-TR-2016-1127 | December 2016
  
  출판
- Mining Semantic Loop Idioms from Big Code
  
  Miltiadis Allamanis, Earl T. Barr, Christian Bird, Premkumar Devanbu, Mark Marron, Charles Sutton
  
  MSR-TR-2016-1116 | November 2016
  
  출판 프로젝트
- Self-Verifying Execution (Position Paper)
  
  Matt McCutchen, Daniel Song, Shuo Chen, Shaz Qadeer
  
  Proceedings of the IEEE Cybersecurity Development Conference (SecDev) | November 2016
  
  Proceedings of the IEEE Cybersecurity Development Conference (SecDev)
  
  출판
- Appendix to Personas in Practice: Adapting Knowledge Worker Actions to Software Engineer
  
  Denae Ford, Tom Zimmermann, Christian Bird, Nachi Nagappan
  
  MSR-TR-2016-75 | October 2016
  
  글쓴이 Microsoft
  
  Publication
- Fusing Effectful Comprehensions
  
  Olli Saarikivi, Margus Veanes, Todd Mytkowicz, Madan Musuvathi
  
  MSR-TR-2016-55 | October 2016
  
  출판
- Automatically verifying reachability and well-formedness in P4 Networks
  
  Nick McKeown, Dan Talayco, George Varghese, Nuno Lopes, Nikolaj Bjørner, Andrey Rybalchenko
  
  MSR-TR-2016-65 | September 2016
  
  출판
- Time-Travel Debugging for JavaScript/Node.js
  
  Earl T. Barr, Mark Marron, Ed Maurer, Dan Moseley, Gaurav Seth
  
  FSE ’16 Proceedings of the 2016 ACM International Symposium on the Foundations of Software Engineering | September 2016
  
  출판 프로젝트
- BlinkFill: Semi-supervised Programming By Example for Syntactic String Transformations
  
  Rishabh Singh
  
  PVLDB, 42nd International Conference on Very Large Data Bases (VLDB 2016) | September 2016
  
  출판
- Algebraic Effects for Functional Programming
  
  Daan Leijen
  
  MSR-TR-2016-29 | August 2016
  
  출판 프로젝트
- Rendering Mathematics for the Web using Madoko
  
  Daan Leijen
  
  Proceedings of Document Engineering 2016, Vienna, Austria | August 2016
  
  출판
- Wireless Protocol Validation Under Uncertainty
  
  Jinghao Shi, Shuvendu Lahiri, Ranveer Chandra, Geoffrey Challen
  
  Runtime Verification 2016 | July 2016
  
  Runtime Verification 2016 Best Paper Award
  
  Publication
- Equivalence of Finite-Valued Symbolic Finite Transducers
  
  Margus Veanes, Nikolaj Bjorner
  
  Perspectives of System Informatics (PSI’2015) | July 2016
  
  출판 출판 출판
- Prepose: Privacy, Security, and Reliability for Gesture-Based Programming
  
  Lucas Silva Figueiredo, Benjamin Livshits, David Molnar, Margus Veanes
  
  37th IEEE Symposium on Security and Privacy | July 2016
  
  출판 출판
- Bounded Abstract Interpretation
  
  Maria Christakis, Valentin Wüstholz
  
  23rd Static Analysis Symposium (SAS’16) | July 2016
  
  출판
- Minimization of Symbolic Tree Automata
  
  Margus Veanes
  
  LICS | July 2016
  
  LICS
  
  출판
- Qlose: Program Repair with Quantiative Objectives
  
  Loris D'Antoni, Roopsha Samanta, Rishabh Singh
  
  27th International Conference on Computer Aided Verification (CAV 2016) | July 2016
  
  출판
- Verifying Relative Safety, Accuracy, and Termination for Program Approximations
  
  NASA Formal Methods Symposium (NFM ’16) | June 2016
  
  NASA Formal Methods Symposium (NFM '16)
  
  출판 프로젝트
- A Gray Box Approach For High-Fidelity, High-Speed Time-Travel Debugging
  
  John Vilk, James Mickens, Mark Marron
  
  MSR-TR-2016-7 | June 2016
  
  출판 프로젝트
- Cardinalities and Universal Quantifers for Verifying Parameterized Systems
  
  Klaus v. Gleissenthall , Nikolaj Bjørner, Andrey Rybalchenko
  
  PLDI | June 2016
  
  Publication
- Program Synthesis Using Natural Language
  
  Aditya Desai , Sumit Gulwani, Vineet Hingorani , Nidhi Jain , Amey Karkare , Mark Marron, Sailesh R , Subhajit Roy
  
  ICSE ’16 Proceedings of the 38th International Conference on Software Engineering | May 2016
  
  Publication DOI 프로젝트
- Belief & Evidence in Empirical Software Engineering
  
  Prem Devanbu, Tom Zimmermann, Christian Bird
  
  Proceedings of the 38th International Conference on Software Engineering (ICSE 2016) | May 2016
  
  출판 출판 출판
- “What Went Right and What Went Wrong”: An Analysis of 155 Postmortems from Game Development
  
  Michael Washburn Jr., Pavithra Sathiyanarayanan, Meiyappan Nagappan, Tom Zimmermann, Christian Bird
  
  Proceedings of the 38th International Conference on Software Engineering (ICSE 2016 SEIP Track) | May 2016
  
  출판 출판
- Measuring Code Behavioral Similarity for Programming and Software Engineering Education
  
  Sihan Li, Xusheng Xiao, Blake Bassett, Tao Xie, Nikolai Tillmann
  
  Proc. 38th International Conference on Software Engineering (ICSE 2016), Software Engineering Education and Training (SEET) | May 2016
  
  출판 출판 프로젝트 프로젝트 프로젝트 프로젝트
- Microsoft Touch Develop and the BBC micro:bit
  
  Thomas Ball, Jonathan Protzenko, Judith Bishop, Michal Moskal, Jonathan "Peli" de Halleux, Michael Braun, Steve Hodges, Clare Riley
  
  ICSE 2016 Companion | May 2016
  
  PDF DOI 프로젝트 프로젝트 프로젝트 프로젝트
- Advances in Unit Testing: Theory and Practice
  
  Tao Xie, Nikolai Tillmann, Pratap Lakshman
  
  Proc. 38th International Conference on Software Engineering (ICSE 2016) | May 2016
  
  출판 출판 프로젝트 프로젝트
- Beliefs, Practices, and Personalities of Software Engineers: A Survey in a Large Software Company
  
  Edward K. Smith, Christian Bird, Tom Zimmermann
  
  Proceedings of the 9th International Workshop on Cooperative and Human Aspects of Software Engineering (CHASE 2016) | May 2016
  
  출판 출판
- Understanding Conversational Programmers: A Perspective from the Software Industry
  
  Parmit K. Chilana, Rishabh Singh, Philip J. Guo
  
  Proceedings of the 34th Conference on Human-Computer Interaction (CHI 2016) | May 2016
  
  출판 출판
- Integrated Environment for Diagnosing Verification Errors
  
  Maria Christakis, Rustan Leino, Peter Müller , Valentin Wüstholz
  
  22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS’16) | April 2016
  
  출판
- Abstract Specifications for Weakly Consistent Data
  
  Sebastian Burckhardt, Jonathan Protzenko
  
  IEEE Data Eng. Bull. | March 2016, 제 39 권: pp. 45-51
  
  출판 출판
- Trigger Selection Strategies to Stabilize Program Verifiers
  
  Rustan Leino, Clément Pit-Claudel
  
  January 2016
  
  출판
- Transforming Spreadsheet Data Types using Examples
  
  Rishabh Singh, Sumit Gulwani
  
  43rd Symposium on Principles of Programming Languages (POPL 2016) | January 2016
  
  출판 프로젝트
- An Assertional Proof of the Stability and Correctness of Natural Mergesort
  
  Rustan Leino, Paqui Lucio
  
  ACM Transactions on Computational Logic (TOCL) | December 2015, 제 17 권(1)
  
  출판 출판
- Toward Full Elasticity in Distributed Static Analysis
  
  Diego Garbevetsky, Edgardo Zoppi, Thomas Ball, Benjamin Livshits, Thomas Ball, Ben Livshits
  
  MSR-TR-2015-88 | November 2015
  
  출판
- User Interaction Models for Disambiguation in Programming by Example
  
  Mikaël Mayer, Gustavo Soares, Maxim Grechkin, Vu Le, Mark Marron, Alex Polozov, Rishabh Singh, Ben Zorn, Sumit Gulwani
  
  28th ACM User Interface Software and Technology Symposium (UIST 2015) | November 2015
  
  출판 출판
- Consistency in Distributed Systems
  
  Sebastian Burckhardt
  
  Software Engineering – International Summer Schools, LASER 2013-2014, Elba, Italy, Revised Tutorial Lectures | November 2015
  
  ISBN: 978-3-319-28405-7
  
  출판 출판
- FAST: A Transducer-Based Language for Tree Manipulation
  
  Lori D'Antoni, Margus Veanes, Ben Livshits, David Molnar
  
  ACM Transactions on Programming Languages and Systems (TOPLAS) | October 2015, 제 38 권
  
  출판 출판
- How Practitioners Perceive the Relevance of Software Engineering Research
  
  David Lo, Nachi Nagappan, Tom Zimmermann
  
  September 2015
  
  출판
- Appendix to The Effect of Work Environments on Productivity
  
  Thomas Zimmermann, Brittany Johnson, Christian Bird, Tom Zimmermann
  
  MSR-TR-2015-66 | August 2015
  
  출판
- Automatic Verification of Dafny Programs with Traits
  
  Reza Ahmadi, Rustan Leino, Jyrki Nummenmaa
  
  FTfJP ’15 Proceedings of the 17th Workshop on Formal Techniques for Java-like Programs, Prague, Czech Republic | July 2015
  
  출판 출판 Github
- Automated and modular refinement reasoning for concurrent programs
  
  Shaz Qadeer, Serdar Tasiran, Chris Hawblitzel
  
  Computer Aided Verification (CAV) | July 2015
  
  출판
- Angelic Verification: Precise Verification Modulo Unknowns
  
  Shuvendu Lahiri, Akash Lal, Yi Li, Ankush Das
  
  Computer Aided Verification (CAV) | July 2015
  
  출판 출판 프로젝트 프로젝트
- Results and Analysis of SyGuS-Comp’15
  
  Rajeev Alur, Dana Fisman, Rishabh Singh, Armando Solar-Lezama
  
  Proceedings Fourth Workshop on Synthesis (SYNT 2015) | July 2015
  
  Proceedings Fourth Workshop on Synthesis (SYNT 2015)
  
  출판 출판
- Automated Feedback and Recognition through Data Mining in Code Hunt
  
  Daniel Perelman, Judith Bishop, Sumit Gulwani, Dan Grossman
  
  MSR-TR-2015-57 | July 2015
  
  출판 프로젝트 프로젝트
- Predicting a Correct Program in Programming by Example
  
  Rishabh Singh, Sumit Gulwani
  
  27th International Conference on Computer Aided Verification (CAV 2015) | July 2015
  
  27th International Conference on Computer Aided Verification (CAV 2015)
  
  출판 출판
- Programming Language Features for Refinement
  
  Jason Koenig, Rustan Leino
  
  Proceedings 17th International Workshop on Refinement, Refine@FM 2015, Oslo, Norway | June 2015
  
  출판 출판
- Educational Software Engineering: Where Software Engineering, Education, and Gaming Meet
  
  Tao Xie, Nikolai Tillmann, Jonathan "Peli" de Halleux, Judith Bishop
  
  5 | 글쓴이 CRC Press | 2015
  
  출판 프로젝트 프로젝트 프로젝트
- Computer Performance Microscopy with SHIM
  
  Stephen M. Blackburn, Kathryn S McKinley
  
  ACM/IEEE International Symposium on Computer Architecture (ISCA) | June 2015
  
  출판 출판
- DAG Inlining: A Decision Procedure for Reachability-Modulo-Theories in Hierarchical Programs
  
  Akash Lal, Shaz Qadeer
  
  Programming Language Design and Implementation (PLDI) | June 2015
  
  출판 프로젝트
- Empirically Detecting False Test Alarms Using Association Rules
  
  Kim Herzig, Nachi Nagappan
  
  Companion Proceedings of the 37th International Conference on Software Engineering | May 2015
  
  출판 프로젝트
- Code Ownership and Software Quality: A Replication Study
  
  Michaela Greiler, Kim Herzig, Jacek Czerwonka
  
  Proceedings of the 12th Working Conference on Mining Software Repositories | May 2015
  
  출판 프로젝트
- Beyond Open Source: The TouchDevelop Cloud-based Integrated Development Environment
  
  Sebastian Burckhardt, Michal Moskal, Jonathan Protzenko, Nikolai Tillmann, Thomas Ball, Jonathan "Peli" de Halleux
  
  In Proceedings of 2nd ACM International Conference on Mobile Software Engineering and Systems (MOBILESoft) | May 2015
  
  출판 프로젝트
- Approximating Attack Surfaces with Stack Traces
  
  Christopher Theisen, Kim Herzig, Patrick Morrison, Brendan Murphy, Laurie Williams
  
  Companion Proceedings of the 37th International Conference on Software Engineering | May 2015
  
  Please note that this paper is not yet published, but accepted for inclusion.
  
  출판 프로젝트
- Does Automated Refactoring Obviate Systematic Editing?
  
  Na Meng, Lisa Hua, Miryung Kim, Kathryn S McKinley
  
  May 2015
  
  출판
- Helping developers help themselves: Automatic decomposition of code review changesets
  
  Mike Barnett, Christian Bird, Shuvendu Lahiri, Joao Brunet
  
  Proceedings of the 37th International Conference on Software Engineering | May 2015
  
  출판 출판
- The Art of Testing Less without Sacrificing Quality
  
  Kim Herzig, Michaela Greiler, Jacek Czerwonka, Brendan Murphy
  
  Proceedings of the 2015 International Conference on Software Engineering | May 2015
  
  출판 프로젝트
- The Emerging Role of Data Scientists on Software Development Teams
  
  Miryung Kim, Tom Zimmermann, Robert DeLIne, Andrew Begel
  
  MSR-TR-2015-30 | April 2015
  
  출판
- Gamifying Software Security Education and Training via Secure Coding Duels in Code Hunt
  
  Tao Xie, Judith Bishop, Nikolai Tillmann, Jonathan "Peli" de Halleux
  
  In Proceedings of the Symposium and Bootcamp on the Science of Security (HotSoS 2015) | April 2015
  
  In Proceedings of the Symposium and Bootcamp on the Science of Security (HotSoS 2015)
  
  출판 출판 프로젝트
- The impact of tangled code changes on defect prediction models
  
  Kim Herzig
  
  Empirical Software Engineering | April 2015, pp. 1-34
  
  출판 프로젝트
- Challenges with Applying Vulnerability Prediction Models
  
  Kim Herzig, Brendan Murphy
  
  Proceedings of the 2015 Symposium and Bootcamp on the Science of Security | April 2015
  
  Proceedings of the 2015 Symposium and Bootcamp on the Science of Security
  
  출판 프로젝트
- Do Topics Make Sense to Managers and Developers?
  
  Abram Hindle, Christian Bird, Tom Zimmermann, Nachi Nagappan
  
  Empirical Software Engineering | April 2015, 제 20 권: pp. 479-515
  
  출판
- Few-to-Many: Incremental Parallelism for Reducing Tail Latency in Interactive Services
  
  E. Haque, Yong hun Eom, Yuxiong He, Sameh Elnikety, Ricardo Bianchini, Kathryn S McKinley
  
  Proceedings of the ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS) | March 2015
  
  Publication
- SMACK+Corral: A Modular Verifier (Competition Contribution)
  
  Arvind Haran, Montgomery Carter, Michael Emmi, Akash Lal, Shaz Qadeer, Zvonimir Rakamaric
  
  Tools and Algorithms for the Construction and Analysis of Systems (TACAS) | March 2015
  
  출판 프로젝트
- Symbolic String Transformations with Regular Lookahead and Rollback
  
  Margus Veanes
  
  PSI 2014 | February 2015
  
  출판 출판
- Towards AST-based Collaborative Editing
  
  Sebastian Burckhardt, Michal Moskal
  
  MSR-TR-2015-17 | February 2015
  
  출판 프로젝트
- Well-Founded Functions and Extreme Predicates in Dafny: A Tutorial
  
  Rustan Leino
  
  IWIL-2015. 11th International Workshop on the Implementation of Logics | January 2015
  
  출판
- Compiling Hilbert’s Ïµ Operator
  
  Rustan Leino
  
  LPAR-20. 20th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning – Short Presentations | January 2015
  
  출판
- Program Boosting: Program Synthesis via Crowd-Sourcing
  
  Robert A Cochran, , Benjamin Livshits, David Molnar, Margus Veanes, Ben Livshits
  
  POPL 2015: 42nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | January 2015
  
  출판 출판
- Implementing real-time collaboration in TouchDevelop using AST merges
  
  Jonathan Protzenko, Sebastian Burckhardt, Jedidiah McClurg
  
  Proceedings of the 3rd International Workshop on Mobile Development Lifecycle, MobileDeLi 2015, Pittsburgh, PA, USA, October 25-30, 2015 | January 2015
  
  ISBN: 978-1-4503-3906-3
  
  출판 프로젝트
- The Design Space of Bug Fixes and How Developers Navigate It
  
  Emerson Murphy-Hill, Tom Zimmermann, Christian Bird, Nachi Nagappan
  
  IEEE Transactions on Software Engineering | January 2015, 제 41 권(1): pp. 65-81
  
  출판
- Global Sequence Protocol: A Robust Abstraction for Replicated Shared State (Extended version)
  
  Sebastian Burckhardt, Daan Leijen, Jonathan Protzenko, Manuel Fahndrich
  
  MSR-TR-2015-11 | January 2015
  
  출판
- The Uniqueness of Changes: Characteristics and Applications
  
  Baishakhi Ray, Meiyappan Nagappan, Christian Bird, Tom Zimmermann, Nachi Nagappan
  
  MSR-TR-2014-149 | November 2014
  
  글쓴이 Microsoft
  
  Publication
- Optimizing Human Computation to Save Time and Money
  
  Benjamin Livshits, George Kastrinis, Ben Livshits
  
  MSR-TR-2014-145 | November 2014
  
  출판 프로젝트
- Using Pre-Release Test Failures to Build Early Post-Release Defect Prediction Models
  
  Kim Herzig
  
  Proceedings of the 25th International Symposium on Software Reliability Engineering | November 2014
  
  출판 출판 출판 프로젝트
- Software Developers’ Perceptions of Productivity
  
  André N. Meyer, Thomas Fritz, Gail C. Murphy, Tom Zimmermann
  
  FSE ’14: Proceedings of the 22nd ACM SIGSOFT International Symposium on the Foundations of Software Engineering | November 2014
  
  출판
- Principles of Eventual Consistency
  
  Sebastian Burckhardt
  
  Published by Now Publishers | October 2014, Vol 1 | Principles of Eventual Consistency edition
  
  출판 출판
- TARDIS: Affordable Time-Travel Debugging in Managed Runtimes
  
  Earl T. Barr, Mark Marron
  
  OOPSLA ’14 Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications | October 2014
  
  출판 출판 프로젝트
- The First Hour Experience: How the Initial Play can Engage (or Lose) New Players
  
  Gifford Cheung, Tom Zimmermann, Nachi Nagappan
  
  CHI PLAY ’14: Proceedings of the First ACM SIGCHI Annual Symposium on Computer-Human Interaction in Play | October 2014
  
  출판
- Beyond Open Source: The TouchDevelop Cloud-based Integrated Development Environment
  
  Thomas Ball, Sebastian Burckhardt, Jonathan "Peli" de Halleux, Michal Moskal, Nikolai Tillmann
  
  MSR-TR-2014-127 | September 2014
  
  출판 프로젝트
- Appendix to The Health of Software Engineering Research
  
  David Lo, Tom Zimmermann, Nachi Nagappan
  
  MSR-TR-2014-119 | September 2014
  
  출판
- Mining Energy Traces to Aid in Software Development: An Empirical Case Study
  
  Ashish Gupta, Thomas Zimmermann, Christian Bird, Nachiappan Nagappan, Thirumalesh Bhat, Syed Emran, Nachi Nagappan, Tom Zimmermann
  
  ESEM ’14: Proceedings of the 8th International Symposium on Empirical Software Engineering and Measurements | September 2014
  
  ESEM '14: Proceedings of the 8th International Symposium on Empirical Software Engineering and Measurements
  
  출판
- The Impact of Test Ownership and Team Structure on the Reliability and Effectiveness of Quality Test Runs
  
  Kim Herzig, Nachi Nagappan
  
  Proceedings of the 8th International Symposium on Empirical Software Engineering and Measurement | September 2014
  
  Proceedings of the 8th International Symposium on Empirical Software Engineering and Measurement
  
  출판 출판 출판 프로젝트
- Skolemization Modulo Theories
  
  Konstantin Korovin, Margus Veanes
  
  ICMS’14 | August 2014
  
  출판 출판
- An Empirical Study of Refactoring Challenges and Benefits at Microsoft
  
  Miryung Kim, Thomas Zimmermann, Nachiappan Nagappan, Nachi Nagappan, Tom Zimmermann
  
  IEEE Transactions on Software Engineering | July 2014, 제 40 권(7)
  
  출판
- Monadic Decomposition
  
  Margus Veanes, Nikolaj Bjørner, Lev Nachmanson, Sergey Bereg
  
  CAV’14 | July 2014
  
  출판
- NLyze: Interactive Programming by Natural Language for SpreadSheet Data Analysis and Manipulation
  
  Sumit Gulwani, Mark Marron
  
  SIGMOD ’14 Proceedings of the 2014 ACM SIGMOD International Conference on Management of Data | June 2014
  
  출판 출판 동영상
- Extrinsic Influence Factors in Software Reliability: A Study of 200,000 Windows Machines
  
  Christian Bird, Venkatesh-Prasad Ranganath, Tom Zimmermann, Nachi Nagappan, Andreas Zeller
  
  Proceedings of the 36th International Conference on Software Engineering (ICSE 2014) | June 2014
  
  출판 프로젝트
- Expressing and Verifying Probabilistic Assertions
  
  Adrian Sampson, Pavel Panchekha, Todd Mytkowicz, Kathryn S McKinley, Dan Grossman, Luis Ceze
  
  Programming Language Design and Implementation (PLDI) | June 2014
  
  출판 출판
- Understanding and Improving Software Build Teams
  
  Shaun Phillips, Thomas Zimmermann, Christian Bird, Tom Zimmermann
  
  Proceedings of the 36th International Conference on Software Engineering (ICSE 2014) | June 2014
  
  Proceedings of the 36th International Conference on Software Engineering (ICSE 2014)
  
  출판
- Analyze This! 145 Questions for Data Scientists in Software Engineering
  
  Andrew Begel, Tom Zimmermann
  
  Proceedings of the 36th International Conference on Software Engineering (ICSE 2014) | June 2014
  
  Publication Publication 프로젝트
- Cowboys, Ankle Sprains, and Keepers of Quality: How Is Video Game Development Different from Software Development?
  
  Emerson Murphy-Hill, Tom Zimmermann, Nachi Nagappan
  
  Proceedings of the 36th International Conference on Software Engineering (ICSE 2014) | June 2014
  
  Proceedings of the 36th International Conference on Software Engineering (ICSE 2014)
  
  출판 프로젝트
- FAST: A Transducer-Based Language for Tree Manipulation
  
  Margus Veanes, Benjamin Livshits, David Molnar, Ben Livshits
  
  PLDI 2014: Programming Language Design and Implementation | June 2014
  
  출판
- Code Hunt: Searching for Secret Code for Fun
  
  Nikolai Tillmann, Judith Bishop, R. Nigel Horspool, Daniel Perelman, Tao Xie
  
  Proceedings of the International Conference on Software Engineering (Workshops) | June 2014
  
  출판 프로젝트 프로젝트 프로젝트 프로젝트
- Verification Modulo Versions: Towards Usable Verification
  
  Francesco Logozzo, Shuvendu Lahiri
  
  Proceedings of the 35th conference on Programming Languages, Design, and Implementation (PLDI 2014) | June 2014
  
  출판 출판 프로젝트 프로젝트
- Tutorial: Create Rich Mobile Apps on Touch Devices
  
  Nikolai Tillmann, Michal Moskal, Jonathan "Peli" de Halleux, Sebastian Burckhardt, Thomas Ball, Judith Bishop
  
  Proceedings of the First International Conference on Mobile Software Engineering and Systems (MOBILESOFT) | June 2014
  
  Proceedings of the First International Conference on Mobile Software Engineering and Systems (MOBILESOFT)
  
  Tutorial
  
  출판 프로젝트 프로젝트
- Lazy Annotation Revisited
  
  Kenneth McMillan
  
  MSR-TR-2014-65 | May 2014
  
  출판 프로젝트
- Saving Money While Polling with InterPoll using Power Analysis
  
  Ben Livshits, Todd Mytkowicz
  
  MSR-TR-2014-50 | April 2014
  
  출판
- Heap Analysis Design: An Empirical Approach
  
  Mark Marron
  
  MSR-TR-2014-46 | April 2014
  
  글쓴이 Microsoft
  
  Publication
- Off With Their Assists: An Empirical Study of Driving Skill in Forza Motorsports 4
  
  Thomas Debeauvais, Tom Zimmermann, Nachi Nagappan, Kevin Carter, Ryan Cooper, Dan Greenawalt, Tyson Solberg
  
  Proceedings of the 9th International Conference on the Foundations of Digital Games (FDG 2014) | April 2014
  
  출판 프로젝트
- The Trill Incremental Analytics Engine
  
  Badrish Chandramouli, Jonathan Goldstein, Mike Barnett, John Wernsing, John Platt, Robert DeLine, Danyel Fisher, James Terwilliger, Robert DeLIne
  
  MSR-TR-2014-54 | April 2014
  
  출판 프로젝트
- Computing All Implied Equalities via SMT-based Partition Refinement
  
  Josh Berdine, Nikolaj Bjørner
  
  MSR-TR-2014-57 | April 2014
  
  출판 출판 출판
- Koka: Programming with Row Polymorphic Effect Types
  
  Daan Leijen
  
  Mathematically Structured Functional Programming 2014 | March 2014
  
  출판 Github 프로젝트
- Motion Sickness Susceptibility in Software Developers
  
  Emerson Murphy-Hill, Tom Zimmermann, Nachi Nagappan
  
  MSR-TR-2014-24 | March 2014
  
  출판 프로젝트
- Data-Parallel Finite-State Machines
  
  Todd Mytkowicz, Madan Musuvathi, Wolfram Schulte
  
  Architectural Support for Programming Languages and Operating Systems (ASPLOS) | March 2014
  
  출판 출판 프로젝트 프로젝트
- Uncertain< T >: A First-Order Type for Uncertain Data
  
  James Bornholt, Todd Mytkowicz, Kathryn S McKinley, Kathryn McKinley
  
  March 2014
  
  출판 출판 프로젝트 프로젝트
- ZÃ˜: An Optimizing Distributing Zero-Knowledge Compiler
  
  Benjamin Livshits, Ben Livshits
  
  MSR-TR-2014-27 | February 2014
  
  출판
- Parallelizing Dynamic Programming Through Rank Convergence
  
  Saeed Maleki, Madan Musuvathi, Todd Mytkowicz
  
  February 2014
  
  출판 프로젝트 프로젝트
- Replicated Data Types: Specification, Verification, Optimality
  
  Alexey Gotsman, Hongseok Yang, Marek Zawirski, Sebastian Burckhardt
  
  41st Symposium on Principles of Programming Languages (POPL) | January 2014
  
  출판
- InterPoll: Crowd-Sourced Internet Polls (Done Right)
  
  Ben Livshits, Todd Mytkowicz
  
  MSR-TR-2014-3 | January 2014
  
  출판 프로젝트
- Lessons from a Web-based IDE and Runtime
  
  Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation | January 2014
  
  Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation
  
  ISBN: 978-1-4503-2619-3
  
  출판 프로젝트
- Tracing Compilation by Abstract Interpretation
  
  Francesco Logozzo
  
  Proceedings of the 41st Symposium on Programming Languages (POPL’14) | January 2014
  
  출판
- Minimization of Symbolic Automata
  
  Loris D'Antoni, Margus Veanes
  
  POPL’14 | January 2014
  
  POPL'14
  
  출판 프로젝트
- Proving Memory Safety of the ANI Windows Image Parser using Compositional Exhaustive Testing
  
  Maria Christakis, Patrice Godefroid
  
  MSR-TR-2013-120 | November 2013
  
  출판
- Technology for Inferring Contracts from Code
  
  Francesco Logozzo
  
  Proceedings of SigADA High Integrity Language Technology (HILT 2013) | November 2013
  
  출판 프로젝트
- Analyze This! 145 Questions for Data Scientists in Software Engineering (Technical Report MSR-TR-2013-111)
  
  Andrew Begel, Tom Zimmermann
  
  MSR-TR-2013-111 | October 2013
  
  글쓴이 Microsoft
  
  Publication 프로젝트
- May/Must Abstraction-Based Software Model Checking For Sound Verification and Falsification
  
  Patrice Godefroid
  
  MSR-TR-2013-104 | October 2013
  
  출판
- Program Boosting or Crowd-Sourcing for Correctness
  
  Robert Cochran, Ben Livshits
  
  MSR-TR-2013-94 | September 2013
  
  출판
- Appendix to Analyze This! 145 Questions for Data Scientists in Software Engineering
  
  Andrew Begel, Tom Zimmermann
  
  MSR-TR-2013-84 | September 2013
  
  글쓴이 Microsoft
  
  Publication
- Reachability Modulo Theories
  
  Akash Lal, Shaz Qadeer
  
  7th International workshop on Reachability Problems (Invited Paper) | September 2013
  
  출판 프로젝트
- Koka: Programming with Row-Polymorphic Effect Types
  
  Daan Leijen
  
  MSR-TR-2013-79 | August 2013
  
  글쓴이 Microsoft
  
  Publication Github 프로젝트
- Combining Model Checking and Testing
  
  Patrice Godefroid
  
  MSR-TR-2013-80 | August 2013
  
  출판
- Differential Assertion Checking
  
  Shuvendu Lahiri, Ken McMillan, Chris Hawblitzel, Kenneth McMillan
  
  Foundations of Software Engineering (FSE’13) | August 2013
  
  출판 출판 프로젝트
- Diversity in Software Engineering Research
  
  Meiyappan Nagappan, Tom Zimmermann, Christian Bird
  
  Proceedings of the 9th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2013) | August 2013
  
  출판
- Will You Still Compile Me Tomorrow? Static Cross-Version Compiler Validation
  
  Chris Hawblitzel, Shuvendu Lahiri, Kshama Pawar, Hammad Hashmi, Sedar Gokbulut, Lakshan Fernando, Dave Detlefs, Scott Wadsworth
  
  Foundations of Software Engineering (FSE’13) | August 2013
  
  출판 출판 프로젝트
- Co-Induction Simply: Automatic Co-Inductive Proofs in a Program Verifier
  
  Rustan Leino, Michal Moskal
  
  MSR-TR-2013-49 | July 2013
  
  출판 프로젝트
- Micro Execution
  
  Patrice Godefroid
  
  MSR-TR-2013-72 | July 2013
  
  출판
- Applications of Symbolic Finite Automata
  
  Margus Veanes
  
  CIAA’13 | July 2013
  
  출판 프로젝트
- Automated Feedback Generation for Introductory Programming Assignments
  
  Sumit Gulwani, Rishabh Singh
  
  ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2013) | July 2013
  
  출판 출판 출판 출판 프로젝트 프로젝트
- On Solving Universally Quantified Horn Clauses
  
  Nikolaj Bjørner, Kenneth McMillan, Andrey Rybalchenko
  
  Static Analysis Symposium (SAS) | June 2013
  
  출판 출판
- Abstracting Runtime Heaps for Program Understanding
  
  Mark Marron, Cesar Sanchez, Zhendong Su, Manuel Fahndrich
  
  IEEE Transactions on Software Engineering | June 2013, 제 39 권(6): pp. 774
  
  출판 출판
- Proceedings of the 20th Static Analysis Symposium
  
  Manuel Fahndrich, Francesco Logozzo
  
  June 2013
  
  출판
- Increasing Human-Tool Interaction via the Web
  
  Thomas Ball, Jonathan "Peli" de Halleux, Daan Leijen, Nikhil Swamy
  
  11th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering | June 2013
  
  11th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering
  
  출판 프로젝트
- Automating Theorem Proving with SMT
  
  Rustan Leino
  
  ITP 2013 | May 2013
  
  출판
- It’s not a Bug, It’s a Feature: How Misclassification Impacts Bug Prediction
  
  Kim Herzig, Sascha Just, Andreas Zeller
  
  Proceedings of the 2013 International Conference on Software Engineering | May 2013
  
  출판 프로젝트
- Minimization of Symbolic Automata
  
  Margus Veanes
  
  MSR-TR-2013-48 | April 2013
  
  출판
- Verified Calculations
  
  Rustan Leino, Nadia Polikarpova
  
  March 2013
  
  출판
- From Relational Verification to SIMD Loop Synthesis
  
  Gilles Barthe , Juan Manuel Crespo , Sumit Gulwani, Cesar Kunz , Mark Marron
  
  PPoPP ’13 Proceedings of the 18th ACM SIGPLAN symposium on Principles and practice of parallel programming | February 2013
  
  Best Paper Award & CACM Highlight Nomination
  
  Publication Publication 프로젝트
- Abstract Read Permissions: Fractional Permissions without the Fractions
  
  Stefan Heule, Rustan Leino, Peter Müller, Alexander J. Summers
  
  Proceedings 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013 | January 2013
  
  출판 프로젝트
- Developing Verified Programs with Dafny
  
  Rustan Leino
  
  HILT ’12 Proceedings of the 2012 ACM Conference on High Integrity Language Technology | December 2012
  
  출판 출판 Github
- Learning Semantic String Transformations from Examples
  
  Rishabh Singh, Sumit Gulwani
  
  PVLDB, 38th International Conference on Very Large Data Bases (VLDB 2012) | August 2012
  
  출판 출판 동영상 프로젝트
- Undangle: Early Detection of Dangling Pointers in Use-After-Free and Double-Free Vulnerabilities
  
  Juan Caballero, Gustavo Grieco , Mark Marron, Antonio Nappa
  
  ISSTA 2012 Proceedings of the 2012 International Symposium on Software Testing and Analysis | July 2012
  
  출판 출판
- Synthesizing Number Transformations from Input-Output Examples
  
  Rishabh Singh, Sumit Gulwani
  
  24th International Conference on Computer Aided Verification (CAV 2012) | July 2012
  
  출판 출판 출판 동영상 프로젝트
- Getting Started with Dafny: A Guide
  
  Jason Koenig, Rustan Leino
  
  May 2012
  
  출판 출판 Github
- Spreadsheet Data Manipulation using Examples
  
  Sumit Gulwani, William R. Harris, Rishabh Singh
  
  January 2012
  
  Invited to CACM Research Highlights
  
  출판 출판 동영상 프로젝트 프로젝트
- Using Dafny, an Automatic Program Verier
  
  Luke Herbert, Rustan Leino, Jose Quaresma
  
  Tools for Practical Software Verification | 2012 | Tools for Practical Software Verification edition
  
  출판 출판 Github
- Stepwise Refinement of Heap-Manipulating Code in Chalice
  
  Rustan Leino, Kuat Yessenov
  
  December 2011
  
  출판 프로젝트
- Automating Induction with an SMT Solver
  
  Rustan Leino
  
  November 2011
  
  출판
- Using and Building an Automatic Program Verifier (Lecture 5)
  
  Rustan Leino
  
  LASER Summer School 2011 Elba, Italy | September 2011
  
  출판
- Using and Building an Automatic Program Verifier (Lecture 4)
  
  Rustan Leino
  
  LASER Summer School 2011 Elba, Italy | September 2011
  
  출판
- Using and Building an Automatic Program Verifier (Lecture 3)
  
  Rustan Leino
  
  LASER Summer School 2011 Elba, Italy | September 2011
  
  출판
- Using and Building an Automatic Program Verifier (Lecture 2)
  
  Rustan Leino
  
  LASER Summer School 2011 Elba, Italy | September 2011
  
  출판
- Using and Building an Automatic Program Verifier (Lecture 1)
  
  Rustan Leino
  
  LASER Summer School 2011 Elba, Italy | September 2011
  
  출판
- Using and Building an Automatic Program Verifier (Lecture 0)
  
  Rustan Leino
  
  LASER Summer School 2011 Elba, Italy | September 2011
  
  출판
- Using and Building an Automatic Program Verifier (Lecture 3)
  
  Rustan Leino
  
  Marktoberdorf Summer School 2011 Bayrischzell, BY, Germany | August 2011
  
  출판
- Using and Building an Automatic Program Verifier (Lecture 2)
  
  Rustan Leino
  
  Marktoberdorf Summer School 2011 Bayrischzell, BY, Germany | August 2011
  
  출판
- Using and Building an Automatic Program Verifier (Lecture 1)
  
  Rustan Leino
  
  Marktoberdorf Summer School 2011 Bayrischzell, BY, Germany | August 2011
  
  출판
- Using and Building an Automatic Program Verifier (Lecture 0)
  
  Rustan Leino
  
  Marktoberdorf Summer School 2011 Bayrischzell, BY, Germany | August 2011
  
  출판
- Dafny: An Automatic Program Verifier for Functional Correctness
  
  Rustan Leino
  
  16th International Conference, LPAR-16, Dakar, Senegal | April 2010
  
  출판 출판
- The Dafny Program Verifier
  
  Rustan Leino
  
  Seminar, Victoria University of Wellington, Wellington, New Zealand | April 2010
  
  출판 Github
- Contracts, Tools, Verification
  
  Rustan Leino
  
  ASWEC 2010, Auckland, New Zealand | April 2010
  
  출판
- Deadlock-Free Channels and Locks
  
  Rustan Leino, Peter Müller (ETH Zurich), Jan Smans (KU Leuven)
  
  ESOP 2010, Paphos, Cyprus | March 2010
  
  출판 프로젝트
- Verifying Concurrent Programs with Chalice
  
  Rustan Leino, Peter Müller (ETH Zurich), Jan Smans (KU Leuven)
  
  VMCAI, Madrid, Spain | January 2010
  
  출판 프로젝트
- Fun with Code, Tests, and Verification
  
  Rustan Leino
  
  Caltech, Pasadena, CA | November 2009
  
  출판
- UnderstandingProgram Verification
  
  Rustan Leino
  
  PROLE 2009, San Sebastian, Spain | September 2009
  
  출판
- Verification of Concurrent Object-Oriented Programs
  
  Rustan Leino, Peter Müller, (ETH Zurich)
  
  September 2009
  
  출판
- A Foundation for Verifying Concurrent Programs (Lecture 1)
  
  Rustan Leino, Peter Müller, Jan Smans
  
  FOSAD 2009, Bertinoro, Italy | September 2009
  
  출판 출판 프로젝트
- A Foundation for Verifying Concurrent Programs (Lecture 0)
  
  Rustan Leino, Peter Müller, Jan Smans
  
  FOSAD 2009, Bertinoro, Italy | September 2009
  
  출판 출판 프로젝트
- Comparing Heap Models: Ownership, Dynamic Frames, Permissions
  
  Rustan Leino
  
  Typing, Analysis and Verification of Heap-Manipulating Programs, Dagstuhl, Germany | July 2009
  
  출판
- Verification of Concurrent Programs with Chalice
  
  Rustan Leino, Peter Müller, Jan Smans
  
  Foundations of Security Analysis and Design V | June 2009
  
  출판 출판 출판 프로젝트
- Identification of Logically Related Heap Regions
  
  Mark Marron, Deepak Kapur , Manuel Hermenegildo
  
  ISMM ’09 Proceedings of the 2009 international symposium on Memory management | June 2009
  
  출판 출판
- A Basis for Verifying Multi-Threaded Programs
  
  Rustan Leino, Peter Müller
  
  ESOP ’09 Proceedings of the 18th European Symposium on Programming Languages and Systems: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009 | March 2009
  
  출판 출판 프로젝트
- Reasoning about Comprehensions with First-Order SMT Solvers
  
  Rustan Leino, Rosemary Monahan
  
  SAC’09 March 8-12, 2009, Honolulu, Hawaii, U.S.A. | March 2009
  
  출판 출판 프로젝트
- Sharing Analysis of Arrays, Collections, and Recursive Structures
  
  Mark Marron, Mario Méndez-Lojo , Manuel Hermenegildo , Darko Stefanovic , Deepak Kapur
  
  PASTE ’08 Proceedings of the 8th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering | November 2008
  
  Publication DOI
- Specification and Verification of Object-Oriented Software (Part 0)
  
  Rustan Leino
  
  International Summer School Marktoberdorf, Marktoberdorf, Germany | August 2008
  
  출판
- Identification of Heap-Carried Data Dependence Via Explicit Store Heap Models
  
  Mark Marron, Darko Stefanovic , Deepak Kapur , Manuel Hermenegildo
  
  July 2008
  
  출판 출판
- This is Boogie 2
  
  K. Rustan M. Leino
  
  June 2008
  
  Publication 프로젝트
- Specification and Verification of Object-Oriented Software
  
  Rustan Leino
  
  Marktoberdorf International Summer School 2008 | June 2008
  
  출판
- Heap Analysis in the Presence of Collection Libraries
  
  Mark Marron, Darko Stefanovic , Manuel Hermenegildo , Deepak Kapur
  
  PASTE ’07 Proceedings of the 7th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering | June 2007
  
  출판 출판
- Quantifying the Effectiveness of Testing via Efficient Residual Path Profiling
  
  Trishul Chilimbi, Aditya Nori, Kapil Vaswani
  
  MSR-TR-2007-62 | June 2007
  
  출판
- Practical Reasoning About Invocations and Implementations of Pure Methods
  
  Ádám Darvas, Rustan Leino
  
  Proceeding: FASE’07 Proceedings of the 10th international conference on Fundamental approaches to software engineering | March 2007
  
  ISBN: 978-3-540-71288-6
  
  출판 프로젝트
- Automatic Verification of Textbook Programs that Use Comprehensions
  
  Rustan Leino, Rosemary Monahan
  
  In FTfJP ’07: Proceedings of the 9th Workshop on Formal Techniques for Java-like Programs | January 2007
  
  출판 출판 프로젝트
- A Verification Methodology for Model Fields
  
  Rustan Leino, Peter Müller
  
  Proceeding: ESOP’06 Proceedings of the 15th European conference on Programming Languages and Systems | March 2006
  
  출판 출판 프로젝트
- Modular Verification of Static Class Invariants
  
  Rustan Leino, Peter Müller
  
  Proceeding: FM’05 Proceedings of the 2005 international conference on Formal Methods | July 2005
  
  출판 출판 프로젝트
- Inferring Object Invariants
  
  Bor-Yuh Evan Chang, Rustan Leino
  
  Electronic Notes in Theoretical Computer Science (ENTCS) | May 2005, 제 131 권: pp. 63-74
  
  출판 출판 프로젝트
- Object Invariants in Dynamic Contexts
  
  Rustan Leino, Peter Müller
  
  ECOOP 2004 – Object-Oriented Programming | June 2004
  
  출판 프로젝트
- Verifying Invariants in Object-Oriented Programs
  
  Rustan Leino, Mike Barnett, Robert DeLine, Manuel Fähndrich, Wolfram Schulte
  
  Computer Science Colloquium, ETH Zurich | November 2003
  
  출판
- Netherite: Efficient Execution of Serverless Workflows (Extended Journal Version)
  
  Sebastian Burckhardt, Badrish Chandramouli, Chris Gillum (cgillum), David Justo (dajusto), Konstantinos Kallas, Connor McMahon, Christopher S. Meiklejohn, Xiangfeng Zhu
  
  VLDB J. | February 2025, 제 34 권: pp. 25
  
  Special Issue "Best of VLDB 2022"
  
  DOI Publication
- Cloud Actor-Oriented Database Transactions in Orleans
  
  Tamer Eldeeb, Sebastian Burckhardt, Reuben Bond, Asaf Cidon, Junfeng Yang, Phil Bernstein
  
  Proc. VLDB Endow. | July 2024, 제 17 권: pp. 3720-3730
  
  DOI Publication 프로젝트
- FastVer2: A Provably Correct Monitor for Concurrent, Key-Value Stores
  
  Arvind Arasu, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy, Aymeric Fromherz, Kesha Hietala, Bryan Parno, Ravi Ramamurthy
  
  Certified Programs and Proofs | January 2023
  
  Accepted for publication, to appear
  
  PDF 프로젝트
- Netherite: Efficient Execution of Serverless Workflows
  
  Sebastian Burckhardt, Badrish Chandramouli, Chris Gillum, David Justo, Konstantinos Kallas, Connor McMahon, Christopher S. Meiklejohn, Xiangfeng Zhu
  
  VLDB 2022 | April 2022
  
  Publication PDF
- FastVer: Making Data Integrity a Commodity
  
  Arvind Arasu, Aseem Rastogi, Badrish Chandramouli, Donald Kossmann, Esha Ghosh, Johannes Gehrke, Nikhil Swamy, Jonathan Protzenko, Ravi Ramamurthy, Srinath Setty, Tahina Ramananandro, Alexander van Renen, Min Xu
  
  SIGMOD | June 2021
  
  Publication 프로젝트
- Empirically Detecting False Test Alarms Using Association Rules
  
  Kim Herzig, Nachi Nagappan
  
  Companion Proceedings of the 37th International Conference on Software Engineering | May 2015
  
  출판 프로젝트
- Code Ownership and Software Quality: A Replication Study
  
  Michaela Greiler, Kim Herzig, Jacek Czerwonka
  
  Proceedings of the 12th Working Conference on Mining Software Repositories | May 2015
  
  출판 프로젝트
- Approximating Attack Surfaces with Stack Traces
  
  Christopher Theisen, Kim Herzig, Patrick Morrison, Brendan Murphy, Laurie Williams
  
  Companion Proceedings of the 37th International Conference on Software Engineering | May 2015
  
  Please note that this paper is not yet published, but accepted for inclusion.
  
  출판 프로젝트
- The Art of Testing Less without Sacrificing Quality
  
  Kim Herzig, Michaela Greiler, Jacek Czerwonka, Brendan Murphy
  
  Proceedings of the 2015 International Conference on Software Engineering | May 2015
  
  출판 프로젝트
- The Emerging Role of Data Scientists on Software Development Teams
  
  Miryung Kim, Tom Zimmermann, Robert DeLIne, Andrew Begel
  
  MSR-TR-2015-30 | April 2015
  
  출판
- The impact of tangled code changes on defect prediction models
  
  Kim Herzig
  
  Empirical Software Engineering | April 2015, pp. 1-34
  
  출판 프로젝트
- Challenges with Applying Vulnerability Prediction Models
  
  Kim Herzig, Brendan Murphy
  
  Proceedings of the 2015 Symposium and Bootcamp on the Science of Security | April 2015
  
  Proceedings of the 2015 Symposium and Bootcamp on the Science of Security
  
  출판 프로젝트
- Using Pre-Release Test Failures to Build Early Post-Release Defect Prediction Models
  
  Kim Herzig
  
  Proceedings of the 25th International Symposium on Software Reliability Engineering | November 2014
  
  출판 출판 출판 프로젝트
- The Impact of Test Ownership and Team Structure on the Reliability and Effectiveness of Quality Test Runs
  
  Kim Herzig, Nachi Nagappan
  
  Proceedings of the 8th International Symposium on Empirical Software Engineering and Measurement | September 2014
  
  Proceedings of the 8th International Symposium on Empirical Software Engineering and Measurement
  
  출판 출판 출판 프로젝트
- The Trill Incremental Analytics Engine
  
  Badrish Chandramouli, Jonathan Goldstein, Mike Barnett, John Wernsing, John Platt, Robert DeLine, Danyel Fisher, James Terwilliger, Robert DeLIne
  
  MSR-TR-2014-54 | April 2014
  
  출판 프로젝트
- DroidSpeak: Efficient Context Sharing for Multiple-LLM Inference
  
  Yuhan Liu, Yuyang Huang, Jiayi Yao, Zhuohan Gu, Kuntai Du, Hanchen Li, Yihua Cheng, Junchen Jiang, Shan Lu, Madan Musuvathi, Esha Choukse
  
  NSDI | May 2026
  
  Publication 프로젝트
- Netherite: Efficient Execution of Serverless Workflows (Extended Journal Version)
  
  Sebastian Burckhardt, Badrish Chandramouli, Chris Gillum (cgillum), David Justo (dajusto), Konstantinos Kallas, Connor McMahon, Christopher S. Meiklejohn, Xiangfeng Zhu
  
  VLDB J. | February 2025, 제 34 권: pp. 25
  
  Special Issue "Best of VLDB 2022"
  
  DOI Publication
- Cloud Actor-Oriented Database Transactions in Orleans
  
  Tamer Eldeeb, Sebastian Burckhardt, Reuben Bond, Asaf Cidon, Junfeng Yang, Phil Bernstein
  
  Proc. VLDB Endow. | July 2024, 제 17 권: pp. 3720-3730
  
  DOI Publication 프로젝트
- Confidential Consortium Framework: Secure Multiparty Applications with Confidentiality, Integrity, and High Availability
  
  Heidi Howard, Fritz Alder, Eddy Ashton, Amaury Chamayou, Sylvan Clebsch, Manuel Costa, Antoine Delignat-Lavaud, Cédric Fournet, Andrew Jeffery, Matthew Kerner, Fotios Kounelis, Markus Kuppe, Julien Maffre, Mark Russinovich, Christoph M. Wintersteiger
  
  Proceedings of the VLDB Endowment | October 2023, 제 17 권(2)
  
  Nominee for Best Paper Award
  
  Publication Preprint Author's Version 프로젝트
- Doing More with Less: Orchestrating Serverless Applications without an Orchestrator
  
  David Liu , Amit Levy, Shadi Noghabi, Sebastian Burckhardt
  
  NSDI | April 2023
  
  Publication
- Netherite: Efficient Execution of Serverless Workflows
  
  Sebastian Burckhardt, Badrish Chandramouli, Chris Gillum, David Justo, Konstantinos Kallas, Connor McMahon, Christopher S. Meiklejohn, Xiangfeng Zhu
  
  VLDB 2022 | April 2022
  
  Publication PDF
- EverCrypt: A Fast, Veriﬁed, Cross-Platform Cryptographic Provider
  
  Jonathan Protzenko, Bryan Parno, Aymeric Fromherz, Chris Hawblitzel, Marina Polubelova, Karthikeyan Bhargavan, Benjamin Beurdouche, Joonwon Choi, Antoine Delignat-Lavaud, Cédric Fournet, Natalia Kulatova, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy, Christoph M. Wintersteiger, Santiago Zanella-Béguelin
  
  IEEE Symposium on Security and Privacy | May 2020
  
  Publication 동영상 다운로드 Github 프로젝트
- Differential Regression Testing for REST APIs
  
  Patrice Godefroid, Daniel Lehmann, Marina Polishchuk
  
  MSR-TR-2019-23 | August 2019
  
  글쓴이 Microsoft
  
  Revised version published in ISSTA'2020, July 2020.
  
  PDF 동영상 Github Github 프로젝트
- Checking Security Properties of Cloud Services REST APIs
  
  Vaggelis Atlidakis, Patrice Godefroid, Marina Polishchuk
  
  MSR-TR-2019-1 | February 2019
  
  글쓴이 Microsoft
  
  Revised version published in ICST'2020, March 2020.
  
  Publication 동영상 Github Github 프로젝트
- Automatically verifying reachability and well-formedness in P4 Networks
  
  Nick McKeown, Dan Talayco, George Varghese, Nuno Lopes, Nikolaj Bjørner, Andrey Rybalchenko
  
  MSR-TR-2016-65 | September 2016
  
  출판
- Wireless Protocol Validation Under Uncertainty
  
  Jinghao Shi, Shuvendu Lahiri, Ranveer Chandra, Geoffrey Challen
  
  Runtime Verification 2016 | July 2016
  
  Runtime Verification 2016 Best Paper Award
  
  Publication
- Abstract Specifications for Weakly Consistent Data
  
  Sebastian Burckhardt, Jonathan Protzenko
  
  IEEE Data Eng. Bull. | March 2016, 제 39 권: pp. 45-51
  
  출판 출판
- Consistency in Distributed Systems
  
  Sebastian Burckhardt
  
  Software Engineering – International Summer Schools, LASER 2013-2014, Elba, Italy, Revised Tutorial Lectures | November 2015
  
  ISBN: 978-3-319-28405-7
  
  출판 출판
- Redundant Memory Mappings for Fast Access to Large Memories
  
  Vasileios Karakostas, Jayneel Gandhi, Furkan Ayar, Adrián Cristal, Mark D. Hill, Kathryn S McKinley, Mario Nemirovsky, Michael M. Swift, Osman Ünsal
  
  June 2015
  
  출판 출판
- Computer Performance Microscopy with SHIM
  
  Stephen M. Blackburn, Kathryn S McKinley
  
  ACM/IEEE International Symposium on Computer Architecture (ISCA) | June 2015
  
  출판 출판
- Retro: Targeted Resource Management in Multi-tenant Distributed Systems
  
  Jonathan Mace, Peter Bodík, Rodrigo Fonseca, Madan Musuvathi
  
  NSDI | May 2015
  
  출판
- Few-to-Many: Incremental Parallelism for Reducing Tail Latency in Interactive Services
  
  E. Haque, Yong hun Eom, Yuxiong He, Sameh Elnikety, Ricardo Bianchini, Kathryn S McKinley
  
  Proceedings of the ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS) | March 2015
  
  Publication
- Principles of Eventual Consistency
  
  Sebastian Burckhardt
  
  Published by Now Publishers | October 2014, Vol 1 | Principles of Eventual Consistency edition
  
  출판 출판
- Data-Parallel Finite-State Machines
  
  Todd Mytkowicz, Madan Musuvathi, Wolfram Schulte
  
  Architectural Support for Programming Languages and Operating Systems (ASPLOS) | March 2014
  
  출판 출판 프로젝트 프로젝트
- Uncertain< T >: A First-Order Type for Uncertain Data
  
  James Bornholt, Todd Mytkowicz, Kathryn S McKinley, Kathryn McKinley
  
  March 2014
  
  출판 출판 프로젝트 프로젝트
- Parallelizing Dynamic Programming Through Rank Convergence
  
  Saeed Maleki, Madan Musuvathi, Todd Mytkowicz
  
  February 2014
  
  출판 프로젝트 프로젝트
- SIMD parallelization of applications that traverse irregular data structures
  
  Bin Ren, Gagan Agrawal, Jim Larus, Todd Mytkowicz, Tomi Poutanen, Wolfram Schulte
  
  Proceedings of the 2013 IEEE/ACM International Symposium on Code Generation and Optimization (CGO) | January 2013
  
  ISBN: 978-1-4673-5524-7
  
  출판 출판
- Symbolic Automata: Omega-Regularity Modulo Theories
  
  Margus Veanes, Thomas Ball, Gabriel Ebner, Ekaterina Zhuchko
  
  POPL | January 2025
  
  Author's Version DOI 프로젝트
- RE#: High Performance Derivative-Based Regex Matching with Intersection, Complement, and Restricted Lookarounds
  
  Ian Erik Varatalu, Margus Veanes, Juhan Ernits
  
  POPL | January 2025
  
  DOI Author's Version 프로젝트
- Simulation Algorithms for Symbolic Automata
  
  Lukáš Holík, Ondřej Lengál, Juraj Síč, Margus Veanes, Tomáš Vojnar
  
  International Symposium on Automated Technology for Verification and Analysis (ATVA) | September 2018
  
  편집자: Lahiri, S. and Wang, C.
  
  DOI
- Monadic Second-Order Logic on Finite Sequences
  
  Loris D'Antoni, Margus Veanes
  
  POPL’2017 | January 2017
  
  출판 출판 프로젝트
- Minimization of Symbolic Tree Automata
  
  Margus Veanes
  
  LICS | July 2016
  
  LICS
  
  출판
- Extended symbolic finite automata and transducers
  
  Loris D’Antoni, Margus Veanes
  
  Formal Methods in System Design | July 2015
  
  출판
- Symbolic Tree Automata
  
  Margus Veanes, Nikolaj Bjørner
  
  Information Processing Letters | March 2015, 제 115 권(3): pp. 418-424
  
  출판 출판
- Symbolic String Transformations with Regular Lookahead and Rollback
  
  Margus Veanes
  
  PSI 2014 | February 2015
  
  출판 출판
- Program Boosting: Program Synthesis via Crowd-Sourcing
  
  Robert A Cochran, , Benjamin Livshits, David Molnar, Margus Veanes, Ben Livshits
  
  POPL 2015: 42nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | January 2015
  
  출판 출판
- Data-Parallel String-Manipulating Programs
  
  Margus Veanes, Todd Mytkowicz, David Molnar, Ben Livshits
  
  POPL 2015: 42nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | January 2015
  
  POPL 2015: 42nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
  
  출판 출판 프로젝트 프로젝트
- Skolemization Modulo Theories
  
  Konstantin Korovin, Margus Veanes
  
  ICMS’14 | August 2014
  
  출판 출판
- Monadic Decomposition
  
  Margus Veanes, Nikolaj Bjørner, Lev Nachmanson, Sergey Bereg
  
  CAV’14 | July 2014
  
  출판
- FAST: A Transducer-Based Language for Tree Manipulation
  
  Margus Veanes, Benjamin Livshits, David Molnar, Ben Livshits
  
  PLDI 2014: Programming Language Design and Implementation | June 2014
  
  출판
- Minimization of Symbolic Automata
  
  Loris D'Antoni, Margus Veanes
  
  POPL’14 | January 2014
  
  POPL'14
  
  출판 프로젝트
- Effectively Monadic Predicates
  
  Margus Veanes, Nikolaj Bjørner, Lev Nachmanson, Sergey Bereg
  
  LPAR-19 | December 2013
  
  출판
- Program Boosting or Crowd-Sourcing for Correctness
  
  Robert Cochran, Ben Livshits
  
  MSR-TR-2013-94 | September 2013
  
  출판
- Applications of Symbolic Finite Automata
  
  Margus Veanes
  
  CIAA’13 | July 2013
  
  출판 프로젝트
- Minimization of Symbolic Automata
  
  Margus Veanes
  
  MSR-TR-2013-48 | April 2013
  
  출판
- DroidSpeak: Efficient Context Sharing for Multiple-LLM Inference
  
  Yuhan Liu, Yuyang Huang, Jiayi Yao, Zhuohan Gu, Kuntai Du, Hanchen Li, Yihua Cheng, Junchen Jiang, Shan Lu, Madan Musuvathi, Esha Choukse
  
  NSDI | May 2026
  
  Publication 프로젝트
- 3DGen: AI-Assisted Generation of Provably Correct Binary Format Parsers
  
  Sarah Fakhoury, Markus Kuppe, Shuvendu Lahiri, Tahina Ramananandro, Nikhil Swamy
  
  2025 International Conference on Software Engineering | April 2025
  
  DOI Publication Publication 프로젝트
- Can Large Language Models Transform Natural Language Intent into Formal Method Postconditions?
  
  Madeline Endres, Sarah Fakhoury, Saikat Chakraborty, Shuvendu Lahiri
  
  The ACM International Conference on the Foundations of Software Engineering (FSE) | July 2024
  
  GitHub page https://github.com/microsoft/nl-2-postcond/
  
  Publication Preprint 프로젝트
- Solving Data-centric Tasks using Large Language Models
  
  Shraddha Barke, Christian Poelitz, Carina Negreanu, Ben Zorn, José Cambronero, Andy Gordon, Vu Le, Elnaz Nouri, Nadia Polikarpova, Advait Sarkar, Brian Slininger, Neil Toronto, Jack Williams
  
  Annual Conference of the North American Chapter of the Association for Computational Linguistics | June 2024
  
  Publication
- Ranking LLM-Generated Loop Invariants for Program Verification
  
  Saikat Chakraborty, Shuvendu Lahiri, Sarah Fakhoury, Madan Musuvathi, Akash Lal, Aseem Rastogi, Nikhil Swamy, Rahul Sharma
  
  2023 Empirical Methods in Natural Language Processing | December 2023
  
  EMNLP-Findings 2023
  
  Preprint Github 프로젝트
- ColDeco: An End User Spreadsheet Inspection Tool for AI-Generated Code
  
  Kasra Ferdowsi, Jack Williams, Ian Drosos, Andy Gordon, Carina Negreanu, Nadia Polikarpova, Advait Sarkar, Ben Zorn
  
  IEEE Symposium on Visual Languages and Human-Centric Computing | October 2023
  
  Publication 프로젝트 프로젝트 프로젝트
- Participatory prompting: a user-centric research method for eliciting AI assistance opportunities in knowledge workflows
  
  Advait Sarkar, Ian Drosos, Robert DeLIne, Andy Gordon, Carina Negreanu, Sean Rintel, Jack Williams, Ben Zorn
  
  Proceedings of the 34th Annual Conference of the Psychology of Programming Interest Group (PPIG 2023) | August 2023
  
  PDF 프로젝트 프로젝트 프로젝트
- Fault-Aware Neural Code Rankers
  
  Jeevana Priya Inala, Chenglong Wang, Mei Yang, Andres Codas, Mark Encarnación, Shuvendu Lahiri, Madan Musuvathi, Jianfeng Gao
  
  NeurIPS 2022 | November 2022
  
  Publication Publication 프로젝트
- TOGA: A Neural Method for Test Oracle Generation
  
  Elizabeth Dinella, Gabriel Ryan, Todd Mytkowicz, Shuvendu Lahiri
  
  ICSE 2022 | May 2022
  
  ICSE'22 ACM SIGSOFT Distinguished Award
  
  Publication Publication 동영상 프로젝트
- MergeBERT: Program Merge Conflict Resolution via Neural Transformers
  
  Alexey Svyatkovskiy, Todd Mytkowicz, Negar Ghorbani, Sarah Fakhoury, Elizabeth Dinella, Christian Bird, Neel Sundaresan, Shuvendu Lahiri
  
  August 2021
  
  Publication 프로젝트 프로젝트
- Mining Semantic Loop Idioms from Big Code
  
  Miltiadis Allamanis, Earl T. Barr, Christian Bird, Premkumar Devanbu, Mark Marron, Charles Sutton
  
  MSR-TR-2016-1116 | November 2016
  
  출판 프로젝트
- Parallelizing SGD Symbolically
  
  | November 2016
  
  출판
- The Trill Incremental Analytics Engine
  
  Badrish Chandramouli, Jonathan Goldstein, Mike Barnett, John Wernsing, John Platt, Robert DeLine, Danyel Fisher, James Terwilliger, Robert DeLIne
  
  MSR-TR-2014-54 | April 2014
  
  출판 프로젝트
- Uncertain< T >: A First-Order Type for Uncertain Data
  
  James Bornholt, Todd Mytkowicz, Kathryn S McKinley, Kathryn McKinley
  
  March 2014
  
  출판 출판 프로젝트 프로젝트
- Program Boosting or Crowd-Sourcing for Correctness
  
  Robert Cochran, Ben Livshits
  
  MSR-TR-2013-94 | September 2013
  
  출판
- Meet MicroCode: a Live and Portable Programming Tool for the BBC micro:bit
  
  Kobi Hartley, Elisa Rubegni, Lorraine Underwood, Joe Finney, Thomas Ball, Steve Hodges, Eric Anderson, Jonathan "Peli" de Halleux, James Devine, Michal Moskal
  
  23rd annual ACM Interaction Design and Children (IDC) Conference | June 2024
  
  Publication Github
- ColDeco: An End User Spreadsheet Inspection Tool for AI-Generated Code
  
  Kasra Ferdowsi, Jack Williams, Ian Drosos, Andy Gordon, Carina Negreanu, Nadia Polikarpova, Advait Sarkar, Ben Zorn
  
  IEEE Symposium on Visual Languages and Human-Centric Computing | October 2023
  
  Publication 프로젝트 프로젝트 프로젝트
- Participatory prompting: a user-centric research method for eliciting AI assistance opportunities in knowledge workflows
  
  Advait Sarkar, Ian Drosos, Robert DeLIne, Andy Gordon, Carina Negreanu, Sean Rintel, Jack Williams, Ben Zorn
  
  Proceedings of the 34th Annual Conference of the Psychology of Programming Interest Group (PPIG 2023) | August 2023
  
  PDF 프로젝트 프로젝트 프로젝트
- Plug-and-play Physical Computing with Jacdac
  
  James Devine, Michal Moskal, Jonathan "Peli" de Halleux, Thomas Ball, Steve Hodges, Gabriele D’Amone, David Gakure, Joe Finney, Lorraine Underwood, Kobi Hartley, Paul Kos, Matt Oppenheim
  
  Proceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous Technologies | September 2022, 제 6 권(3)
  
  PDF DOI 프로젝트 프로젝트
- Developers Who Vlog: Dismantling Stereotypes through Community and Identity
  
  Souti Chattoadhyay, Denae Ford, Tom Zimmermann
  
  ACM Conference on Computer-Supported Cooperative Work and Social Computing (CSCW) | October 2021
  
  PDF 동영상 프로젝트
- Reel Life vs. Real Life: How Software Developers Share Their Daily Life through Vlogs
  
  Souti Chattopadhyay, Tom Zimmermann, Denae Ford
  
  ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) | August 2021
  
  Publication 프로젝트
- Capacitivo: Contact-Based Object Recognition on Interactive Fabrics using Capacitive Sensing
  
  Te-Yen Wu, Lu Tan, Yuji Zhang, Teddy Seyed, Xing-Dong Yang
  
  Proceedings of the 33rd Annual Symposium on User Interface Software and Technology (UIST ’20) | October 2020
  
  Publication
- TileCode: Creation of Video Games on Gaming Handhelds
  
  Thomas Ball, Shannon Kao, Richard Knoll, Daryl Zuniga
  
  ACM Symposium on User Interface Software and Technology (UIST) | October 2020
  
  Publication Publication 동영상 Github 프로젝트 프로젝트
- The BBC micro:bit: from the U.K. to the world
  
  Jonny Austin, Howard Baker, Thomas Ball, James Devine, Joe Finney, Jonathan "Peli" de Halleux, Steve Hodges, Michal Moskal, Gareth Stockdale
  
  Communications of the ACM | February 2020, 제 63 권(3)
  
  PDF Publication DOI 프로젝트 프로젝트 프로젝트
- Ten simple rules for helping newcomers become contributors to open projects
  
  Dan Sholler, Igor Steinmacher, Denae Ford, Mara Averick, Mike Hoye, Greg Wilson
  
  PLoS Computational Biology | September 2019, 제 15 권
  
  PDF DOI
- MakerArcade: Using Gaming and Physical Computing for Playful Making, Learning, and Creativity
  
  Teddy Seyed, Jonathan "Peli" de Halleux, Michal Moskal, James Devine, Joe Finney, Steve Hodges, Thomas Ball
  
  CHI 2019 Extended Abstracts | May 2019
  
  PDF DOI 프로젝트 프로젝트
- Beyond the Code Itself: How Programmers Really Look at Pull Requests
  
  Denae Ford, Mahnaz Behroozi, Alexander Serebrenik, Chris Parnin
  
  In proceedings of the ACM/IEEE Internationl Conference on Software Engineering – Software Engineering in Society (ICSE SEIS) | May 2019
  
  PDF DOI 동영상
- How Should Compilers Explain Problems to Developers?
  
  Titus Barik, Denae Ford, Emerson Murphy-Hill, Chris Parnin
  
  ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) | November 2018
  
  Publication DOI
- MakeCode and CODAL: intuitive and efficient embedded systems programming for education (LCTES version)
  
  James Devine, Joe Finney, Jonathan "Peli" de Halleux, Michal Moskal, Thomas Ball, Steve Hodges
  
  Proceedings of the 19th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems | June 2018
  
  PDF DOI 프로젝트 프로젝트 프로젝트
- ARcadia: A Rapid Prototyping Platform for Real-time Tangible Interfaces
  
  Annie Kelly, R. Benjamin Shapiro, Peli de Halleux, Tom Ball
  
  Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems | April 2018
  
  ISBN: 978-1-4503-5620-6
  
  출판 출판 프로젝트
- Characterizing Software Engineering Work with Personas Based on Knowledge Worker Actions
  
  Denae Ford, Tom Zimmermann, Christian Bird, Nachi Nagappan
  
  In proceedings of the IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM) | November 2017
  
  PDF DOI
- The Tech-Talk Balance: What Technical Interviewers Expect from Technical Candidates
  
  Denae Ford, Titus Barik, Leslie Rand-Pickett, Chris Parnin
  
  Proceedings of the IEEE ICSE 10th International Workshop on Cooperative and Human Aspects of Software Engineering (CHASE). | May 2017
  
  PDF DOI
- Microsoft Touch Develop and the BBC micro:bit
  
  Thomas Ball, Jonathan Protzenko, Judith Bishop, Michal Moskal, Jonathan "Peli" de Halleux, Michael Braun, Steve Hodges, Clare Riley
  
  ICSE 2016 Companion | May 2016
  
  PDF DOI 프로젝트 프로젝트 프로젝트 프로젝트
- Program Boosting: Program Synthesis via Crowd-Sourcing
  
  Robert A Cochran, , Benjamin Livshits, David Molnar, Margus Veanes, Ben Livshits
  
  POPL 2015: 42nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | January 2015
  
  출판 출판
- PrePose: Security and Privacy for Gesture-Based Programming
  
  Lucas Silva Figueiredo, Ben Livshits, David Molnar, Margus Veanes
  
  MSR-TR-2014-146 | November 2014
  
  출판
- Optimizing Human Computation to Save Time and Money
  
  Benjamin Livshits, George Kastrinis, Ben Livshits
  
  MSR-TR-2014-145 | November 2014
  
  출판 프로젝트
- Program Boosting or Crowd-Sourcing for Correctness
  
  Robert Cochran, Ben Livshits
  
  MSR-TR-2013-94 | September 2013
  
  출판
- Increasing Human-Tool Interaction via the Web
  
  Thomas Ball, Jonathan "Peli" de Halleux, Daan Leijen, Nikhil Swamy
  
  11th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering | June 2013
  
  11th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering
  
  출판 프로젝트
- Participatory prompting: a user-centric research method for eliciting AI assistance opportunities in knowledge workflows
  
  Advait Sarkar, Ian Drosos, Robert DeLIne, Andy Gordon, Carina Negreanu, Sean Rintel, Jack Williams, Ben Zorn
  
  Proceedings of the 34th Annual Conference of the Psychology of Programming Interest Group (PPIG 2023) | August 2023
  
  PDF 프로젝트 프로젝트 프로젝트
- Program Synthesis Using Natural Language
  
  Aditya Desai , Sumit Gulwani, Vineet Hingorani , Nidhi Jain , Amey Karkare , Mark Marron, Sailesh R , Subhajit Roy
  
  ICSE ’16 Proceedings of the 38th International Conference on Software Engineering | May 2016
  
  Publication DOI 프로젝트
- NLyze: Interactive Programming by Natural Language for SpreadSheet Data Analysis and Manipulation
  
  Sumit Gulwani, Mark Marron
  
  SIGMOD ’14 Proceedings of the 2014 ACM SIGMOD International Conference on Management of Data | June 2014
  
  출판 출판 동영상
- Confidential Consortium Framework: Secure Multiparty Applications with Confidentiality, Integrity, and High Availability
  
  Heidi Howard, Fritz Alder, Eddy Ashton, Amaury Chamayou, Sylvan Clebsch, Manuel Costa, Antoine Delignat-Lavaud, Cédric Fournet, Andrew Jeffery, Matthew Kerner, Fotios Kounelis, Markus Kuppe, Julien Maffre, Mark Russinovich, Christoph M. Wintersteiger
  
  Proceedings of the VLDB Endowment | October 2023, 제 17 권(2)
  
  Nominee for Best Paper Award
  
  Publication Preprint Author's Version 프로젝트
- FastVer2: A Provably Correct Monitor for Concurrent, Key-Value Stores
  
  Arvind Arasu, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy, Aymeric Fromherz, Kesha Hietala, Bryan Parno, Ravi Ramamurthy
  
  Certified Programs and Proofs | January 2023
  
  Accepted for publication, to appear
  
  PDF 프로젝트
- ASN1*: Provably Correct Non-Malleable Parsing for ASN.1 DER
  
  Haobin Ni, Antoine Delignat-Lavaud, Cédric Fournet, Tahina Ramananandro, Nikhil Swamy
  
  Certified Programs and Proofs | January 2023
  
  Accepted for publication, to appear
  
  PDF 프로젝트
- Counting in Regexes Considered Harmful: Exposing ReDoS Vulnerability of Nonbacktracking Matchers
  
  Lenka Turoňová, Lukáš Holík, Ivan Homoliak, Ondřej Lengál, Margus Veanes, Tomáš Vojnar
  
  31st USENIX Security Symposium | August 2022
  
  Publication
- Hardening Attack Surfaces with Formally Proven Binary Format Parsers
  
  Nikhil Swamy, Tahina Ramananandro, Aseem Rastogi, Irina Spiridonova, Haobin Ni, Dmitry Malloy, Juan Vazquez, Michael Tang, Omar Cardona, Arti Gupta
  
  2022 Programming Language Design and Implementation | June 2022
  
  Publication DOI 프로젝트
- InspectJS: Leveraging Code Similarity and User-Feedback for Effective Taint Specification Inference for JavaScript
  
  Saikat Dutta, Diego Garbervetsky, Shuvendu Lahiri, Max Schäfer
  
  ICSE 2022 | May 2022
  
  Software Engineering in Practice SEIP Track
  
  Publication 동영상 프로젝트
- EVA Improved: Compiler and Extension Library for CKKS
  
  Sangeeta Chowdhary, Wei Dai, Kim Laine, Olli Saarikivi
  
  Workshop on Encrypted Computing & Applied Homomorphic Cryptography (WAHC ’21) | November 2021
  
  Publication
- Anomalicious: Automated Detection of Anomalous and Potentially Malicious Commits on GitHub
  
  Danielle Gonzalez, Thomas Zimmermann, Patrice Godefroid, Max Schaefer
  
  International Conference on Software Engineering (ICSE), Software Engineering in Practice (SEIP) track | May 2021
  
  Publication PDF 프로젝트 프로젝트
- A Security Model and Fully Verified Implementation for the IETF QUIC Record Layer
  
  Antoine Delignat-Lavaud, Cédric Fournet, Bryan Parno, Jonathan Protzenko, Tahina Ramananandro, Jay Bosamiya, Joseph Lallemand, Itsaka Rakotonirina, Yi Zhou
  
  IEEE Symposium on Security and Privacy | May 2021
  
  Publication 프로젝트
- HACL×N: Verified Generic SIMD Crypto (for all your favourite platforms)
  
  Marina Polubelova, Karthikeyan Bhargavan, Jonathan Protzenko, Benjamin Beurdouche, Aymeric Fromherz, Natalia Kulatova, Santiago Zanella-Béguelin
  
  ACM Conference on Computer and Communications Security (CCS) | November 2020
  
  Publication 다운로드 프로젝트
- EverCrypt: A Fast, Veriﬁed, Cross-Platform Cryptographic Provider
  
  Jonathan Protzenko, Bryan Parno, Aymeric Fromherz, Chris Hawblitzel, Marina Polubelova, Karthikeyan Bhargavan, Benjamin Beurdouche, Joonwon Choi, Antoine Delignat-Lavaud, Cédric Fournet, Natalia Kulatova, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy, Christoph M. Wintersteiger, Santiago Zanella-Béguelin
  
  IEEE Symposium on Security and Privacy | May 2020
  
  Publication 동영상 다운로드 Github 프로젝트
- EVA: An Encrypted Vector Arithmetic Language and Compiler for Efficient Homomorphic Computation
  
  Roshan Dathathri, Blagovesta Kostova, Olli Saarikivi, Wei Dai, Kim Laine, Madan Musuvathi
  
  PLDI 2020 | December 2019
  
  Publication DOI Preprint
- Intelligent REST API Data Fuzzing
  
  Patrice Godefroid, Bo-Yuan Huang, Marina Polishchuk
  
  MSR-TR-2019-37 | November 2019
  
  글쓴이 Microsoft
  
  Revised version published in ESEC/FSE'2020, November 2020.
  
  PDF Github Github
- RESTler: Stateful REST API Fuzzing
  
  Vaggelis Atlidakis, Patrice Godefroid, Marina Polishchuk
  
  ICSE 2019 | November 2019
  
  PDF Publication 동영상 Github Github
- EverParse: Verified Secure Zero-Copy Parsers for Authenticated Message Formats
  
  Tahina Ramananandro, Antoine Delignat-Lavaud, Cédric Fournet, Nikhil Swamy, Tej Chajed, Nadim Kobeissi, Jonathan Protzenko
  
  USENIX Security | August 2019
  
  Author's Version Github 프로젝트
- Differential Regression Testing for REST APIs
  
  Patrice Godefroid, Daniel Lehmann, Marina Polishchuk
  
  MSR-TR-2019-23 | August 2019
  
  글쓴이 Microsoft
  
  Revised version published in ISSTA'2020, July 2020.
  
  PDF 동영상 Github Github 프로젝트
- CHET: An Optimizing Compiler for Fully-Homomorphic Neural-Network Inferencing
  
  Roshan Dathathri, Olli Saarikivi, Hao Chen, Kim Laine, Kristin Lauter, Saeed Maleki, Madan Musuvathi, Todd Mytkowicz
  
  PLDI 2019 | June 2019
  
  DOI 프로젝트
- Checking Security Properties of Cloud Services REST APIs
  
  Vaggelis Atlidakis, Patrice Godefroid, Marina Polishchuk
  
  MSR-TR-2019-1 | February 2019
  
  글쓴이 Microsoft
  
  Revised version published in ICST'2020, March 2020.
  
  Publication 동영상 Github Github 프로젝트
- We Still Don’t Have Secure Cross-Domain Requests: an Empirical Study of CORS
  
  Jianjun Chen, Jian Jiang, Haixin Duan, Tao Wan, Shuo Chen, Vern Paxson, Min Yang
  
  Proceedings of USENIX Security Symposium | August 2018
  
  Publication
- SVAuth – A Single-Sign-On Integration Solution with Runtime Verification (tool paper)
  
  Shuo Chen, Matt McCutchen, Phuong Cao, Shaz Qadeer, Ravishankar K. Iyer
  
  International Conference on Runtime Verification 2017 | September 2017
  
  Publication
- Self-Verifying Execution (Position Paper)
  
  Matt McCutchen, Daniel Song, Shuo Chen, Shaz Qadeer
  
  Proceedings of the IEEE Cybersecurity Development Conference (SecDev) | November 2016
  
  Proceedings of the IEEE Cybersecurity Development Conference (SecDev)
  
  출판
- Approximating Attack Surfaces with Stack Traces
  
  Christopher Theisen, Kim Herzig, Patrick Morrison, Brendan Murphy, Laurie Williams
  
  Companion Proceedings of the 37th International Conference on Software Engineering | May 2015
  
  Please note that this paper is not yet published, but accepted for inclusion.
  
  출판 프로젝트
- Challenges with Applying Vulnerability Prediction Models
  
  Kim Herzig, Brendan Murphy
  
  Proceedings of the 2015 Symposium and Bootcamp on the Science of Security | April 2015
  
  Proceedings of the 2015 Symposium and Bootcamp on the Science of Security
  
  출판 프로젝트
- PrePose: Security and Privacy for Gesture-Based Programming
  
  Lucas Silva Figueiredo, Ben Livshits, David Molnar, Margus Veanes
  
  MSR-TR-2014-146 | November 2014
  
  출판
- ZÃ˜: An Optimizing Distributing Zero-Knowledge Compiler
  
  Benjamin Livshits, Ben Livshits
  
  MSR-TR-2014-27 | February 2014
  
  출판
- PriVaricator: Deceiving Fingerprinters with Little White Lies
  
  Nick Nikiforakis, Wouter Joosen, Benjamin Livshits, Ben Livshits
  
  MSR-TR-2014-26 | February 2014
  
  출판
- Proving Memory Safety of the ANI Windows Image Parser using Compositional Exhaustive Testing
  
  Maria Christakis, Patrice Godefroid
  
  MSR-TR-2013-120 | November 2013
  
  출판
- Jacdac: Service-based Prototyping of Embedded Systems
  
  Thomas Ball, Jonathan "Peli" de Halleux, James Devine, Steve Hodges, Michal Moskal
  
  MSR-TR-2023-4 | January 2023
  
  글쓴이 Microsoft
  
  Publication 프로젝트 프로젝트
- Plug-and-play Physical Computing with Jacdac
  
  James Devine, Michal Moskal, Jonathan "Peli" de Halleux, Thomas Ball, Steve Hodges, Gabriele D’Amone, David Gakure, Joe Finney, Lorraine Underwood, Kobi Hartley, Paul Kos, Matt Oppenheim
  
  Proceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous Technologies | September 2022, 제 6 권(3)
  
  PDF DOI 프로젝트 프로젝트
- Web-based Programming for Low-cost Gaming Handhelds
  
  Michal Moskal, Jonathan "Peli" de Halleux, Thomas Ball, Abhijith Chatra, James Devine, Steve Hodges, Shannon Kao, Richard Knoll, Galen Nickel, Jacqueline Russell, Joey Wunderlich, Daryl Zuniga
  
  Foundations of Digital Games | August 2021
  
  Best paper
  
  PDF DOI 프로젝트 프로젝트
- Capacitivo: Contact-Based Object Recognition on Interactive Fabrics using Capacitive Sensing
  
  Te-Yen Wu, Lu Tan, Yuji Zhang, Teddy Seyed, Xing-Dong Yang
  
  Proceedings of the 33rd Annual Symposium on User Interface Software and Technology (UIST ’20) | October 2020
  
  Publication
- TileCode: Creation of Video Games on Gaming Handhelds
  
  Thomas Ball, Shannon Kao, Richard Knoll, Daryl Zuniga
  
  ACM Symposium on User Interface Software and Technology (UIST) | October 2020
  
  Publication Publication 동영상 Github 프로젝트 프로젝트
- The BBC micro:bit: from the U.K. to the world
  
  Jonny Austin, Howard Baker, Thomas Ball, James Devine, Joe Finney, Jonathan "Peli" de Halleux, Steve Hodges, Michal Moskal, Gareth Stockdale
  
  Communications of the ACM | February 2020, 제 63 권(3)
  
  PDF Publication DOI 프로젝트 프로젝트 프로젝트
- Microsoft MakeCode: Embedded Programming for Education, in Blocks and TypeScript
  
  Thomas Ball, Abhijith Chatra, Jonathan "Peli" de Halleux, Steve Hodges, Michal Moskal, Jacqueline Russell
  
  SPLASH-E 2019: Proceedings of the 2019 ACM SIGPLAN Symposium on SPLASH-E | October 2019
  
  DOI Publication 프로젝트 프로젝트 프로젝트
- Static TypeScript: An Implementation of a Static Compiler for the TypeScript Language
  
  Michal Moskal, Thomas Ball, Jonathan "Peli" de Halleux
  
  Managed Programming Languages and Runtimes | October 2019
  
  Publication DOI 프로젝트
- MakerArcade: Using Gaming and Physical Computing for Playful Making, Learning, and Creativity
  
  Teddy Seyed, Jonathan "Peli" de Halleux, Michal Moskal, James Devine, Joe Finney, Steve Hodges, Thomas Ball
  
  CHI 2019 Extended Abstracts | May 2019
  
  PDF DOI 프로젝트 프로젝트
- MakeCode and CODAL: intuitive and efficient embedded systems programming for education (LCTES version)
  
  James Devine, Joe Finney, Jonathan "Peli" de Halleux, Michal Moskal, Thomas Ball, Steve Hodges
  
  Proceedings of the 19th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems | June 2018
  
  PDF DOI 프로젝트 프로젝트 프로젝트
- Microsoft Touch Develop and the BBC micro:bit
  
  Thomas Ball, Jonathan Protzenko, Judith Bishop, Michal Moskal, Jonathan "Peli" de Halleux, Michael Braun, Steve Hodges, Clare Riley
  
  ICSE 2016 Companion | May 2016
  
  PDF DOI 프로젝트 프로젝트 프로젝트 프로젝트
- Redundant Memory Mappings for Fast Access to Large Memories
  
  Vasileios Karakostas, Jayneel Gandhi, Furkan Ayar, Adrián Cristal, Mark D. Hill, Kathryn S McKinley, Mario Nemirovsky, Michael M. Swift, Osman Ünsal
  
  June 2015
  
  출판 출판
- Computer Performance Microscopy with SHIM
  
  Stephen M. Blackburn, Kathryn S McKinley
  
  ACM/IEEE International Symposium on Computer Architecture (ISCA) | June 2015
  
  출판 출판
- Few-to-Many: Incremental Parallelism for Reducing Tail Latency in Interactive Services
  
  E. Haque, Yong hun Eom, Yuxiong He, Sameh Elnikety, Ricardo Bianchini, Kathryn S McKinley
  
  Proceedings of the ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS) | March 2015
  
  Publication
- Data-Parallel Finite-State Machines
  
  Todd Mytkowicz, Madan Musuvathi, Wolfram Schulte
  
  Architectural Support for Programming Languages and Operating Systems (ASPLOS) | March 2014
  
  출판 출판 프로젝트 프로젝트
- Uncertain< T >: A First-Order Type for Uncertain Data
  
  James Bornholt, Todd Mytkowicz, Kathryn S McKinley, Kathryn McKinley
  
  March 2014
  
  출판 출판 프로젝트 프로젝트
- Parallelizing Dynamic Programming Through Rank Convergence
  
  Saeed Maleki, Madan Musuvathi, Todd Mytkowicz
  
  February 2014
  
  출판 프로젝트 프로젝트
- The impact of tangled code changes on defect prediction models
  
  Kim Herzig
  
  Empirical Software Engineering | April 2015, pp. 1-34
  
  출판 프로젝트
- Few-to-Many: Incremental Parallelism for Reducing Tail Latency in Interactive Services
  
  E. Haque, Yong hun Eom, Yuxiong He, Sameh Elnikety, Ricardo Bianchini, Kathryn S McKinley
  
  Proceedings of the ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS) | March 2015
  
  Publication
- Dafny: An Automatic Program Verifier For Functional Correctness
  
  Rustan Leino
  
  LPAR-16, Dakar, Senegal | April 2010
  
  출판
- Saving Money While Polling with InterPoll using Power Analysis
  
  Ben Livshits, Todd Mytkowicz
  
  MSR-TR-2014-50 | April 2014
  
  출판
- InterPoll: Crowd-Sourced Internet Polls (Done Right)
  
  Ben Livshits, Todd Mytkowicz
  
  MSR-TR-2014-3 | January 2014
  
  출판 프로젝트

- DroidSpeak: Efficient Context Sharing for Multiple-LLM Inference
  
  Yuhan Liu, Yuyang Huang, Jiayi Yao, Zhuohan Gu, Kuntai Du, Hanchen Li, Yihua Cheng, Junchen Jiang, Shan Lu, Madan Musuvathi, Esha Choukse
  
  NSDI | May 2026
  
  Publication 프로젝트
- Regex Decision Procedures in Extended RE#
  
  Ian Erik Varatalu, Margus Veanes, Ekaterina Zhuchko, Juhan Ernits
  
  CAV 2025 | July 2025
  
  편집자: R. Piskac and Z. Rakamaric
  
  Published in LNCS vol. 15933
  
  DOI 프로젝트
- Principal Type Inference under a Prefix
  
  Daan Leijen, Wenjia Ye
  
  PLDI’25 | June 2025
  
  A Fresh Look at Static Overloading. See also the accompanying technical report.
  
  Publication 프로젝트
- PulseCore: An Impredicative Concurrent Separation Logic for Dependently Typed Programs
  
  Gabriel Ebner, Guido Martínez, Aseem Rastogi, Thibault Dardinier, Megan Frisella, Tahina Ramananandro, Nikhil Swamy
  
  2025 Programming Language Design and Implementation | June 2025
  
  Accepted for publication, to appear
  
  Author's Version 프로젝트
- 3DGen: AI-Assisted Generation of Provably Correct Binary Format Parsers
  
  Sarah Fakhoury, Markus Kuppe, Shuvendu Lahiri, Tahina Ramananandro, Nikhil Swamy
  
  2025 International Conference on Software Engineering | April 2025
  
  DOI Publication Publication 프로젝트
- Towards Neural Synthesis for SMT-Assisted Proof-Oriented Programming
  
  Saikat Chakraborty, Gabriel Ebner, Siddharth Bhat, Sarah Fakhoury, Sakina Fatima, Shuvendu Lahiri, Nikhil Swamy
  
  2025 International Conference on Software Engineering | April 2025
  
  Preprint 다운로드 다운로드 프로젝트
- Symbolic Automata: Omega-Regularity Modulo Theories
  
  Margus Veanes, Thomas Ball, Gabriel Ebner, Ekaterina Zhuchko
  
  POPL | January 2025
  
  Author's Version DOI 프로젝트
- RE#: High Performance Derivative-Based Regex Matching with Intersection, Complement, and Restricted Lookarounds
  
  Ian Erik Varatalu, Margus Veanes, Juhan Ernits
  
  POPL | January 2025
  
  DOI Author's Version 프로젝트
- Can Large Language Models Transform Natural Language Intent into Formal Method Postconditions?
  
  Madeline Endres, Sarah Fakhoury, Saikat Chakraborty, Shuvendu Lahiri
  
  The ACM International Conference on the Foundations of Software Engineering (FSE) | July 2024
  
  GitHub page https://github.com/microsoft/nl-2-postcond/
  
  Publication Preprint 프로젝트
- Evaluating LLM-driven User-Intent Formalization for Verification-Aware Languages
  
  Shuvendu Lahiri
  
  Formal Methods in Computer-Aided Design (FMCAD’24) | July 2024
  
  Preprint 프로젝트
- The Functional Essence of Imperative Binary Search Trees
  
  Anton Lorenzen, Daan Leijen, Wouter Swierstra, Sam Lindley
  
  PLDI’24 | June 2024
  
  Publication 프로젝트
- Jacdac: Service-Based Prototyping of Embedded Systems
  
  Thomas Ball, Jonathan "Peli" de Halleux, James Devine, Steve Hodges, Michal Moskal
  
  Programming Language Design and Implementation (PLDI) | June 2024
  
  Publication 프로젝트
- Meet MicroCode: a Live and Portable Programming Tool for the BBC micro:bit
  
  Kobi Hartley, Elisa Rubegni, Lorraine Underwood, Joe Finney, Thomas Ball, Steve Hodges, Eric Anderson, Jonathan "Peli" de Halleux, James Devine, Michal Moskal
  
  23rd annual ACM Interaction Design and Children (IDC) Conference | June 2024
  
  Publication Github
- Solving Data-centric Tasks using Large Language Models
  
  Shraddha Barke, Christian Poelitz, Carina Negreanu, Ben Zorn, José Cambronero, Andy Gordon, Vu Le, Elnaz Nouri, Nadia Polikarpova, Advait Sarkar, Brian Slininger, Neil Toronto, Jack Williams
  
  Annual Conference of the North American Chapter of the Association for Computational Linguistics | June 2024
  
  Publication
- NL2Fix: Generating Functionally Correct Code Edits from Bug Descriptions
  
  Sarah Fakhoury, Saikat Chakraborty, Madan Musuvathi, Shuvendu Lahiri
  
  2024 International Conference on Software Engineering | May 2024
  
  Poster track
  
  Publication 프로젝트
- Lean Formalization of Extended Regular Expression Matching with Lookarounds
  
  Ekaterina Zhuchko, Margus Veanes, Gabriel Ebner
  
  CPP | January 2024
  
  Author's Version DOI 프로젝트
- Ranking LLM-Generated Loop Invariants for Program Verification
  
  Saikat Chakraborty, Shuvendu Lahiri, Sarah Fakhoury, Madan Musuvathi, Akash Lal, Aseem Rastogi, Nikhil Swamy, Rahul Sharma
  
  2023 Empirical Methods in Natural Language Processing | December 2023
  
  EMNLP-Findings 2023
  
  Preprint Github 프로젝트
- Continuing WebAssembly with Effect Handlers
  
  LUNA PHIPPS-COSTIN, ANDREAS ROSSBERG, ARJUN GUHA, Daan Leijen, DANIEL HILLERSTRÖM, KC SIVARAMAKRISHNAN, MATIJA PRETNAR, SAM LINDLEY
  
  OOPSLA’23 | October 2023
  
  Publication 프로젝트
- ColDeco: An End User Spreadsheet Inspection Tool for AI-Generated Code
  
  Kasra Ferdowsi, Jack Williams, Ian Drosos, Andy Gordon, Carina Negreanu, Nadia Polikarpova, Advait Sarkar, Ben Zorn
  
  IEEE Symposium on Visual Languages and Human-Centric Computing | October 2023
  
  Publication 프로젝트 프로젝트 프로젝트
- FP$^2$: Fully in-Place Functional Programming
  
  Anton Lorenzen, Daan Leijen, Wouter Swierstra
  
  ICFP 2023 | September 2023
  
  preprint
  
  Publication 프로젝트
- Participatory prompting: a user-centric research method for eliciting AI assistance opportunities in knowledge workflows
  
  Advait Sarkar, Ian Drosos, Robert DeLIne, Andy Gordon, Carina Negreanu, Sean Rintel, Jack Williams, Ben Zorn
  
  Proceedings of the 34th Annual Conference of the Psychology of Programming Interest Group (PPIG 2023) | August 2023
  
  PDF 프로젝트 프로젝트 프로젝트
- CODAMOSA: Escaping Coverage Plateaus in Test Generation with Pre-trained Large Language Models
  
  Caroline Lemieux, Jeevana Priya Inala, Shuvendu Lahiri, Siddhartha Sen
  
  ICSE’23 | May 2023
  
  Preprint Github 프로젝트
- Doing More with Less: Orchestrating Serverless Applications without an Orchestrator
  
  David Liu , Amit Levy, Shadi Noghabi, Sebastian Burckhardt
  
  NSDI | April 2023
  
  Publication
- Tail Recursion Modulo Context: An Equational Approach
  
  Daan Leijen, Anton Lorenzen
  
  POPL’23 | January 2023
  
  Publication 프로젝트
- FastVer2: A Provably Correct Monitor for Concurrent, Key-Value Stores
  
  Arvind Arasu, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy, Aymeric Fromherz, Kesha Hietala, Bryan Parno, Ravi Ramamurthy
  
  Certified Programs and Proofs | January 2023
  
  Accepted for publication, to appear
  
  PDF 프로젝트
- ASN1*: Provably Correct Non-Malleable Parsing for ASN.1 DER
  
  Haobin Ni, Antoine Delignat-Lavaud, Cédric Fournet, Tahina Ramananandro, Nikhil Swamy
  
  Certified Programs and Proofs | January 2023
  
  Accepted for publication, to appear
  
  PDF 프로젝트
- Fault-Aware Neural Code Rankers
  
  Jeevana Priya Inala, Chenglong Wang, Mei Yang, Andres Codas, Mark Encarnación, Shuvendu Lahiri, Madan Musuvathi, Jianfeng Gao
  
  NeurIPS 2022 | November 2022
  
  Publication Publication 프로젝트
- Program Merge Conflict Resolution via Neural Transformers
  
  Alexey Svyatkovskiy, Sarah Fakhoury, Negar Ghorbani, Todd Mytkowicz, Christian Bird, Jinu Jang, Neel Sundaresan, Shuvendu Lahiri, Elizabeth Dinella
  
  The ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE ’22) | November 2022
  
  Publication 프로젝트 프로젝트
- Reference counting with frame limited reuse
  
  Anton Lorenzen, Daan Leijen
  
  ICFP’22 | August 2022
  
  Publication 프로젝트
- Counting in Regexes Considered Harmful: Exposing ReDoS Vulnerability of Nonbacktracking Matchers
  
  Lenka Turoňová, Lukáš Holík, Ivan Homoliak, Ondřej Lengál, Margus Veanes, Tomáš Vojnar
  
  31st USENIX Security Symposium | August 2022
  
  Publication
- Using Pre-trained Language Models to Resolve Textual and Semantic Merge Conflicts (Experience Paper)
  
  Jialu Zhang, Mike Kaufman, Todd Mytkowicz, Ruzica Piskac, Shuvendu Lahiri
  
  ISSTA 2022: Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis | July 2022
  
  Publication 프로젝트 프로젝트
- Hardening Attack Surfaces with Formally Proven Binary Format Parsers
  
  Nikhil Swamy, Tahina Ramananandro, Aseem Rastogi, Irina Spiridonova, Haobin Ni, Dmitry Malloy, Juan Vazquez, Michael Tang, Omar Cardona, Arti Gupta
  
  2022 Programming Language Design and Implementation | June 2022
  
  Publication DOI 프로젝트
- InspectJS: Leveraging Code Similarity and User-Feedback for Effective Taint Specification Inference for JavaScript
  
  Saikat Dutta, Diego Garbervetsky, Shuvendu Lahiri, Max Schäfer
  
  ICSE 2022 | May 2022
  
  Software Engineering in Practice SEIP Track
  
  Publication 동영상 프로젝트
- TOGA: A Neural Method for Test Oracle Generation
  
  Elizabeth Dinella, Gabriel Ryan, Todd Mytkowicz, Shuvendu Lahiri
  
  ICSE 2022 | May 2022
  
  ICSE'22 ACM SIGSOFT Distinguished Award
  
  Publication Publication 동영상 프로젝트
- Netherite: Efficient Execution of Serverless Workflows
  
  Sebastian Burckhardt, Badrish Chandramouli, Chris Gillum, David Justo, Konstantinos Kallas, Connor McMahon, Christopher S. Meiklejohn, Xiangfeng Zhu
  
  VLDB 2022 | April 2022
  
  Publication PDF
- SolType: Refinement Types for Solidity
  
  Bryan Tan, Benjamin Mariano, Shuvendu Lahiri, Isil Dillig, Yu Feng
  
  POPL 2022 | January 2022
  
  Publication 프로젝트
- High Assurance Software for Financial Regulation and Business Platforms
  
  Stephen Goldbaum, Attila Mihaly, Tosha Ellison, Earl T. Barr, Mark Marron
  
  International Conference on Verification, Model Checking, and Abstract Interpretation | January 2022
  
  Publication 프로젝트
- EVA Improved: Compiler and Extension Library for CKKS
  
  Sangeeta Chowdhary, Wei Dai, Kim Laine, Olli Saarikivi
  
  Workshop on Encrypted Computing & Applied Homomorphic Cryptography (WAHC ’21) | November 2021
  
  Publication
- Durable Functions: Semantics for Stateful Serverless
  
  Sebastian Burckhardt, Chris Gillum, David Justo, Konstantinos Kallas, Connor McMahon, Christopher S. Meiklejohn
  
  OOPSLA | October 2021
  
  Publication Author's Version
- Web-based Programming for Low-cost Gaming Handhelds
  
  Michal Moskal, Jonathan "Peli" de Halleux, Thomas Ball, Abhijith Chatra, James Devine, Steve Hodges, Shannon Kao, Richard Knoll, Galen Nickel, Jacqueline Russell, Joey Wunderlich, Daryl Zuniga
  
  Foundations of Digital Games | August 2021
  
  Best paper
  
  PDF DOI 프로젝트 프로젝트
- Reel Life vs. Real Life: How Software Developers Share Their Daily Life through Vlogs
  
  Souti Chattopadhyay, Tom Zimmermann, Denae Ford
  
  ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) | August 2021
  
  Publication 프로젝트
- FastVer: Making Data Integrity a Commodity
  
  Arvind Arasu, Aseem Rastogi, Badrish Chandramouli, Donald Kossmann, Esha Ghosh, Johannes Gehrke, Nikhil Swamy, Jonathan Protzenko, Ravi Ramamurthy, Srinath Setty, Tahina Ramananandro, Alexander van Renen, Min Xu
  
  SIGMOD | June 2021
  
  Publication 프로젝트
- Perceus: Garbage Free Reference Counting with Reuse
  
  Alex Reinking*, Ningning Xie*, Leonardo de Moura, Daan Leijen
  
  The 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation (PLDI ’21) | June 2021
  
  (*) The first two authors contributed equally to this work. Distinguished paper at PLDI'21.
  
  Publication Github 프로젝트
- SmartPulse: Automated Checking of Temporal Properties in Smart Contracts
  
  Jon Stephens, Kostas Ferles, Benjamin Mariano, Shuvendu Lahiri, Isil Dillig
  
  42nd IEEE Symposium on Security and Privacy | May 2021
  
  Publication 프로젝트
- Can Program Synthesis be Used to Learn Merge Conflict Resolutions? An Empirical Analysis
  
  Rangeet Pan, Vu Le, Nachi Nagappan, Sumit Gulwani, Shuvendu Lahiri, Mike Kaufman
  
  2021 IEEE/ACM 43nd International Conference on Software Engineering (ICSE ’21) | May 2021
  
  Publication 프로젝트
- Anomalicious: Automated Detection of Anomalous and Potentially Malicious Commits on GitHub
  
  Danielle Gonzalez, Thomas Zimmermann, Patrice Godefroid, Max Schaefer
  
  International Conference on Software Engineering (ICSE), Software Engineering in Practice (SEIP) track | May 2021
  
  Publication PDF 프로젝트 프로젝트
- A Security Model and Fully Verified Implementation for the IETF QUIC Record Layer
  
  Antoine Delignat-Lavaud, Cédric Fournet, Bryan Parno, Jonathan Protzenko, Tahina Ramananandro, Jay Bosamiya, Joseph Lallemand, Itsaka Rakotonirina, Yi Zhou
  
  IEEE Symposium on Security and Privacy | May 2021
  
  Publication 프로젝트
- HACL×N: Verified Generic SIMD Crypto (for all your favourite platforms)
  
  Marina Polubelova, Karthikeyan Bhargavan, Jonathan Protzenko, Benjamin Beurdouche, Aymeric Fromherz, Natalia Kulatova, Santiago Zanella-Béguelin
  
  ACM Conference on Computer and Communications Security (CCS) | November 2020
  
  Publication 다운로드 프로젝트
- Capacitivo: Contact-Based Object Recognition on Interactive Fabrics using Capacitive Sensing
  
  Te-Yen Wu, Lu Tan, Yuji Zhang, Teddy Seyed, Xing-Dong Yang
  
  Proceedings of the 33rd Annual Symposium on User Interface Software and Technology (UIST ’20) | October 2020
  
  Publication
- TileCode: Creation of Video Games on Gaming Handhelds
  
  Thomas Ball, Shannon Kao, Richard Knoll, Daryl Zuniga
  
  ACM Symposium on User Interface Software and Technology (UIST) | October 2020
  
  Publication Publication 동영상 Github 프로젝트 프로젝트
- Demystifying Loops in Smart Contracts
  
  Ben Mariano, Yanju Chen, Yu Feng, Shuvendu Lahiri, Isil Dillig
  
  35th IEEE/ACM International Conference on Automated Software Engineering (ASE’20) | September 2020
  
  Publication 프로젝트
- Effect Handlers in Haskell, Evidently
  
  Ningning Xie, Daan Leijen
  
  The 13th ACM SIGPLAN International Haskell Symposium | August 2020
  
  Publication 프로젝트
- Effect Handlers, Evidently
  
  Ningning Xie, Jonathan Brachthauser, Daniel Hillerstrom, Philipp Schuster, Daan Leijen
  
  The 25th ACM SIGPLAN International Conference on Functional Programming (ICFP) | August 2020
  
  Publication 프로젝트
- Angelic Checking within Static Driver Verifier: Towards high-precision defects without (modeling) cost
  
  Shuvendu Lahiri, Akash Lal, Sridhar Gopinath, Alexander Nutz, Vladimir Levin, Rahul Kumar, Nate Deisinger, Jakob Lichtenberg, Chetan Bansal
  
  FMCAD | July 2020
  
  Best paper award
  
  Publication 동영상 프로젝트 프로젝트
- Towards Understanding and Fixing Upstream Merge Induced Conflicts in Divergent Forks: An Industrial Case Study
  
  Chunhga Sung, Shuvendu Lahiri, Pallavi Choudhury, Mike Kaufman, Chao Wang
  
  The 42nd International Conference on Software Engineering (ICSE SEIP Track), Seoul, Korea, May 2020 | May 2020
  
  Publication 프로젝트 프로젝트
- Learning from, Understanding, and Supporting DevOps Artifacts for Docker
  
  Jordan Henkel, Christian Bird, Shuvendu Lahiri, Thomas Reps
  
  42nd International Conference on Software Engineering (ICSE’20) | May 2020
  
  Publication
- EverCrypt: A Fast, Veriﬁed, Cross-Platform Cryptographic Provider
  
  Jonathan Protzenko, Bryan Parno, Aymeric Fromherz, Chris Hawblitzel, Marina Polubelova, Karthikeyan Bhargavan, Benjamin Beurdouche, Joonwon Choi, Antoine Delignat-Lavaud, Cédric Fournet, Natalia Kulatova, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy, Christoph M. Wintersteiger, Santiago Zanella-Béguelin
  
  IEEE Symposium on Security and Privacy | May 2020
  
  Publication 동영상 다운로드 Github 프로젝트
- EVA: An Encrypted Vector Arithmetic Language and Compiler for Efficient Homomorphic Computation
  
  Roshan Dathathri, Blagovesta Kostova, Olli Saarikivi, Wei Dai, Kim Laine, Madan Musuvathi
  
  PLDI 2020 | December 2019
  
  Publication DOI Preprint
- RESTler: Stateful REST API Fuzzing
  
  Vaggelis Atlidakis, Patrice Godefroid, Marina Polishchuk
  
  ICSE 2019 | November 2019
  
  PDF Publication 동영상 Github Github
- Niijima: sound and automated computation consolidation for efficient multilingual data-parallel pipelines
  
  Guoqing Harry Xu, Margus Veanes (margus), Michael Barnett, Madan Musuvathi (madanm), Todd Mytkowicz (toddm), Ben Zorn (zorn), Huan He, Haibo Lin
  
  Proceedings of the 27th ACM Symposium on Operating Systems Principles | October 2019
  
  Publication DOI
- Microsoft MakeCode: Embedded Programming for Education, in Blocks and TypeScript
  
  Thomas Ball, Abhijith Chatra, Jonathan "Peli" de Halleux, Steve Hodges, Michal Moskal, Jacqueline Russell
  
  SPLASH-E 2019: Proceedings of the 2019 ACM SIGPLAN Symposium on SPLASH-E | October 2019
  
  DOI Publication 프로젝트 프로젝트 프로젝트
- Static TypeScript: An Implementation of a Static Compiler for the TypeScript Language
  
  Michal Moskal, Thomas Ball, Jonathan "Peli" de Halleux
  
  Managed Programming Languages and Runtimes | October 2019
  
  Publication DOI 프로젝트
- Formal Verification of Workflow Policies for Smart Contracts in Azure Blockchain
  
  Yuepeng Wang, Shuvendu Lahiri, Shuo Chen, Rong Pan, Isil Dillig, Cody Born, Immad Naseer, Kostas Ferles
  
  Verified Software: Theories, Tools and Experiments | September 2019
  
  Publication 프로젝트
- EverParse: Verified Secure Zero-Copy Parsers for Authenticated Message Formats
  
  Tahina Ramananandro, Antoine Delignat-Lavaud, Cédric Fournet, Nikhil Swamy, Tej Chajed, Nadim Kobeissi, Jonathan Protzenko
  
  USENIX Security | August 2019
  
  Author's Version Github 프로젝트
- CHET: An Optimizing Compiler for Fully-Homomorphic Neural-Network Inferencing
  
  Roshan Dathathri, Olli Saarikivi, Hao Chen, Kim Laine, Kristin Lauter, Saeed Maleki, Madan Musuvathi, Todd Mytkowicz
  
  PLDI 2019 | June 2019
  
  DOI 프로젝트
- MakerArcade: Using Gaming and Physical Computing for Playful Making, Learning, and Creativity
  
  Teddy Seyed, Jonathan "Peli" de Halleux, Michal Moskal, James Devine, Joe Finney, Steve Hodges, Thomas Ball
  
  CHI 2019 Extended Abstracts | May 2019
  
  PDF DOI 프로젝트 프로젝트
- Beyond the Code Itself: How Programmers Really Look at Pull Requests
  
  Denae Ford, Mahnaz Behroozi, Alexander Serebrenik, Chris Parnin
  
  In proceedings of the ACM/IEEE Internationl Conference on Software Engineering – Software Engineering in Society (ICSE SEIS) | May 2019
  
  PDF DOI 동영상
- Symbolic Regex Matcher
  
  Margus Veanes (margus), Olli Saarikivi (olsaarik), Tiki Wan, Eric Xu
  
  TACAS | April 2019
  
  Author's Version 프로젝트
- Meta-F*: Proof Automation with SMT, Tactics, and Metaprograms
  
  Guido Martinez, Danel Ahman, Victor Dumitrescu, Nick Giannarakis, Chris Hawblitzel, Catalin Hritcu, Monal Narasimhamurthy, Zoe Paraskevopoulou, Clément Pit–Claudel, Jonathan Protzenko, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy
  
  European Symposium On Programming | April 2019
  
  Author's Version 프로젝트
- Reactive Caching for Composed Services
  
  Sebastian Burckhardt, Tim Coppieters
  
  OOPSLA | November 2018
  
  Publication 프로젝트
- How Should Compilers Explain Problems to Developers?
  
  Titus Barik, Denae Ford, Emerson Murphy-Hill, Chris Parnin
  
  ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) | November 2018
  
  Publication DOI
- Code Vectors: Understanding Programs Through Embedded Abstracted Symbolic Traces
  
  Jordan Henkel, Shuvendu Lahiri, Ben Liblit, Thomas Reps
  
  Proceedings of the 26th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE ’18) | November 2018
  
  Publication
- Verified Three-Way Program Merge
  
  Marcelo Sousa, Isil Dillig, Shuvendu Lahiri
  
  Object-Oriented Programming, Systems, Languages & Applications Conference (OOPSLA 2018) | November 2018
  
  Publication 프로젝트 프로젝트
- Log++ Logging for a Cloud-NativeWorld
  
  Mark Marron
  
  Dynamic Languages Symposium | October 2018
  
  Publication
- Simulation Algorithms for Symbolic Automata
  
  Lukáš Holík, Ondřej Lengál, Juraj Síč, Margus Veanes, Tomáš Vojnar
  
  International Symposium on Automated Technology for Verification and Analysis (ATVA) | September 2018
  
  편집자: Lahiri, S. and Wang, C.
  
  DOI
- We Still Don’t Have Secure Cross-Domain Requests: an Empirical Study of CORS
  
  Jianjun Chen, Jian Jiang, Haixin Duan, Tao Wan, Shuo Chen, Vern Paxson, Min Yang
  
  Proceedings of USENIX Security Symposium | August 2018
  
  Publication
- Datalog-Based Scalable Semantic Diffing of Concurrent Programs
  
  Chungha Sung, Shuvendu Lahiri, C. Enea, Chao Wang
  
  International Conference on Automated Software Engineering (ASE ’18) | July 2018
  
  DOI Publication Publication PDF 프로젝트
- MakeCode and CODAL: intuitive and efficient embedded systems programming for education (LCTES version)
  
  James Devine, Joe Finney, Jonathan "Peli" de Halleux, Michal Moskal, Thomas Ball, Steve Hodges
  
  Proceedings of the 19th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems | June 2018
  
  PDF DOI 프로젝트 프로젝트 프로젝트
- ARcadia: A Rapid Prototyping Platform for Real-time Tangible Interfaces
  
  Annie Kelly, R. Benjamin Shapiro, Peli de Halleux, Tom Ball
  
  Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems | April 2018
  
  ISBN: 978-1-4503-5620-6
  
  출판 출판 프로젝트
- A monadic framework for relational verification: applied to information security, program equivalence, and optimizations
  
  Niklas Grimm, Kenji Maillard, Cédric Fournet, Catalin Hritcu, Matteo Maffei, Jonathan Protzenko, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy, Santiago Zanella-Béguelin
  
  CPP 2018 | January 2018
  
  출판 출판 출판 프로젝트
- Implementing Algebraic Effects in C
  
  Daan Leijen
  
  APLAS’17, Asian Symposium on Programming Languages and Systems | November 2017
  
  편집자: Chang, Bor-Yuh Evan
  
  Publication 프로젝트
- Characterizing Software Engineering Work with Personas Based on Knowledge Worker Actions
  
  Denae Ford, Tom Zimmermann, Christian Bird, Nachi Nagappan
  
  In proceedings of the IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM) | November 2017
  
  PDF DOI
- SVAuth – A Single-Sign-On Integration Solution with Runtime Verification (tool paper)
  
  Shuo Chen, Matt McCutchen, Phuong Cao, Shaz Qadeer, Ravishankar K. Iyer
  
  International Conference on Runtime Verification 2017 | September 2017
  
  Publication
- The Tech-Talk Balance: What Technical Interviewers Expect from Technical Candidates
  
  Denae Ford, Titus Barik, Leslie Rand-Pickett, Chris Parnin
  
  Proceedings of the IEEE ICSE 10th International Workshop on Cooperative and Human Aspects of Software Engineering (CHASE). | May 2017
  
  PDF DOI
- Forward Bisimulations for Nondeterministic Symbolic Finite Automata
  
  Loris D'Antoni, Margus Veanes
  
  TACAS | April 2017
  
  출판 프로젝트
- Type Directed Compilation of Row-Typed Algebraic Effects
  
  Daan Leijen
  
  Proceedings of Principles of Programming Languages (POPL’17), Paris, France | January 2017
  
  출판 프로젝트
- Monadic Second-Order Logic on Finite Sequences
  
  Loris D'Antoni, Margus Veanes
  
  POPL’2017 | January 2017
  
  출판 출판 프로젝트
- Self-Verifying Execution (Position Paper)
  
  Matt McCutchen, Daniel Song, Shuo Chen, Shaz Qadeer
  
  Proceedings of the IEEE Cybersecurity Development Conference (SecDev) | November 2016
  
  Proceedings of the IEEE Cybersecurity Development Conference (SecDev)
  
  출판
- Time-Travel Debugging for JavaScript/Node.js
  
  Earl T. Barr, Mark Marron, Ed Maurer, Dan Moseley, Gaurav Seth
  
  FSE ’16 Proceedings of the 2016 ACM International Symposium on the Foundations of Software Engineering | September 2016
  
  출판 프로젝트
- BlinkFill: Semi-supervised Programming By Example for Syntactic String Transformations
  
  Rishabh Singh
  
  PVLDB, 42nd International Conference on Very Large Data Bases (VLDB 2016) | September 2016
  
  출판
- Rendering Mathematics for the Web using Madoko
  
  Daan Leijen
  
  Proceedings of Document Engineering 2016, Vienna, Austria | August 2016
  
  출판
- Wireless Protocol Validation Under Uncertainty
  
  Jinghao Shi, Shuvendu Lahiri, Ranveer Chandra, Geoffrey Challen
  
  Runtime Verification 2016 | July 2016
  
  Runtime Verification 2016 Best Paper Award
  
  Publication
- Equivalence of Finite-Valued Symbolic Finite Transducers
  
  Margus Veanes, Nikolaj Bjorner
  
  Perspectives of System Informatics (PSI’2015) | July 2016
  
  출판 출판 출판
- Prepose: Privacy, Security, and Reliability for Gesture-Based Programming
  
  Lucas Silva Figueiredo, Benjamin Livshits, David Molnar, Margus Veanes
  
  37th IEEE Symposium on Security and Privacy | July 2016
  
  출판 출판
- Bounded Abstract Interpretation
  
  Maria Christakis, Valentin Wüstholz
  
  23rd Static Analysis Symposium (SAS’16) | July 2016
  
  출판
- Minimization of Symbolic Tree Automata
  
  Margus Veanes
  
  LICS | July 2016
  
  LICS
  
  출판
- Qlose: Program Repair with Quantiative Objectives
  
  Loris D'Antoni, Roopsha Samanta, Rishabh Singh
  
  27th International Conference on Computer Aided Verification (CAV 2016) | July 2016
  
  출판
- Verifying Relative Safety, Accuracy, and Termination for Program Approximations
  
  NASA Formal Methods Symposium (NFM ’16) | June 2016
  
  NASA Formal Methods Symposium (NFM '16)
  
  출판 프로젝트
- Cardinalities and Universal Quantifers for Verifying Parameterized Systems
  
  Klaus v. Gleissenthall , Nikolaj Bjørner, Andrey Rybalchenko
  
  PLDI | June 2016
  
  Publication
- Program Synthesis Using Natural Language
  
  Aditya Desai , Sumit Gulwani, Vineet Hingorani , Nidhi Jain , Amey Karkare , Mark Marron, Sailesh R , Subhajit Roy
  
  ICSE ’16 Proceedings of the 38th International Conference on Software Engineering | May 2016
  
  Publication DOI 프로젝트
- Belief & Evidence in Empirical Software Engineering
  
  Prem Devanbu, Tom Zimmermann, Christian Bird
  
  Proceedings of the 38th International Conference on Software Engineering (ICSE 2016) | May 2016
  
  출판 출판 출판
- “What Went Right and What Went Wrong”: An Analysis of 155 Postmortems from Game Development
  
  Michael Washburn Jr., Pavithra Sathiyanarayanan, Meiyappan Nagappan, Tom Zimmermann, Christian Bird
  
  Proceedings of the 38th International Conference on Software Engineering (ICSE 2016 SEIP Track) | May 2016
  
  출판 출판
- Measuring Code Behavioral Similarity for Programming and Software Engineering Education
  
  Sihan Li, Xusheng Xiao, Blake Bassett, Tao Xie, Nikolai Tillmann
  
  Proc. 38th International Conference on Software Engineering (ICSE 2016), Software Engineering Education and Training (SEET) | May 2016
  
  출판 출판 프로젝트 프로젝트 프로젝트 프로젝트
- Microsoft Touch Develop and the BBC micro:bit
  
  Thomas Ball, Jonathan Protzenko, Judith Bishop, Michal Moskal, Jonathan "Peli" de Halleux, Michael Braun, Steve Hodges, Clare Riley
  
  ICSE 2016 Companion | May 2016
  
  PDF DOI 프로젝트 프로젝트 프로젝트 프로젝트
- Advances in Unit Testing: Theory and Practice
  
  Tao Xie, Nikolai Tillmann, Pratap Lakshman
  
  Proc. 38th International Conference on Software Engineering (ICSE 2016) | May 2016
  
  출판 출판 프로젝트 프로젝트
- Beliefs, Practices, and Personalities of Software Engineers: A Survey in a Large Software Company
  
  Edward K. Smith, Christian Bird, Tom Zimmermann
  
  Proceedings of the 9th International Workshop on Cooperative and Human Aspects of Software Engineering (CHASE 2016) | May 2016
  
  출판 출판
- Understanding Conversational Programmers: A Perspective from the Software Industry
  
  Parmit K. Chilana, Rishabh Singh, Philip J. Guo
  
  Proceedings of the 34th Conference on Human-Computer Interaction (CHI 2016) | May 2016
  
  출판 출판
- Integrated Environment for Diagnosing Verification Errors
  
  Maria Christakis, Rustan Leino, Peter Müller , Valentin Wüstholz
  
  22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS’16) | April 2016
  
  출판
- Trigger Selection Strategies to Stabilize Program Verifiers
  
  Rustan Leino, Clément Pit-Claudel
  
  January 2016
  
  출판
- Transforming Spreadsheet Data Types using Examples
  
  Rishabh Singh, Sumit Gulwani
  
  43rd Symposium on Principles of Programming Languages (POPL 2016) | January 2016
  
  출판 프로젝트
- User Interaction Models for Disambiguation in Programming by Example
  
  Mikaël Mayer, Gustavo Soares, Maxim Grechkin, Vu Le, Mark Marron, Alex Polozov, Rishabh Singh, Ben Zorn, Sumit Gulwani
  
  28th ACM User Interface Software and Technology Symposium (UIST 2015) | November 2015
  
  출판 출판
- Consistency in Distributed Systems
  
  Sebastian Burckhardt
  
  Software Engineering – International Summer Schools, LASER 2013-2014, Elba, Italy, Revised Tutorial Lectures | November 2015
  
  ISBN: 978-3-319-28405-7
  
  출판 출판
- How Practitioners Perceive the Relevance of Software Engineering Research
  
  David Lo, Nachi Nagappan, Tom Zimmermann
  
  September 2015
  
  출판
- Automatic Verification of Dafny Programs with Traits
  
  Reza Ahmadi, Rustan Leino, Jyrki Nummenmaa
  
  FTfJP ’15 Proceedings of the 17th Workshop on Formal Techniques for Java-like Programs, Prague, Czech Republic | July 2015
  
  출판 출판 Github
- Automated and modular refinement reasoning for concurrent programs
  
  Shaz Qadeer, Serdar Tasiran, Chris Hawblitzel
  
  Computer Aided Verification (CAV) | July 2015
  
  출판
- Angelic Verification: Precise Verification Modulo Unknowns
  
  Shuvendu Lahiri, Akash Lal, Yi Li, Ankush Das
  
  Computer Aided Verification (CAV) | July 2015
  
  출판 출판 프로젝트 프로젝트
- Results and Analysis of SyGuS-Comp’15
  
  Rajeev Alur, Dana Fisman, Rishabh Singh, Armando Solar-Lezama
  
  Proceedings Fourth Workshop on Synthesis (SYNT 2015) | July 2015
  
  Proceedings Fourth Workshop on Synthesis (SYNT 2015)
  
  출판 출판
- Predicting a Correct Program in Programming by Example
  
  Rishabh Singh, Sumit Gulwani
  
  27th International Conference on Computer Aided Verification (CAV 2015) | July 2015
  
  27th International Conference on Computer Aided Verification (CAV 2015)
  
  출판 출판
- Programming Language Features for Refinement
  
  Jason Koenig, Rustan Leino
  
  Proceedings 17th International Workshop on Refinement, Refine@FM 2015, Oslo, Norway | June 2015
  
  출판 출판
- Redundant Memory Mappings for Fast Access to Large Memories
  
  Vasileios Karakostas, Jayneel Gandhi, Furkan Ayar, Adrián Cristal, Mark D. Hill, Kathryn S McKinley, Mario Nemirovsky, Michael M. Swift, Osman Ünsal
  
  June 2015
  
  출판 출판
- Computer Performance Microscopy with SHIM
  
  Stephen M. Blackburn, Kathryn S McKinley
  
  ACM/IEEE International Symposium on Computer Architecture (ISCA) | June 2015
  
  출판 출판
- DAG Inlining: A Decision Procedure for Reachability-Modulo-Theories in Hierarchical Programs
  
  Akash Lal, Shaz Qadeer
  
  Programming Language Design and Implementation (PLDI) | June 2015
  
  출판 프로젝트
- Empirically Detecting False Test Alarms Using Association Rules
  
  Kim Herzig, Nachi Nagappan
  
  Companion Proceedings of the 37th International Conference on Software Engineering | May 2015
  
  출판 프로젝트
- Code Ownership and Software Quality: A Replication Study
  
  Michaela Greiler, Kim Herzig, Jacek Czerwonka
  
  Proceedings of the 12th Working Conference on Mining Software Repositories | May 2015
  
  출판 프로젝트
- Beyond Open Source: The TouchDevelop Cloud-based Integrated Development Environment
  
  Sebastian Burckhardt, Michal Moskal, Jonathan Protzenko, Nikolai Tillmann, Thomas Ball, Jonathan "Peli" de Halleux
  
  In Proceedings of 2nd ACM International Conference on Mobile Software Engineering and Systems (MOBILESoft) | May 2015
  
  출판 프로젝트
- Approximating Attack Surfaces with Stack Traces
  
  Christopher Theisen, Kim Herzig, Patrick Morrison, Brendan Murphy, Laurie Williams
  
  Companion Proceedings of the 37th International Conference on Software Engineering | May 2015
  
  Please note that this paper is not yet published, but accepted for inclusion.
  
  출판 프로젝트
- Does Automated Refactoring Obviate Systematic Editing?
  
  Na Meng, Lisa Hua, Miryung Kim, Kathryn S McKinley
  
  May 2015
  
  출판
- Helping developers help themselves: Automatic decomposition of code review changesets
  
  Mike Barnett, Christian Bird, Shuvendu Lahiri, Joao Brunet
  
  Proceedings of the 37th International Conference on Software Engineering | May 2015
  
  출판 출판
- Retro: Targeted Resource Management in Multi-tenant Distributed Systems
  
  Jonathan Mace, Peter Bodík, Rodrigo Fonseca, Madan Musuvathi
  
  NSDI | May 2015
  
  출판
- The Art of Testing Less without Sacrificing Quality
  
  Kim Herzig, Michaela Greiler, Jacek Czerwonka, Brendan Murphy
  
  Proceedings of the 2015 International Conference on Software Engineering | May 2015
  
  출판 프로젝트
- Gamifying Software Security Education and Training via Secure Coding Duels in Code Hunt
  
  Tao Xie, Judith Bishop, Nikolai Tillmann, Jonathan "Peli" de Halleux
  
  In Proceedings of the Symposium and Bootcamp on the Science of Security (HotSoS 2015) | April 2015
  
  In Proceedings of the Symposium and Bootcamp on the Science of Security (HotSoS 2015)
  
  출판 출판 프로젝트
- Challenges with Applying Vulnerability Prediction Models
  
  Kim Herzig, Brendan Murphy
  
  Proceedings of the 2015 Symposium and Bootcamp on the Science of Security | April 2015
  
  Proceedings of the 2015 Symposium and Bootcamp on the Science of Security
  
  출판 프로젝트
- Few-to-Many: Incremental Parallelism for Reducing Tail Latency in Interactive Services
  
  E. Haque, Yong hun Eom, Yuxiong He, Sameh Elnikety, Ricardo Bianchini, Kathryn S McKinley
  
  Proceedings of the ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS) | March 2015
  
  Publication
- SMACK+Corral: A Modular Verifier (Competition Contribution)
  
  Arvind Haran, Montgomery Carter, Michael Emmi, Akash Lal, Shaz Qadeer, Zvonimir Rakamaric
  
  Tools and Algorithms for the Construction and Analysis of Systems (TACAS) | March 2015
  
  출판 프로젝트
- Symbolic String Transformations with Regular Lookahead and Rollback
  
  Margus Veanes
  
  PSI 2014 | February 2015
  
  출판 출판
- Well-Founded Functions and Extreme Predicates in Dafny: A Tutorial
  
  Rustan Leino
  
  IWIL-2015. 11th International Workshop on the Implementation of Logics | January 2015
  
  출판
- Compiling Hilbert’s Ïµ Operator
  
  Rustan Leino
  
  LPAR-20. 20th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning – Short Presentations | January 2015
  
  출판
- Program Boosting: Program Synthesis via Crowd-Sourcing
  
  Robert A Cochran, , Benjamin Livshits, David Molnar, Margus Veanes, Ben Livshits
  
  POPL 2015: 42nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | January 2015
  
  출판 출판
- Implementing real-time collaboration in TouchDevelop using AST merges
  
  Jonathan Protzenko, Sebastian Burckhardt, Jedidiah McClurg
  
  Proceedings of the 3rd International Workshop on Mobile Development Lifecycle, MobileDeLi 2015, Pittsburgh, PA, USA, October 25-30, 2015 | January 2015
  
  ISBN: 978-1-4503-3906-3
  
  출판 프로젝트
- Data-Parallel String-Manipulating Programs
  
  Margus Veanes, Todd Mytkowicz, David Molnar, Ben Livshits
  
  POPL 2015: 42nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | January 2015
  
  POPL 2015: 42nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
  
  출판 출판 프로젝트 프로젝트
- Using Pre-Release Test Failures to Build Early Post-Release Defect Prediction Models
  
  Kim Herzig
  
  Proceedings of the 25th International Symposium on Software Reliability Engineering | November 2014
  
  출판 출판 출판 프로젝트
- Software Developers’ Perceptions of Productivity
  
  André N. Meyer, Thomas Fritz, Gail C. Murphy, Tom Zimmermann
  
  FSE ’14: Proceedings of the 22nd ACM SIGSOFT International Symposium on the Foundations of Software Engineering | November 2014
  
  출판
- TARDIS: Affordable Time-Travel Debugging in Managed Runtimes
  
  Earl T. Barr, Mark Marron
  
  OOPSLA ’14 Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications | October 2014
  
  출판 출판 프로젝트
- The First Hour Experience: How the Initial Play can Engage (or Lose) New Players
  
  Gifford Cheung, Tom Zimmermann, Nachi Nagappan
  
  CHI PLAY ’14: Proceedings of the First ACM SIGCHI Annual Symposium on Computer-Human Interaction in Play | October 2014
  
  출판
- Mining Energy Traces to Aid in Software Development: An Empirical Case Study
  
  Ashish Gupta, Thomas Zimmermann, Christian Bird, Nachiappan Nagappan, Thirumalesh Bhat, Syed Emran, Nachi Nagappan, Tom Zimmermann
  
  ESEM ’14: Proceedings of the 8th International Symposium on Empirical Software Engineering and Measurements | September 2014
  
  ESEM '14: Proceedings of the 8th International Symposium on Empirical Software Engineering and Measurements
  
  출판
- The Impact of Test Ownership and Team Structure on the Reliability and Effectiveness of Quality Test Runs
  
  Kim Herzig, Nachi Nagappan
  
  Proceedings of the 8th International Symposium on Empirical Software Engineering and Measurement | September 2014
  
  Proceedings of the 8th International Symposium on Empirical Software Engineering and Measurement
  
  출판 출판 출판 프로젝트
- Skolemization Modulo Theories
  
  Konstantin Korovin, Margus Veanes
  
  ICMS’14 | August 2014
  
  출판 출판
- Monadic Decomposition
  
  Margus Veanes, Nikolaj Bjørner, Lev Nachmanson, Sergey Bereg
  
  CAV’14 | July 2014
  
  출판
- NLyze: Interactive Programming by Natural Language for SpreadSheet Data Analysis and Manipulation
  
  Sumit Gulwani, Mark Marron
  
  SIGMOD ’14 Proceedings of the 2014 ACM SIGMOD International Conference on Management of Data | June 2014
  
  출판 출판 동영상
- Extrinsic Influence Factors in Software Reliability: A Study of 200,000 Windows Machines
  
  Christian Bird, Venkatesh-Prasad Ranganath, Tom Zimmermann, Nachi Nagappan, Andreas Zeller
  
  Proceedings of the 36th International Conference on Software Engineering (ICSE 2014) | June 2014
  
  출판 프로젝트
- Expressing and Verifying Probabilistic Assertions
  
  Adrian Sampson, Pavel Panchekha, Todd Mytkowicz, Kathryn S McKinley, Dan Grossman, Luis Ceze
  
  Programming Language Design and Implementation (PLDI) | June 2014
  
  출판 출판
- Understanding and Improving Software Build Teams
  
  Shaun Phillips, Thomas Zimmermann, Christian Bird, Tom Zimmermann
  
  Proceedings of the 36th International Conference on Software Engineering (ICSE 2014) | June 2014
  
  Proceedings of the 36th International Conference on Software Engineering (ICSE 2014)
  
  출판
- Analyze This! 145 Questions for Data Scientists in Software Engineering
  
  Andrew Begel, Tom Zimmermann
  
  Proceedings of the 36th International Conference on Software Engineering (ICSE 2014) | June 2014
  
  Publication Publication 프로젝트
- Cowboys, Ankle Sprains, and Keepers of Quality: How Is Video Game Development Different from Software Development?
  
  Emerson Murphy-Hill, Tom Zimmermann, Nachi Nagappan
  
  Proceedings of the 36th International Conference on Software Engineering (ICSE 2014) | June 2014
  
  Proceedings of the 36th International Conference on Software Engineering (ICSE 2014)
  
  출판 프로젝트
- FAST: A Transducer-Based Language for Tree Manipulation
  
  Margus Veanes, Benjamin Livshits, David Molnar, Ben Livshits
  
  PLDI 2014: Programming Language Design and Implementation | June 2014
  
  출판
- Code Hunt: Searching for Secret Code for Fun
  
  Nikolai Tillmann, Judith Bishop, R. Nigel Horspool, Daniel Perelman, Tao Xie
  
  Proceedings of the International Conference on Software Engineering (Workshops) | June 2014
  
  출판 프로젝트 프로젝트 프로젝트 프로젝트
- Verification Modulo Versions: Towards Usable Verification
  
  Francesco Logozzo, Shuvendu Lahiri
  
  Proceedings of the 35th conference on Programming Languages, Design, and Implementation (PLDI 2014) | June 2014
  
  출판 출판 프로젝트 프로젝트
- Tutorial: Create Rich Mobile Apps on Touch Devices
  
  Nikolai Tillmann, Michal Moskal, Jonathan "Peli" de Halleux, Sebastian Burckhardt, Thomas Ball, Judith Bishop
  
  Proceedings of the First International Conference on Mobile Software Engineering and Systems (MOBILESOFT) | June 2014
  
  Proceedings of the First International Conference on Mobile Software Engineering and Systems (MOBILESOFT)
  
  Tutorial
  
  출판 프로젝트 프로젝트
- Off With Their Assists: An Empirical Study of Driving Skill in Forza Motorsports 4
  
  Thomas Debeauvais, Tom Zimmermann, Nachi Nagappan, Kevin Carter, Ryan Cooper, Dan Greenawalt, Tyson Solberg
  
  Proceedings of the 9th International Conference on the Foundations of Digital Games (FDG 2014) | April 2014
  
  출판 프로젝트
- Koka: Programming with Row Polymorphic Effect Types
  
  Daan Leijen
  
  Mathematically Structured Functional Programming 2014 | March 2014
  
  출판 Github 프로젝트
- Data-Parallel Finite-State Machines
  
  Todd Mytkowicz, Madan Musuvathi, Wolfram Schulte
  
  Architectural Support for Programming Languages and Operating Systems (ASPLOS) | March 2014
  
  출판 출판 프로젝트 프로젝트
- Uncertain< T >: A First-Order Type for Uncertain Data
  
  James Bornholt, Todd Mytkowicz, Kathryn S McKinley, Kathryn McKinley
  
  March 2014
  
  출판 출판 프로젝트 프로젝트
- Parallelizing Dynamic Programming Through Rank Convergence
  
  Saeed Maleki, Madan Musuvathi, Todd Mytkowicz
  
  February 2014
  
  출판 프로젝트 프로젝트
- Replicated Data Types: Specification, Verification, Optimality
  
  Alexey Gotsman, Hongseok Yang, Marek Zawirski, Sebastian Burckhardt
  
  41st Symposium on Principles of Programming Languages (POPL) | January 2014
  
  출판
- Lessons from a Web-based IDE and Runtime
  
  Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation | January 2014
  
  Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation
  
  ISBN: 978-1-4503-2619-3
  
  출판 프로젝트
- Tracing Compilation by Abstract Interpretation
  
  Francesco Logozzo
  
  Proceedings of the 41st Symposium on Programming Languages (POPL’14) | January 2014
  
  출판
- Minimization of Symbolic Automata
  
  Loris D'Antoni, Margus Veanes
  
  POPL’14 | January 2014
  
  POPL'14
  
  출판 프로젝트
- Effectively Monadic Predicates
  
  Margus Veanes, Nikolaj Bjørner, Lev Nachmanson, Sergey Bereg
  
  LPAR-19 | December 2013
  
  출판
- Technology for Inferring Contracts from Code
  
  Francesco Logozzo
  
  Proceedings of SigADA High Integrity Language Technology (HILT 2013) | November 2013
  
  출판 프로젝트
- Reachability Modulo Theories
  
  Akash Lal, Shaz Qadeer
  
  7th International workshop on Reachability Problems (Invited Paper) | September 2013
  
  출판 프로젝트
- Differential Assertion Checking
  
  Shuvendu Lahiri, Ken McMillan, Chris Hawblitzel, Kenneth McMillan
  
  Foundations of Software Engineering (FSE’13) | August 2013
  
  출판 출판 프로젝트
- Diversity in Software Engineering Research
  
  Meiyappan Nagappan, Tom Zimmermann, Christian Bird
  
  Proceedings of the 9th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2013) | August 2013
  
  출판
- Will You Still Compile Me Tomorrow? Static Cross-Version Compiler Validation
  
  Chris Hawblitzel, Shuvendu Lahiri, Kshama Pawar, Hammad Hashmi, Sedar Gokbulut, Lakshan Fernando, Dave Detlefs, Scott Wadsworth
  
  Foundations of Software Engineering (FSE’13) | August 2013
  
  출판 출판 프로젝트
- Applications of Symbolic Finite Automata
  
  Margus Veanes
  
  CIAA’13 | July 2013
  
  출판 프로젝트
- Automated Feedback Generation for Introductory Programming Assignments
  
  Sumit Gulwani, Rishabh Singh
  
  ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2013) | July 2013
  
  출판 출판 출판 출판 프로젝트 프로젝트
- On Solving Universally Quantified Horn Clauses
  
  Nikolaj Bjørner, Kenneth McMillan, Andrey Rybalchenko
  
  Static Analysis Symposium (SAS) | June 2013
  
  출판 출판
- Proceedings of the 20th Static Analysis Symposium
  
  Manuel Fahndrich, Francesco Logozzo
  
  June 2013
  
  출판
- Increasing Human-Tool Interaction via the Web
  
  Thomas Ball, Jonathan "Peli" de Halleux, Daan Leijen, Nikhil Swamy
  
  11th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering | June 2013
  
  11th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering
  
  출판 프로젝트
- Automating Theorem Proving with SMT
  
  Rustan Leino
  
  ITP 2013 | May 2013
  
  출판
- It’s not a Bug, It’s a Feature: How Misclassification Impacts Bug Prediction
  
  Kim Herzig, Sascha Just, Andreas Zeller
  
  Proceedings of the 2013 International Conference on Software Engineering | May 2013
  
  출판 프로젝트
- Verified Calculations
  
  Rustan Leino, Nadia Polikarpova
  
  March 2013
  
  출판
- From Relational Verification to SIMD Loop Synthesis
  
  Gilles Barthe , Juan Manuel Crespo , Sumit Gulwani, Cesar Kunz , Mark Marron
  
  PPoPP ’13 Proceedings of the 18th ACM SIGPLAN symposium on Principles and practice of parallel programming | February 2013
  
  Best Paper Award & CACM Highlight Nomination
  
  Publication Publication 프로젝트
- Abstract Read Permissions: Fractional Permissions without the Fractions
  
  Stefan Heule, Rustan Leino, Peter Müller, Alexander J. Summers
  
  Proceedings 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013 | January 2013
  
  출판 프로젝트
- SIMD parallelization of applications that traverse irregular data structures
  
  Bin Ren, Gagan Agrawal, Jim Larus, Todd Mytkowicz, Tomi Poutanen, Wolfram Schulte
  
  Proceedings of the 2013 IEEE/ACM International Symposium on Code Generation and Optimization (CGO) | January 2013
  
  ISBN: 978-1-4673-5524-7
  
  출판 출판
- Developing Verified Programs with Dafny
  
  Rustan Leino
  
  HILT ’12 Proceedings of the 2012 ACM Conference on High Integrity Language Technology | December 2012
  
  출판 출판 Github
- Learning Semantic String Transformations from Examples
  
  Rishabh Singh, Sumit Gulwani
  
  PVLDB, 38th International Conference on Very Large Data Bases (VLDB 2012) | August 2012
  
  출판 출판 동영상 프로젝트
- Undangle: Early Detection of Dangling Pointers in Use-After-Free and Double-Free Vulnerabilities
  
  Juan Caballero, Gustavo Grieco , Mark Marron, Antonio Nappa
  
  ISSTA 2012 Proceedings of the 2012 International Symposium on Software Testing and Analysis | July 2012
  
  출판 출판
- Synthesizing Number Transformations from Input-Output Examples
  
  Rishabh Singh, Sumit Gulwani
  
  24th International Conference on Computer Aided Verification (CAV 2012) | July 2012
  
  출판 출판 출판 동영상 프로젝트
- Getting Started with Dafny: A Guide
  
  Jason Koenig, Rustan Leino
  
  May 2012
  
  출판 출판 Github
- Spreadsheet Data Manipulation using Examples
  
  Sumit Gulwani, William R. Harris, Rishabh Singh
  
  January 2012
  
  Invited to CACM Research Highlights
  
  출판 출판 동영상 프로젝트 프로젝트
- Stepwise Refinement of Heap-Manipulating Code in Chalice
  
  Rustan Leino, Kuat Yessenov
  
  December 2011
  
  출판 프로젝트
- Automating Induction with an SMT Solver
  
  Rustan Leino
  
  November 2011
  
  출판
- Using and Building an Automatic Program Verifier (Lecture 5)
  
  Rustan Leino
  
  LASER Summer School 2011 Elba, Italy | September 2011
  
  출판
- Using and Building an Automatic Program Verifier (Lecture 4)
  
  Rustan Leino
  
  LASER Summer School 2011 Elba, Italy | September 2011
  
  출판
- Using and Building an Automatic Program Verifier (Lecture 3)
  
  Rustan Leino
  
  LASER Summer School 2011 Elba, Italy | September 2011
  
  출판
- Using and Building an Automatic Program Verifier (Lecture 2)
  
  Rustan Leino
  
  LASER Summer School 2011 Elba, Italy | September 2011
  
  출판
- Using and Building an Automatic Program Verifier (Lecture 1)
  
  Rustan Leino
  
  LASER Summer School 2011 Elba, Italy | September 2011
  
  출판
- Using and Building an Automatic Program Verifier (Lecture 0)
  
  Rustan Leino
  
  LASER Summer School 2011 Elba, Italy | September 2011
  
  출판
- Using and Building an Automatic Program Verifier (Lecture 3)
  
  Rustan Leino
  
  Marktoberdorf Summer School 2011 Bayrischzell, BY, Germany | August 2011
  
  출판
- Using and Building an Automatic Program Verifier (Lecture 2)
  
  Rustan Leino
  
  Marktoberdorf Summer School 2011 Bayrischzell, BY, Germany | August 2011
  
  출판
- Using and Building an Automatic Program Verifier (Lecture 1)
  
  Rustan Leino
  
  Marktoberdorf Summer School 2011 Bayrischzell, BY, Germany | August 2011
  
  출판
- Using and Building an Automatic Program Verifier (Lecture 0)
  
  Rustan Leino
  
  Marktoberdorf Summer School 2011 Bayrischzell, BY, Germany | August 2011
  
  출판
- Dafny: An Automatic Program Verifier For Functional Correctness
  
  Rustan Leino
  
  LPAR-16, Dakar, Senegal | April 2010
  
  출판
- Dafny: An Automatic Program Verifier for Functional Correctness
  
  Rustan Leino
  
  16th International Conference, LPAR-16, Dakar, Senegal | April 2010
  
  출판 출판
- The Dafny Program Verifier
  
  Rustan Leino
  
  Seminar, Victoria University of Wellington, Wellington, New Zealand | April 2010
  
  출판 Github
- Contracts, Tools, Verification
  
  Rustan Leino
  
  ASWEC 2010, Auckland, New Zealand | April 2010
  
  출판
- Deadlock-Free Channels and Locks
  
  Rustan Leino, Peter Müller (ETH Zurich), Jan Smans (KU Leuven)
  
  ESOP 2010, Paphos, Cyprus | March 2010
  
  출판 프로젝트
- Verifying Concurrent Programs with Chalice
  
  Rustan Leino, Peter Müller (ETH Zurich), Jan Smans (KU Leuven)
  
  VMCAI, Madrid, Spain | January 2010
  
  출판 프로젝트
- Fun with Code, Tests, and Verification
  
  Rustan Leino
  
  Caltech, Pasadena, CA | November 2009
  
  출판
- UnderstandingProgram Verification
  
  Rustan Leino
  
  PROLE 2009, San Sebastian, Spain | September 2009
  
  출판
- Verification of Concurrent Object-Oriented Programs
  
  Rustan Leino, Peter Müller, (ETH Zurich)
  
  September 2009
  
  출판
- A Foundation for Verifying Concurrent Programs (Lecture 1)
  
  Rustan Leino, Peter Müller, Jan Smans
  
  FOSAD 2009, Bertinoro, Italy | September 2009
  
  출판 출판 프로젝트
- A Foundation for Verifying Concurrent Programs (Lecture 0)
  
  Rustan Leino, Peter Müller, Jan Smans
  
  FOSAD 2009, Bertinoro, Italy | September 2009
  
  출판 출판 프로젝트
- Comparing Heap Models: Ownership, Dynamic Frames, Permissions
  
  Rustan Leino
  
  Typing, Analysis and Verification of Heap-Manipulating Programs, Dagstuhl, Germany | July 2009
  
  출판
- Verification of Concurrent Programs with Chalice
  
  Rustan Leino, Peter Müller, Jan Smans
  
  Foundations of Security Analysis and Design V | June 2009
  
  출판 출판 출판 프로젝트
- Identification of Logically Related Heap Regions
  
  Mark Marron, Deepak Kapur , Manuel Hermenegildo
  
  ISMM ’09 Proceedings of the 2009 international symposium on Memory management | June 2009
  
  출판 출판
- A Basis for Verifying Multi-Threaded Programs
  
  Rustan Leino, Peter Müller
  
  ESOP ’09 Proceedings of the 18th European Symposium on Programming Languages and Systems: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009 | March 2009
  
  출판 출판 프로젝트
- Reasoning about Comprehensions with First-Order SMT Solvers
  
  Rustan Leino, Rosemary Monahan
  
  SAC’09 March 8-12, 2009, Honolulu, Hawaii, U.S.A. | March 2009
  
  출판 출판 프로젝트
- Sharing Analysis of Arrays, Collections, and Recursive Structures
  
  Mark Marron, Mario Méndez-Lojo , Manuel Hermenegildo , Darko Stefanovic , Deepak Kapur
  
  PASTE ’08 Proceedings of the 8th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering | November 2008
  
  Publication DOI
- Specification and Verification of Object-Oriented Software (Part 0)
  
  Rustan Leino
  
  International Summer School Marktoberdorf, Marktoberdorf, Germany | August 2008
  
  출판
- Identification of Heap-Carried Data Dependence Via Explicit Store Heap Models
  
  Mark Marron, Darko Stefanovic , Deepak Kapur , Manuel Hermenegildo
  
  July 2008
  
  출판 출판
- Specification and Verification of Object-Oriented Software
  
  Rustan Leino
  
  Marktoberdorf International Summer School 2008 | June 2008
  
  출판
- Heap Analysis in the Presence of Collection Libraries
  
  Mark Marron, Darko Stefanovic , Manuel Hermenegildo , Deepak Kapur
  
  PASTE ’07 Proceedings of the 7th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering | June 2007
  
  출판 출판
- Practical Reasoning About Invocations and Implementations of Pure Methods
  
  Ádám Darvas, Rustan Leino
  
  Proceeding: FASE’07 Proceedings of the 10th international conference on Fundamental approaches to software engineering | March 2007
  
  ISBN: 978-3-540-71288-6
  
  출판 프로젝트
- Automatic Verification of Textbook Programs that Use Comprehensions
  
  Rustan Leino, Rosemary Monahan
  
  In FTfJP ’07: Proceedings of the 9th Workshop on Formal Techniques for Java-like Programs | January 2007
  
  출판 출판 프로젝트
- A Verification Methodology for Model Fields
  
  Rustan Leino, Peter Müller
  
  Proceeding: ESOP’06 Proceedings of the 15th European conference on Programming Languages and Systems | March 2006
  
  출판 출판 프로젝트
- Modular Verification of Static Class Invariants
  
  Rustan Leino, Peter Müller
  
  Proceeding: FM’05 Proceedings of the 2005 international conference on Formal Methods | July 2005
  
  출판 출판 프로젝트
- Object Invariants in Dynamic Contexts
  
  Rustan Leino, Peter Müller
  
  ECOOP 2004 – Object-Oriented Programming | June 2004
  
  출판 프로젝트
- Verifying Invariants in Object-Oriented Programs
  
  Rustan Leino, Mike Barnett, Robert DeLine, Manuel Fähndrich, Wolfram Schulte
  
  Computer Science Colloquium, ETH Zurich | November 2003
  
  출판
- Netherite: Efficient Execution of Serverless Workflows (Extended Journal Version)
  
  Sebastian Burckhardt, Badrish Chandramouli, Chris Gillum (cgillum), David Justo (dajusto), Konstantinos Kallas, Connor McMahon, Christopher S. Meiklejohn, Xiangfeng Zhu
  
  VLDB J. | February 2025, 제 34 권: pp. 25
  
  Special Issue "Best of VLDB 2022"
  
  DOI Publication
- Cloud Actor-Oriented Database Transactions in Orleans
  
  Tamer Eldeeb, Sebastian Burckhardt, Reuben Bond, Asaf Cidon, Junfeng Yang, Phil Bernstein
  
  Proc. VLDB Endow. | July 2024, 제 17 권: pp. 3720-3730
  
  DOI Publication 프로젝트
- Tail Recursion Modulo Context: An Equational Approach (extended version)
  
  Daan Leijen, Anton Lorenzen
  
  under submission to JFP. | May 2024
  
  This is an extended version of the POPL'23 publication under submission to a special issue of the Journal of Functional Programming (JFP). Extended topics include an improved TRMC algorithm, composing contexts, _field_ contexts, and first-class constructor contexts.
  
  Publication 프로젝트
- LLM-Based Test-Driven Interactive Code Generation: User Study and Empirical Evaluation
  
  Sarah Fakhoury, Aaditya Naik, Georgios Sakkas, Saikat Chakraborty, Shuvendu Lahiri
  
  IEEE Transactions on Software Engineering | April 2024, 제 50 권: pp. 2254-2268
  
  DOI Publication 프로젝트
- Confidential Consortium Framework: Secure Multiparty Applications with Confidentiality, Integrity, and High Availability
  
  Heidi Howard, Fritz Alder, Eddy Ashton, Amaury Chamayou, Sylvan Clebsch, Manuel Costa, Antoine Delignat-Lavaud, Cédric Fournet, Andrew Jeffery, Matthew Kerner, Fotios Kounelis, Markus Kuppe, Julien Maffre, Mark Russinovich, Christoph M. Wintersteiger
  
  Proceedings of the VLDB Endowment | October 2023, 제 17 권(2)
  
  Nominee for Best Paper Award
  
  Publication Preprint Author's Version 프로젝트
- Plug-and-play Physical Computing with Jacdac
  
  James Devine, Michal Moskal, Jonathan "Peli" de Halleux, Thomas Ball, Steve Hodges, Gabriele D’Amone, David Gakure, Joe Finney, Lorraine Underwood, Kobi Hartley, Paul Kos, Matt Oppenheim
  
  Proceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous Technologies | September 2022, 제 6 권(3)
  
  PDF DOI 프로젝트 프로젝트
- DeepMerge: Learning to Merge Programs
  
  Elizabeth Dinella, Todd Mytkowicz, Alexey Svyatkovskiy, Christian Bird, Mayur Naik, Shuvendu Lahiri
  
  IEEE Transactions on Software Engineering (TSE’22) | May 2022
  
  Preprint Publication 프로젝트 프로젝트
- Developers Who Vlog: Dismantling Stereotypes through Community and Identity
  
  Souti Chattoadhyay, Denae Ford, Tom Zimmermann
  
  ACM Conference on Computer-Supported Cooperative Work and Social Computing (CSCW) | October 2021
  
  PDF 동영상 프로젝트
- Generalized Evidence Passing for Effect Handlers (or, Efficient Compilation of Effect Handlers to C)
  
  Ningning Xie, Daan Leijen
  
  Proc. ACM Prog. Lang. (ICFP’21) | August 2021, 제 5 권(ICFP): pp. 71
  
  doi: 10.1145/3473576
  
  Publication 프로젝트
- Specification and space complexity of collaborative text editing
  
  Hagit Attiya, Sebastian Burckhardt, Alexey Gotsman, Adam Morrison, Hongseok Yang, Marek Zawirski
  
  Theoretical Computer Science | February 2021, 제 855 권: pp. 141-160
  
  Publication Publication DOI
- The BBC micro:bit: from the U.K. to the world
  
  Jonny Austin, Howard Baker, Thomas Ball, James Devine, Joe Finney, Jonathan "Peli" de Halleux, Steve Hodges, Michal Moskal, Gareth Stockdale
  
  Communications of the ACM | February 2020, 제 63 권(3)
  
  PDF Publication DOI 프로젝트 프로젝트 프로젝트
- Towards a Theory of Software Developer Job Satisfaction and Perceived Productivity
  
  Margaret-Anne Storey, Tom Zimmermann, Christian Bird, Jacek Czerwonka, Brendan Murphy, Eirini Kalliamvakou
  
  IEEE Transactions on Software Engineering | September 2019
  
  Publication DOI 프로젝트 프로젝트
- Ten simple rules for helping newcomers become contributors to open projects
  
  Dan Sholler, Igor Steinmacher, Denae Ford, Mara Averick, Mike Hoye, Greg Wilson
  
  PLoS Computational Biology | September 2019, 제 15 권
  
  PDF DOI
- Today was a Good Day: The Daily Life of Software Developers
  
  Andre N. Meyer, Earl T. Barr, Christian Bird, Thomas Zimmermann
  
  IEEE Transactions on Software Engineering | April 2019
  
  To appear.
  
  Author's Version
- The Effect of Work Environments on Productivity and Satisfaction of Software Engineers
  
  Brittany Johnson, Thomas Zimmermann, Christian Bird
  
  IEEE Transactions on Software Engineering | February 2019
  
  To appear.
  
  Publication
- Abstract Specifications for Weakly Consistent Data
  
  Sebastian Burckhardt, Jonathan Protzenko
  
  IEEE Data Eng. Bull. | March 2016, 제 39 권: pp. 45-51
  
  출판 출판
- An Assertional Proof of the Stability and Correctness of Natural Mergesort
  
  Rustan Leino, Paqui Lucio
  
  ACM Transactions on Computational Logic (TOCL) | December 2015, 제 17 권(1)
  
  출판 출판
- FAST: A Transducer-Based Language for Tree Manipulation
  
  Lori D'Antoni, Margus Veanes, Ben Livshits, David Molnar
  
  ACM Transactions on Programming Languages and Systems (TOPLAS) | October 2015, 제 38 권
  
  출판 출판
- Extended symbolic finite automata and transducers
  
  Loris D’Antoni, Margus Veanes
  
  Formal Methods in System Design | July 2015
  
  출판
- The impact of tangled code changes on defect prediction models
  
  Kim Herzig
  
  Empirical Software Engineering | April 2015, pp. 1-34
  
  출판 프로젝트
- Do Topics Make Sense to Managers and Developers?
  
  Abram Hindle, Christian Bird, Tom Zimmermann, Nachi Nagappan
  
  Empirical Software Engineering | April 2015, 제 20 권: pp. 479-515
  
  출판
- Symbolic Tree Automata
  
  Margus Veanes, Nikolaj Bjørner
  
  Information Processing Letters | March 2015, 제 115 권(3): pp. 418-424
  
  출판 출판
- The Design Space of Bug Fixes and How Developers Navigate It
  
  Emerson Murphy-Hill, Tom Zimmermann, Christian Bird, Nachi Nagappan
  
  IEEE Transactions on Software Engineering | January 2015, 제 41 권(1): pp. 65-81
  
  출판
- An Empirical Study of Refactoring Challenges and Benefits at Microsoft
  
  Miryung Kim, Thomas Zimmermann, Nachiappan Nagappan, Nachi Nagappan, Tom Zimmermann
  
  IEEE Transactions on Software Engineering | July 2014, 제 40 권(7)
  
  출판
- Abstracting Runtime Heaps for Program Understanding
  
  Mark Marron, Cesar Sanchez, Zhendong Su, Manuel Fahndrich
  
  IEEE Transactions on Software Engineering | June 2013, 제 39 권(6): pp. 774
  
  출판 출판
- Inferring Object Invariants
  
  Bor-Yuh Evan Chang, Rustan Leino
  
  Electronic Notes in Theoretical Computer Science (ENTCS) | May 2005, 제 131 권: pp. 63-74
  
  출판 출판 프로젝트
- Principal Type Inference under a Prefix (TR)
  
  Daan Leijen, Wenjia Ye
  
  MSR-TR-2024-34 | September 2024
  
  글쓴이 Microsoft
  
  A Fresh Look at Static Overloading. Updated 2025-05-19, v7. Extended version of the PLDI'25 paper.
  
  Publication 프로젝트
- Qualified Effect Types — Taming Control-Flow through Linear Effect Handlers
  
  Jonathan Immanuel Brachthäuser, Daan Leijen
  
  MSR-TR-2023-42 | November 2023
  
  글쓴이 Microsoft
  
  This technical report is the result of an internship of Jonathan Brachthäuser at Microsoft Research, Redmond in 2018. While the report is published in 2023, the paper reflects the work at the time of writing.
  
  Publication 프로젝트
- The Functional Essence of Imperative Binary Search Trees
  
  Anton Lorenzen, Daan Leijen, Wouter Swierstra, Sam Lindley
  
  MSR-TR-2023-28 | July 2023
  
  글쓴이 Microsoft
  
  v4, Dec 27, 2023 (previously titled "A Functional Correspondence between Top-down and Bottom-up Tree Algorithms") This is an extended version of the PLDI'24 publication.
  
  Publication 프로젝트
- FP^2: Fully in-Place Functional Programming (TR)
  
  Anton Lorenzen, Daan Leijen, Wouter Swierstra
  
  MSR-TR-2023-19 | May 2023
  
  글쓴이 Microsoft
  
  Extended version of the ICFP'23 publication
  
  Publication 프로젝트
- Derivative Based Nonbacktracking Real-World Regex Matching with Backtracking Semantics
  
  Dan Moseley, Mario Nishio, Jose Perez Rodriguez, Olli Saarikivi, Stephen Toub, Margus Veanes, Tiki Wan, Eric Xu
  
  MSR-TR-2023-15 | April 2023
  
  글쓴이 Microsoft
  
  Extended version of paper that appears in PLDI 2023.
  
  Publication Author's Version 프로젝트
- Jacdac: Service-based Prototyping of Embedded Systems
  
  Thomas Ball, Jonathan "Peli" de Halleux, James Devine, Steve Hodges, Michal Moskal
  
  MSR-TR-2023-4 | January 2023
  
  글쓴이 Microsoft
  
  Publication 프로젝트 프로젝트
- Lost in Translation: from Linear Temporal Logic to Büchi Automata
  
  Margus Veanes, Olli Saarikivi, Thomas Ball
  
  MSR-TR-2022-26 | October 2022
  
  글쓴이 Microsoft
  
  Publication 프로젝트
- What About the Integer Numbers? Fast Arithmetic with Tagged Integers — A Plea for Hardware Support
  
  Daan Leijen
  
  MSR-TR-2022-17 | July 2022
  
  글쓴이 Microsoft
  
  Presented at ML language workshop 2022 (co-located with ICFP'22).
  
  Publication 프로젝트
- Tail Recursion Modulo Context — An Equational Approach
  
  Daan Leijen, Anton Lorenzen
  
  MSR-TR-2022-18 | July 2022
  
  글쓴이 Microsoft
  
  Publication 프로젝트
- Reference Counting with Frame Limited Reuse (extended version, v2)
  
  Anton Lorenzen, Daan Leijen
  
  MSR-TR-2021-30 | November 2021
  
  글쓴이 Microsoft
  
  Mar 15, 2022, v2
  
  Publication 프로젝트
- Comprehensive Reachability Refutation and Witnesses Generation via Language and Tooling Co-Design
  
  Mark Marron, Deepak Kapur
  
  MSR-TR-2021-17 | August 2021
  
  글쓴이 Microsoft
  
  Publication 프로젝트
- First-class Named Effect Handlers
  
  Ningning Xie, Youyou Cong, Daan Leijen
  
  MSR-TR-2021-10 | May 2021
  
  글쓴이 Microsoft
  
  Presented at the 8th ACM SIGPLAN Workshop on Higher-Order Programming with Effects (HOPE'21).
  
  Publication 프로젝트
- Generalized Evidence Passing for Effect Handlers (or, Efficient Compilation of Effect Handlers to C) (Extended Version)
  
  Ningning Xie, Daan Leijen
  
  MSR-TR-2021-5 | March 2021
  
  글쓴이 Microsoft
  
  v4, 2021-06-07. Extended version of the ICFP'21 paper.
  
  Publication 프로젝트
- Perceus: Garbage Free Reference Counting with Reuse (Extended version)
  
  Alex Reinking*, Ningning Xie*, Leonardo de Moura, Daan Leijen
  
  MSR-TR-2020-42 | November 2020
  
  글쓴이 Microsoft
  
  (*) The first two authors contributed equally to this work. v4, 2021-06-07. Extended version of the PLDI'21 paper.
  
  Publication Github 프로젝트
- Regex Matching with Counting-Set Automata
  
  Margus Veanes (margus), Lukas Holik, Ondrej Lengal, Olli Saarikivi (olsaarik), Lenka Turonova, Tomas Vojnar
  
  MSR-TR-2020-31 | September 2020
  
  글쓴이 Microsoft
  
  The technical report includes detailed proofs of most of the theorems stated in the conference OOPSLA'2020 paper.
  
  DOI 프로젝트
- Symbolic Boolean Derivatives for Efficiently Solving Extended Regular Expression Constraints
  
  Caleb Stanford, Margus Veanes, Nikolaj Bjørner
  
  MSR-TR-2020-25 | August 2020
  
  글쓴이 Microsoft
  
  Updated November 2020. Extended version of paper in PLDI'2021.
  
  Publication Author's Version 프로젝트
- Effect Handlers, Evidently (Extended Version)
  
  Ningning Xie, Jonathan Brachthauser, Daniel Hillerstrom, Philipp Schuster, Daan Leijen
  
  MSR-TR-2020-23 | July 2020
  
  글쓴이 Microsoft
  
  Extended version of the ICFP'20 article.
  
  Publication 프로젝트
- Intelligent REST API Data Fuzzing
  
  Patrice Godefroid, Bo-Yuan Huang, Marina Polishchuk
  
  MSR-TR-2019-37 | November 2019
  
  글쓴이 Microsoft
  
  Revised version published in ESEC/FSE'2020, November 2020.
  
  PDF Github Github
- Differential Regression Testing for REST APIs
  
  Patrice Godefroid, Daniel Lehmann, Marina Polishchuk
  
  MSR-TR-2019-23 | August 2019
  
  글쓴이 Microsoft
  
  Revised version published in ISSTA'2020, July 2020.
  
  PDF 동영상 Github Github 프로젝트
- Mimalloc: Free List Sharding in Action
  
  Daan Leijen, Ben Zorn, Leonardo de Moura
  
  MSR-TR-2019-18 | June 2019
  
  글쓴이 Microsoft
  
  Publication 프로젝트
- Regularized Programming with the Bosque Language
  
  Mark Marron
  
  MSR-TR-2019-10 | April 2019
  
  글쓴이 Microsoft
  
  Publication Github 프로젝트
- Understanding Software Developer Activity via Windows 10 Telemetry
  
  Spencer Buja, Thomas Zimmermann, Philippe Kirsanov, Ankit Tandon, Xue Liu, Jay Windsor, Henok Addis
  
  MSR-TR-2019-42 | April 2019
  
  글쓴이 Microsoft
  
  Presented at the 2019 Wharton People Analytics Conference. Finalist for the White Paper Competition
- Programming with Implicit Values, Functions, and Control (or, Implicit Functions: Dynamic Binding with Lexical Scoping)
  
  Jonathan Brachthauser, Daan Leijen
  
  MSR-TR-2019-7 | March 2019
  
  글쓴이 Microsoft
  
  Submitted to ICFP'19
  
  PDF 프로젝트
- Checking Security Properties of Cloud Services REST APIs
  
  Vaggelis Atlidakis, Patrice Godefroid, Marina Polishchuk
  
  MSR-TR-2019-1 | February 2019
  
  글쓴이 Microsoft
  
  Revised version published in ICST'2020, March 2020.
  
  Publication 동영상 Github Github 프로젝트
- Static Assertion Checking of Production Software with Angelic Verification
  
  Shuvendu Lahiri, Akash Lal
  
  | August 2017
  
  글쓴이 Microsoft
  
  Publication 프로젝트
- Appendix to Everything You Wanted to Know About Data Scientists
  
  Miryung Kim, Thomas Zimmermann, Robert DeLine, Andrew Begel
  
  MSR-TR-2016-1127 | December 2016
  
  출판
- Mining Semantic Loop Idioms from Big Code
  
  Miltiadis Allamanis, Earl T. Barr, Christian Bird, Premkumar Devanbu, Mark Marron, Charles Sutton
  
  MSR-TR-2016-1116 | November 2016
  
  출판 프로젝트
- Parallelizing SGD Symbolically
  
  | November 2016
  
  출판
- Appendix to Personas in Practice: Adapting Knowledge Worker Actions to Software Engineer
  
  Denae Ford, Tom Zimmermann, Christian Bird, Nachi Nagappan
  
  MSR-TR-2016-75 | October 2016
  
  글쓴이 Microsoft
  
  Publication
- Fusing Effectful Comprehensions
  
  Olli Saarikivi, Margus Veanes, Todd Mytkowicz, Madan Musuvathi
  
  MSR-TR-2016-55 | October 2016
  
  출판
- Automatically verifying reachability and well-formedness in P4 Networks
  
  Nick McKeown, Dan Talayco, George Varghese, Nuno Lopes, Nikolaj Bjørner, Andrey Rybalchenko
  
  MSR-TR-2016-65 | September 2016
  
  출판
- Algebraic Effects for Functional Programming
  
  Daan Leijen
  
  MSR-TR-2016-29 | August 2016
  
  출판 프로젝트
- A Gray Box Approach For High-Fidelity, High-Speed Time-Travel Debugging
  
  John Vilk, James Mickens, Mark Marron
  
  MSR-TR-2016-7 | June 2016
  
  출판 프로젝트
- Toward Full Elasticity in Distributed Static Analysis
  
  Diego Garbevetsky, Edgardo Zoppi, Thomas Ball, Benjamin Livshits, Thomas Ball, Ben Livshits
  
  MSR-TR-2015-88 | November 2015
  
  출판
- Appendix to The Effect of Work Environments on Productivity
  
  Thomas Zimmermann, Brittany Johnson, Christian Bird, Tom Zimmermann
  
  MSR-TR-2015-66 | August 2015
  
  출판
- Automated Feedback and Recognition through Data Mining in Code Hunt
  
  Daniel Perelman, Judith Bishop, Sumit Gulwani, Dan Grossman
  
  MSR-TR-2015-57 | July 2015
  
  출판 프로젝트 프로젝트
- The Emerging Role of Data Scientists on Software Development Teams
  
  Miryung Kim, Tom Zimmermann, Robert DeLIne, Andrew Begel
  
  MSR-TR-2015-30 | April 2015
  
  출판
- Towards AST-based Collaborative Editing
  
  Sebastian Burckhardt, Michal Moskal
  
  MSR-TR-2015-17 | February 2015
  
  출판 프로젝트
- Global Sequence Protocol: A Robust Abstraction for Replicated Shared State (Extended version)
  
  Sebastian Burckhardt, Daan Leijen, Jonathan Protzenko, Manuel Fahndrich
  
  MSR-TR-2015-11 | January 2015
  
  출판
- The Uniqueness of Changes: Characteristics and Applications
  
  Baishakhi Ray, Meiyappan Nagappan, Christian Bird, Tom Zimmermann, Nachi Nagappan
  
  MSR-TR-2014-149 | November 2014
  
  글쓴이 Microsoft
  
  Publication
- PrePose: Security and Privacy for Gesture-Based Programming
  
  Lucas Silva Figueiredo, Ben Livshits, David Molnar, Margus Veanes
  
  MSR-TR-2014-146 | November 2014
  
  출판
- Optimizing Human Computation to Save Time and Money
  
  Benjamin Livshits, George Kastrinis, Ben Livshits
  
  MSR-TR-2014-145 | November 2014
  
  출판 프로젝트
- Beyond Open Source: The TouchDevelop Cloud-based Integrated Development Environment
  
  Thomas Ball, Sebastian Burckhardt, Jonathan "Peli" de Halleux, Michal Moskal, Nikolai Tillmann
  
  MSR-TR-2014-127 | September 2014
  
  출판 프로젝트
- Appendix to The Health of Software Engineering Research
  
  David Lo, Tom Zimmermann, Nachi Nagappan
  
  MSR-TR-2014-119 | September 2014
  
  출판
- Lazy Annotation Revisited
  
  Kenneth McMillan
  
  MSR-TR-2014-65 | May 2014
  
  출판 프로젝트
- Saving Money While Polling with InterPoll using Power Analysis
  
  Ben Livshits, Todd Mytkowicz
  
  MSR-TR-2014-50 | April 2014
  
  출판
- Heap Analysis Design: An Empirical Approach
  
  Mark Marron
  
  MSR-TR-2014-46 | April 2014
  
  글쓴이 Microsoft
  
  Publication
- The Trill Incremental Analytics Engine
  
  Badrish Chandramouli, Jonathan Goldstein, Mike Barnett, John Wernsing, John Platt, Robert DeLine, Danyel Fisher, James Terwilliger, Robert DeLIne
  
  MSR-TR-2014-54 | April 2014
  
  출판 프로젝트
- Computing All Implied Equalities via SMT-based Partition Refinement
  
  Josh Berdine, Nikolaj Bjørner
  
  MSR-TR-2014-57 | April 2014
  
  출판 출판 출판
- Motion Sickness Susceptibility in Software Developers
  
  Emerson Murphy-Hill, Tom Zimmermann, Nachi Nagappan
  
  MSR-TR-2014-24 | March 2014
  
  출판 프로젝트
- ZÃ˜: An Optimizing Distributing Zero-Knowledge Compiler
  
  Benjamin Livshits, Ben Livshits
  
  MSR-TR-2014-27 | February 2014
  
  출판
- PriVaricator: Deceiving Fingerprinters with Little White Lies
  
  Nick Nikiforakis, Wouter Joosen, Benjamin Livshits, Ben Livshits
  
  MSR-TR-2014-26 | February 2014
  
  출판
- InterPoll: Crowd-Sourced Internet Polls (Done Right)
  
  Ben Livshits, Todd Mytkowicz
  
  MSR-TR-2014-3 | January 2014
  
  출판 프로젝트
- Proving Memory Safety of the ANI Windows Image Parser using Compositional Exhaustive Testing
  
  Maria Christakis, Patrice Godefroid
  
  MSR-TR-2013-120 | November 2013
  
  출판
- Analyze This! 145 Questions for Data Scientists in Software Engineering (Technical Report MSR-TR-2013-111)
  
  Andrew Begel, Tom Zimmermann
  
  MSR-TR-2013-111 | October 2013
  
  글쓴이 Microsoft
  
  Publication 프로젝트
- May/Must Abstraction-Based Software Model Checking For Sound Verification and Falsification
  
  Patrice Godefroid
  
  MSR-TR-2013-104 | October 2013
  
  출판
- Program Boosting or Crowd-Sourcing for Correctness
  
  Robert Cochran, Ben Livshits
  
  MSR-TR-2013-94 | September 2013
  
  출판
- Appendix to Analyze This! 145 Questions for Data Scientists in Software Engineering
  
  Andrew Begel, Tom Zimmermann
  
  MSR-TR-2013-84 | September 2013
  
  글쓴이 Microsoft
  
  Publication
- Koka: Programming with Row-Polymorphic Effect Types
  
  Daan Leijen
  
  MSR-TR-2013-79 | August 2013
  
  글쓴이 Microsoft
  
  Publication Github 프로젝트
- Combining Model Checking and Testing
  
  Patrice Godefroid
  
  MSR-TR-2013-80 | August 2013
  
  출판
- Co-Induction Simply: Automatic Co-Inductive Proofs in a Program Verifier
  
  Rustan Leino, Michal Moskal
  
  MSR-TR-2013-49 | July 2013
  
  출판 프로젝트
- Micro Execution
  
  Patrice Godefroid
  
  MSR-TR-2013-72 | July 2013
  
  출판
- Minimization of Symbolic Automata
  
  Margus Veanes
  
  MSR-TR-2013-48 | April 2013
  
  출판
- Quantifying the Effectiveness of Testing via Efficient Residual Path Profiling
  
  Trishul Chilimbi, Aditya Nori, Kapil Vaswani
  
  MSR-TR-2007-62 | June 2007
  
  출판
- Exploring Perceus for OCaml
  
  Elton Pinto, Daan Leijen
  
  September 2023
  
  Presented at the "Higher order, Typed, Strict: ML Family Workshop 2023" co-located with ICFP'23.
  
  Publication 프로젝트
- MergeBERT: Program Merge Conflict Resolution via Neural Transformers
  
  Alexey Svyatkovskiy, Todd Mytkowicz, Negar Ghorbani, Sarah Fakhoury, Elizabeth Dinella, Christian Bird, Neel Sundaresan, Shuvendu Lahiri
  
  August 2021
  
  Publication 프로젝트 프로젝트
- This is Boogie 2
  
  K. Rustan M. Leino
  
  June 2008
  
  Publication 프로젝트
- Interactive Code Generation via Test-Driven User-Intent Formalization
  
  Shuvendu Lahiri, Sarah Fakhoury, Aaditya Naik, Georgios Sakkas, Saikat Chakraborty, Piali Choudhury, Curtis von Veh, Madan Musuvathi, Jeevana Priya Inala, Chenglong Wang, Jianfeng Gao
  
  August 2022
  
  Publication 프로젝트
- Serverless Workflows with Durable Functions and Netherite
  
  Sebastian Burckhardt, Chris Gillum, David Justo, Konstantinos Kallas, Connor McMahon, Christopher S. Meiklejohn
  
  February 2021
  
  Publication
- Educational Software Engineering: Where Software Engineering, Education, and Gaming Meet
  
  Tao Xie, Nikolai Tillmann, Jonathan "Peli" de Halleux, Judith Bishop
  
  5 | 글쓴이 CRC Press | 2015
  
  출판 프로젝트 프로젝트 프로젝트
- Using Dafny, an Automatic Program Verier
  
  Luke Herbert, Rustan Leino, Jose Quaresma
  
  Tools for Practical Software Verification | 2012 | Tools for Practical Software Verification edition
  
  출판 출판 Github
- Principles of Eventual Consistency
  
  Sebastian Burckhardt
  
  Published by Now Publishers | October 2014, Vol 1 | Principles of Eventual Consistency edition
  
  출판 출판