Scott West

Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015

2014

Correctness and Execution of Concurrent Object-Oriented Programs.

[BibT_eX]

[DOI]

PhD thesis, 2014

2013

Benchmarking Usability and Performance of Multicore Languages

[BibT_eX]

[DOI]

Kaue Soares da Silveira

CoRR, 2013

To Run What No One Has Run Before: Executing an Intermediate Verification Language.

[BibT_eX]

[DOI]

Nadia Polikarpova

Carlo A. Furia

Proceedings of the Runtime Verification - 4th International Conference, 2013

Examining the Expert Gap in Parallel Programming.

[BibT_eX]

[DOI]

Kaue Soares da Silveira

Proceedings of the Euro-Par 2013 Parallel Processing, 2013

Benchmarking Usability and Performance of Multicore Languages.

[BibT_eX]

[DOI]

Kaue Soares da Silveira

Proceedings of the 2013 ACM / IEEE International Symposium on Empirical Software Engineering and Measurement, 2013

Concurrent Object-Oriented Development with Behavioral Design Patterns.

[BibT_eX]

[DOI]

Proceedings of the Software Architecture - 7th European Conference, 2013

2012

Demonic Testing of Concurrent Programs.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2012

2010

Deriving concurrent control software from behavioral specifications.

[BibT_eX]

[DOI]

Proceedings of the 2010 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2010

A Modular Scheme for Deadlock Prevention in an Object-Oriented Programming Model.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2010

2009

A Generic Graph Transformation, Visualisation, and Editing Framework in Haskell.

[BibT_eX]

[DOI]