default search action

combined dblp search
author search
venue search
publication search

ask others

Michal Moskal

> Home > Persons

Person information

affiliation: Microsoft Research, Redmond, WA, USA

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2024
[j8]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/BallHDHM24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/BallHDHM24
Thomas Ball, Peli de Halleux, James Devine, Steve Hodges, Michal Moskal:
Jacdac: Service-Based Prototyping of Embedded Systems. Proc. ACM Program. Lang. 8(PLDI): 692-715 (2024)
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/sigmobile/DevineHBMHDGFUHOK24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigmobile/DevineHBMHDGFUHOK24
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): 38-43 (2024)
2022
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/imwut/DevineMHBHDGFUH22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/imwut/DevineMHBHDGFUH22
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): 110:1-110:30 (2022)
2020
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/AustinBBDFHHMS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/AustinBBDFHHMS20
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): 62-69 (2020)
2019
[j4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jsa/DevineFHMBH19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsa/DevineFHMBH19
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: 468-483 (2019)
2015
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/ase/XiaoTFHMX15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ase/XiaoTFHMX15
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): 333-366 (2015)
2010
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/jar/BohmeMSW10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/BohmeMSW10
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): 111-144 (2010)
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/ki/BeckertM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ki/BeckertM10
Bernhard Beckert, Michal Moskal:
Deductive Verification of System Software in the Verisoft XT Project. Künstliche Intell. 24(1): 57-61 (2010)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2024
[c40]
- view
  authority control:
- export record
  dblp key:
  - conf/acmidc/HartleyRUFB0HDA24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acmidc/HartleyRUFB0HDA24
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: 355-370
2022
[c39]
- view
  authority control:
- export record
  dblp key:
  - conf/vl/WilliamsMH22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vl/WilliamsMH22
Randi Williams, Michal Moskal, Peli de Halleux:
ML Blocks: A Block-Based, Graphical User Interface for Creating TinyML Models. VL/HCC 2022: 1-5
2021
[c38]
- view
  authority control:
- export record
  dblp key:
  - conf/chi/SeyedDFMHHBR21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/chi/SeyedDFMHHBR21
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: 45:1-45:15
[c37]
- view
  authority control:
- export record
  dblp key:
  - conf/fdg/MoskalBCDHHKKNR21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fdg/MoskalBCDHHKKNR21
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: 38:1-38:12
2019
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/chi/SeyedHMDFHB19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/chi/SeyedHMDFHB19
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
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/pppj/BallHM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pppj/BallHM19
Thomas Ball, Peli de Halleux, Michal Moskal:
Static TypeScript: an implementation of a static compiler for the TypeScript language. MPLR 2019: 105-116
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/splash/BallCHHMR19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splash/BallCHHMR19
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: 7-12
2018
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/aied/PaquetteBM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aied/PaquetteBM18
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: 257-260
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/lctrts/DevineFHMBH18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lctrts/DevineFHMBH18
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: 19-30
2016
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/BallPBMHBHR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/BallPBMHBHR16
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: 637-640
2015
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/BallBHMPT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/BallBHMPT15
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: 83-93
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/ProtzenkoBMM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/ProtzenkoBMM15
Jonathan Protzenko, Sebastian Burckhardt, Michal Moskal, Jedidiah McClurg:
Implementing real-time collaboration in TouchDevelop using AST merges. MobileDeLi 2015: 25-27
2014
[c28]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cc/AulerBHMT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cc/AulerBHMT14
Rafael Auler, Edson Borin, Peli de Halleux, Michal Moskal, Nikolai Tillmann:
Addressing JavaScript JIT Engines Performance Quirks: A Crowdsourced Adaptive Compiler. CC 2014: 218-237
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/LeinoM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/LeinoM14
K. Rustan M. Leino, Michal Moskal:
Co-induction Simply - Automatic Co-inductive Proofs in a Program Verifier. FM 2014: 382-398
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/TillmannMHBBB14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/TillmannMHBBB14
Nikolai Tillmann, Michal Moskal, Jonathan de Halleux, Sebastian Burckhardt, Thomas Ball, Judith Bishop:
TouchDevelop: create rich mobile apps on touch devices (tutorial). MOBILESoft 2014: 1-2
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/PuderTM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/PuderTM14
Arno Puder, Nikolai Tillmann, Michal Moskal:
Exposing native device APIs to web apps. MOBILESoft 2014: 18-26
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/HiltonCDMBT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/HiltonCDMBT14
Michael Hilton, Arpit Christi, Danny Dig, Michal Moskal, Sebastian Burckhardt, Nikolai Tillmann:
Refactoring local to cloud data types for mobile apps. MOBILESoft 2014: 83-92
2013
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/BurckhardtFHMMTK13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/BurckhardtFHMMTK13
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: 95-104
2012
[c22]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/Moskal12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/Moskal12
Michal Moskal:
From C to Infinity and Back: Unbounded Auto-active Verification with VCC. CAV 2012: 6
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/csee/TillmannMHFX12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csee/TillmannMHFX12
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: 87-89
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/iticse/TillmannMHFBSX12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iticse/TillmannMHFBSX12
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: 156-161
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/XiaoTFHM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/XiaoTFHM12
Xusheng Xiao, Nikolai Tillmann, Manuel Fähndrich, Jonathan de Halleux, Michal Moskal:
User-aware privacy control via extended static-information-flow analysis. ASE 2012: 80-89
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/sigcse/TillmannMHFX12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigcse/TillmannMHFX12
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: 663
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/TillmannMHFB12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/TillmannMHFB12
Nikolai Tillmann, Michal Moskal, Jonathan de Halleux, Manuel Fähndrich, Sebastian Burckhardt:
TouchDevelop: app development on mobile devices. SIGSOFT FSE 2012: 39
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/PolikarpovaM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/PolikarpovaM12
Nadia Polikarpova, Michal Moskal:
Verifying Implementations of Security Protocols by Refinement. VSTTE 2012: 50-65
2011
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/BohmeM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/BohmeM11
Sascha Böhme, Michal Moskal:
Heaps and Data Structures: A Challenge for Automated Provers. CADE 2011: 177-191
[c14]
- view
  - electronic edition @ ieee.org
  - no references & citations available
