Items where Author is "Nardelli, Francesco Zappa"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 4.

Vafeiadis, Viktor and Balabonski, Thibaut and Chakraborty, Soham and Morisset, Robin and Nardelli, Francesco Zappa
(2015) Common Compiler Optimisations are Invalid in the C11 Memory Model and what we can do about it.
In: Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2015, Mumbai, India, January 15-17, 2015.
Conference: POPL ACM-SIGACT Symposium on Principles of Programming Languages

Sevcík, Jaroslav and Vafeiadis, Viktor and Nardelli, Francesco Zappa and Jagannathan, Suresh and Sewell, Peter
(2013) CompCertTSO: A Verified Compiler for Relaxed-Memory Concurrency.
Journal of the ACM, 60 (3). p. 22.

Richards, Gregor and Hammer, Christian and Nardelli, Francesco Zappa and Jagannathan, Suresh and Vitek, Jan
(2013) Flexible Access Control for JavaScript.
In: Proceedings of the 2013 ACM SIGPLAN international conference on Object oriented programming systems languages and applications.
Conference: OOPSLA ACM Conference on Object Oriented Programming Systems Languages and Applications

Sevcík, Jaroslav and Vafeiadis, Viktor and Nardelli, Francesco Zappa and Jagannathan, Suresh and Sewell, Peter
(2011) Relaxed-memory concurrency and verified compilation.
In: Proceedings of the 38th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL'11).
Conference: POPL ACM-SIGACT Symposium on Principles of Programming Languages

This list was generated on Thu Jan 9 05:03:20 2025 CET.
CISPA is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.