Michal Moskal

According to our database, Michal Moskal authored at least 44 papers between 2007 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of two.

2022

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

Proc. ACM Interact. Mob. Wearable Ubiquitous Technol., 2022

2021

Web-based Programming for Low-cost Gaming Handhelds.

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

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.

Teddy Seyed, James Devine, Joe Finney, Michal Moskal, Peli de Halleux, Steve Hodges, Thomas Ball, Asta Roseway

Proceedings of the CHI '21: CHI Conference on Human Factors in Computing Systems, 2021

2020

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

Commun. ACM, 2020

2019

MakeCode and CODAL: Intuitive and efficient embedded systems programming for education.

James Devine, Joe Finney, Peli de Halleux, Michal Moskal, Thomas Ball, Steve Hodges

J. Syst. Archit., 2019

Microsoft MakeCode: embedded programming for education, in blocks and TypeScript.

Thomas Ball, Abhijith Chatra, Peli de Halleux, Steve Hodges, Michal Moskal, Jacqueline Russell

Proceedings of the SPLASH-E '19, 2019

Static TypeScript: an implementation of a static compiler for the TypeScript language.

Thomas Ball, Peli de Halleux, Michal Moskal

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.

Teddy Seyed, Peli de Halleux, Michal Moskal, James Devine, Joe Finney, Steve Hodges, Thomas Ball

Proceedings of the Extended Abstracts of the 2019 CHI Conference on Human Factors in Computing Systems, 2019

2018

A System-General Model for the Detection of Gaming the System Behavior in CTAT and LearnSphere.

Luc Paquette, Ryan S. Baker, Michal Moskal

Proceedings of the Artificial Intelligence in Education - 19th International Conference, 2018

2016

Microsoft touch develop and the BBC micro: bit.

Thomas Ball, Jonathan Protzenko, Judith Bishop, Michal Moskal, Jonathan de Halleux, Michael Braun, Steve Hodges, Clare Riley

Proceedings of the 38th International Conference on Software Engineering, 2016

2015

User-aware privacy control via extended static-information-flow analysis.

Xusheng Xiao, Nikolai Tillmann, Manuel Fähndrich, Jonathan de Halleux, Michal Moskal, Tao Xie

Autom. Softw. Eng., 2015

Implementing real-time collaboration in TouchDevelop using AST merges.

Jonathan Protzenko, Sebastian Burckhardt, Michal Moskal, Jedidiah McClurg

Proceedings of the 3rd International Workshop on Mobile Development Lifecycle, 2015

Beyond Open Source: The Touch Develop Cloud-Based Integrated Development Environment.

Thomas Ball, Sebastian Burckhardt, Jonathan de Halleux, Michal Moskal, Jonathan Protzenko, Nikolai Tillmann

Proceedings of the 2nd ACM International Conference on Mobile Software Engineering and Systems, 2015

2014

TouchDevelop: create rich mobile apps on touch devices (tutorial).

Nikolai Tillmann, Michal Moskal, Jonathan de Halleux, Sebastian Burckhardt, Thomas Ball, Judith Bishop

Proceedings of the 1st International Conference on Mobile Software Engineering and Systems, 2014

Exposing native device APIs to web apps.

Arno Puder, Nikolai Tillmann, Michal Moskal

Proceedings of the 1st International Conference on Mobile Software Engineering and Systems, 2014

Refactoring local to cloud data types for mobile apps.

Michael Hilton, Arpit Christi, Danny Dig, Michal Moskal, Sebastian Burckhardt, Nikolai Tillmann

Proceedings of the 1st International Conference on Mobile Software Engineering and Systems, 2014

Co-induction Simply - Automatic Co-inductive Proofs in a Program Verifier.

K. Rustan M. Leino, Michal Moskal

Proceedings of the FM 2014: Formal Methods, 2014

Addressing JavaScript JIT Engines Performance Quirks: A Crowdsourced Adaptive Compiler.

Rafael Auler, Edson Borin, Peli de Halleux, Michal Moskal, Nikolai Tillmann

Proceedings of the Compiler Construction - 23rd International Conference, 2014

2013

It's alive! continuous feedback in UI programming.

Sebastian Burckhardt, Manuel Fähndrich, Peli de Halleux, Sean McDirmid, Michal Moskal, Nikolai Tillmann, Jun Kato

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2013

2012

Verifying Implementations of Security Protocols by Refinement.

Nadia Polikarpova, Michal Moskal

