programming with touchdevelop about RiSE who is RiSE at Microsoft Research Disclaimer: This document is provided as-is. Information and views expressed in this document, including URL and other Internet Web site references, may change without notice. You bear the risk of using it. This document does not provide you with any legal rights to any intellectual property in any Microsoft product. You may copy and use this document for your internal, reference purposes. 2012 Microsoft Corporation. All rights reserved. Microsoft, Windows, and Windows Live are trademarks of the Microsoft group of companies. All other trademarks are property of their respective owners. programming with touchdevelop Microsoft Research programming with touchdevelop RiSE o Every researcher works with an intern in the summer programming with touchdevelop RiSE projects Browser/JavaScript IBEXIBEX, JSZap, JSMeter, Nozzle/Zozzle, RePrivJSZapJSMeterNozzle/ZozzleRePriv New Ways to Program Program synthesisProgram synthesis, TouchDevelop, JennisysTouchDevelopJennisys Modeling and Design FormulaFormula, DKALDKAL Contracts and Types Code contractsCode contracts, F*, Polymorphism, TALF*PolymorphismTAL Verification BoogieBoogie, Chalice, Dafny, Poirot, VCCChaliceDafnyPoirotVCC Symbolic Methods AutomataAutomata, BEK, Duality, Rex, SymDiff, Z3BEKDualityRexSymDiffZ3 Testing Automatic test generationAutomatic test generation, Moles, Pex, CHESSMolesPexCHESS Runtime Reliability RobustHeapRobustHeap, ToleRace, YarraToleRaceYarra Performance SPUR Concurrency & Parallelism CuzzCuzz, Concurrent revisions, Memory modelsConcurrent revisionsMemory models Measurement and Prediction ReliabilityReliability, Process, Empirical studiesProcessEmpirical studies User Studies Games Critical Technologies AGLAGL, Boogie, CCI, Z3BoogieCCIZ3 programming with touchdevelop RiSE projects Browser/JavaScript IBEXIBEX, JSZap, JSMeter, Nozzle/Zozzle, RePrivJSZapJSMeterNozzle/ZozzleRePriv New Ways to Program Program synthesisProgram synthesis, TouchDevelop, JennisysTouchDevelopJennisys Modeling and Design FormulaFormula, DKALDKAL Contracts and Types Code contractsCode contracts, F*, Polymorphism, TALF*PolymorphismTAL Verification BoogieBoogie, Chalice, Dafny, Poirot, VCCChaliceDafnyPoirotVCC Symbolic Methods AutomataAutomata, BEK, Duality, Rex, SymDiff, Z3BEKDualityRexSymDiffZ3 Testing Automatic test generationAutomatic test generation, Moles, Pex, CHESSMolesPexCHESS Runtime Reliability RobustHeapRobustHeap, ToleRace, YarraToleRaceYarra Performance SPUR Concurrency & Parallelism CuzzCuzz, Concurrent revisions, Memory modelsConcurrent revisionsMemory models Measurement and Prediction ReliabilityReliability, Process, Empirical studiesProcessEmpirical studies User Studies Games Critical Technologies AGLAGL, Boogie, CCI, Z3BoogieCCIZ3