{"id":670017,"date":"2020-07-07T06:45:04","date_gmt":"2020-07-07T13:45:04","guid":{"rendered":"https:\/\/www.microsoft.com\/en-us\/research\/?post_type=msr-event&#038;p=670017"},"modified":"2025-08-06T11:52:40","modified_gmt":"2025-08-06T18:52:40","slug":"icse-2020","status":"publish","type":"msr-event","link":"https:\/\/www.microsoft.com\/en-us\/research\/event\/icse-2020\/","title":{"rendered":"Microsoft at ICSE 2020"},"content":{"rendered":"\n\n<p><strong>Website:<\/strong> <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" href=\"https:\/\/conf.researchr.org\/home\/icse-2020\" target=\"_blank\" rel=\"noopener noreferrer\">ICSE 2020<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><span id=\"label-external-link\" class=\"sr-only\" aria-hidden=\"true\">Opens in a new tab<\/span><\/p>\n<p>Microsoft is proud to be a sponsor of the <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" href=\"https:\/\/conf.researchr.org\/home\/icse-2020\">42nd International Conference on Software Engineering<span class=\"sr-only\"> (opens in new tab)<\/span><\/a> (ICSE). Please see detailed information on our contributions to the program on the <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/event\/icse-2020\/#!sessions\">Sessions tab<\/a>.<\/p>\n<p><strong>Organizing Committee members<\/strong><br \/>\n<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/abegel\/\">Andrew Begel<\/a>, <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" href=\"https:\/\/kr.linkedin.com\/in\/miran-lee-37996b36\">Miran Lee<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/p>\n<p><strong>Technical Papers Program Board members<\/strong><br \/>\n<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/dongmeiz\/\">Dongmei Zhang<\/a>, <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/tzimmer\/\">Thomas Zimmermann<\/a><\/p>\n<p><strong>Technical Papers Program Committee members<\/strong><br \/>\n<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/cbird\/\">Christian Bird<\/a>, <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/shihan\/\">Shi Han<\/a><\/p>\n<p><strong>Demonstrations Program Committee member<\/strong><br \/>\n<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/dongmeiz\/\">Dongmei Zhang<\/a><\/p>\n<p><strong>Journal First Program Committee member<\/strong><br \/>\n<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/tzimmer\/\">Thomas Zimmermann<\/a><\/p>\n<p><strong>Doctorial Symposium Program Committee member<\/strong><br \/>\n<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/nachin\/\">Nachiappan Nagappan<\/a><\/p>\n<p><strong>Student Research Competition Program Committee members<\/strong><br \/>\n<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/abegel\/\">Andrew Begel<\/a>, <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/denae\/\">Denae Ford<\/a>, <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/nachin\/\">Nachiappan Nagappan<\/a><\/p>\n<p><strong>Workshops Committee member<\/strong><br \/>\n<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/abegel\/\">Andrew Begel<\/a><span id=\"label-external-link\" class=\"sr-only\" aria-hidden=\"true\">Opens in a new tab<\/span><\/p>\n<h2>Saturday, June 27<\/h2>\n<p>8:00 \u2013 8:15 UTC \u00a0| Experience Report<br \/>\n<strong>Developing a Multi-Cultural Conversational Agent With a Globally Distributed Team<\/strong><br \/>\nElayne Ruane,\u00a0Anthony\u00a0Ventresque,\u00a0<b>Ross Smith<\/b><\/p>\n<hr \/>\n<h2>Monday, June 29<\/h2>\n<p>11:24 \u2013 11:36 UTC\u00a0| Technical Papers \u2013 Build, CI & Dependencies<br \/>\n<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/publication\/a-dataset-of-dockerfiles\/\"><strong>A Dataset of\u00a0Dockerfiles<\/strong><\/a><br \/>\nJordan Henkel,\u00a0<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/cbird\/\">Christian Bird<\/a>,\u00a0<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/shuvendu\/\">Shuvendu\u00a0K.\u00a0Lahiri<\/a>,\u00a0Thomas Reps<\/p>\n<hr \/>\n<h2>Tuesday, June 30<\/h2>\n<p>15:00 \u2013 16:00 UTC | Live Q&A: Ask Me Anything<br \/>\n<strong>ML4SE AMA<\/strong><br \/>\nVincent\u00a0Hellendoorn, Michael\u00a0Pradel,\u00a0<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/miallama\/\">Miltiadis\u00a0Allamanis<\/a><\/p>\n<p>16:00 \u2013 16:15\u00a0UTC | Live Q&A: Technical Papers \u2013 Visions & Reflections<br \/>\n<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/publication\/the-state-of-the-ml-universe-10-years-of-artificial-intelligence-machine-learning-software-development-on-github\/\"><strong>The State of the ML-universe: 10 Years of Artificial Intelligence & Machine Learning Software Development on GitHub<\/strong><\/a><br \/>\nDanielle Gonzalez,\u00a0<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/tzimmer\/\">Thomas Zimmermann<\/a>,\u00a0<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/nachin\/\">Nachiappan\u00a0Nagappan<\/a><\/p>\n<hr \/>\n<h2>Tuesday, July 7<\/h2>\n<p>8:45 \u2013 8:59 UTC | Talk: I5-Deep Learning Testing and Debugging at\u00a0Goguryeo<br \/>\n<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/publication\/an-empirical-study-on-program-failures-of-deep-learning-jobs\/\"><strong>An Empirical Study on Program Failures of Deep Learning Jobs<\/strong><\/a><br \/>\n<b>Ru Zhang<\/b>,\u00a0Wencong\u00a0Xiao,\u00a0Hongyu\u00a0Zhang,\u00a0<b>Yu Liu<\/b>,\u00a0<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/haoxlin\/\">Haoxiang\u00a0Lin<\/a>, <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/maoyang\/\">Mao Yang<\/a><\/p>\n<p>16:17 \u2013 16:29 UTC | Talk: A5-Testing and Debugging 2 at\u00a0Goguryeo<br \/>\n<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/publication\/a-study-on-the-lifecycle-of-flaky-tests\/\"><strong>A Study on the Lifecycle of Flaky Tests<\/strong><\/a><br \/>\nWing Lam,\u00a0<b>K\u0131van\u00e7<\/b><b>\u00a0<\/b><b>Mu\u015fl<\/b><b>u<\/b>, <b>Hitesh\u00a0<\/b><b>Sajnani<\/b>, <b><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/suthumma\/\">Suresh\u00a0Thummalapenta<\/a><\/b><\/p>\n<hr \/>\n<h2>Wednesday, July 8<\/h2>\n<p>00:00 \u2013 1:30 UTC | Talk: Data-Driven Software Automation at\u00a0Tamna<br \/>\n<strong>Data-Driven Software Automation<\/strong><br \/>\nTao Xie, Ge Li,\u00a0<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/jlou\/\">Jian-Guang Lou<\/a>, <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/dongmeiz\/\">Dongmei Zhang<\/a><\/p>\n<p>00:40 \u2013 00:52 UTC | Talk: P9-Bugs and Repair at Silla<br \/>\n<strong>Automated Bug Reproduction from User Reviews for Android Applications<\/strong><br \/>\nShuyue\u00a0Li, Jiaqi Guo, Ming Fan,\u00a0<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/jlou\/\">Jian-Guang Lou<\/a>,\u00a0Qinghua\u00a0Zheng, Ting Liu<\/p>\n<p>1:37 \u2013 1:45 UTC | Talk: P12-Testing and Debugging at Silla<br \/>\n<strong>Historical Spectrum based Fault Localization<\/strong><br \/>\nMing Wen,\u00a0Junjie\u00a0Chen,\u00a0Yongqiang\u00a0Tian,\u00a0Rongxin\u00a0Wu, Dan Hao,\u00a0<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/shihan\/\">Shi Han<\/a>,\u00a0Sing-Chi Cheung<\/p>\n<p>02:10 \u2013 03:00 UTC<br \/>\nMeet Microsoft Research \u2013 talk to our researchers live in our virtual booth<\/p>\n<p>15:00 \u2013 15:08\u00a0UTC\u00a0| Talk: A7-Human Aspects 1 at\u00a0Baekje<br \/>\n<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/publication\/towards-a-theory-of-software-developer-job-satisfaction-and-perceived-productivity\/\"><strong>Towards a theory of software developer job satisfaction and perceived productivity<\/strong><\/a><br \/>\nMargaret-Anne\u00a0Storey,\u00a0<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/tzimmer\/\">Thomas Zimmermann<\/a>, <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/cbird\/\">Christian Bird<\/a>, <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/jacekcz\/\">Jacek Czerwonka<\/a>, <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/bmurphy\/\">Brendan Murphy<\/a>,\u00a0Eirini\u00a0Kalliamvakou<\/p>\n<p>15:50 \u2013 15:48\u00a0UTC\u00a0| Talk: A7-Human Aspects 1 at\u00a0Baekje<br \/>\n<strong>Enabling Good Work Habits in Software Developers through Reflective Goal-Setting<\/strong><br \/>\nAndr\u00e9 N. Meyer, Gail Murphy,\u00a0<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/tzimmer\/\">Thomas Zimmermann<\/a>,\u00a0Thomas Fritz<\/p>\n<p>15:00 \u2013 15:08\u00a0UTC\u00a0| Talk: Improving Vulnerability Inspection Efficiency Using Active Learning<br \/>\nZhe Yu,\u00a0<b>Chris Theisen<\/b>,\u00a0Laurie Williams, Tim Menzies<\/p>\n<p>16:34 \u2013 16:46 UTC | Talk: A12-Testing at Silla<br \/>\n<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/publication\/learning-from-understanding-and-supporting-devops-artifacts-for-docker\/\"><strong>Learning from, Understanding, and Supporting DevOps Artifacts for Docker<\/strong><\/a><br \/>\nJordan Henkel,\u00a0<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/cbird\/\">Christian Bird<\/a>,\u00a0<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/shuvendu\/\">Shuvendu\u00a0K.\u00a0Lahiri<\/a>,\u00a0Thomas Reps<\/p>\n<hr \/>\n<h2>Thursday, July 9<\/h2>\n<p>1:13 \u2013 1:21 UTC | Talk: P18-OSS at Silla<br \/>\n<strong>Moving from Closed to Open Source: Observations from Six Transitioned Projects to GitHub<\/strong><br \/>\n<b>Pavneet<\/b><b>\u00a0Singh Kochha<\/b><b>r<\/b><b>,<\/b>\u00a0Eirini\u00a0Kalliamvakou,\u00a0<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/nachin\/\">Nachiappan\u00a0Nagappan<\/a>, <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/tzimmer\/\">Thomas Zimmermann<\/a>, <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/cbird\/\">Christian Bird<\/a><\/p>\n<p>8:35 \u2013 8:45 UTC | Talk: I17-Contracts and Analysis at\u00a0Goguryeo<br \/>\n<strong>Smart Contract Development: Challenges and Opportunities<\/strong><br \/>\nWeiqin\u00a0Zou, David Lo,\u00a0<b>Pavneet<\/b><b>\u00a0Singh Kochhar,<\/b>\u00a0Xuan-Bach D. Le, Xin Xia, Yang Feng,\u00a0Zhenyu\u00a0Chen,\u00a0Baowen\u00a0Xu<\/p>\n<p>17:10 \u2013 18:00 UTC<br \/>\nMeet Microsoft Research \u2013 talk to our researchers live in our virtual booth<\/p>\n<hr \/>\n<h2>Friday, July 10<\/h2>\n<p>7:00 \u2013 7:12 UTC | Talk: I21-Version Control and Programming at Silla<br \/>\n<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/publication\/towards-understanding-and-fixing-upstream-merge-induced-conflicts-in-divergent-forks-an-industrial-case-study\/\"><strong>Towards Understanding and Fixing Upstream Merge Induced Conflicts in Divergent Forks: An industrial Case Study<\/strong><\/a><br \/>\nChungha\u00a0Sung,\u00a0<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/shuvendu\/\">Shuvendu\u00a0K.\u00a0Lahiri<\/a>, <b>Mike Kaufman<\/b>, <b>Pallavi Choudhury<\/b>,\u00a0Chao Wang<\/p>\n<p>7:12 \u2013 7:20 UTC |\u00a0Talk: I21-Version Control and Programming at Silla<br \/>\n<strong>Version Control Systems: An Information Foraging Perspective<\/strong><br \/>\n<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/t-ssr\/\">Sruti\u00a0Srinivasa\u00a0Ragavan<\/a>, <b>Mihai\u00a0<\/b><b>Codoban<\/b>,\u00a0David\u00a0Piorkowskil, Danny Dig, Margaret Burnett<\/p>\n<p>15:36 \u2013 15:48 UTC | Talk: A22-Cognition at\u00a0Baekje<br \/>\n<strong>Here We Go Again: Why Is It Difficult for Developers to Learn Another Programming Language?<\/strong><br \/>\nNischal\u00a0Shrestha, Colton\u00a0Botta,\u00a0<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/tbarik\/\">Titus Barik<\/a>,\u00a0Chris\u00a0Parnin<\/p>\n<p>16:05 \u2013 16:17 UTC | Research Paper: A19-SEIS-Engineering\u00a0an Inclusive Society at\u00a0Baekje<br \/>\n<strong>Debugging Hiring: What Went Right and What Went Wrong in the Technical Interview Process<\/strong><br \/>\nMahnaz\u00a0Behroozi, Shivani\u00a0Shirolkar,\u00a0<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/tbarik\/\">Titus Barik<\/a>,\u00a0Chris\u00a0Parnin<\/p>\n<p>16:11 \u2013 16:23 UTC | Talk: A24-Testing and Debugging 4 at Silla<br \/>\n<strong>On Learning Meaningful Assert Statements for Unit Test Cases<\/strong><br \/>\nCody Watson,\u00a0<b>Michele\u00a0<\/b><b>Tufano<\/b>,\u00a0Kevin Moran, Gabriele\u00a0Bavota, Denys\u00a0Poshyvanyk<\/p>\n<p>16:35 \u2013 16:38 UTC | Talk: A24-Testing and Debugging 4 at Silla<br \/>\n<strong>DeepMutation: A Neural Mutation Tool<\/strong><br \/>\n<b>Michele\u00a0<\/b><b>Tufano<\/b>,\u00a0Jason\u00a0Kimko,\u00a0Shiya\u00a0Wang, Cody Watson, Gabriele\u00a0Bavota, Massimiliano Di Penta, Denys\u00a0Poshyvanyk<\/p>\n<hr \/>\n<h2>Saturday, July 11<\/h2>\n<p>1:44 \u2013 1:56 UTC | Talk: P28-Analysis and Verification at\u00a0Baekje<br \/>\n<strong>DeCaf: Diagnosing & Triaging Performance Issues in Large-Scale Cloud Services<\/strong><br \/>\n<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/chetanb\/\">Chetan Bansal<\/a>, Sundararajan\u00a0Renganathan,\u00a0<b>Ashima\u00a0<\/b><b>Asudani<\/b>, <b>Olivier\u00a0<\/b><b>Midy<\/b>, Mathru Janakiraman<\/p>\n<p>1:52 \u2013 1:55 UTC | Talk: P29-Android and Web Testing at\u00a0Goguryeo<br \/>\n<strong>BigTest: Symbolic Execution Based Systematic Test Generation Tool for Apache Spark<\/strong><br \/>\nMuhammad Ali Gulzar,\u00a0<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/madanm\/\">Madan Musuvathi<\/a>, Miryung\u00a0Kim<span id=\"label-external-link\" class=\"sr-only\" aria-hidden=\"true\">Opens in a new tab<\/span><\/p>\n<ul>\n<li>Automata: <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" href=\"http:\/\/github.com\/AutomataDotNet\/Automata\" target=\"_blank\" rel=\"noopener\">github.com\/AutomataDotNet\/Automata<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/li>\n<li>Ivy: <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" href=\"http:\/\/github.com\/Microsoft\/ivy\" target=\"_blank\" rel=\"noopener\">github.com\/Microsoft\/ivy<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/li>\n<li>Lean Theorem Prover: <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" href=\"http:\/\/leanprover.github.io\" target=\"_blank\" rel=\"noopener\">leanprover.github.io<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/li>\n<li>Network Verification: <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" href=\"http:\/\/github.com\/Z3Prover\/\" target=\"_blank\" rel=\"noopener\">github.com\/Z3Prover\/FirewallChecker<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/li>\n<li>P\/P#: <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" href=\"http:\/\/github.com\/p-org\" target=\"_blank\" rel=\"noopener\">github.com\/p-org<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/li>\n<li>Project Everest: <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" href=\"http:\/\/project-everest.github.io\" target=\"_blank\" rel=\"noopener\">project-everest.github.io<span class=\"sr-only\"> (opens in new tab)<\/span><\/a>\n<ul>\n<li>F*: <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" href=\"http:\/\/fstar-lang.org\" target=\"_blank\" rel=\"noopener\">fstar-lang.org<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/li>\n<li>miTLS: <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" href=\"http:\/\/mitls.org\" target=\"_blank\" rel=\"noopener\">mitls.org<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/li>\n<li>KreMLin: <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" href=\"http:\/\/github.com\/FStarLang\/kremlin\" target=\"_blank\" rel=\"noopener\">github.com\/FStarLang\/kremlin<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/li>\n<li>HACL*: <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" href=\"http:\/\/github.com\/project-everest\/hacl-star\" target=\"_blank\" rel=\"noopener\">github.com\/project-everest\/hacl-star<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/li>\n<li>Vale: <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" href=\"http:\/\/github.com\/project-everest\/vale\" target=\"_blank\" rel=\"noopener\">github.com\/project-everest\/vale<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/li>\n<\/ul>\n<\/li>\n<li>Q#: <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" href=\"https:\/\/github.com\/Microsoft\/qsharp-compiler\" target=\"_blank\" rel=\"noopener\">github.com\/Microsoft\/qsharp-compiler<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/li>\n<li>TLA+: <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" href=\"http:\/\/github.com\/tlaplus\/tlaplus\" target=\"_blank\" rel=\"noopener\">github.com\/tlaplus\/tlaplus<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/li>\n<li>VeriSol: <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" href=\"https:\/\/github.com\/Microsoft\/verisol\" target=\"_blank\" rel=\"noopener\">github.com\/Microsoft\/verisol<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/li>\n<li>Z3 Theorem Prover: <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" href=\"http:\/\/github.com\/Z3Prover\/z3\" target=\"_blank\" rel=\"noopener\">github.com\/Z3Prover\/z3<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/li>\n<\/ul>\n<p><span id=\"label-external-link\" class=\"sr-only\" aria-hidden=\"true\">Opens in a new tab<\/span><\/p>\n<p>Job openings are always searchable at\u202f<a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" href=\"https:\/\/careers.microsoft.com\/\">https:\/\/careers.microsoft.com\/<span class=\"sr-only\"> (opens in new tab)<\/span><\/a>\u202fincluding:<\/p>\n<ul style=\"font-weight: 400\">\n<li data-leveltext=\"\uf0b7\" data-font=\"Symbol\" data-listid=\"6\" data-aria-posinset=\"1\" data-aria-level=\"1\"><a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" href=\"https:\/\/careers.microsoft.com\/professionals\/us\/en\/search-results?keywords=compiler\"><span data-contrast=\"none\">Compiler Jobs<\/span><span class=\"sr-only\"> (opens in new tab)<\/span><\/a><span data-ccp-props=\"{\"201341983\":0,\"335559737\":0,\"335559738\":60,\"335559739\":60,\"335559740\":240}\">\u00a0<\/span><\/li>\n<li data-leveltext=\"\uf0b7\" data-font=\"Symbol\" data-listid=\"6\" data-aria-posinset=\"2\" data-aria-level=\"1\"><a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" href=\"https:\/\/careers.microsoft.com\/professionals\/us\/en\/search-results?keywords=runtime\"><span data-contrast=\"none\">Runtime Jobs<\/span><span class=\"sr-only\"> (opens in new tab)<\/span><\/a><span data-ccp-props=\"{\"201341983\":0,\"335559737\":0,\"335559738\":60,\"335559739\":60,\"335559740\":240}\">\u00a0<\/span><\/li>\n<li data-leveltext=\"\uf0b7\" data-font=\"Symbol\" data-listid=\"6\" data-aria-posinset=\"3\" data-aria-level=\"1\"><a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" href=\"https:\/\/careers.microsoft.com\/professionals\/us\/en\/search-results?keywords=visual%20studio\"><span data-contrast=\"none\">Openings in Visual Studio<\/span><span class=\"sr-only\"> (opens in new tab)<\/span><\/a><span data-ccp-props=\"{\"201341983\":0,\"335559737\":0,\"335559738\":60,\"335559739\":60,\"335559740\":240}\">\u00a0<\/span><\/li>\n<\/ul>\n<p><span id=\"label-external-link\" class=\"sr-only\" aria-hidden=\"true\">Opens in a new tab<\/span><\/p>\n","protected":false},"excerpt":{"rendered":"<p>Microsoft is proud to be a sponsor of the 42nd International Conference on Software Engineering (ICSE 2020). Please see detailed information on our contributions to the program below.<\/p>\n","protected":false},"featured_media":382400,"template":"","meta":{"msr-url-field":"","msr-podcast-episode":"","msrModifiedDate":"","msrModifiedDateEnabled":false,"ep_exclude_from_search":false,"_classifai_error":"","msr_startdate":"2020-07-06","msr_enddate":"2020-07-11","msr_location":"Virtual\/Online","msr_expirationdate":"","msr_event_recording_link":"","msr_event_link":"","msr_event_link_redirect":false,"msr_event_time":"","msr_hide_region":true,"msr_private_event":false,"msr_hide_image_in_river":0,"footnotes":""},"research-area":[13560],"msr-region":[256048],"msr-event-type":[197941],"msr-video-type":[],"msr-locale":[268875],"msr-program-audience":[],"msr-post-option":[],"msr-impact-theme":[],"class_list":["post-670017","msr-event","type-msr-event","status-publish","has-post-thumbnail","hentry","msr-research-area-programming-languages-software-engineering","msr-region-global","msr-event-type-conferences","msr-locale-en_us"],"msr_about":"<!-- wp:msr\/event-details {\"title\":\"Microsoft at ICSE 2020\",\"backgroundColor\":\"grey\",\"image\":{\"id\":382400,\"url\":\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2017\/05\/MicrosoftResearch_Headers_ProgramingLangSoftware_r2-Copy.jpg\",\"alt\":\"\"}} \/-->\n\n<!-- wp:msr\/content-tabs --><!-- wp:msr\/content-tab {\"title\":\"About\"} --><!-- wp:freeform --><p><strong>Website:<\/strong> <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" href=\"https:\/\/conf.researchr.org\/home\/icse-2020\" target=\"_blank\" rel=\"noopener noreferrer\">ICSE 2020<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><span id=\"label-external-link\" class=\"sr-only\" aria-hidden=\"true\">Opens in a new tab<\/span><\/p>\n<p>Microsoft is proud to be a sponsor of the <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" href=\"https:\/\/conf.researchr.org\/home\/icse-2020\">42nd International Conference on Software Engineering<\/a> (ICSE). Please see detailed information on our contributions to the program on the <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/event\/icse-2020\/#!sessions\">Sessions tab<\/a>.<\/p>\n<p><strong>Organizing Committee members<\/strong><br \/>\n<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/abegel\/\">Andrew Begel<\/a>, <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" href=\"https:\/\/kr.linkedin.com\/in\/miran-lee-37996b36\">Miran Lee<\/a><\/p>\n<p><strong>Technical Papers Program Board members<\/strong><br \/>\n<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/dongmeiz\/\">Dongmei Zhang<\/a>, <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/tzimmer\/\">Thomas Zimmermann<\/a><\/p>\n<p><strong>Technical Papers Program Committee members<\/strong><br \/>\n<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/cbird\/\">Christian Bird<\/a>, <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/shihan\/\">Shi Han<\/a><\/p>\n<p><strong>Demonstrations Program Committee member<\/strong><br \/>\n<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/dongmeiz\/\">Dongmei Zhang<\/a><\/p>\n<p><strong>Journal First Program Committee member<\/strong><br \/>\n<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/tzimmer\/\">Thomas Zimmermann<\/a><\/p>\n<p><strong>Doctorial Symposium Program Committee member<\/strong><br \/>\n<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/nachin\/\">Nachiappan Nagappan<\/a><\/p>\n<p><strong>Student Research Competition Program Committee members<\/strong><br \/>\n<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/abegel\/\">Andrew Begel<\/a>, <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/denae\/\">Denae Ford<\/a>, <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/nachin\/\">Nachiappan Nagappan<\/a><\/p>\n<p><strong>Workshops Committee member<\/strong><br \/>\n<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/abegel\/\">Andrew Begel<\/a><span id=\"label-external-link\" class=\"sr-only\" aria-hidden=\"true\">Opens in a new tab<\/span><\/p>\n<!-- \/wp:freeform --><!-- \/wp:msr\/content-tab --><!-- wp:msr\/content-tab {\"title\":\"Sessions\"} --><!-- wp:freeform --><h2>Saturday, June 27<\/h2>\n<p>8:00 \u2013 8:15 UTC \u00a0| Experience Report<br \/>\n<strong>Developing a Multi-Cultural Conversational Agent With a Globally Distributed Team<\/strong><br \/>\nElayne Ruane,\u00a0Anthony\u00a0Ventresque,\u00a0<b>Ross Smith<\/b><\/p>\n<hr \/>\n<h2>Monday, June 29<\/h2>\n<p>11:24 \u2013 11:36 UTC\u00a0| Technical Papers \u2013 Build, CI &amp; Dependencies<br \/>\n<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/publication\/a-dataset-of-dockerfiles\/\"><strong>A Dataset of\u00a0Dockerfiles<\/strong><\/a><br \/>\nJordan Henkel,\u00a0<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/cbird\/\">Christian Bird<\/a>,\u00a0<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/shuvendu\/\">Shuvendu\u00a0K.\u00a0Lahiri<\/a>,\u00a0Thomas Reps<\/p>\n<hr \/>\n<h2>Tuesday, June 30<\/h2>\n<p>15:00 \u2013 16:00 UTC | Live Q&amp;A: Ask Me Anything<br \/>\n<strong>ML4SE AMA<\/strong><br \/>\nVincent\u00a0Hellendoorn, Michael\u00a0Pradel,\u00a0<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/miallama\/\">Miltiadis\u00a0Allamanis<\/a><\/p>\n<p>16:00 \u2013 16:15\u00a0UTC | Live Q&amp;A: Technical Papers \u2013 Visions &amp; Reflections<br \/>\n<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/publication\/the-state-of-the-ml-universe-10-years-of-artificial-intelligence-machine-learning-software-development-on-github\/\"><strong>The State of the ML-universe: 10 Years of Artificial Intelligence &amp; Machine Learning Software Development on GitHub<\/strong><\/a><br \/>\nDanielle Gonzalez,\u00a0<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/tzimmer\/\">Thomas Zimmermann<\/a>,\u00a0<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/nachin\/\">Nachiappan\u00a0Nagappan<\/a><\/p>\n<hr \/>\n<h2>Tuesday, July 7<\/h2>\n<p>8:45 \u2013 8:59 UTC | Talk: I5-Deep Learning Testing and Debugging at\u00a0Goguryeo<br \/>\n<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/publication\/an-empirical-study-on-program-failures-of-deep-learning-jobs\/\"><strong>An Empirical Study on Program Failures of Deep Learning Jobs<\/strong><\/a><br \/>\n<b>Ru Zhang<\/b>,\u00a0Wencong\u00a0Xiao,\u00a0Hongyu\u00a0Zhang,\u00a0<b>Yu Liu<\/b>,\u00a0<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/haoxlin\/\">Haoxiang\u00a0Lin<\/a>, <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/maoyang\/\">Mao Yang<\/a><\/p>\n<p>16:17 \u2013 16:29 UTC | Talk: A5-Testing and Debugging 2 at\u00a0Goguryeo<br \/>\n<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/publication\/a-study-on-the-lifecycle-of-flaky-tests\/\"><strong>A Study on the Lifecycle of Flaky Tests<\/strong><\/a><br \/>\nWing Lam,\u00a0<b>K\u0131van\u00e7<\/b><b>\u00a0<\/b><b>Mu\u015fl<\/b><b>u<\/b>, <b>Hitesh\u00a0<\/b><b>Sajnani<\/b>, <b><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/suthumma\/\">Suresh\u00a0Thummalapenta<\/a><\/b><\/p>\n<hr \/>\n<h2>Wednesday, July 8<\/h2>\n<p>00:00 \u2013 1:30 UTC | Talk: Data-Driven Software Automation at\u00a0Tamna<br \/>\n<strong>Data-Driven Software Automation<\/strong><br \/>\nTao Xie, Ge Li,\u00a0<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/jlou\/\">Jian-Guang Lou<\/a>, <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/dongmeiz\/\">Dongmei Zhang<\/a><\/p>\n<p>00:40 \u2013 00:52 UTC | Talk: P9-Bugs and Repair at Silla<br \/>\n<strong>Automated Bug Reproduction from User Reviews for Android Applications<\/strong><br \/>\nShuyue\u00a0Li, Jiaqi Guo, Ming Fan,\u00a0<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/jlou\/\">Jian-Guang Lou<\/a>,\u00a0Qinghua\u00a0Zheng, Ting Liu<\/p>\n<p>1:37 \u2013 1:45 UTC | Talk: P12-Testing and Debugging at Silla<br \/>\n<strong>Historical Spectrum based Fault Localization<\/strong><br \/>\nMing Wen,\u00a0Junjie\u00a0Chen,\u00a0Yongqiang\u00a0Tian,\u00a0Rongxin\u00a0Wu, Dan Hao,\u00a0<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/shihan\/\">Shi Han<\/a>,\u00a0Sing-Chi Cheung<\/p>\n<p>02:10 \u2013 03:00 UTC<br \/>\nMeet Microsoft Research \u2013 talk to our researchers live in our virtual booth<\/p>\n<p>15:00 \u2013 15:08\u00a0UTC\u00a0| Talk: A7-Human Aspects 1 at\u00a0Baekje<br \/>\n<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/publication\/towards-a-theory-of-software-developer-job-satisfaction-and-perceived-productivity\/\"><strong>Towards a theory of software developer job satisfaction and perceived productivity<\/strong><\/a><br \/>\nMargaret-Anne\u00a0Storey,\u00a0<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/tzimmer\/\">Thomas Zimmermann<\/a>, <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/cbird\/\">Christian Bird<\/a>, <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/jacekcz\/\">Jacek Czerwonka<\/a>, <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/bmurphy\/\">Brendan Murphy<\/a>,\u00a0Eirini\u00a0Kalliamvakou<\/p>\n<p>15:50 \u2013 15:48\u00a0UTC\u00a0| Talk: A7-Human Aspects 1 at\u00a0Baekje<br \/>\n<strong>Enabling Good Work Habits in Software Developers through Reflective Goal-Setting<\/strong><br \/>\nAndr\u00e9 N. Meyer, Gail Murphy,\u00a0<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/tzimmer\/\">Thomas Zimmermann<\/a>,\u00a0Thomas Fritz<\/p>\n<p>15:00 \u2013 15:08\u00a0UTC\u00a0| Talk: Improving Vulnerability Inspection Efficiency Using Active Learning<br \/>\nZhe Yu,\u00a0<b>Chris Theisen<\/b>,\u00a0Laurie Williams, Tim Menzies<\/p>\n<p>16:34 \u2013 16:46 UTC | Talk: A12-Testing at Silla<br \/>\n<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/publication\/learning-from-understanding-and-supporting-devops-artifacts-for-docker\/\"><strong>Learning from, Understanding, and Supporting DevOps Artifacts for Docker<\/strong><\/a><br \/>\nJordan Henkel,\u00a0<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/cbird\/\">Christian Bird<\/a>,\u00a0<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/shuvendu\/\">Shuvendu\u00a0K.\u00a0Lahiri<\/a>,\u00a0Thomas Reps<\/p>\n<hr \/>\n<h2>Thursday, July 9<\/h2>\n<p>1:13 \u2013 1:21 UTC | Talk: P18-OSS at Silla<br \/>\n<strong>Moving from Closed to Open Source: Observations from Six Transitioned Projects to GitHub<\/strong><br \/>\n<b>Pavneet<\/b><b>\u00a0Singh Kochha<\/b><b>r<\/b><b>,<\/b>\u00a0Eirini\u00a0Kalliamvakou,\u00a0<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/nachin\/\">Nachiappan\u00a0Nagappan<\/a>, <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/tzimmer\/\">Thomas Zimmermann<\/a>, <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/cbird\/\">Christian Bird<\/a><\/p>\n<p>8:35 \u2013 8:45 UTC | Talk: I17-Contracts and Analysis at\u00a0Goguryeo<br \/>\n<strong>Smart Contract Development: Challenges and Opportunities<\/strong><br \/>\nWeiqin\u00a0Zou, David Lo,\u00a0<b>Pavneet<\/b><b>\u00a0Singh Kochhar,<\/b>\u00a0Xuan-Bach D. Le, Xin Xia, Yang Feng,\u00a0Zhenyu\u00a0Chen,\u00a0Baowen\u00a0Xu<\/p>\n<p>17:10 \u2013 18:00 UTC<br \/>\nMeet Microsoft Research \u2013 talk to our researchers live in our virtual booth<\/p>\n<hr \/>\n<h2>Friday, July 10<\/h2>\n<p>7:00 \u2013 7:12 UTC | Talk: I21-Version Control and Programming at Silla<br \/>\n<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/publication\/towards-understanding-and-fixing-upstream-merge-induced-conflicts-in-divergent-forks-an-industrial-case-study\/\"><strong>Towards Understanding and Fixing Upstream Merge Induced Conflicts in Divergent Forks: An industrial Case Study<\/strong><\/a><br \/>\nChungha\u00a0Sung,\u00a0<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/shuvendu\/\">Shuvendu\u00a0K.\u00a0Lahiri<\/a>, <b>Mike Kaufman<\/b>, <b>Pallavi Choudhury<\/b>,\u00a0Chao Wang<\/p>\n<p>7:12 \u2013 7:20 UTC |\u00a0Talk: I21-Version Control and Programming at Silla<br \/>\n<strong>Version Control Systems: An Information Foraging Perspective<\/strong><br \/>\n<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/t-ssr\/\">Sruti\u00a0Srinivasa\u00a0Ragavan<\/a>, <b>Mihai\u00a0<\/b><b>Codoban<\/b>,\u00a0David\u00a0Piorkowskil, Danny Dig, Margaret Burnett<\/p>\n<p>15:36 \u2013 15:48 UTC | Talk: A22-Cognition at\u00a0Baekje<br \/>\n<strong>Here We Go Again: Why Is It Difficult for Developers to Learn Another Programming Language?<\/strong><br \/>\nNischal\u00a0Shrestha, Colton\u00a0Botta,\u00a0<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/tbarik\/\">Titus Barik<\/a>,\u00a0Chris\u00a0Parnin<\/p>\n<p>16:05 \u2013 16:17 UTC | Research Paper: A19-SEIS-Engineering\u00a0an Inclusive Society at\u00a0Baekje<br \/>\n<strong>Debugging Hiring: What Went Right and What Went Wrong in the Technical Interview Process<\/strong><br \/>\nMahnaz\u00a0Behroozi, Shivani\u00a0Shirolkar,\u00a0<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/tbarik\/\">Titus Barik<\/a>,\u00a0Chris\u00a0Parnin<\/p>\n<p>16:11 \u2013 16:23 UTC | Talk: A24-Testing and Debugging 4 at Silla<br \/>\n<strong>On Learning Meaningful Assert Statements for Unit Test Cases<\/strong><br \/>\nCody Watson,\u00a0<b>Michele\u00a0<\/b><b>Tufano<\/b>,\u00a0Kevin Moran, Gabriele\u00a0Bavota, Denys\u00a0Poshyvanyk<\/p>\n<p>16:35 \u2013 16:38 UTC | Talk: A24-Testing and Debugging 4 at Silla<br \/>\n<strong>DeepMutation: A Neural Mutation Tool<\/strong><br \/>\n<b>Michele\u00a0<\/b><b>Tufano<\/b>,\u00a0Jason\u00a0Kimko,\u00a0Shiya\u00a0Wang, Cody Watson, Gabriele\u00a0Bavota, Massimiliano Di Penta, Denys\u00a0Poshyvanyk<\/p>\n<hr \/>\n<h2>Saturday, July 11<\/h2>\n<p>1:44 \u2013 1:56 UTC | Talk: P28-Analysis and Verification at\u00a0Baekje<br \/>\n<strong>DeCaf: Diagnosing &amp; Triaging Performance Issues in Large-Scale Cloud Services<\/strong><br \/>\n<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/chetanb\/\">Chetan Bansal<\/a>, Sundararajan\u00a0Renganathan,\u00a0<b>Ashima\u00a0<\/b><b>Asudani<\/b>, <b>Olivier\u00a0<\/b><b>Midy<\/b>, Mathru Janakiraman<\/p>\n<p>1:52 \u2013 1:55 UTC | Talk: P29-Android and Web Testing at\u00a0Goguryeo<br \/>\n<strong>BigTest: Symbolic Execution Based Systematic Test Generation Tool for Apache Spark<\/strong><br \/>\nMuhammad Ali Gulzar,\u00a0<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/madanm\/\">Madan Musuvathi<\/a>, Miryung\u00a0Kim<span id=\"label-external-link\" class=\"sr-only\" aria-hidden=\"true\">Opens in a new tab<\/span><\/p>\n<!-- \/wp:freeform --><!-- \/wp:msr\/content-tab --><!-- wp:msr\/content-tab {\"title\":\"Open source tools\"} --><!-- wp:freeform --><ul>\n<li>Automata: <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" href=\"http:\/\/github.com\/AutomataDotNet\/Automata\" target=\"_blank\" rel=\"noopener\">github.com\/AutomataDotNet\/Automata<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/li>\n<li>Ivy: <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" href=\"http:\/\/github.com\/Microsoft\/ivy\" target=\"_blank\" rel=\"noopener\">github.com\/Microsoft\/ivy<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/li>\n<li>Lean Theorem Prover: <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" href=\"http:\/\/leanprover.github.io\" target=\"_blank\" rel=\"noopener\">leanprover.github.io<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/li>\n<li>Network Verification: <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" href=\"http:\/\/github.com\/Z3Prover\/\" target=\"_blank\" rel=\"noopener\">github.com\/Z3Prover\/FirewallChecker<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/li>\n<li>P\/P#: <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" href=\"http:\/\/github.com\/p-org\" target=\"_blank\" rel=\"noopener\">github.com\/p-org<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/li>\n<li>Project Everest: <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" href=\"http:\/\/project-everest.github.io\" target=\"_blank\" rel=\"noopener\">project-everest.github.io<span class=\"sr-only\"> (opens in new tab)<\/span><\/a>\n<ul>\n<li>F*: <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" href=\"http:\/\/fstar-lang.org\" target=\"_blank\" rel=\"noopener\">fstar-lang.org<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/li>\n<li>miTLS: <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" href=\"http:\/\/mitls.org\" target=\"_blank\" rel=\"noopener\">mitls.org<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/li>\n<li>KreMLin: <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" href=\"http:\/\/github.com\/FStarLang\/kremlin\" target=\"_blank\" rel=\"noopener\">github.com\/FStarLang\/kremlin<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/li>\n<li>HACL*: <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" href=\"http:\/\/github.com\/project-everest\/hacl-star\" target=\"_blank\" rel=\"noopener\">github.com\/project-everest\/hacl-star<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/li>\n<li>Vale: <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" href=\"http:\/\/github.com\/project-everest\/vale\" target=\"_blank\" rel=\"noopener\">github.com\/project-everest\/vale<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/li>\n<\/ul>\n<\/li>\n<li>Q#: <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" href=\"https:\/\/github.com\/Microsoft\/qsharp-compiler\" target=\"_blank\" rel=\"noopener\">github.com\/Microsoft\/qsharp-compiler<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/li>\n<li>TLA+: <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" href=\"http:\/\/github.com\/tlaplus\/tlaplus\" target=\"_blank\" rel=\"noopener\">github.com\/tlaplus\/tlaplus<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/li>\n<li>VeriSol: <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" href=\"https:\/\/github.com\/Microsoft\/verisol\" target=\"_blank\" rel=\"noopener\">github.com\/Microsoft\/verisol<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/li>\n<li>Z3 Theorem Prover: <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" href=\"http:\/\/github.com\/Z3Prover\/z3\" target=\"_blank\" rel=\"noopener\">github.com\/Z3Prover\/z3<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/li>\n<\/ul>\n<p><span id=\"label-external-link\" class=\"sr-only\" aria-hidden=\"true\">Opens in a new tab<\/span><\/p>\n<!-- \/wp:freeform --><!-- \/wp:msr\/content-tab --><!-- wp:msr\/content-tab {\"title\":\"Career opportunities\"} --><!-- wp:freeform --><p>Job openings are always searchable at\u202f<a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" href=\"https:\/\/careers.microsoft.com\/\">https:\/\/careers.microsoft.com\/<span class=\"sr-only\"> (opens in new tab)<\/span><\/a>\u202fincluding:<\/p>\n<ul style=\"font-weight: 400\">\n<li data-leveltext=\"\uf0b7\" data-font=\"Symbol\" data-listid=\"6\" data-aria-posinset=\"1\" data-aria-level=\"1\"><a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" href=\"https:\/\/careers.microsoft.com\/professionals\/us\/en\/search-results?keywords=compiler\"><span data-contrast=\"none\">Compiler Jobs<\/span><span class=\"sr-only\"> (opens in new tab)<\/span><\/a><span data-ccp-props=\"{&quot;201341983&quot;:0,&quot;335559737&quot;:0,&quot;335559738&quot;:60,&quot;335559739&quot;:60,&quot;335559740&quot;:240}\">\u00a0<\/span><\/li>\n<li data-leveltext=\"\uf0b7\" data-font=\"Symbol\" data-listid=\"6\" data-aria-posinset=\"2\" data-aria-level=\"1\"><a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" href=\"https:\/\/careers.microsoft.com\/professionals\/us\/en\/search-results?keywords=runtime\"><span data-contrast=\"none\">Runtime Jobs<\/span><span class=\"sr-only\"> (opens in new tab)<\/span><\/a><span data-ccp-props=\"{&quot;201341983&quot;:0,&quot;335559737&quot;:0,&quot;335559738&quot;:60,&quot;335559739&quot;:60,&quot;335559740&quot;:240}\">\u00a0<\/span><\/li>\n<li data-leveltext=\"\uf0b7\" data-font=\"Symbol\" data-listid=\"6\" data-aria-posinset=\"3\" data-aria-level=\"1\"><a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" href=\"https:\/\/careers.microsoft.com\/professionals\/us\/en\/search-results?keywords=visual%20studio\"><span data-contrast=\"none\">Openings in Visual Studio<\/span><span class=\"sr-only\"> (opens in new tab)<\/span><\/a><span data-ccp-props=\"{&quot;201341983&quot;:0,&quot;335559737&quot;:0,&quot;335559738&quot;:60,&quot;335559739&quot;:60,&quot;335559740&quot;:240}\">\u00a0<\/span><\/li>\n<\/ul>\n<p><span id=\"label-external-link\" class=\"sr-only\" aria-hidden=\"true\">Opens in a new tab<\/span><\/p>\n<!-- \/wp:freeform --><!-- \/wp:msr\/content-tab --><!-- \/wp:msr\/content-tabs -->","tab-content":[{"id":0,"name":"About","content":"Microsoft is proud to be a sponsor of the <a href=\"https:\/\/conf.researchr.org\/home\/icse-2020\">42nd International Conference on Software Engineering<\/a> (ICSE). Please see detailed information on our contributions to the program on the <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/event\/icse-2020\/#!sessions\">Sessions tab<\/a>.\r\n\r\n<strong>Organizing Committee members<\/strong>\r\n<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/abegel\/\">Andrew Begel<\/a>, <a href=\"https:\/\/kr.linkedin.com\/in\/miran-lee-37996b36\">Miran Lee<\/a>\r\n\r\n<strong>Technical Papers Program Board members<\/strong>\r\n<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/dongmeiz\/\">Dongmei Zhang<\/a>, <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/tzimmer\/\">Thomas Zimmermann<\/a>\r\n\r\n<strong>Technical Papers Program Committee members<\/strong>\r\n<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/cbird\/\">Christian Bird<\/a>, <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/shihan\/\">Shi Han<\/a>\r\n\r\n<strong>Demonstrations Program Committee member<\/strong>\r\n<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/dongmeiz\/\">Dongmei Zhang<\/a>\r\n\r\n<strong>Journal First Program Committee member<\/strong>\r\n<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/tzimmer\/\">Thomas Zimmermann<\/a>\r\n\r\n<strong>Doctorial Symposium Program Committee member<\/strong>\r\n<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/nachin\/\">Nachiappan Nagappan<\/a>\r\n\r\n<strong>Student Research Competition Program Committee members<\/strong>\r\n<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/abegel\/\">Andrew Begel<\/a>, <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/denae\/\">Denae Ford<\/a>, <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/nachin\/\">Nachiappan Nagappan<\/a>\r\n\r\n<strong>Workshops Committee member<\/strong>\r\n<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/abegel\/\">Andrew Begel<\/a>"},{"id":1,"name":"Sessions","content":"<h2>Saturday, June 27<\/h2>\r\n8:00 \u2013 8:15 UTC \u00a0| Experience Report\r\n<strong>Developing a Multi-Cultural Conversational Agent With a Globally Distributed Team<\/strong>\r\nElayne Ruane,\u00a0Anthony\u00a0Ventresque,\u00a0<b>Ross Smith<\/b>\r\n\r\n<hr \/>\r\n\r\n<h2>Monday, June 29<\/h2>\r\n11:24 \u2013 11:36 UTC\u00a0| Technical Papers \u2013 Build, CI &amp; Dependencies\r\n<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/publication\/a-dataset-of-dockerfiles\/\"><strong>A Dataset of\u00a0Dockerfiles<\/strong><\/a>\r\nJordan Henkel,\u00a0<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/cbird\/\">Christian Bird<\/a>,\u00a0<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/shuvendu\/\">Shuvendu\u00a0K.\u00a0Lahiri<\/a>,\u00a0Thomas Reps\r\n\r\n<hr \/>\r\n\r\n<h2>Tuesday, June 30<\/h2>\r\n15:00 \u2013 16:00 UTC | Live Q&amp;A: Ask Me Anything\r\n<strong>ML4SE AMA<\/strong>\r\nVincent\u00a0Hellendoorn, Michael\u00a0Pradel,\u00a0<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/miallama\/\">Miltiadis\u00a0Allamanis<\/a>\r\n\r\n16:00 \u2013 16:15\u00a0UTC | Live Q&amp;A: Technical Papers \u2013 Visions &amp; Reflections\r\n<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/publication\/the-state-of-the-ml-universe-10-years-of-artificial-intelligence-machine-learning-software-development-on-github\/\"><strong>The State of the ML-universe: 10 Years of Artificial Intelligence &amp; Machine Learning Software Development on GitHub<\/strong><\/a>\r\nDanielle Gonzalez,\u00a0<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/tzimmer\/\">Thomas Zimmermann<\/a>,\u00a0<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/nachin\/\">Nachiappan\u00a0Nagappan<\/a>\r\n\r\n<hr \/>\r\n\r\n<h2>Tuesday, July 7<\/h2>\r\n8:45 \u2013 8:59 UTC | Talk: I5-Deep Learning Testing and Debugging at\u00a0Goguryeo\r\n<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/publication\/an-empirical-study-on-program-failures-of-deep-learning-jobs\/\"><strong>An Empirical Study on Program Failures of Deep Learning Jobs<\/strong><\/a>\r\n<b>Ru Zhang<\/b>,\u00a0Wencong\u00a0Xiao,\u00a0Hongyu\u00a0Zhang,\u00a0<b>Yu Liu<\/b>,\u00a0<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/haoxlin\/\">Haoxiang\u00a0Lin<\/a>, <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/maoyang\/\">Mao Yang<\/a>\r\n\r\n16:17 \u2013 16:29 UTC | Talk: A5-Testing and Debugging 2 at\u00a0Goguryeo\r\n<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/publication\/a-study-on-the-lifecycle-of-flaky-tests\/\"><strong>A Study on the Lifecycle of Flaky Tests<\/strong><\/a>\r\nWing Lam,\u00a0<b>K\u0131van\u00e7<\/b><b>\u00a0<\/b><b>Mu\u015fl<\/b><b>u<\/b>, <b>Hitesh\u00a0<\/b><b>Sajnani<\/b>, <b><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/suthumma\/\">Suresh\u00a0Thummalapenta<\/a><\/b>\r\n\r\n<hr \/>\r\n\r\n<h2>Wednesday, July 8<\/h2>\r\n00:00 \u2013 1:30 UTC | Talk: Data-Driven Software Automation at\u00a0Tamna\r\n<strong>Data-Driven Software Automation<\/strong>\r\nTao Xie, Ge Li,\u00a0<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/jlou\/\">Jian-Guang Lou<\/a>, <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/dongmeiz\/\">Dongmei Zhang<\/a>\r\n\r\n00:40 \u2013 00:52 UTC | Talk: P9-Bugs and Repair at Silla\r\n<strong>Automated Bug Reproduction from User Reviews for Android Applications<\/strong>\r\nShuyue\u00a0Li, Jiaqi Guo, Ming Fan,\u00a0<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/jlou\/\">Jian-Guang Lou<\/a>,\u00a0Qinghua\u00a0Zheng, Ting Liu\r\n\r\n1:37 \u2013 1:45 UTC | Talk: P12-Testing and Debugging at Silla\r\n<strong>Historical Spectrum based Fault Localization<\/strong>\r\nMing Wen,\u00a0Junjie\u00a0Chen,\u00a0Yongqiang\u00a0Tian,\u00a0Rongxin\u00a0Wu, Dan Hao,\u00a0<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/shihan\/\">Shi Han<\/a>,\u00a0Sing-Chi Cheung\r\n\r\n02:10 \u2013 03:00 UTC\r\nMeet Microsoft Research \u2013 talk to our researchers live in our virtual booth\r\n\r\n15:00 \u2013 15:08\u00a0UTC\u00a0| Talk: A7-Human Aspects 1 at\u00a0Baekje\r\n<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/publication\/towards-a-theory-of-software-developer-job-satisfaction-and-perceived-productivity\/\"><strong>Towards a theory of software developer job satisfaction and perceived productivity<\/strong><\/a>\r\nMargaret-Anne\u00a0Storey,\u00a0<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/tzimmer\/\">Thomas Zimmermann<\/a>, <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/cbird\/\">Christian Bird<\/a>, <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/jacekcz\/\">Jacek Czerwonka<\/a>, <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/bmurphy\/\">Brendan Murphy<\/a>,\u00a0Eirini\u00a0Kalliamvakou\r\n\r\n15:50 \u2013 15:48\u00a0UTC\u00a0| Talk: A7-Human Aspects 1 at\u00a0Baekje\r\n<strong>Enabling Good Work Habits in Software Developers through Reflective Goal-Setting<\/strong>\r\nAndr\u00e9 N. Meyer, Gail Murphy,\u00a0<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/tzimmer\/\">Thomas Zimmermann<\/a>,\u00a0Thomas Fritz\r\n\r\n15:00 \u2013 15:08\u00a0UTC\u00a0| Talk: Improving Vulnerability Inspection Efficiency Using Active Learning\r\nZhe Yu,\u00a0<b>Chris Theisen<\/b>,\u00a0Laurie Williams, Tim Menzies\r\n\r\n16:34 \u2013 16:46 UTC | Talk: A12-Testing at Silla\r\n<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/publication\/learning-from-understanding-and-supporting-devops-artifacts-for-docker\/\"><strong>Learning from, Understanding, and Supporting DevOps Artifacts for Docker<\/strong><\/a>\r\nJordan Henkel,\u00a0<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/cbird\/\">Christian Bird<\/a>,\u00a0<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/shuvendu\/\">Shuvendu\u00a0K.\u00a0Lahiri<\/a>,\u00a0Thomas Reps\r\n\r\n<hr \/>\r\n\r\n<h2>Thursday, July 9<\/h2>\r\n1:13 \u2013 1:21 UTC | Talk: P18-OSS at Silla\r\n<strong>Moving from Closed to Open Source: Observations from Six Transitioned Projects to GitHub<\/strong>\r\n<b>Pavneet<\/b><b>\u00a0Singh Kochha<\/b><b>r<\/b><b>,<\/b>\u00a0Eirini\u00a0Kalliamvakou,\u00a0<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/nachin\/\">Nachiappan\u00a0Nagappan<\/a>, <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/tzimmer\/\">Thomas Zimmermann<\/a>, <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/cbird\/\">Christian Bird<\/a>\r\n\r\n8:35 \u2013 8:45 UTC | Talk: I17-Contracts and Analysis at\u00a0Goguryeo\r\n<strong>Smart Contract Development: Challenges and Opportunities<\/strong>\r\nWeiqin\u00a0Zou, David Lo,\u00a0<b>Pavneet<\/b><b>\u00a0Singh Kochhar,<\/b>\u00a0Xuan-Bach D. Le, Xin Xia, Yang Feng,\u00a0Zhenyu\u00a0Chen,\u00a0Baowen\u00a0Xu\r\n\r\n17:10 \u2013 18:00 UTC\r\nMeet Microsoft Research \u2013 talk to our researchers live in our virtual booth\r\n\r\n<hr \/>\r\n\r\n<h2>Friday, July 10<\/h2>\r\n7:00 \u2013 7:12 UTC | Talk: I21-Version Control and Programming at Silla\r\n<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/publication\/towards-understanding-and-fixing-upstream-merge-induced-conflicts-in-divergent-forks-an-industrial-case-study\/\"><strong>Towards Understanding and Fixing Upstream Merge Induced Conflicts in Divergent Forks: An industrial Case Study<\/strong><\/a>\r\nChungha\u00a0Sung,\u00a0<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/shuvendu\/\">Shuvendu\u00a0K.\u00a0Lahiri<\/a>, <b>Mike Kaufman<\/b>, <b>Pallavi Choudhury<\/b>,\u00a0Chao Wang\r\n\r\n7:12 \u2013 7:20 UTC |\u00a0Talk: I21-Version Control and Programming at Silla\r\n<strong>Version Control Systems: An Information Foraging Perspective<\/strong>\r\n<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/t-ssr\/\">Sruti\u00a0Srinivasa\u00a0Ragavan<\/a>, <b>Mihai\u00a0<\/b><b>Codoban<\/b>,\u00a0David\u00a0Piorkowskil, Danny Dig, Margaret Burnett\r\n\r\n15:36 \u2013 15:48 UTC | Talk: A22-Cognition at\u00a0Baekje\r\n<strong>Here We Go Again: Why Is It Difficult for Developers to Learn Another Programming Language?<\/strong>\r\nNischal\u00a0Shrestha, Colton\u00a0Botta,\u00a0<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/tbarik\/\">Titus Barik<\/a>,\u00a0Chris\u00a0Parnin\r\n\r\n16:05 \u2013 16:17 UTC | Research Paper: A19-SEIS-Engineering\u00a0an Inclusive Society at\u00a0Baekje\r\n<strong>Debugging Hiring: What Went Right and What Went Wrong in the Technical Interview Process<\/strong>\r\nMahnaz\u00a0Behroozi, Shivani\u00a0Shirolkar,\u00a0<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/tbarik\/\">Titus Barik<\/a>,\u00a0Chris\u00a0Parnin\r\n\r\n16:11 \u2013 16:23 UTC | Talk: A24-Testing and Debugging 4 at Silla\r\n<strong>On Learning Meaningful Assert Statements for Unit Test Cases<\/strong>\r\nCody Watson,\u00a0<b>Michele\u00a0<\/b><b>Tufano<\/b>,\u00a0Kevin Moran, Gabriele\u00a0Bavota, Denys\u00a0Poshyvanyk\r\n\r\n16:35 \u2013 16:38 UTC | Talk: A24-Testing and Debugging 4 at Silla\r\n<strong>DeepMutation: A Neural Mutation Tool<\/strong>\r\n<b>Michele\u00a0<\/b><b>Tufano<\/b>,\u00a0Jason\u00a0Kimko,\u00a0Shiya\u00a0Wang, Cody Watson, Gabriele\u00a0Bavota, Massimiliano Di Penta, Denys\u00a0Poshyvanyk\r\n\r\n<hr \/>\r\n\r\n<h2>Saturday, July 11<\/h2>\r\n1:44 \u2013 1:56 UTC | Talk: P28-Analysis and Verification at\u00a0Baekje\r\n<strong>DeCaf: Diagnosing &amp; Triaging Performance Issues in Large-Scale Cloud Services<\/strong>\r\n<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/chetanb\/\">Chetan Bansal<\/a>, Sundararajan\u00a0Renganathan,\u00a0<b>Ashima\u00a0<\/b><b>Asudani<\/b>, <b>Olivier\u00a0<\/b><b>Midy<\/b>, Mathru Janakiraman\r\n\r\n1:52 \u2013 1:55 UTC | Talk: P29-Android and Web Testing at\u00a0Goguryeo\r\n<strong>BigTest: Symbolic Execution Based Systematic Test Generation Tool for Apache Spark<\/strong>\r\nMuhammad Ali Gulzar,\u00a0<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/madanm\/\">Madan Musuvathi<\/a>, Miryung\u00a0Kim"},{"id":2,"name":"Open source tools","content":"<ul>\r\n \t<li>Automata: <a href=\"http:\/\/github.com\/AutomataDotNet\/Automata\" target=\"_blank\" rel=\"noopener\">github.com\/AutomataDotNet\/Automata<\/a><\/li>\r\n \t<li>Ivy: <a href=\"http:\/\/github.com\/Microsoft\/ivy\" target=\"_blank\" rel=\"noopener\">github.com\/Microsoft\/ivy<\/a><\/li>\r\n \t<li>Lean Theorem Prover: <a href=\"http:\/\/leanprover.github.io\" target=\"_blank\" rel=\"noopener\">leanprover.github.io<\/a><\/li>\r\n \t<li>Network Verification: <a href=\"http:\/\/github.com\/Z3Prover\/\" target=\"_blank\" rel=\"noopener\">github.com\/Z3Prover\/FirewallChecker<\/a><\/li>\r\n \t<li>P\/P#: <a href=\"http:\/\/github.com\/p-org\" target=\"_blank\" rel=\"noopener\">github.com\/p-org<\/a><\/li>\r\n \t<li>Project Everest: <a href=\"http:\/\/project-everest.github.io\" target=\"_blank\" rel=\"noopener\">project-everest.github.io<\/a>\r\n<ul>\r\n \t<li>F*: <a href=\"http:\/\/fstar-lang.org\" target=\"_blank\" rel=\"noopener\">fstar-lang.org<\/a><\/li>\r\n \t<li>miTLS: <a href=\"http:\/\/mitls.org\" target=\"_blank\" rel=\"noopener\">mitls.org<\/a><\/li>\r\n \t<li>KreMLin: <a href=\"http:\/\/github.com\/FStarLang\/kremlin\" target=\"_blank\" rel=\"noopener\">github.com\/FStarLang\/kremlin<\/a><\/li>\r\n \t<li>HACL*: <a href=\"http:\/\/github.com\/project-everest\/hacl-star\" target=\"_blank\" rel=\"noopener\">github.com\/project-everest\/hacl-star<\/a><\/li>\r\n \t<li>Vale: <a href=\"http:\/\/github.com\/project-everest\/vale\" target=\"_blank\" rel=\"noopener\">github.com\/project-everest\/vale<\/a><\/li>\r\n<\/ul>\r\n<\/li>\r\n \t<li>Q#: <a href=\"https:\/\/github.com\/Microsoft\/qsharp-compiler\" target=\"_blank\" rel=\"noopener\">github.com\/Microsoft\/qsharp-compiler<\/a><\/li>\r\n \t<li>TLA+: <a href=\"http:\/\/github.com\/tlaplus\/tlaplus\" target=\"_blank\" rel=\"noopener\">github.com\/tlaplus\/tlaplus<\/a><\/li>\r\n \t<li>VeriSol: <a href=\"https:\/\/github.com\/Microsoft\/verisol\" target=\"_blank\" rel=\"noopener\">github.com\/Microsoft\/verisol<\/a><\/li>\r\n \t<li>Z3 Theorem Prover: <a href=\"http:\/\/github.com\/Z3Prover\/z3\" target=\"_blank\" rel=\"noopener\">github.com\/Z3Prover\/z3<\/a><\/li>\r\n<\/ul>"},{"id":3,"name":"Career opportunities","content":"Job openings are always searchable at\u202f<a href=\"https:\/\/careers.microsoft.com\/\">https:\/\/careers.microsoft.com\/<\/a>\u202fincluding:\r\n<ul style=\"font-weight: 400\">\r\n \t<li data-leveltext=\"\uf0b7\" data-font=\"Symbol\" data-listid=\"6\" data-aria-posinset=\"1\" data-aria-level=\"1\"><a href=\"https:\/\/careers.microsoft.com\/professionals\/us\/en\/search-results?keywords=compiler\"><span data-contrast=\"none\">Compiler Jobs<\/span><\/a><span data-ccp-props=\"{&quot;201341983&quot;:0,&quot;335559737&quot;:0,&quot;335559738&quot;:60,&quot;335559739&quot;:60,&quot;335559740&quot;:240}\">\u00a0<\/span><\/li>\r\n \t<li data-leveltext=\"\uf0b7\" data-font=\"Symbol\" data-listid=\"6\" data-aria-posinset=\"2\" data-aria-level=\"1\"><a href=\"https:\/\/careers.microsoft.com\/professionals\/us\/en\/search-results?keywords=runtime\"><span data-contrast=\"none\">Runtime Jobs<\/span><\/a><span data-ccp-props=\"{&quot;201341983&quot;:0,&quot;335559737&quot;:0,&quot;335559738&quot;:60,&quot;335559739&quot;:60,&quot;335559740&quot;:240}\">\u00a0<\/span><\/li>\r\n \t<li data-leveltext=\"\uf0b7\" data-font=\"Symbol\" data-listid=\"6\" data-aria-posinset=\"3\" data-aria-level=\"1\"><a href=\"https:\/\/careers.microsoft.com\/professionals\/us\/en\/search-results?keywords=visual%20studio\"><span data-contrast=\"none\">Openings in Visual Studio<\/span><\/a><span data-ccp-props=\"{&quot;201341983&quot;:0,&quot;335559737&quot;:0,&quot;335559738&quot;:60,&quot;335559739&quot;:60,&quot;335559740&quot;:240}\">\u00a0<\/span><\/li>\r\n<\/ul>"}],"msr_startdate":"2020-07-06","msr_enddate":"2020-07-11","msr_event_time":"","msr_location":"Virtual\/Online","msr_event_link":"","msr_event_recording_link":"","msr_startdate_formatted":"July 6, 2020","msr_register_text":"Watch now","msr_cta_link":"","msr_cta_text":"","msr_cta_bi_name":"","featured_image_thumbnail":"<img width=\"960\" height=\"360\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2017\/05\/MicrosoftResearch_Headers_ProgramingLangSoftware_r2-Copy.jpg\" class=\"img-object-cover\" alt=\"\" decoding=\"async\" loading=\"lazy\" srcset=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2017\/05\/MicrosoftResearch_Headers_ProgramingLangSoftware_r2-Copy.jpg 1920w, https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2017\/05\/MicrosoftResearch_Headers_ProgramingLangSoftware_r2-Copy-300x113.jpg 300w, https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2017\/05\/MicrosoftResearch_Headers_ProgramingLangSoftware_r2-Copy-768x288.jpg 768w, https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2017\/05\/MicrosoftResearch_Headers_ProgramingLangSoftware_r2-Copy-1024x384.jpg 1024w\" sizes=\"auto, (max-width: 960px) 100vw, 960px\" \/>","event_excerpt":"Microsoft is proud to be a sponsor of the 42nd International Conference on Software Engineering (ICSE 2020). Please see detailed information on our contributions to the program below.","msr_research_lab":[],"related-researchers":[],"msr_impact_theme":[],"related-academic-programs":[],"related-groups":[],"related-projects":[],"related-opportunities":[],"related-publications":[],"related-videos":[676833],"related-posts":[],"_links":{"self":[{"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-event\/670017","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-event"}],"about":[{"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/types\/msr-event"}],"version-history":[{"count":3,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-event\/670017\/revisions"}],"predecessor-version":[{"id":1146948,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-event\/670017\/revisions\/1146948"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/media\/382400"}],"wp:attachment":[{"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/media?parent=670017"}],"wp:term":[{"taxonomy":"msr-research-area","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/research-area?post=670017"},{"taxonomy":"msr-region","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-region?post=670017"},{"taxonomy":"msr-event-type","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-event-type?post=670017"},{"taxonomy":"msr-video-type","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-video-type?post=670017"},{"taxonomy":"msr-locale","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-locale?post=670017"},{"taxonomy":"msr-program-audience","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-program-audience?post=670017"},{"taxonomy":"msr-post-option","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-post-option?post=670017"},{"taxonomy":"msr-impact-theme","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-impact-theme?post=670017"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}