- export record
  dblp key:
  - conf/fusion/MoskalSS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fusion/MoskalSS11
Michal Moskal, Moises Sudit, Kedar Sambhoos:
The role of information fusion in providing analytical rigor for intelligence analysis. FUSION 2011: 1-6
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/Moskal11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/Moskal11
Michal Moskal:
Verifying Functional Correctness of C Programs with VCC. NASA Formal Methods 2011: 56-57
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/TillmannMHF11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/TillmannMHF11
Nikolai Tillmann, Michal Moskal, Jonathan de Halleux, Manuel Fähndrich:
TouchDevelop: programming cloud-connected mobile devices via touchscreen. Onward! 2011: 49-60
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/GouesLM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/GouesLM11
Claire Le Goues, K. Rustan M. Leino, Michal Moskal:
The Boogie Verification Debugger (Tool Paper). SEFM 2011: 407-414
2010
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/BlassGMN10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/BlassGMN10
Andreas Blass, Yuri Gurevich, Michal Moskal, Itay Neeman:
Evidential Authorization. The Future of Software Engineering 2010: 73-99
[c9]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/CohenMST10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/CohenMST10
Ernie Cohen, Michal Moskal, Wolfram Schulte, Stephan Tobies:
Local Verification of Global Invariants in Concurrent Programs. CAV 2010: 480-494
2009
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/ershov/CohenABDDHLLMOPPPSSSSSTTT09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ershov/CohenABDDHLLMOPPPSSSSSTTT09
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: 43-55
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/DahlweidMSTS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/DahlweidMSTS09
Markus Dahlweid, Michal Moskal, Thomas Santen, Stephan Tobies, Wolfram Schulte:
VCC: Contract-based modular verification of concurrent C. ICSE Companion 2009: 429-430
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/tphol/CohenDHLMSST09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tphol/CohenDHLMSST09
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: 23-42
[c5]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/CohenMTS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/CohenMTS09
Ernie Cohen, Michal Moskal, Stephan Tobies, Wolfram Schulte:
A Precise Yet Efficient Memory Model For C. SSV 2009: 85-103
2008
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/amast/MausMS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amast/MausMS08
Stefan Maus, Michal Moskal, Wolfram Schulte:
Vx86: x86 Assembler Simulated in C Powered by Automated Theorem Proving. AMAST 2008: 284-298
[c3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/Moskal08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/Moskal08
Michal Moskal:
Rocket-Fast Proof Checking for SMT Solvers. TACAS 2008: 486-500
2007
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/JanotaGM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/JanotaGM07
Mikolás Janota, Radu Grigore, Michal Moskal:
Reachability analysis for annotated code. SAVCBS 2007: 23-30
[c1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/MoskalLK08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/MoskalLK08
Michal Moskal, Jakub Lopuszanski, Joseph R. Kiniry:
E-matching for Fun and Profit. SMT@CAV 2007: 19-35

Informal and Other Publications

see FAQ

What is the meaning of the colors in the publication lists?

2007
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-0708-0713
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0708-0713
Radu Grigore, Michal Moskal:
Edit and verify. CoRR abs/0708.0713 (2007)

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.