Proceedings of the Verified Software: Theories, Tools, Experiments, 2012

TouchDevelop: app development on mobile devices.

Nikolai Tillmann, Michal Moskal, Jonathan de Halleux, Manuel Fähndrich, Sebastian Burckhardt

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).

Nikolai Tillmann, Michal Moskal, Jonathan de Halleux, Manuel Fähndrich, Tao Xie

Proceedings of the 43rd ACM technical symposium on Computer science education, 2012

User-aware privacy control via extended static-information-flow analysis.

Xusheng Xiao, Nikolai Tillmann, Manuel Fähndrich, Jonathan de Halleux, Michal Moskal

Proceedings of the IEEE/ACM International Conference on Automated Software Engineering, 2012

The future of teaching programming is on mobile devices.

Nikolai Tillmann, Michal Moskal, Jonathan de Halleux, Manuel Fähndrich, Judith Bishop, Arjmand Samuel, Tao Xie

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.

Nikolai Tillmann, Michal Moskal, Jonathan de Halleux, Manuel Fähndrich, Tao Xie

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.

Michal Moskal

Proceedings of the Computer Aided Verification - 24th International Conference, 2012

2011

The Boogie Verification Debugger (Tool Paper).

Claire Le Goues, K. Rustan M. Leino, Michal Moskal

Proceedings of the Software Engineering and Formal Methods - 9th International Conference, 2011

TouchDevelop: programming cloud-connected mobile devices via touchscreen.

Nikolai Tillmann, Michal Moskal, Jonathan de Halleux, Manuel Fähndrich

Proceedings of the ACM Symposium on New Ideas in Programming and Reflections on Software, 2011

Verifying Functional Correctness of C Programs with VCC.

Michal Moskal

Proceedings of the NASA Formal Methods, 2011

The role of information fusion in providing analytical rigor for intelligence analysis.

Michal Moskal, Moises Sudit, Kedar Sambhoos

Proceedings of the 14th International Conference on Information Fusion, 2011

Heaps and Data Structures: A Challenge for Automated Provers.

Sascha Böhme, Michal Moskal

Proceedings of the Automated Deduction - CADE-23 - 23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31, 2011

2010

Deductive Verification of System Software in the Verisoft XT Project.

Bernhard Beckert, Michal Moskal

Künstliche Intell., 2010

HOL-Boogie - An Interactive Prover-Backend for the Verifying C Compiler.

Sascha Böhme, Michal Moskal, Wolfram Schulte, Burkhart Wolff

J. Autom. Reason., 2010

Local Verification of Global Invariants in Concurrent Programs.

Ernie Cohen, Michal Moskal, Wolfram Schulte, Stephan Tobies

Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

Evidential Authorization.

Andreas Blass, Yuri Gurevich, Michal Moskal, Itay Neeman

Proceedings of the Future of Software Engineering., 2010

2009

A Precise Yet Efficient Memory Model For C.

Ernie Cohen, Michal Moskal, Stephan Tobies, Wolfram Schulte

Proceedings of the 4th International Workshop on Systems Software Verification, 2009

VCC: A Practical System for Verifying Concurrent C.

Ernie Cohen, Markus Dahlweid, Mark A. Hillebrand, Dirk Leinenbach, Michal Moskal, Thomas Santen, Wolfram Schulte, Stephan Tobies

Proceedings of the Theorem Proving in Higher Order Logics, 22nd International Conference, 2009

VCC: Contract-based modular verification of concurrent C.

Markus Dahlweid, Michal Moskal, Thomas Santen, Stephan Tobies, Wolfram Schulte

Proceedings of the 31st International Conference on Software Engineering, 2009

Invariants, Modularity, and Rights.

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

Proceedings of the Perspectives of Systems Informatics, 2009

2008

Rocket-Fast Proof Checking for SMT Solvers.

Michal Moskal

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.

Stefan Maus, Michal Moskal, Wolfram Schulte

Proceedings of the Algebraic Methodology and Software Technology, 2008

2007

E-matching for Fun and Profit.

Michal Moskal, Jakub Lopuszanski, Joseph R. Kiniry

Proceedings of the 5th International Workshop on Satisfiability Modulo Theories, 2007

Edit and verify

Radu Grigore, Michal Moskal

CoRR, 2007

Reachability analysis for annotated code.

Mikolás Janota, Radu Grigore, Michal Moskal

Proceedings of the 2007 Conference Specification and Verification of Component-Based Systems, 2007