Author of the publication

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

, , , , , and . LCTES, page 19-30. ACM, (2018)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Addressing JavaScript JIT Engines Performance Quirks: A Crowdsourced Adaptive Compiler., , , , and . CC, volume 8409 of Lecture Notes in Computer Science, page 218-237. Springer, (2014)MakerArcade: Using Gaming and Physical Computing for Playful Making, Learning, and Creativity., , , , , , and . CHI Extended Abstracts, ACM, (2019)Rocket-Fast Proof Checking for SMT Solvers.. TACAS, volume 4963 of Lecture Notes in Computer Science, page 486-500. Springer, (2008)Engage your students by teaching programming using only mobile devices with TouchDevelop (abstract only)., , , , and . SIGCSE, page 663. ACM, (2012)Engage Your Students by Teaching Computer Science Using Only Mobile Devices with TouchDevelop., , , , and . CSEE&T, page 87-89. IEEE Computer Society, (2012)Beyond Open Source: The Touch Develop Cloud-Based Integrated Development Environment., , , , , and . MOBILESoft, page 83-93. IEEE Computer Society, (2015)Local Verification of Global Invariants in Concurrent Programs., , , and . CAV, volume 6174 of Lecture Notes in Computer Science, page 480-494. Springer, (2010)User-aware privacy control via extended static-information-flow analysis., , , , and . ASE, page 80-89. ACM, (2012)Microsoft touch develop and the BBC micro: bit., , , , , , , and . ICSE (Companion Volume), page 637-640. ACM, (2016)VCC: Contract-based modular verification of concurrent C., , , , and . ICSE Companion, page 429-430. IEEE, (2009)