Michal Moskal
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
23
Venues
15
Active years
2008–2021
Best venue rank
A*
Where they publish
Papers
23 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | CHI | 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 |
| 2021 | FDG | 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 |
| 2019 | CHI | 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 |
| 2018 | AIED | A System-General Model for the Detection of Gaming the System Behavior in CTAT and LearnSphere. | Luc Paquette, Ryan S. Baker, Michal Moskal |
| 2016 | ICSE | 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 |
| 2015 | ICSE | Beyond Open Source: The Touch Develop Cloud-Based Integrated Development Environment. | Thomas Ball, Sebastian Burckhardt, Jonathan de Halleux, Michal Moskal, Jonathan Protzenko, Nikolai Tillmann |
| 2015 | OOPSLA | Implementing real-time collaboration in TouchDevelop using AST merges. | Jonathan Protzenko, Sebastian Burckhardt, Michal Moskal, Jedidiah McClurg |
| 2014 | CC | Addressing JavaScript JIT Engines Performance Quirks: A Crowdsourced Adaptive Compiler. | Rafael Auler, Edson Borin, Peli de Halleux, Michal Moskal, Nikolai Tillmann |
| 2014 | FM | Co-induction Simply - Automatic Co-inductive Proofs in a Program Verifier. | K. Rustan M. Leino, Michal Moskal |
| 2014 | ICSE | Refactoring local to cloud data types for mobile apps. | Michael Hilton, Arpit Christi, Danny Dig, Michal Moskal, Sebastian Burckhardt, Nikolai Tillmann |
| 2014 | ICSE | Exposing native device APIs to web apps. | Arno Puder, Nikolai Tillmann, Michal Moskal |
| 2014 | ICSE | TouchDevelop: create rich mobile apps on touch devices (tutorial). | Nikolai Tillmann, Michal Moskal, Jonathan de Halleux, Sebastian Burckhardt, Thomas Ball, Judith Bishop |
| 2013 | PLDI | It's alive! continuous feedback in UI programming. | Sebastian Burckhardt, Manuel Fhndrich, Peli de Halleux, Sean McDirmid, Michal Moskal, Nikolai Tillmann, Jun Kato |
| 2012 | CAV | From C to Infinity and Back: Unbounded Auto-active Verification with VCC. | Michal Moskal |
| 2012 | ITiCSE | The future of teaching programming is on mobile devices. | Nikolai Tillmann, Michal Moskal, Jonathan de Halleux, Manuel Fhndrich, Judith Bishop, Arjmand Samuel, Tao Xie |
| 2012 | SIGCSE | Engage your students by teaching programming using only mobile devices with TouchDevelop (abstract only). | Nikolai Tillmann, Michal Moskal, Jonathan de Halleux, Manuel Fhndrich, Tao Xie |
| 2011 | CADE | Heaps and Data Structures: A Challenge for Automated Provers. | Sascha Bhme, Michal Moskal |
| 2011 | FUSION | The role of information fusion in providing analytical rigor for intelligence analysis. | Michal Moskal, Moises Sudit, Kedar Sambhoos |
| 2011 | OOPSLA | TouchDevelop: programming cloud-connected mobile devices via touchscreen. | Nikolai Tillmann, Michal Moskal, Jonathan de Halleux, Manuel Fhndrich |
| 2011 | SEFM | The Boogie Verification Debugger (Tool Paper). | Claire Le Goues, K. Rustan M. Leino, Michal Moskal |
| 2010 | CAV | Local Verification of Global Invariants in Concurrent Programs. | Ernie Cohen, Michal Moskal, Wolfram Schulte, Stephan Tobies |
| 2009 | ICSE | VCC: Contract-based modular verification of concurrent C. | Markus Dahlweid, Michal Moskal, Thomas Santen, Stephan Tobies, Wolfram Schulte |
| 2008 | TACAS | Rocket-Fast Proof Checking for SMT Solvers. | Michal Moskal |