| Plug-and-play Physical Computing with Jacdac | 0 | 0.34 | 2022 |
| Rethinking the Runway: Using Avant-Garde Fashion To Design a System for Wearables | 1 | 0.36 | 2021 |
| Web-based Programming for Low-cost Gaming Handhelds. | 0 | 0.34 | 2021 |
| Physical Computing: A Key Element of Modern Computer Science Education. | 2 | 0.41 | 2020 |
| TileCode: Creation of Video Games on Gaming Handhelds | 0 | 0.34 | 2020 |
| The BBC micro:bit: from the U.K. to the world | 1 | 0.37 | 2020 |
| Microsoft MakeCode: embedded programming for education, in blocks and TypeScript | 1 | 0.37 | 2019 |
| MakerArcade - Using Gaming and Physical Computing for Playful Making, Learning, and Creativity. | 0 | 0.34 | 2019 |
| Static TypeScript - an implementation of a static compiler for the TypeScript language. | 0 | 0.34 | 2019 |
| ARcadia: A Rapid Prototyping Platform for Real-time Tangible Interfaces. | 1 | 0.35 | 2018 |
| KEYNOTE. Push, Pull, Partner: A Few Models for Working with Industry | 0 | 0.34 | 2018 |
| Multi-platform computing for physical devices via MakeCode and CODAL. | 0 | 0.34 | 2018 |
| The Micro: bit: Hands-on Computing for the New Generation (Abstract Only). | 0 | 0.34 | 2017 |
| Microsoft touch develop and the BBC micro: bit. | 2 | 0.43 | 2016 |
| 2014 CAV award announcement. | 0 | 0.34 | 2016 |
| Teach foundational language principles | 5 | 0.49 | 2015 |
| Beyond Open Source: The Touch Develop Cloud-Based Integrated Development Environment | 0 | 0.34 | 2015 |
| Efficient tracing of cold code via bias-free sampling | 8 | 0.49 | 2014 |
| VeriCon: towards verifying controller programs in software-defined networks | 44 | 1.45 | 2014 |
| Correctness via compilation to logic: a decade of verification at microsoft research | 0 | 0.34 | 2014 |
| Increasing human-tool interaction via the web | 0 | 0.34 | 2013 |
| Automatic Predicate Abstraction of C Programs | 0 | 0.34 | 2012 |
| Type-directed completion of partial expressions | 35 | 1.55 | 2012 |
| Modular and verified automatic program repair | 44 | 1.34 | 2012 |
| Beyond first-order satisfaction: fixed points, interpolants, automata and polynomials | 1 | 0.35 | 2012 |
| A decade of software model checking with SLAM | 98 | 2.46 | 2011 |
| Practical parallel and concurrent programming | 9 | 0.64 | 2011 |
| Predictable and Progressive Testing of Multithreaded Code | 2 | 0.41 | 2011 |
| Formalizing hardware/software interface specifications | 3 | 0.42 | 2011 |
| Two for the price of one: a model for parallel and incremental computation | 21 | 0.82 | 2011 |
| An Automata-Theoretic Approach to Hardware/Software Co-verification. | 5 | 0.47 | 2010 |
| The Static Driver Verifier Research Platform | 23 | 0.84 | 2010 |
| Preemption sealing for efficient concurrency testing | 19 | 0.70 | 2010 |
| Efficient reachability analysis of büchi pushdown systems for hardware/software co-verification | 2 | 0.38 | 2010 |
| Towards scalable modular checking of user-defined properties | 11 | 0.57 | 2010 |
| SLAM2: static driver verification with under 4% false alarms | 31 | 1.08 | 2010 |
| 09411 Abstracts Collection - Interaction versus Automation: The two Faces of Deduction. | 0 | 0.34 | 2009 |
| A brief history of software — from Bell Labs to Microsoft Research | 0 | 0.34 | 2009 |
| 09411 Executive Summary - Interaction versus Automation: The two Faces of Deductions. | 0 | 0.34 | 2009 |
| Deconstructing Concurrency Heisenbugs | 2 | 0.48 | 2009 |
| Finding and reproducing Heisenbugs in concurrent programs | 259 | 7.55 | 2008 |
| Finding errors in .net with feedback-directed random testing | 40 | 1.46 | 2008 |
| Vacuity in Testing | 6 | 0.49 | 2008 |
| Synthesizing Monitors for Safety Properties: This Time with Calls and Returns | 21 | 1.33 | 2008 |
| Leaping loops in the presence of abstraction | 13 | 0.67 | 2007 |
| Feedback-Directed Random Test Generation | 383 | 14.13 | 2007 |
| Using Software Dependencies and Churn Metrics to Predict Field Failures: An Empirical Case Study | 99 | 4.19 | 2007 |
| Better under-approximation of programs by hiding variables | 1 | 0.39 | 2007 |
| Testing, abstraction, theorem proving: better together! | 39 | 2.10 | 2006 |
| Assessing the Relationship between Software Assertions and Faults: An Empirical Investigation | 17 | 0.98 | 2006 |
