Journal: ACM SIGPLAN Notices
Loading...
Abbreviation
ACM SIGPLAN not.
Publisher
Association for Computing Machinery
31 results
Search Results
Publications 1 - 10 of 31
- Asynchronous AssertionsItem type: Journal Article
ACM SIGPLAN Notices ~ Asynchronous AssertionsAftandilian, Edward E.; Guyer, Samuel Z.; Vechev, Martin; et al. (2011) - Fine-Grained User-Space Security Through VirtualizationItem type: Journal Article
ACM SIGPLAN NoticesPayer, Mathias; Gross, Thomas (2011) - Designing scalable FPGA architectures using high-level synthesisItem type: Conference Paper
ACM SIGPLAN Notices ~ Proceedings of the 23rd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP '18)de Fine Licht, Johannes; Blott, Michaela; Hoefler, Torsten (2018) - Modeling Structured Event Streams in System Level Performance AnalysisItem type: Conference Paper
ACM SIGPLAN NoticesPerathoner, Simon; Rein, Tobias; Thiele, Lothar; et al. (2010) - Probabilistic Model for Code with Decision TreesItem type: Conference Paper
ACM SIGPLAN Notices ~ OOPSLA'16: Proceedings of the 2016 ACM SIGPLAN International Conference on object-oriented Programming, Systems, Languages, and Applications: November 2-4, 2016, Amsterdam, NetherlandsRaychev, Veselin; Bielik, Pavol; Vechev, Martin (2016) - FreefinementItem type: Conference Paper
ACM SIGPLAN Noticesvan Staden, Stephan; Calcagno, Cristiano; Meyer, Bertrand (2012) - A Hybrid I/O Virtualization Framework for RDMA-capable Network InterfacesItem type: Conference Paper
ACM SIGPLAN NoticesPfefferle, Jonas; Stuedi, Patrick; Trivedi, Animesh; et al. (2015) - Practical concurrent traversals in search treesItem type: Conference Paper
ACM SIGPLAN Notices ~ Proceedings of the 23rd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP '18)Drachsler-Cohen, Dana; Vechev, Martin; Yahav, Eran (2018) - A Declarative Language Approach to Device ConfigurationItem type: Journal Article
ACM SIGPLAN NoticesSchüpbach, Adrian; Baumann, Andrew; Roscoe, Timothy; et al. (2011) - Communication-avoiding parallel minimum cuts and connected componentsItem type: Conference Paper
ACM SIGPLAN Notices ~ Proceedings of the 23rd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP '18)Gianinazzi, Lukas; Kalvoda, Pavel; De Palma, Alessandro; et al. (2018)
Publications 1 - 10 of 31