Michal Moskal

Orcid: 0000-0001-5791-2228

  • Microsoft Research, Redmond, WA, USA

According to our database1, Michal Moskal authored at least 46 papers between 2007 and 2024.

Collaborative distances:
  • Dijkstra number2 of three.
  • Erdős number3 of two.



In proceedings 
PhD thesis 


Online presence:

On csauthors.net:


Meet MicroCode: a Live and Portable Programming Tool for the BBC micro: bit.
Proceedings of the 23rd Annual ACM Interaction Design and Children Conference, 2024

Plug-and-play Physical Computing with Jacdac.
Proc. ACM Interact. Mob. Wearable Ubiquitous Technol., 2022

ML Blocks: A Block-Based, Graphical User Interface for Creating TinyML Models.
Proceedings of the 2022 IEEE Symposium on Visual Languages and Human-Centric Computing, 2022

Web-based Programming for Low-cost Gaming Handhelds.
Proceedings of the FDG'21: The 16th International Conference on the Foundations of Digital Games 2021, 2021

Rethinking the Runway: Using Avant-Garde Fashion To Design a System for Wearables.
Proceedings of the CHI '21: CHI Conference on Human Factors in Computing Systems, 2021

The BBC micro: bit: from the U.K. to the world.
Commun. ACM, 2020

MakeCode and CODAL: Intuitive and efficient embedded systems programming for education.
J. Syst. Archit., 2019

Microsoft MakeCode: embedded programming for education, in blocks and TypeScript.
Proceedings of the SPLASH-E '19, 2019

Static TypeScript: an implementation of a static compiler for the TypeScript language.
Proceedings of the 16th ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes, 2019

MakerArcade: Using Gaming and Physical Computing for Playful Making, Learning, and Creativity.
Proceedings of the Extended Abstracts of the 2019 CHI Conference on Human Factors in Computing Systems, 2019

A System-General Model for the Detection of Gaming the System Behavior in CTAT and LearnSphere.
Proceedings of the Artificial Intelligence in Education - 19th International Conference, 2018

Microsoft touch develop and the BBC micro: bit.
Proceedings of the 38th International Conference on Software Engineering, 2016

User-aware privacy control via extended static-information-flow analysis.
Autom. Softw. Eng., 2015

Implementing real-time collaboration in TouchDevelop using AST merges.
Proceedings of the 3rd International Workshop on Mobile Development Lifecycle, 2015

Beyond Open Source: The Touch Develop Cloud-Based Integrated Development Environment.
Proceedings of the 2nd ACM International Conference on Mobile Software Engineering and Systems, 2015

TouchDevelop: create rich mobile apps on touch devices (tutorial).
Proceedings of the 1st International Conference on Mobile Software Engineering and Systems, 2014

Exposing native device APIs to web apps.
Proceedings of the 1st International Conference on Mobile Software Engineering and Systems, 2014

Refactoring local to cloud data types for mobile apps.
Proceedings of the 1st International Conference on Mobile Software Engineering and Systems, 2014

Co-induction Simply - Automatic Co-inductive Proofs in a Program Verifier.
Proceedings of the FM 2014: Formal Methods, 2014

Addressing JavaScript JIT Engines Performance Quirks: A Crowdsourced Adaptive Compiler.
Proceedings of the Compiler Construction - 23rd International Conference, 2014

It's alive! continuous feedback in UI programming.
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2013

Verifying Implementations of Security Protocols by Refinement.
Proceedings of the Verified Software: Theories, Tools, Experiments, 2012

TouchDevelop: app development on mobile devices.
Proceedings of the 20th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-20), 2012

Engage your students by teaching programming using only mobile devices with TouchDevelop (abstract only).
Proceedings of the 43rd ACM technical symposium on Computer science education, 2012

User-aware privacy control via extended static-information-flow analysis.
Proceedings of the IEEE/ACM International Conference on Automated Software Engineering, 2012

The future of teaching programming is on mobile devices.
Proceedings of the Annual Conference on Innovation and Technology in Computer Science Education, 2012

Engage Your Students by Teaching Computer Science Using Only Mobile Devices with TouchDevelop.
Proceedings of the 25th IEEE Conference on Software Engineering Education and Training, 2012

From C to Infinity and Back: Unbounded Auto-active Verification with VCC.
Proceedings of the Computer Aided Verification - 24th International Conference, 2012

The Boogie Verification Debugger (Tool Paper).
Proceedings of the Software Engineering and Formal Methods - 9th International Conference, 2011

TouchDevelop: programming cloud-connected mobile devices via touchscreen.
Proceedings of the ACM Symposium on New Ideas in Programming and Reflections on Software, 2011

Verifying Functional Correctness of C Programs with VCC.
Proceedings of the NASA Formal Methods, 2011

The role of information fusion in providing analytical rigor for intelligence analysis.
Proceedings of the 14th International Conference on Information Fusion, 2011

Heaps and Data Structures: A Challenge for Automated Provers.
Proceedings of the Automated Deduction - CADE-23 - 23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31, 2011

Deductive Verification of System Software in the Verisoft XT Project.
Künstliche Intell., 2010

HOL-Boogie - An Interactive Prover-Backend for the Verifying C Compiler.
J. Autom. Reason., 2010

Local Verification of Global Invariants in Concurrent Programs.
Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

Evidential Authorization.
Proceedings of the Future of Software Engineering., 2010

A Precise Yet Efficient Memory Model For C.
Proceedings of the 4th International Workshop on Systems Software Verification, 2009

VCC: A Practical System for Verifying Concurrent C.
Proceedings of the Theorem Proving in Higher Order Logics, 22nd International Conference, 2009

VCC: Contract-based modular verification of concurrent C.
Proceedings of the 31st International Conference on Software Engineering, 2009

Rocket-Fast Proof Checking for SMT Solvers.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2008

Vx86: x86 Assembler Simulated in C Powered by Automated Theorem Proving.
Proceedings of the Algebraic Methodology and Software Technology, 2008

E-matching for Fun and Profit.
Proceedings of the 5th International Workshop on Satisfiability Modulo Theories, 2007

Edit and verify
CoRR, 2007

Reachability analysis for annotated code.
Proceedings of the 2007 Conference Specification and Verification of Component-Based Systems, 2007