Travelled to:1 × China
1 × France
1 × Hungary
1 × Israel
1 × Poland
1 × Singapore
1 × United Kingdom
1 × Uruguay
2 × Germany
4 × USA
Collaborated with:N.Tillmann M.Fähndrich ∅ J.d.Halleux K.R.M.Leino S.Böhme P.d.Halleux S.Burckhardt T.Xie C.L.Goues J.Lopuszanski J.R.Kiniry E.Cohen W.Schulte S.Tobies R.Auler E.Borin X.Xiao S.McDirmid J.Kato J.Bishop A.Samuel
Talks about:program (5) develop (4) mobil (4) devic (4) verif (3) touch (3) induct (2) teach (2) proof (2) touchscreen (1)
Person: Michal Moskal
DBLP: Moskal:Michal
Contributed to:
2014
2014
2013
2012
2012
2012
2012
2012
2011
2011
20112010
2008
2008Wrote 14 papers:
- CC-2014-AulerBHMT #adaptation #compilation #crowdsourcing #javascript #jit #performance
- Addressing JavaScript JIT Engines Performance Quirks: A Crowdsourced Adaptive Compiler (RA, EB, PdH, MM, NT), pp. 218–237.
- FM-2014-LeinoM #automation #induction #proving #verification
- Co-induction Simply — Automatic Co-inductive Proofs in a Program Verifier (KRML, MM), pp. 382–398.
- PLDI-2013-BurckhardtFHMMTK #exclamation #feedback #programming #user interface
- It’s alive! continuous feedback in UI programming (SB, MF, PdH, SM, MM, NT, JK), pp. 95–104.
- ASE-2012-XiaoTFHM #analysis #privacy
- User-aware privacy control via extended static-information-flow analysis (XX, NT, MF, JdH, MM), pp. 80–89.
- CAV-2012-Moskal #bound #c #infinity #verification
- From C to Infinity and Back: Unbounded Auto-active Verification with VCC (MM), p. 6.
- CSEET-2012-TillmannMHFX #education #mobile #student #using
- Engage Your Students by Teaching Computer Science Using Only Mobile Devices with TouchDevelop (NT, MM, JdH, MF, TX), pp. 87–89.
- FSE-2012-TillmannMHFB #development #mobile #named
- TouchDevelop: app development on mobile devices (NT, MM, JdH, MF, SB), p. 39.
- ITiCSE-2012-TillmannMHFBSX #education #future of #mobile #programming
- The future of teaching programming is on mobile devices (NT, MM, JdH, MF, JB, AS, TX), pp. 156–161.
- CADE-2011-BohmeM #automation #challenge #data type #proving
- Heaps and Data Structures: A Challenge for Automated Provers (SB, MM), pp. 177–191.
- Onward-2011-TillmannMHF #mobile #named #programming
- TouchDevelop: programming cloud-connected mobile devices via touchscreen (NT, MM, JdH, MF), pp. 49–60.
- SEFM-2011-GouesLM #debugging #verification
- The Boogie Verification Debugger (CLG, KRML, MM), pp. 407–414.
- CAV-2010-CohenMST #concurrent #invariant #source code #verification
- Local Verification of Global Invariants in Concurrent Programs (EC, MM, WS, ST), pp. 480–494.
- TACAS-2008-Moskal #proving #smt
- Rocket-Fast Proof Checking for SMT Solvers (MM), pp. 486–500.
- SMT-2007-MoskalLK08
- E-matching for Fun and Profit (MM, JL, JRK), pp. 19–35.