Francesco Zappa Nardelli

According to our database1, Francesco Zappa Nardelli authored at least 33 papers between 2001 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2019
Reliable and fast DWARF-based stack unwinding.
Proc. ACM Program. Lang., 2019

On Julia's Efficient Algorithm for Subtyping Union Types and Covariant Tuples (Artifact).
Dagstuhl Artifacts Ser., 2019

Julia's Efficient Algorithm for Subtyping Unions and Covariant Tuples (Pearl).
Proceedings of the 33rd European Conference on Object-Oriented Programming, 2019

2018
Julia subtyping: a rational reconstruction.
Proc. ACM Program. Lang., 2018

KafKa: Gradual Typing for Objects (Artifact).
Dagstuhl Artifacts Ser., 2018

KafKa: Gradual Typing for Objects.
Proceedings of the 32nd European Conference on Object-Oriented Programming, 2018

2017
Partially redundant fence elimination for x86, ARM, and power processors.
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

Concrete Types for TypeScript.
Proceedings of the 29th European Conference on Object-Oriented Programming, 2015

2014
Reasoning between Programming Languages and Architectures.
, 2014

2013
CompCertTSO: A Verified Compiler for Relaxed-Memory Concurrency.
J. ACM, 2013

Correct and efficient work-stealing for weak memory models.
Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2013

Compiler testing via a theory of sound optimisations in the C11/C++11 memory model.
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2013

Flexible access control for javascript.
Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, 2013

2011
Verifying Fence Elimination Optimisations.
Proceedings of the Static Analysis - 18th International Symposium, 2011

Relaxed-memory concurrency and verified compilation.
Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2011

Lem: A Lightweight Tool for Heavyweight Semantics.
Proceedings of the Interactive Theorem Proving - Second International Conference, 2011

2010
Ott: Effective tool support for the working semanticist.
J. Funct. Program., 2010

x86-TSO: a rigorous and usable programmer's model for x86 multiprocessors.
Commun. ACM, 2010

Integrating typed and untyped code in a scripting language.
Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2010

2009
The semantics of x86-CC multiprocessor machine code.
Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2009

The semantics of power and ARM multiprocessor machine code.
Proceedings of the POPL 2009 Workshop on Declarative Aspects of Multicore Programming, 2009

Reliable Evidence: Auditability by Typing.
Proceedings of the Computer Security, 2009

2008
Oracle Semantics for Concurrent Separation Logic.
Proceedings of the Programming Languages and Systems, 2008

A Formal Implementation of Value Commitment.
Proceedings of the Programming Languages and Systems, 2008

2007
Acute: High-level programming language design for distributed computation.
J. Funct. Program., 2007

2005
Behavioral theory for mobile ambients.
J. ACM, 2005

The Seal Calculus.
Inf. Comput., 2005

2004
New-HOPLA: A Higher-order Process Language with Name Generation.
Proceedings of the Exploring New Frontiers of Theoretical Informatics, 2004

Behavioural Theory for Mobile Ambients.
Proceedings of the Exploring New Frontiers of Theoretical Informatics, 2004

2003
Bisimulation Proof Methods for Mobile Ambients.
Proceedings of the Automata, Languages and Programming, 30th International Colloquium, 2003

2002
The Seal Calculus Revisited: Contextual Equivalence and Bisimilarity.
Proceedings of the FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science, 2002

2001
Typing Mobility in the Seal Calculus.
Proceedings of the CONCUR 2001, 2001


  Loading...