Microsoft Touch Develop and the BBC micro:bit
Thomas Ball, Jonathan Protzenko, Judith Bishop, Michal Moskal, Peli de Halleux, Michael Braun, Steve Hodges, Clare Riley
ICSE 2016 Companion | May 2016
Thomas Ball, Jonathan Protzenko, Judith Bishop, Michal Moskal, Peli de Halleux, Michael Braun, Steve Hodges, Clare Riley
ICSE 2016 Companion | May 2016
Sebastian Burckhardt, Michal Moskal, Jonathan Protzenko, Nikolai Tillmann, Thomas Ball, Peli de Halleux
In Proceedings of 2nd ACM International Conference on Mobile Software Engineering and Systems (MOBILESoft) | May 2015
Sebastian Burckhardt, Michal Moskal
MSR-TR-2015-17 | February 2015
Jonathan Protzenko, Sebastian Burckhardt, Jedidiah McClurg
Proceedings of the 3rd International Workshop on Mobile Development Lifecycle, MobileDeLi 2015, Pittsburgh, PA, USA, October 25-30, 2015 | January 2015
ISBN: 978-1-4503-3906-3
Thomas Ball, Sebastian Burckhardt, Peli de Halleux, Michal Moskal, Nikolai Tillmann
MSR-TR-2014-127 | September 2014
Nikolai Tillmann, Michal Moskal, Peli de Halleux, Sebastian Burckhardt, Thomas Ball, Judith Bishop
Proceedings of the First International Conference on Mobile Software Engineering and Systems (MOBILESOFT) | June 2014
Proceedings of the First International Conference on Mobile Software Engineering and Systems (MOBILESOFT)
Tutorial
Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation | January 2014
Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation
ISBN: 978-1-4503-2619-3
Sebastian Burckhardt, Manuel Fahndrich, Peli de Halleux, Sean McDirmid, Michal Moskal, Nikolai Tillmann
PLDI | June 2013
PLDI
Sumit Gulwani, Peli de Halleux
Proceedings of the 11th international conference on Mobile systems, applications, and services | January 2013
Nikolai Tillmann, Michal Moskal, Manuel Fahndrich, Sebastian Burckhardt, Peli de Halleux
Proc. 20th International Symposium on Foundations of Software Engineering (FSE 2012), Demonstration | November 2012
Proc. 20th International Symposium on Foundations of Software Engineering (FSE 2012), Demonstration
Daan Leijen, Sebastian Burckhardt, Benjamin P. Wood, Manuel Fahndrich
Proceedings of the 26th European Conference on Object-Oriented Programming (ECOOP) | June 2012
Proceedings of the 26th European Conference on Object-Oriented Programming (ECOOP)
Sebastian Burckhardt, Daan Leijen, Manuel Fahndrich, Mooly Sagiv
MSR-TR-2011-117 | October 2011
This is the full version with proofs of our ESOP 2012 paper.
Nikolai Tillmann, Manuel Fahndrich, Michal Moskal, Peli de Halleux
MSR-TR-2011-103 | September 2011
Nikolai Tillmann, Manuel Fahndrich, Peli de Halleux, Michal Moskal
MSR-TR-2011-93 | August 2011
Michal Moskal, Nikolai Tillmann, Manuel Fahndrich, Peli de Halleux
MSR-TR-2011-49 | April 2011
Nikolai Tillmann, Michal Moskal, Manuel Fahndrich, Peli de Halleux
Proceedings of the 10th SIGPLAN symposium on New ideas, new paradigms, and reflections on programming and software | January 2011
Proceedings of the 10th SIGPLAN symposium on New ideas, new paradigms, and reflections on programming and software
ISBN: 978-1-4503-0941-7
Thomas Ball, Jonathan Protzenko, Judith Bishop, Michal Moskal, Peli de Halleux, Michael Braun, Steve Hodges, Clare Riley
ICSE 2016 Companion | May 2016
Thomas Ball, Jonathan Protzenko, Judith Bishop, Michal Moskal, Peli de Halleux, Michael Braun, Steve Hodges, Clare Riley
ICSE 2016 Companion | May 2016
Nikolai Tillmann, Michal Moskal, Manuel Fahndrich, Sebastian Burckhardt, Peli de Halleux
Proc. 20th International Symposium on Foundations of Software Engineering (FSE 2012), Demonstration | November 2012
Proc. 20th International Symposium on Foundations of Software Engineering (FSE 2012), Demonstration
Nikolai Tillmann, Manuel Fahndrich, Peli de Halleux, Michal Moskal
MSR-TR-2011-93 | August 2011
Michal Moskal, Nikolai Tillmann, Manuel Fahndrich, Peli de Halleux
MSR-TR-2011-49 | April 2011
Thomas Ball, Jonathan Protzenko, Judith Bishop, Michal Moskal, Peli de Halleux, Michael Braun, Steve Hodges, Clare Riley
ICSE 2016 Companion | May 2016
Sebastian Burckhardt, Michal Moskal, Jonathan Protzenko, Nikolai Tillmann, Thomas Ball, Peli de Halleux
In Proceedings of 2nd ACM International Conference on Mobile Software Engineering and Systems (MOBILESoft) | May 2015
Sebastian Burckhardt, Michal Moskal
MSR-TR-2015-17 | February 2015
Jonathan Protzenko, Sebastian Burckhardt, Jedidiah McClurg
Proceedings of the 3rd International Workshop on Mobile Development Lifecycle, MobileDeLi 2015, Pittsburgh, PA, USA, October 25-30, 2015 | January 2015
ISBN: 978-1-4503-3906-3
Thomas Ball, Sebastian Burckhardt, Peli de Halleux, Michal Moskal, Nikolai Tillmann
MSR-TR-2014-127 | September 2014
Nikolai Tillmann, Michal Moskal, Peli de Halleux, Sebastian Burckhardt, Thomas Ball, Judith Bishop
Proceedings of the First International Conference on Mobile Software Engineering and Systems (MOBILESOFT) | June 2014
Proceedings of the First International Conference on Mobile Software Engineering and Systems (MOBILESOFT)
Tutorial
Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation | January 2014
Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation
ISBN: 978-1-4503-2619-3
Sebastian Burckhardt, Manuel Fahndrich, Peli de Halleux, Sean McDirmid, Michal Moskal, Nikolai Tillmann
PLDI | June 2013
PLDI
Sumit Gulwani, Peli de Halleux
Proceedings of the 11th international conference on Mobile systems, applications, and services | January 2013
Nikolai Tillmann, Michal Moskal, Manuel Fahndrich, Sebastian Burckhardt, Peli de Halleux
Proc. 20th International Symposium on Foundations of Software Engineering (FSE 2012), Demonstration | November 2012
Proc. 20th International Symposium on Foundations of Software Engineering (FSE 2012), Demonstration
Daan Leijen, Sebastian Burckhardt, Benjamin P. Wood, Manuel Fahndrich
Proceedings of the 26th European Conference on Object-Oriented Programming (ECOOP) | June 2012
Proceedings of the 26th European Conference on Object-Oriented Programming (ECOOP)
Sebastian Burckhardt, Daan Leijen, Manuel Fahndrich, Mooly Sagiv
MSR-TR-2011-117 | October 2011
This is the full version with proofs of our ESOP 2012 paper.
Nikolai Tillmann, Manuel Fahndrich, Michal Moskal, Peli de Halleux
MSR-TR-2011-103 | September 2011
Nikolai Tillmann, Manuel Fahndrich, Peli de Halleux, Michal Moskal
MSR-TR-2011-93 | August 2011
Michal Moskal, Nikolai Tillmann, Manuel Fahndrich, Peli de Halleux
MSR-TR-2011-49 | April 2011
Nikolai Tillmann, Michal Moskal, Manuel Fahndrich, Peli de Halleux
Proceedings of the 10th SIGPLAN symposium on New ideas, new paradigms, and reflections on programming and software | January 2011
Proceedings of the 10th SIGPLAN symposium on New ideas, new paradigms, and reflections on programming and software
ISBN: 978-1-4503-0941-7
Daan Leijen, Sebastian Burckhardt, Benjamin P. Wood, Manuel Fahndrich
Proceedings of the 26th European Conference on Object-Oriented Programming (ECOOP) | June 2012
Proceedings of the 26th European Conference on Object-Oriented Programming (ECOOP)
Nikolai Tillmann, Manuel Fahndrich, Peli de Halleux, Michal Moskal
MSR-TR-2011-93 | August 2011
Thomas Ball, Jonathan Protzenko, Judith Bishop, Michal Moskal, Peli de Halleux, Michael Braun, Steve Hodges, Clare Riley
ICSE 2016 Companion | May 2016
Sebastian Burckhardt, Michal Moskal, Jonathan Protzenko, Nikolai Tillmann, Thomas Ball, Peli de Halleux
In Proceedings of 2nd ACM International Conference on Mobile Software Engineering and Systems (MOBILESoft) | May 2015
Jonathan Protzenko, Sebastian Burckhardt, Jedidiah McClurg
Proceedings of the 3rd International Workshop on Mobile Development Lifecycle, MobileDeLi 2015, Pittsburgh, PA, USA, October 25-30, 2015 | January 2015
ISBN: 978-1-4503-3906-3
Nikolai Tillmann, Michal Moskal, Peli de Halleux, Sebastian Burckhardt, Thomas Ball, Judith Bishop
Proceedings of the First International Conference on Mobile Software Engineering and Systems (MOBILESOFT) | June 2014
Proceedings of the First International Conference on Mobile Software Engineering and Systems (MOBILESOFT)
Tutorial
Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation | January 2014
Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation
ISBN: 978-1-4503-2619-3
Sebastian Burckhardt, Manuel Fahndrich, Peli de Halleux, Sean McDirmid, Michal Moskal, Nikolai Tillmann
PLDI | June 2013
PLDI
Sumit Gulwani, Peli de Halleux
Proceedings of the 11th international conference on Mobile systems, applications, and services | January 2013
Nikolai Tillmann, Michal Moskal, Manuel Fahndrich, Sebastian Burckhardt, Peli de Halleux
Proc. 20th International Symposium on Foundations of Software Engineering (FSE 2012), Demonstration | November 2012
Proc. 20th International Symposium on Foundations of Software Engineering (FSE 2012), Demonstration
Daan Leijen, Sebastian Burckhardt, Benjamin P. Wood, Manuel Fahndrich
Proceedings of the 26th European Conference on Object-Oriented Programming (ECOOP) | June 2012
Proceedings of the 26th European Conference on Object-Oriented Programming (ECOOP)
Nikolai Tillmann, Michal Moskal, Manuel Fahndrich, Peli de Halleux
Proceedings of the 10th SIGPLAN symposium on New ideas, new paradigms, and reflections on programming and software | January 2011
Proceedings of the 10th SIGPLAN symposium on New ideas, new paradigms, and reflections on programming and software
ISBN: 978-1-4503-0941-7
Sebastian Burckhardt, Michal Moskal
MSR-TR-2015-17 | February 2015
Thomas Ball, Sebastian Burckhardt, Peli de Halleux, Michal Moskal, Nikolai Tillmann
MSR-TR-2014-127 | September 2014
Sebastian Burckhardt, Daan Leijen, Manuel Fahndrich, Mooly Sagiv
MSR-TR-2011-117 | October 2011
This is the full version with proofs of our ESOP 2012 paper.
Nikolai Tillmann, Manuel Fahndrich, Michal Moskal, Peli de Halleux
MSR-TR-2011-103 | September 2011
Nikolai Tillmann, Manuel Fahndrich, Peli de Halleux, Michal Moskal
MSR-TR-2011-93 | August 2011
Michal Moskal, Nikolai Tillmann, Manuel Fahndrich, Peli de Halleux
MSR-TR-2011-49 | April 2011
Principal Research Software Engineer
Principal Research Software Development Engineer