Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Multicore, manycore, and cloud computing: is a new programming language paradigm required?, , , , , , , , and . OOPSLA Companion, page 165-170. ACM, (2011)Panel summary: finding safety in numbers: new languages for safe multicore programming and modeling., , , , and . HILT, page 105-106. ACM, (2014)A type system for borrowing permissions., , , and . POPL, page 557-570. ACM, (2012)Integrated Modeling and Development of Component-Based Embedded Software in Scala., and . ISoLA, volume 13036 of Lecture Notes in Computer Science, page 233-252. Springer, (2021)Industry Best Practices in Robotics Software Engineering., , , , , , and . CoRR, (2022)Spot: a programming language for verified flight software., , , and . HILT, page 97-102. ACM, (2014)Safe nondeterminism in a deterministic-by-default parallel language, , , , , , and . Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, page 535--548. New York, NY, USA, ACM, (2011)An effect system and language for deterministic-by-default parallel programming. University of Illinois Urbana-Champaign, USA, (2010)Types, Regions, and Effects for Safe Programming with Object-Oriented Parallel Frameworks., and . ECOOP, volume 6813 of Lecture Notes in Computer Science, page 306-332. Springer, (2011)Parallel SAH k-D tree construction., , , , , , and . High Performance Graphics, page 77-86. Eurographics Association, (2010)