Jacdac: Service-Based Prototyping of Embedded Systems
Thomas Ball, Peli de Halleux, James Devine, Steve Hodges, Michal Moskal
Programming Language Design and Implementation (PLDI) | June 2024
Michal Moskal
Principal Research Software Development Engineer
Publications
Publications by Year
-
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, Peli de Halleux, James Devine, Michal Moskal
23rd annual ACM Interaction Design and Children (IDC) Conference | June 2024
-
Jacdac: Service-based Prototyping of Embedded Systems
Thomas Ball, Peli de Halleux, James Devine, Steve Hodges, Michal Moskal
MSR-TR-2023-4 | January 2023
Published by Microsoft
-
Plug-and-play Physical Computing with Jacdac
James Devine, Michal Moskal, 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, Vol 6(3)
-
Web-based Programming for Low-cost Gaming Handhelds
Michal Moskal, 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
Rethinking the Runway: Using Avant-Garde Fashion To Design a System for Wearables
Teddy Seyed, James Devine, Joe Finney, Michal Moskal, Peli de Halleux, Steve Hodges, Thomas Ball, Asta Roseway
Proceedings of the 2021 CHI Conference on Human Factors in Computing Systems (CHI '21) | May 2021
Honorable mention
-
The BBC micro:bit: from the U.K. to the world
Jonny Austin, Howard Baker, Thomas Ball, James Devine, Joe Finney, Peli de Halleux, Steve Hodges, Michal Moskal, Gareth Stockdale
Communications of the ACM | February 2020, Vol 63(3)
-
Microsoft MakeCode: Embedded Programming for Education, in Blocks and TypeScript
Thomas Ball, Abhijith Chatra, Peli de Halleux, Steve Hodges, Michal Moskal, Jacqueline Russell
SPLASH-E 2019: Proceedings of the 2019 ACM SIGPLAN Symposium on SPLASH-E | October 2019
Static TypeScript: An Implementation of a Static Compiler for the TypeScript Language
Michal Moskal, Thomas Ball, Peli de Halleux
Managed Programming Languages and Runtimes | October 2019
MakeCode and CODAL: Intuitive and efficient embedded systems programming for education (JSA version)
James Devine, Joe Finney, Peli de Halleux, Michal Moskal, Thomas Ball, Steve Hodges
Journal of Systems Architecture | September 2019, Vol 98: pp. 468-483
MakerArcade: Using Gaming and Physical Computing for Playful Making, Learning, and Creativity
Teddy Seyed, Peli de Halleux, Michal Moskal, James Devine, Joe Finney, Steve Hodges, Thomas Ball
CHI 2019 Extended Abstracts | May 2019
-
MakeCode and CODAL: intuitive and efficient embedded systems programming for education (LCTES version)
James Devine, Joe Finney, 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
-
Beyond Open Source: The TouchDevelop Cloud-based Integrated Development Environment
Sebastian Burckhardt, Michal Moskal, Jonathan Protzenko, Nikolai Tillmann, Thomas Ball, Peli de Halleux
In Proceedings of 2nd ACM International Conference on Mobile Software Engineering and Systems (MOBILESoft) | May 2015
Towards AST-based Collaborative Editing
Sebastian Burckhardt, Michal Moskal
MSR-TR-2015-17 | February 2015
-
Beyond Open Source: The TouchDevelop Cloud-based Integrated Development Environment
Thomas Ball, Sebastian Burckhardt, Peli de Halleux, Michal Moskal, Nikolai Tillmann
MSR-TR-2014-127 | September 2014
Tutorial: Create Rich Mobile Apps on Touch Devices
Nikolai Tillmann, Michal Moskal, 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
Beyond Open Source: The TouchDevelop Cloud-based Integrated Development and Runtime Environment
Thomas Ball, Sebastian Burckhardt, Jonathan de Halleux, Michal Moskal, Nikolai Tillmann, Peli de Halleux, Thomas Ball
MSR-TR-2014-63 | May 2014
-
Co-Induction Simply: Automatic Co-Inductive Proofs in a Program Verifier
Rustan Leino, Michal Moskal
MSR-TR-2013-49 | July 2013
It’s Alive! Continuous Feedback in UI Programming
Sebastian Burckhardt, Manuel Fahndrich, Peli de Halleux, Sean McDirmid, Michal Moskal, Nikolai Tillmann
PLDI | June 2013
PLDI
-
TouchDevelop — App Development on Mobile Devices
Nikolai Tillmann, Michal Moskal, Manuel Fahndrich, Sebastian Burckhardt, Peli de Halleux
Proc. 20th International Symposium on Foundations of Software Engineering (FSE 2012), Demonstration | November 2012
Proc. 20th International Symposium on Foundations of Software Engineering (FSE 2012), Demonstration
-
Code Similarity in TouchDevelop: Harnessing Clones
Nikolai Tillmann, Manuel Fahndrich, Michal Moskal, Peli de Halleux
MSR-TR-2011-103 | September 2011
Transparent Privacy Control via Static Information Flow Analysis
Nikolai Tillmann, Manuel Fahndrich, Peli de Halleux, Michal Moskal
MSR-TR-2011-93 | August 2011
TouchDevelop – Programming Cloud-Connected Mobile Devices via Touchscreen
Michal Moskal, Nikolai Tillmann, Manuel Fahndrich, Peli de Halleux
MSR-TR-2011-49 | April 2011
TouchDevelop: programming cloud-connected mobile devices via touchscreen
Nikolai Tillmann, Michal Moskal, Manuel Fahndrich, Peli de Halleux
Proceedings of the 10th SIGPLAN symposium on New ideas, new paradigms, and reflections on programming and software | January 2011
Proceedings of the 10th SIGPLAN symposium on New ideas, new paradigms, and reflections on programming and software
ISBN: 978-1-4503-0941-7
-
Evidential Authorization
Andreas Blass, Yuri Gurevich, Michal Moskal, Itay Neeman
The Future of Software Engineering | Published by Springer | 2010
The Unthinkable: Automated Theorem Provers for (Tracing) Just-in-time Compilers
Nikolai Tillmann, Michal Moskal, Wolfram Schulte, Herman Venter, Manuel Fahndrich
FIT at PLDI'10 | May 2010
FIT at PLDI'10
HOL-Boogie — An Interactive Prover-Backend for the Verifying C Compiler
Sascha Bohme, Michal Moskal, Wolfram Schulte, Burkhart Wolff
Journal of Automated Reasoning | February 2010
Local Verification of Global Invariants in Concurrent Programs
Ernie Cohen, Michal Moskal, Wolfram Schulte, Stephan Tobies
Computer Aided Verification, 22st International Conference, CAV 20010 | January 2010
Computer Aided Verification, 22st International Conference, CAV 20010
-
VCC: Contract-based modular verification of concurrent C
Markus Dahlweid, Michal Moskal, Thomas Santen, Stephan Tobies, Wolfram Schulte
ICSE Companion | May 2009
ICSE Companion
ISBN: 978-1-4244-3494-7
[old] A Practical Verification Methodology for Concurrent Programs
Michal Moskal, Wolfram Schulte
MSR-TR-2009-16159 | February 2009
A Practical Verification Methodology for Concurrent Programs
Michal Moskal, Wolfram Schulte, Ernie Cohen, Stephan Tobies
MSR-TR-2009-2019 | February 2009
VCC: A Practical System for Verifying Concurrent C
Michal Moskal, Thomas Santen, Wolfram Schulte
Theorem Proving in Higher Order Logics, 22nd International Conference, TPHOLs 2009 | January 2009
Theorem Proving in Higher Order Logics, 22nd International Conference, TPHOLs 2009
ISBN: 978-3-642-03358-2
Publications by Research Area
-
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, Peli de Halleux, James Devine, Michal Moskal
23rd annual ACM Interaction Design and Children (IDC) Conference | June 2024
Plug-and-play Physical Computing with Jacdac
James Devine, Michal Moskal, 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, Vol 6(3)
Rethinking the Runway: Using Avant-Garde Fashion To Design a System for Wearables
Teddy Seyed, James Devine, Joe Finney, Michal Moskal, Peli de Halleux, Steve Hodges, Thomas Ball, Asta Roseway
Proceedings of the 2021 CHI Conference on Human Factors in Computing Systems (CHI '21) | May 2021
Honorable mention
The BBC micro:bit: from the U.K. to the world
Jonny Austin, Howard Baker, Thomas Ball, James Devine, Joe Finney, Peli de Halleux, Steve Hodges, Michal Moskal, Gareth Stockdale
Communications of the ACM | February 2020, Vol 63(3)
MakeCode and CODAL: Intuitive and efficient embedded systems programming for education (JSA version)
James Devine, Joe Finney, Peli de Halleux, Michal Moskal, Thomas Ball, Steve Hodges
Journal of Systems Architecture | September 2019, Vol 98: pp. 468-483
MakerArcade: Using Gaming and Physical Computing for Playful Making, Learning, and Creativity
Teddy Seyed, Peli de Halleux, Michal Moskal, James Devine, Joe Finney, Steve Hodges, Thomas Ball
CHI 2019 Extended Abstracts | May 2019
MakeCode and CODAL: intuitive and efficient embedded systems programming for education (LCTES version)
James Devine, Joe Finney, 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
TouchDevelop — App Development on Mobile Devices
Nikolai Tillmann, Michal Moskal, Manuel Fahndrich, Sebastian Burckhardt, Peli de Halleux
Proc. 20th International Symposium on Foundations of Software Engineering (FSE 2012), Demonstration | November 2012
Proc. 20th International Symposium on Foundations of Software Engineering (FSE 2012), Demonstration
Transparent Privacy Control via Static Information Flow Analysis
Nikolai Tillmann, Manuel Fahndrich, Peli de Halleux, Michal Moskal
MSR-TR-2011-93 | August 2011
TouchDevelop – Programming Cloud-Connected Mobile Devices via Touchscreen
Michal Moskal, Nikolai Tillmann, Manuel Fahndrich, Peli de Halleux
MSR-TR-2011-49 | April 2011
-
Jacdac: Service-Based Prototyping of Embedded Systems
Thomas Ball, Peli de Halleux, James Devine, Steve Hodges, Michal Moskal
Programming Language Design and Implementation (PLDI) | June 2024
Jacdac: Service-based Prototyping of Embedded Systems
Thomas Ball, Peli de Halleux, James Devine, Steve Hodges, Michal Moskal
MSR-TR-2023-4 | January 2023
Published by Microsoft
Plug-and-play Physical Computing with Jacdac
James Devine, Michal Moskal, 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, Vol 6(3)
Web-based Programming for Low-cost Gaming Handhelds
Michal Moskal, 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
The BBC micro:bit: from the U.K. to the world
Jonny Austin, Howard Baker, Thomas Ball, James Devine, Joe Finney, Peli de Halleux, Steve Hodges, Michal Moskal, Gareth Stockdale
Communications of the ACM | February 2020, Vol 63(3)
Microsoft MakeCode: Embedded Programming for Education, in Blocks and TypeScript
Thomas Ball, Abhijith Chatra, Peli de Halleux, Steve Hodges, Michal Moskal, Jacqueline Russell
SPLASH-E 2019: Proceedings of the 2019 ACM SIGPLAN Symposium on SPLASH-E | October 2019
Static TypeScript: An Implementation of a Static Compiler for the TypeScript Language
Michal Moskal, Thomas Ball, Peli de Halleux
Managed Programming Languages and Runtimes | October 2019
MakeCode and CODAL: Intuitive and efficient embedded systems programming for education (JSA version)
James Devine, Joe Finney, Peli de Halleux, Michal Moskal, Thomas Ball, Steve Hodges
Journal of Systems Architecture | September 2019, Vol 98: pp. 468-483
MakerArcade: Using Gaming and Physical Computing for Playful Making, Learning, and Creativity
Teddy Seyed, Peli de Halleux, Michal Moskal, James Devine, Joe Finney, Steve Hodges, Thomas Ball
CHI 2019 Extended Abstracts | May 2019
MakeCode and CODAL: intuitive and efficient embedded systems programming for education (LCTES version)
James Devine, Joe Finney, 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
Beyond Open Source: The TouchDevelop Cloud-based Integrated Development Environment
Sebastian Burckhardt, Michal Moskal, Jonathan Protzenko, Nikolai Tillmann, Thomas Ball, Peli de Halleux
In Proceedings of 2nd ACM International Conference on Mobile Software Engineering and Systems (MOBILESoft) | May 2015
Towards AST-based Collaborative Editing
Sebastian Burckhardt, Michal Moskal
MSR-TR-2015-17 | February 2015
Beyond Open Source: The TouchDevelop Cloud-based Integrated Development Environment
Thomas Ball, Sebastian Burckhardt, Peli de Halleux, Michal Moskal, Nikolai Tillmann
MSR-TR-2014-127 | September 2014
Tutorial: Create Rich Mobile Apps on Touch Devices
Nikolai Tillmann, Michal Moskal, 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
Beyond Open Source: The TouchDevelop Cloud-based Integrated Development and Runtime Environment
Thomas Ball, Sebastian Burckhardt, Jonathan de Halleux, Michal Moskal, Nikolai Tillmann, Peli de Halleux, Thomas Ball
MSR-TR-2014-63 | May 2014
Co-Induction Simply: Automatic Co-Inductive Proofs in a Program Verifier
Rustan Leino, Michal Moskal
MSR-TR-2013-49 | July 2013
It’s Alive! Continuous Feedback in UI Programming
Sebastian Burckhardt, Manuel Fahndrich, Peli de Halleux, Sean McDirmid, Michal Moskal, Nikolai Tillmann
PLDI | June 2013
PLDI
TouchDevelop — App Development on Mobile Devices
Nikolai Tillmann, Michal Moskal, Manuel Fahndrich, Sebastian Burckhardt, Peli de Halleux
Proc. 20th International Symposium on Foundations of Software Engineering (FSE 2012), Demonstration | November 2012
Proc. 20th International Symposium on Foundations of Software Engineering (FSE 2012), Demonstration
Code Similarity in TouchDevelop: Harnessing Clones
Nikolai Tillmann, Manuel Fahndrich, Michal Moskal, Peli de Halleux
MSR-TR-2011-103 | September 2011
Transparent Privacy Control via Static Information Flow Analysis
Nikolai Tillmann, Manuel Fahndrich, Peli de Halleux, Michal Moskal
MSR-TR-2011-93 | August 2011
TouchDevelop – Programming Cloud-Connected Mobile Devices via Touchscreen
Michal Moskal, Nikolai Tillmann, Manuel Fahndrich, Peli de Halleux
MSR-TR-2011-49 | April 2011
TouchDevelop: programming cloud-connected mobile devices via touchscreen
Nikolai Tillmann, Michal Moskal, Manuel Fahndrich, Peli de Halleux
Proceedings of the 10th SIGPLAN symposium on New ideas, new paradigms, and reflections on programming and software | January 2011
Proceedings of the 10th SIGPLAN symposium on New ideas, new paradigms, and reflections on programming and software
ISBN: 978-1-4503-0941-7
Evidential Authorization
Andreas Blass, Yuri Gurevich, Michal Moskal, Itay Neeman
The Future of Software Engineering | Published by Springer | 2010
The Unthinkable: Automated Theorem Provers for (Tracing) Just-in-time Compilers
Nikolai Tillmann, Michal Moskal, Wolfram Schulte, Herman Venter, Manuel Fahndrich
FIT at PLDI'10 | May 2010
FIT at PLDI'10
HOL-Boogie — An Interactive Prover-Backend for the Verifying C Compiler
Sascha Bohme, Michal Moskal, Wolfram Schulte, Burkhart Wolff
Journal of Automated Reasoning | February 2010
Local Verification of Global Invariants in Concurrent Programs
Ernie Cohen, Michal Moskal, Wolfram Schulte, Stephan Tobies
Computer Aided Verification, 22st International Conference, CAV 20010 | January 2010
Computer Aided Verification, 22st International Conference, CAV 20010
VCC: Contract-based modular verification of concurrent C
Markus Dahlweid, Michal Moskal, Thomas Santen, Stephan Tobies, Wolfram Schulte
ICSE Companion | May 2009
ICSE Companion
ISBN: 978-1-4244-3494-7
[old] A Practical Verification Methodology for Concurrent Programs
Michal Moskal, Wolfram Schulte
MSR-TR-2009-16159 | February 2009
A Practical Verification Methodology for Concurrent Programs
Michal Moskal, Wolfram Schulte, Ernie Cohen, Stephan Tobies
MSR-TR-2009-2019 | February 2009
VCC: A Practical System for Verifying Concurrent C
Michal Moskal, Thomas Santen, Wolfram Schulte
Theorem Proving in Higher Order Logics, 22nd International Conference, TPHOLs 2009 | January 2009
Theorem Proving in Higher Order Logics, 22nd International Conference, TPHOLs 2009
ISBN: 978-3-642-03358-2
-
Jacdac: Service-based Prototyping of Embedded Systems
Thomas Ball, Peli de Halleux, James Devine, Steve Hodges, Michal Moskal
MSR-TR-2023-4 | January 2023
Published by Microsoft
Plug-and-play Physical Computing with Jacdac
James Devine, Michal Moskal, 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, Vol 6(3)
Web-based Programming for Low-cost Gaming Handhelds
Michal Moskal, 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
Rethinking the Runway: Using Avant-Garde Fashion To Design a System for Wearables
Teddy Seyed, James Devine, Joe Finney, Michal Moskal, Peli de Halleux, Steve Hodges, Thomas Ball, Asta Roseway
Proceedings of the 2021 CHI Conference on Human Factors in Computing Systems (CHI '21) | May 2021
Honorable mention
The BBC micro:bit: from the U.K. to the world
Jonny Austin, Howard Baker, Thomas Ball, James Devine, Joe Finney, Peli de Halleux, Steve Hodges, Michal Moskal, Gareth Stockdale
Communications of the ACM | February 2020, Vol 63(3)
Microsoft MakeCode: Embedded Programming for Education, in Blocks and TypeScript
Thomas Ball, Abhijith Chatra, Peli de Halleux, Steve Hodges, Michal Moskal, Jacqueline Russell
SPLASH-E 2019: Proceedings of the 2019 ACM SIGPLAN Symposium on SPLASH-E | October 2019
Static TypeScript: An Implementation of a Static Compiler for the TypeScript Language
Michal Moskal, Thomas Ball, Peli de Halleux
Managed Programming Languages and Runtimes | October 2019
MakeCode and CODAL: Intuitive and efficient embedded systems programming for education (JSA version)
James Devine, Joe Finney, Peli de Halleux, Michal Moskal, Thomas Ball, Steve Hodges
Journal of Systems Architecture | September 2019, Vol 98: pp. 468-483
MakerArcade: Using Gaming and Physical Computing for Playful Making, Learning, and Creativity
Teddy Seyed, Peli de Halleux, Michal Moskal, James Devine, Joe Finney, Steve Hodges, Thomas Ball
CHI 2019 Extended Abstracts | May 2019
MakeCode and CODAL: intuitive and efficient embedded systems programming for education (LCTES version)
James Devine, Joe Finney, 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
-
Transparent Privacy Control via Static Information Flow Analysis
Nikolai Tillmann, Manuel Fahndrich, Peli de Halleux, Michal Moskal
MSR-TR-2011-93 | August 2011
Publications by Type
-
Jacdac: Service-Based Prototyping of Embedded Systems
Thomas Ball, Peli de Halleux, James Devine, Steve Hodges, Michal Moskal
Programming Language Design and Implementation (PLDI) | June 2024
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, Peli de Halleux, James Devine, Michal Moskal
23rd annual ACM Interaction Design and Children (IDC) Conference | June 2024
Web-based Programming for Low-cost Gaming Handhelds
Michal Moskal, 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
Rethinking the Runway: Using Avant-Garde Fashion To Design a System for Wearables
Teddy Seyed, James Devine, Joe Finney, Michal Moskal, Peli de Halleux, Steve Hodges, Thomas Ball, Asta Roseway
Proceedings of the 2021 CHI Conference on Human Factors in Computing Systems (CHI '21) | May 2021
Honorable mention
Microsoft MakeCode: Embedded Programming for Education, in Blocks and TypeScript
Thomas Ball, Abhijith Chatra, Peli de Halleux, Steve Hodges, Michal Moskal, Jacqueline Russell
SPLASH-E 2019: Proceedings of the 2019 ACM SIGPLAN Symposium on SPLASH-E | October 2019
Static TypeScript: An Implementation of a Static Compiler for the TypeScript Language
Michal Moskal, Thomas Ball, Peli de Halleux
Managed Programming Languages and Runtimes | October 2019
MakerArcade: Using Gaming and Physical Computing for Playful Making, Learning, and Creativity
Teddy Seyed, Peli de Halleux, Michal Moskal, James Devine, Joe Finney, Steve Hodges, Thomas Ball
CHI 2019 Extended Abstracts | May 2019
MakeCode and CODAL: intuitive and efficient embedded systems programming for education (LCTES version)
James Devine, Joe Finney, 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
Beyond Open Source: The TouchDevelop Cloud-based Integrated Development Environment
Sebastian Burckhardt, Michal Moskal, Jonathan Protzenko, Nikolai Tillmann, Thomas Ball, Peli de Halleux
In Proceedings of 2nd ACM International Conference on Mobile Software Engineering and Systems (MOBILESoft) | May 2015
Tutorial: Create Rich Mobile Apps on Touch Devices
Nikolai Tillmann, Michal Moskal, 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
It’s Alive! Continuous Feedback in UI Programming
Sebastian Burckhardt, Manuel Fahndrich, Peli de Halleux, Sean McDirmid, Michal Moskal, Nikolai Tillmann
PLDI | June 2013
PLDI
TouchDevelop — App Development on Mobile Devices
Nikolai Tillmann, Michal Moskal, Manuel Fahndrich, Sebastian Burckhardt, Peli de Halleux
Proc. 20th International Symposium on Foundations of Software Engineering (FSE 2012), Demonstration | November 2012
Proc. 20th International Symposium on Foundations of Software Engineering (FSE 2012), Demonstration
TouchDevelop: programming cloud-connected mobile devices via touchscreen
Nikolai Tillmann, Michal Moskal, Manuel Fahndrich, Peli de Halleux
Proceedings of the 10th SIGPLAN symposium on New ideas, new paradigms, and reflections on programming and software | January 2011
Proceedings of the 10th SIGPLAN symposium on New ideas, new paradigms, and reflections on programming and software
ISBN: 978-1-4503-0941-7
The Unthinkable: Automated Theorem Provers for (Tracing) Just-in-time Compilers
Nikolai Tillmann, Michal Moskal, Wolfram Schulte, Herman Venter, Manuel Fahndrich
FIT at PLDI'10 | May 2010
FIT at PLDI'10
Local Verification of Global Invariants in Concurrent Programs
Ernie Cohen, Michal Moskal, Wolfram Schulte, Stephan Tobies
Computer Aided Verification, 22st International Conference, CAV 20010 | January 2010
Computer Aided Verification, 22st International Conference, CAV 20010
VCC: Contract-based modular verification of concurrent C
Markus Dahlweid, Michal Moskal, Thomas Santen, Stephan Tobies, Wolfram Schulte
ICSE Companion | May 2009
ICSE Companion
ISBN: 978-1-4244-3494-7
VCC: A Practical System for Verifying Concurrent C
Michal Moskal, Thomas Santen, Wolfram Schulte
Theorem Proving in Higher Order Logics, 22nd International Conference, TPHOLs 2009 | January 2009
Theorem Proving in Higher Order Logics, 22nd International Conference, TPHOLs 2009
ISBN: 978-3-642-03358-2
-
Jacdac: Service-based Prototyping of Embedded Systems
Thomas Ball, Peli de Halleux, James Devine, Steve Hodges, Michal Moskal
MSR-TR-2023-4 | January 2023
Published by Microsoft
Towards AST-based Collaborative Editing
Sebastian Burckhardt, Michal Moskal
MSR-TR-2015-17 | February 2015
Beyond Open Source: The TouchDevelop Cloud-based Integrated Development Environment
Thomas Ball, Sebastian Burckhardt, Peli de Halleux, Michal Moskal, Nikolai Tillmann
MSR-TR-2014-127 | September 2014
Beyond Open Source: The TouchDevelop Cloud-based Integrated Development and Runtime Environment
Thomas Ball, Sebastian Burckhardt, Jonathan de Halleux, Michal Moskal, Nikolai Tillmann, Peli de Halleux, Thomas Ball
MSR-TR-2014-63 | May 2014
Co-Induction Simply: Automatic Co-Inductive Proofs in a Program Verifier
Rustan Leino, Michal Moskal
MSR-TR-2013-49 | July 2013
Code Similarity in TouchDevelop: Harnessing Clones
Nikolai Tillmann, Manuel Fahndrich, Michal Moskal, Peli de Halleux
MSR-TR-2011-103 | September 2011
Transparent Privacy Control via Static Information Flow Analysis
Nikolai Tillmann, Manuel Fahndrich, Peli de Halleux, Michal Moskal
MSR-TR-2011-93 | August 2011
TouchDevelop – Programming Cloud-Connected Mobile Devices via Touchscreen
Michal Moskal, Nikolai Tillmann, Manuel Fahndrich, Peli de Halleux
MSR-TR-2011-49 | April 2011
[old] A Practical Verification Methodology for Concurrent Programs
Michal Moskal, Wolfram Schulte
MSR-TR-2009-16159 | February 2009
A Practical Verification Methodology for Concurrent Programs
Michal Moskal, Wolfram Schulte, Ernie Cohen, Stephan Tobies
MSR-TR-2009-2019 | February 2009
-
Plug-and-play Physical Computing with Jacdac
James Devine, Michal Moskal, 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, Vol 6(3)
The BBC micro:bit: from the U.K. to the world
Jonny Austin, Howard Baker, Thomas Ball, James Devine, Joe Finney, Peli de Halleux, Steve Hodges, Michal Moskal, Gareth Stockdale
Communications of the ACM | February 2020, Vol 63(3)
MakeCode and CODAL: Intuitive and efficient embedded systems programming for education (JSA version)
James Devine, Joe Finney, Peli de Halleux, Michal Moskal, Thomas Ball, Steve Hodges
Journal of Systems Architecture | September 2019, Vol 98: pp. 468-483
HOL-Boogie — An Interactive Prover-Backend for the Verifying C Compiler
Sascha Bohme, Michal Moskal, Wolfram Schulte, Burkhart Wolff
Journal of Automated Reasoning | February 2010
-
Evidential Authorization
Andreas Blass, Yuri Gurevich, Michal Moskal, Itay Neeman
The Future of Software Engineering | Published by Springer | 2010