Jacdac: Service-Based Prototyping of Embedded Systems
Thomas Ball, Peli de Halleux, James Devine, Steve Hodges, Michal Moskal
Programming Language Design and Implementation (PLDI) | June 2024
Thomas Ball, Peli de Halleux, James Devine, Steve Hodges, Michal Moskal
Programming Language Design and Implementation (PLDI) | June 2024
Kobi Hartley, Elisa Rubegni, Lorraine Underwood, Joe Finney, Thomas Ball, Steve Hodges, Eric Anderson, Peli de Halleux, James Devine, Michal Moskal
23rd annual ACM Interaction Design and Children (IDC) Conference | June 2024
Thomas Ball, Peli de Halleux, James Devine, Steve Hodges, Michal Moskal
MSR-TR-2023-4 | January 2023
Published by Microsoft
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
Proceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous Technologies | September 2022, Vol 6(3)
Michal Moskal, Peli de Halleux, Thomas Ball, Abhijith Chatra, James Devine, Steve Hodges, Shannon Kao, Richard Knoll, Galen Nickel, Jacqueline Russell, Joey Wunderlich, Daryl Zuniga
Foundations of Digital Games | August 2021
Best paper
Teddy Seyed, James Devine, Joe Finney, Michal Moskal, Peli de Halleux, Steve Hodges, Thomas Ball, Asta Roseway
Proceedings of the 2021 CHI Conference on Human Factors in Computing Systems (CHI '21) | May 2021
Honorable mention
Jonny Austin, Howard Baker, Thomas Ball, James Devine, Joe Finney, Peli de Halleux, Steve Hodges, Michal Moskal, Gareth Stockdale
Communications of the ACM | February 2020, Vol 63(3)
Thomas Ball, Abhijith Chatra, Peli de Halleux, Steve Hodges, Michal Moskal, Jacqueline Russell
SPLASH-E 2019: Proceedings of the 2019 ACM SIGPLAN Symposium on SPLASH-E | October 2019
Michal Moskal, Thomas Ball, Peli de Halleux
Managed Programming Languages and Runtimes | October 2019
James Devine, Joe Finney, Peli de Halleux, Michal Moskal, Thomas Ball, Steve Hodges
Journal of Systems Architecture | September 2019, Vol 98: pp. 468-483
Teddy Seyed, Peli de Halleux, Michal Moskal, James Devine, Joe Finney, Steve Hodges, Thomas Ball
CHI 2019 Extended Abstracts | May 2019
James Devine, Joe Finney, Peli de Halleux, Michal Moskal, Thomas Ball, Steve Hodges
Proceedings of the 19th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems | June 2018
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
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
Thomas Ball, Sebastian Burckhardt, Jonathan de Halleux, Michal Moskal, Nikolai Tillmann, Peli de Halleux, Thomas Ball
MSR-TR-2014-63 | May 2014
Rustan Leino, Michal Moskal
MSR-TR-2013-49 | July 2013
Sebastian Burckhardt, Manuel Fahndrich, Peli de Halleux, Sean McDirmid, Michal Moskal, Nikolai Tillmann
PLDI | June 2013
PLDI
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, 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
Andreas Blass, Yuri Gurevich, Michal Moskal, Itay Neeman
The Future of Software Engineering | Published by Springer | 2010
Nikolai Tillmann, Michal Moskal, Wolfram Schulte, Herman Venter, Manuel Fahndrich
FIT at PLDI'10 | May 2010
FIT at PLDI'10
Sascha Bohme, Michal Moskal, Wolfram Schulte, Burkhart Wolff
Journal of Automated Reasoning | February 2010
Ernie Cohen, Michal Moskal, Wolfram Schulte, Stephan Tobies
Computer Aided Verification, 22st International Conference, CAV 20010 | January 2010
Computer Aided Verification, 22st International Conference, CAV 20010
Markus Dahlweid, Michal Moskal, Thomas Santen, Stephan Tobies, Wolfram Schulte
ICSE Companion | May 2009
ICSE Companion
ISBN: 978-1-4244-3494-7
Michal Moskal, Wolfram Schulte
MSR-TR-2009-16159 | February 2009
Michal Moskal, Wolfram Schulte, Ernie Cohen, Stephan Tobies
MSR-TR-2009-2019 | February 2009
Michal Moskal, Thomas Santen, Wolfram Schulte
Theorem Proving in Higher Order Logics, 22nd International Conference, TPHOLs 2009 | January 2009
Theorem Proving in Higher Order Logics, 22nd International Conference, TPHOLs 2009
ISBN: 978-3-642-03358-2
Kobi Hartley, Elisa Rubegni, Lorraine Underwood, Joe Finney, Thomas Ball, Steve Hodges, Eric Anderson, Peli de Halleux, James Devine, Michal Moskal
23rd annual ACM Interaction Design and Children (IDC) Conference | June 2024
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
Proceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous Technologies | September 2022, Vol 6(3)
Teddy Seyed, James Devine, Joe Finney, Michal Moskal, Peli de Halleux, Steve Hodges, Thomas Ball, Asta Roseway
Proceedings of the 2021 CHI Conference on Human Factors in Computing Systems (CHI '21) | May 2021
Honorable mention
Jonny Austin, Howard Baker, Thomas Ball, James Devine, Joe Finney, Peli de Halleux, Steve Hodges, Michal Moskal, Gareth Stockdale
Communications of the ACM | February 2020, Vol 63(3)
James Devine, Joe Finney, Peli de Halleux, Michal Moskal, Thomas Ball, Steve Hodges
Journal of Systems Architecture | September 2019, Vol 98: pp. 468-483
Teddy Seyed, Peli de Halleux, Michal Moskal, James Devine, Joe Finney, Steve Hodges, Thomas Ball
CHI 2019 Extended Abstracts | May 2019
James Devine, Joe Finney, Peli de Halleux, Michal Moskal, Thomas Ball, Steve Hodges
Proceedings of the 19th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems | June 2018
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, Peli de Halleux, James Devine, Steve Hodges, Michal Moskal
Programming Language Design and Implementation (PLDI) | June 2024
Thomas Ball, Peli de Halleux, James Devine, Steve Hodges, Michal Moskal
MSR-TR-2023-4 | January 2023
Published by Microsoft
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
Proceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous Technologies | September 2022, Vol 6(3)
Michal Moskal, Peli de Halleux, Thomas Ball, Abhijith Chatra, James Devine, Steve Hodges, Shannon Kao, Richard Knoll, Galen Nickel, Jacqueline Russell, Joey Wunderlich, Daryl Zuniga
Foundations of Digital Games | August 2021
Best paper
Jonny Austin, Howard Baker, Thomas Ball, James Devine, Joe Finney, Peli de Halleux, Steve Hodges, Michal Moskal, Gareth Stockdale
Communications of the ACM | February 2020, Vol 63(3)
Thomas Ball, Abhijith Chatra, Peli de Halleux, Steve Hodges, Michal Moskal, Jacqueline Russell
SPLASH-E 2019: Proceedings of the 2019 ACM SIGPLAN Symposium on SPLASH-E | October 2019
Michal Moskal, Thomas Ball, Peli de Halleux
Managed Programming Languages and Runtimes | October 2019
James Devine, Joe Finney, Peli de Halleux, Michal Moskal, Thomas Ball, Steve Hodges
Journal of Systems Architecture | September 2019, Vol 98: pp. 468-483
Teddy Seyed, Peli de Halleux, Michal Moskal, James Devine, Joe Finney, Steve Hodges, Thomas Ball
CHI 2019 Extended Abstracts | May 2019
James Devine, Joe Finney, Peli de Halleux, Michal Moskal, Thomas Ball, Steve Hodges
Proceedings of the 19th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems | June 2018
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
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
Thomas Ball, Sebastian Burckhardt, Jonathan de Halleux, Michal Moskal, Nikolai Tillmann, Peli de Halleux, Thomas Ball
MSR-TR-2014-63 | May 2014
Rustan Leino, Michal Moskal
MSR-TR-2013-49 | July 2013
Sebastian Burckhardt, Manuel Fahndrich, Peli de Halleux, Sean McDirmid, Michal Moskal, Nikolai Tillmann
PLDI | June 2013
PLDI
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, 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
Andreas Blass, Yuri Gurevich, Michal Moskal, Itay Neeman
The Future of Software Engineering | Published by Springer | 2010
Nikolai Tillmann, Michal Moskal, Wolfram Schulte, Herman Venter, Manuel Fahndrich
FIT at PLDI'10 | May 2010
FIT at PLDI'10
Sascha Bohme, Michal Moskal, Wolfram Schulte, Burkhart Wolff
Journal of Automated Reasoning | February 2010
Ernie Cohen, Michal Moskal, Wolfram Schulte, Stephan Tobies
Computer Aided Verification, 22st International Conference, CAV 20010 | January 2010
Computer Aided Verification, 22st International Conference, CAV 20010
Markus Dahlweid, Michal Moskal, Thomas Santen, Stephan Tobies, Wolfram Schulte
ICSE Companion | May 2009
ICSE Companion
ISBN: 978-1-4244-3494-7
Michal Moskal, Wolfram Schulte
MSR-TR-2009-16159 | February 2009
Michal Moskal, Wolfram Schulte, Ernie Cohen, Stephan Tobies
MSR-TR-2009-2019 | February 2009
Michal Moskal, Thomas Santen, Wolfram Schulte
Theorem Proving in Higher Order Logics, 22nd International Conference, TPHOLs 2009 | January 2009
Theorem Proving in Higher Order Logics, 22nd International Conference, TPHOLs 2009
ISBN: 978-3-642-03358-2
Thomas Ball, Peli de Halleux, James Devine, Steve Hodges, Michal Moskal
MSR-TR-2023-4 | January 2023
Published by Microsoft
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
Proceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous Technologies | September 2022, Vol 6(3)
Michal Moskal, Peli de Halleux, Thomas Ball, Abhijith Chatra, James Devine, Steve Hodges, Shannon Kao, Richard Knoll, Galen Nickel, Jacqueline Russell, Joey Wunderlich, Daryl Zuniga
Foundations of Digital Games | August 2021
Best paper
Teddy Seyed, James Devine, Joe Finney, Michal Moskal, Peli de Halleux, Steve Hodges, Thomas Ball, Asta Roseway
Proceedings of the 2021 CHI Conference on Human Factors in Computing Systems (CHI '21) | May 2021
Honorable mention
Jonny Austin, Howard Baker, Thomas Ball, James Devine, Joe Finney, Peli de Halleux, Steve Hodges, Michal Moskal, Gareth Stockdale
Communications of the ACM | February 2020, Vol 63(3)
Thomas Ball, Abhijith Chatra, Peli de Halleux, Steve Hodges, Michal Moskal, Jacqueline Russell
SPLASH-E 2019: Proceedings of the 2019 ACM SIGPLAN Symposium on SPLASH-E | October 2019
Michal Moskal, Thomas Ball, Peli de Halleux
Managed Programming Languages and Runtimes | October 2019
James Devine, Joe Finney, Peli de Halleux, Michal Moskal, Thomas Ball, Steve Hodges
Journal of Systems Architecture | September 2019, Vol 98: pp. 468-483
Teddy Seyed, Peli de Halleux, Michal Moskal, James Devine, Joe Finney, Steve Hodges, Thomas Ball
CHI 2019 Extended Abstracts | May 2019
James Devine, Joe Finney, Peli de Halleux, Michal Moskal, Thomas Ball, Steve Hodges
Proceedings of the 19th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems | June 2018
Nikolai Tillmann, Manuel Fahndrich, Peli de Halleux, Michal Moskal
MSR-TR-2011-93 | August 2011
Thomas Ball, Peli de Halleux, James Devine, Steve Hodges, Michal Moskal
Programming Language Design and Implementation (PLDI) | June 2024
Kobi Hartley, Elisa Rubegni, Lorraine Underwood, Joe Finney, Thomas Ball, Steve Hodges, Eric Anderson, Peli de Halleux, James Devine, Michal Moskal
23rd annual ACM Interaction Design and Children (IDC) Conference | June 2024
Michal Moskal, Peli de Halleux, Thomas Ball, Abhijith Chatra, James Devine, Steve Hodges, Shannon Kao, Richard Knoll, Galen Nickel, Jacqueline Russell, Joey Wunderlich, Daryl Zuniga
Foundations of Digital Games | August 2021
Best paper
Teddy Seyed, James Devine, Joe Finney, Michal Moskal, Peli de Halleux, Steve Hodges, Thomas Ball, Asta Roseway
Proceedings of the 2021 CHI Conference on Human Factors in Computing Systems (CHI '21) | May 2021
Honorable mention
Thomas Ball, Abhijith Chatra, Peli de Halleux, Steve Hodges, Michal Moskal, Jacqueline Russell
SPLASH-E 2019: Proceedings of the 2019 ACM SIGPLAN Symposium on SPLASH-E | October 2019
Michal Moskal, Thomas Ball, Peli de Halleux
Managed Programming Languages and Runtimes | October 2019
Teddy Seyed, Peli de Halleux, Michal Moskal, James Devine, Joe Finney, Steve Hodges, Thomas Ball
CHI 2019 Extended Abstracts | May 2019
James Devine, Joe Finney, Peli de Halleux, Michal Moskal, Thomas Ball, Steve Hodges
Proceedings of the 19th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems | June 2018
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
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
Sebastian Burckhardt, Manuel Fahndrich, Peli de Halleux, Sean McDirmid, Michal Moskal, Nikolai Tillmann
PLDI | June 2013
PLDI
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, 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
Nikolai Tillmann, Michal Moskal, Wolfram Schulte, Herman Venter, Manuel Fahndrich
FIT at PLDI'10 | May 2010
FIT at PLDI'10
Ernie Cohen, Michal Moskal, Wolfram Schulte, Stephan Tobies
Computer Aided Verification, 22st International Conference, CAV 20010 | January 2010
Computer Aided Verification, 22st International Conference, CAV 20010
Markus Dahlweid, Michal Moskal, Thomas Santen, Stephan Tobies, Wolfram Schulte
ICSE Companion | May 2009
ICSE Companion
ISBN: 978-1-4244-3494-7
Michal Moskal, Thomas Santen, Wolfram Schulte
Theorem Proving in Higher Order Logics, 22nd International Conference, TPHOLs 2009 | January 2009
Theorem Proving in Higher Order Logics, 22nd International Conference, TPHOLs 2009
ISBN: 978-3-642-03358-2
Thomas Ball, Peli de Halleux, James Devine, Steve Hodges, Michal Moskal
MSR-TR-2023-4 | January 2023
Published by Microsoft
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
Thomas Ball, Sebastian Burckhardt, Jonathan de Halleux, Michal Moskal, Nikolai Tillmann, Peli de Halleux, Thomas Ball
MSR-TR-2014-63 | May 2014
Rustan Leino, Michal Moskal
MSR-TR-2013-49 | July 2013
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
Michal Moskal, Wolfram Schulte
MSR-TR-2009-16159 | February 2009
Michal Moskal, Wolfram Schulte, Ernie Cohen, Stephan Tobies
MSR-TR-2009-2019 | February 2009
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
Proceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous Technologies | September 2022, Vol 6(3)
Jonny Austin, Howard Baker, Thomas Ball, James Devine, Joe Finney, Peli de Halleux, Steve Hodges, Michal Moskal, Gareth Stockdale
Communications of the ACM | February 2020, Vol 63(3)
James Devine, Joe Finney, Peli de Halleux, Michal Moskal, Thomas Ball, Steve Hodges
Journal of Systems Architecture | September 2019, Vol 98: pp. 468-483
Sascha Bohme, Michal Moskal, Wolfram Schulte, Burkhart Wolff
Journal of Automated Reasoning | February 2010
Andreas Blass, Yuri Gurevich, Michal Moskal, Itay Neeman
The Future of Software Engineering | Published by Springer | 2010