Michal Moskal

Publication Activity (10 Years)

Years Active: 2007-2024
Publications (10 Years): 15

Top Topics

Programming Tool

Embedded Systems

Top Venues

ICSE (Companion Volume)

J. Syst. Archit.

Publications

James Devine, Steve Hodges, Thomas Ball, Michal Moskal, Peli de Halleux, Gabriele D'Amone, David Gakure, Joe Finney, Lorraine Underwood, Kobi Hartley, Matt Oppenheim, Paul Kos
Plug-and-Play Physical Computing and Device Prototyping with Jacdac. GetMobile Mob. Comput. Commun. 28 (2) (2024)
Kobi Hartley, Elisa Rubegni, Lorraine Underwood, Joe Finney, Thomas Ball, Steve Hodges, Peli de Halleux, James Devine, Eric Anderson, Michal Moskal
Meet MicroCode: a Live and Portable Programming Tool for the BBC micro: bit. IDC (2024)
Thomas Ball, Peli de Halleux, James Devine, Steve Hodges, Michal Moskal
Jacdac: Service-Based Prototyping of Embedded Systems. Proc. ACM Program. Lang. 8 (PLDI) (2024)
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
Plug-and-play Physical Computing with Jacdac. Proc. ACM Interact. Mob. Wearable Ubiquitous Technol. 6 (3) (2022)
Randi Williams, Michal Moskal, Peli de Halleux
ML Blocks: A Block-Based, Graphical User Interface for Creating TinyML Models. VL/HCC (2022)
Teddy Seyed, James Devine, Joe Finney, Michal Moskal, Peli de Halleux, Steve Hodges, Thomas Ball, Asta Roseway
Rethinking the Runway: Using Avant-Garde Fashion To Design a System for Wearables. CHI (2021)
Michal Moskal, Thomas Ball, Abhijith Chatra, James Devine, Peli de Halleux, Steve Hodges, Shannon Kao, Richard Knoll, Galen Nickel, Jacqueline Russell, Joey Wunderlich, Daryl Zuniga
Web-based Programming for Low-cost Gaming Handhelds. FDG (2021)
Jonny Austin, Howard Baker, Thomas Ball, James Devine, Joe Finney, Peli de Halleux, Steve Hodges, Michal Moskal, Gareth Stockdale
The BBC micro: bit: from the U.K. to the world. Commun. ACM 63 (3) (2020)
James Devine, Joe Finney, Peli de Halleux, Michal Moskal, Thomas Ball, Steve Hodges
MakeCode and CODAL: Intuitive and efficient embedded systems programming for education. J. Syst. Archit. 98 (2019)
Thomas Ball, Peli de Halleux, Michal Moskal
Static TypeScript: an implementation of a static compiler for the TypeScript language. MPLR (2019)
Thomas Ball, Abhijith Chatra, Peli de Halleux, Steve Hodges, Michal Moskal, Jacqueline Russell
Microsoft MakeCode: embedded programming for education, in blocks and TypeScript. SPLASH-E (2019)
Teddy Seyed, Peli de Halleux, Michal Moskal, James Devine, Joe Finney, Steve Hodges, Thomas Ball
MakerArcade: Using Gaming and Physical Computing for Playful Making, Learning, and Creativity. CHI Extended Abstracts (2019)
James Devine, Joe Finney, Peli de Halleux, Michal Moskal, Thomas Ball, Steve Hodges
MakeCode and CODAL: intuitive and efficient embedded systems programming for education. LCTES (2018)
Luc Paquette, Ryan S. Baker, Michal Moskal
A System-General Model for the Detection of Gaming the System Behavior in CTAT and LearnSphere. AIED (2) (2018)
Thomas Ball, Jonathan Protzenko, Judith Bishop, Michal Moskal, Jonathan de Halleux, Michael Braun, Steve Hodges, Clare Riley
Microsoft touch develop and the BBC micro: bit. ICSE (Companion Volume) (2016)
Thomas Ball, Sebastian Burckhardt, Jonathan de Halleux, Michal Moskal, Jonathan Protzenko, Nikolai Tillmann
Beyond Open Source: The Touch Develop Cloud-Based Integrated Development Environment. MOBILESoft (2015)
Xusheng Xiao, Nikolai Tillmann, Manuel Fähndrich, Jonathan de Halleux, Michal Moskal, Tao Xie
User-aware privacy control via extended static-information-flow analysis. Autom. Softw. Eng. 22 (3) (2015)
Jonathan Protzenko, Sebastian Burckhardt, Michal Moskal, Jedidiah McClurg
Implementing real-time collaboration in TouchDevelop using AST merges. MobileDeLi (2015)
Arno Puder, Nikolai Tillmann, Michal Moskal
Exposing native device APIs to web apps. MOBILESoft (2014)
Michael Hilton, Arpit Christi, Danny Dig, Michal Moskal, Sebastian Burckhardt, Nikolai Tillmann
Refactoring local to cloud data types for mobile apps. MOBILESoft (2014)
Rafael Auler, Edson Borin, Peli de Halleux, Michal Moskal, Nikolai Tillmann
Addressing JavaScript JIT Engines Performance Quirks: A Crowdsourced Adaptive Compiler. CC (2014)
Nikolai Tillmann, Michal Moskal, Jonathan de Halleux, Sebastian Burckhardt, Thomas Ball, Judith Bishop
TouchDevelop: create rich mobile apps on touch devices (tutorial). MOBILESoft (2014)
K. Rustan M. Leino, Michal Moskal
Co-induction Simply - Automatic Co-inductive Proofs in a Program Verifier. FM (2014)
Sebastian Burckhardt, Manuel Fähndrich, Peli de Halleux, Sean McDirmid, Michal Moskal, Nikolai Tillmann, Jun Kato
It's alive! continuous feedback in UI programming. PLDI (2013)
Nikolai Tillmann, Michal Moskal, Jonathan de Halleux, Manuel Fähndrich, Judith Bishop, Arjmand Samuel, Tao Xie
The future of teaching programming is on mobile devices. ITiCSE (2012)
Nikolai Tillmann, Michal Moskal, Jonathan de Halleux, Manuel Fähndrich, Sebastian Burckhardt
TouchDevelop: app development on mobile devices. SIGSOFT FSE (2012)
Nikolai Tillmann, Michal Moskal, Jonathan de Halleux, Manuel Fähndrich, Tao Xie
Engage Your Students by Teaching Computer Science Using Only Mobile Devices with TouchDevelop. CSEE&T (2012)
Nikolai Tillmann, Michal Moskal, Jonathan de Halleux, Manuel Fähndrich, Tao Xie
Engage your students by teaching programming using only mobile devices with TouchDevelop (abstract only). SIGCSE (2012)
Nadia Polikarpova, Michal Moskal
Verifying Implementations of Security Protocols by Refinement. VSTTE (2012)
Michal Moskal
From C to Infinity and Back: Unbounded Auto-active Verification with VCC. CAV (2012)
Xusheng Xiao, Nikolai Tillmann, Manuel Fähndrich, Jonathan de Halleux, Michal Moskal
User-aware privacy control via extended static-information-flow analysis. ASE (2012)
Claire Le Goues, K. Rustan M. Leino, Michal Moskal
The Boogie Verification Debugger (Tool Paper). SEFM (2011)
Michal Moskal, Moises Sudit, Kedar Sambhoos
The role of information fusion in providing analytical rigor for intelligence analysis. FUSION (2011)
Michal Moskal
Verifying Functional Correctness of C Programs with VCC. NASA Formal Methods (2011)
Nikolai Tillmann, Michal Moskal, Jonathan de Halleux, Manuel Fähndrich
TouchDevelop: programming cloud-connected mobile devices via touchscreen. Onward! (2011)
Sascha Böhme, Michal Moskal
Heaps and Data Structures: A Challenge for Automated Provers. CADE (2011)
Andreas Blass, Yuri Gurevich, Michal Moskal, Itay Neeman
Evidential Authorization. The Future of Software Engineering (2010)
Ernie Cohen, Michal Moskal, Wolfram Schulte, Stephan Tobies
Local Verification of Global Invariants in Concurrent Programs. CAV (2010)
Sascha Böhme, Michal Moskal, Wolfram Schulte, Burkhart Wolff
HOL-Boogie - An Interactive Prover-Backend for the Verifying C Compiler. J. Autom. Reason. 44 (1-2) (2010)
Bernhard Beckert, Michal Moskal
Deductive Verification of System Software in the Verisoft XT Project. Künstliche Intell. 24 (1) (2010)
Ernie Cohen, Markus Dahlweid, Mark A. Hillebrand, Dirk Leinenbach, Michal Moskal, Thomas Santen, Wolfram Schulte, Stephan Tobies
VCC: A Practical System for Verifying Concurrent C. TPHOLs (2009)
Markus Dahlweid, Michal Moskal, Thomas Santen, Stephan Tobies, Wolfram Schulte
VCC: Contract-based modular verification of concurrent C. ICSE Companion (2009)
Ernie Cohen, Michal Moskal, Stephan Tobies, Wolfram Schulte
A Precise Yet Efficient Memory Model For C. Electron. Notes Theor. Comput. Sci. 254 (2009)
Ernie Cohen, Eyad Alkassar, Vladimir Boyarinov, Markus Dahlweid, Ulan Degenbaev, Mark A. Hillebrand, Bruno Langenstein, Dirk Leinenbach, Michal Moskal, Steven Obua, Wolfgang J. Paul, Hristo Pentchev, Elena Petrova, Thomas Santen, Norbert Schirmer, Sabine Schmaltz, Wolfram Schulte, Andrey Shadrin, Stephan Tobies, Alexandra Tsyban, Sergey Tverdyshev
Invariants, Modularity, and Rights. Ershov Memorial Conference (2009)
Stefan Maus, Michal Moskal, Wolfram Schulte
Vx86: x86 Assembler Simulated in C Powered by Automated Theorem Proving. AMAST (2008)
Michal Moskal, Jakub Lopuszanski, Joseph R. Kiniry
E-matching for Fun and Profit. Electron. Notes Theor. Comput. Sci. 198 (2) (2008)
Michal Moskal
Rocket-Fast Proof Checking for SMT Solvers. TACAS (2008)
Radu Grigore, Michal Moskal
Edit and verify CoRR (2007)
Mikolás Janota, Radu Grigore, Michal Moskal
Reachability analysis for annotated code. SAVCBS (2007)