Francesco Zappa Nardelli
Affiliations:- INRIA, France
According to our database1,
Francesco Zappa Nardelli
authored at least 34 papers
between 2001 and 2022.
Collaborative distances:
Collaborative distances:
Timeline
2005
2010
2015
2020
0
1
2
3
4
5
2
2
1
2
1
2
1
1
1
1
2
3
3
1
3
2
2
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
On csauthors.net:
Bibliography
2022
Proceedings of the CPP '22: 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, Philadelphia, PA, USA, January 17, 2022
2019
On Julia's Efficient Algorithm for Subtyping Union Types and Covariant Tuples (Artifact).
Dagstuhl Artifacts Ser., 2019
Proceedings of the 33rd European Conference on Object-Oriented Programming, 2019
2018
Proceedings of the 32nd European Conference on Object-Oriented Programming, 2018
2017
Proceedings of the 26th International Conference on Compiler Construction, 2017
2015
Common Compiler Optimisations are Invalid in the C11 Memory Model and what we can do about it.
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015
Proceedings of the 29th European Conference on Object-Oriented Programming, 2015
2014
2013
Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2013
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2013
Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, 2013
2011
Proceedings of the Static Analysis - 18th International Symposium, 2011
Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2011
Proceedings of the Interactive Theorem Proving - Second International Conference, 2011
2010
Commun. ACM, 2010
Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2010
2009
Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2009
Proceedings of the POPL 2009 Workshop on Declarative Aspects of Multicore Programming, 2009
Proceedings of the Computer Security, 2009
2008
Proceedings of the Programming Languages and Systems, 2008
Proceedings of the Programming Languages and Systems, 2008
2007
J. Funct. Program., 2007
2005
2004
Proceedings of the Exploring New Frontiers of Theoretical Informatics, 2004
Proceedings of the Exploring New Frontiers of Theoretical Informatics, 2004
2003
Proceedings of the Automata, Languages and Programming, 30th International Colloquium, 2003
2002
Proceedings of the FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science, 2002
2001