The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Francesco Zappa Nardelli" ( http://dblp.L3S.de/Authors/Francesco_Zappa_Nardelli )

URL (Homepage):  http://moscova.inria.fr/~zappa/  Author page on DBLP  Author page in RDF  Community of Francesco Zappa Nardelli in ASPL-2

Publication years (Num. hits)
2001-2009 (15) 2010-2018 (17)
Publication types (Num. hits)
article(8) book(1) inproceedings(23)
Venues (Conferences, Journals, ...)
POPL(4) ECOOP(2) ESOP(2) ICFP(2) IFIP TCS(2) J. ACM(2) J. Funct. Program.(2) CC(1) Commun. ACM(1) CONCUR(1) DAMP(1) DARTS(1) ESORICS(1) FSTTCS(1) ICALP(1) Inf. Comput.(1) More (+10 of total 22)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 23 occurrences of 19 keywords

Results
Found 33 publication records. Showing 32 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Benjamin Chung, Paley Li, Francesco Zappa Nardelli, Jan Vitek KafKa: Gradual Typing for Objects (Artifact). Search on Bibsonomy DARTS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Francesco Zappa Nardelli, Julia Belyakova, Artem Pelenitsyn, Benjamin Chung, Jeff Bezanson, Jan Vitek Julia subtyping: a rational reconstruction. Search on Bibsonomy PACMPL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Benjamin Chung, Paley Li, Francesco Zappa Nardelli, Jan Vitek KafKa: Gradual Typing for Objects. Search on Bibsonomy ECOOP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Robin Morisset, Francesco Zappa Nardelli Partially redundant fence elimination for x86, ARM, and power processors. Search on Bibsonomy CC The full citation details ... 2017 DBLP  BibTeX  RDF
1Gregor Richards, Francesco Zappa Nardelli, Jan Vitek Concrete Types for TypeScript. Search on Bibsonomy ECOOP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Viktor Vafeiadis, Thibaut Balabonski, Soham Chakraborty, Robin Morisset, Francesco Zappa Nardelli Common Compiler Optimisations are Invalid in the C11 Memory Model and what we can do about it. Search on Bibsonomy POPL The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Francesco Zappa Nardelli Reasoning between Programming Languages and Architectures. Search on Bibsonomy 2014   RDF
1Jaroslav Sevcík, Viktor Vafeiadis, Francesco Zappa Nardelli, Suresh Jagannathan, Peter Sewell CompCertTSO: A Verified Compiler for Relaxed-Memory Concurrency. Search on Bibsonomy J. ACM The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Nhat Minh Lê, Antoniu Pop, Albert Cohen 0001, Francesco Zappa Nardelli Correct and efficient work-stealing for weak memory models. Search on Bibsonomy PPOPP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Robin Morisset, Pankaj Pawan, Francesco Zappa Nardelli Compiler testing via a theory of sound optimisations in the C11/C++11 memory model. Search on Bibsonomy PLDI The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Gregor Richards, Christian Hammer 0001, Francesco Zappa Nardelli, Suresh Jagannathan, Jan Vitek Flexible access control for javascript. Search on Bibsonomy OOPSLA The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Jaroslav Sevcík, Viktor Vafeiadis, Francesco Zappa Nardelli, Suresh Jagannathan, Peter Sewell Relaxed-memory concurrency and verified compilation. Search on Bibsonomy POPL The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Viktor Vafeiadis, Francesco Zappa Nardelli Verifying Fence Elimination Optimisations. Search on Bibsonomy SAS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Scott Owens, Peter Böhm, Francesco Zappa Nardelli, Peter Sewell Lem: A Lightweight Tool for Heavyweight Semantics. Search on Bibsonomy ITP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Peter Sewell, Susmit Sarkar, Scott Owens, Francesco Zappa Nardelli, Magnus O. Myreen x86-TSO: a rigorous and usable programmer's model for x86 multiprocessors. Search on Bibsonomy Commun. ACM The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Peter Sewell, Francesco Zappa Nardelli, Scott Owens, Gilles Peskine, Thomas Ridge, Susmit Sarkar, Rok Strnisa Ott: Effective tool support for the working semanticist. Search on Bibsonomy J. Funct. Program. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Tobias Wrigstad, Francesco Zappa Nardelli, Sylvain Lebresne, Johan Östlund, Jan Vitek Integrating typed and untyped code in a scripting language. Search on Bibsonomy POPL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF compilers, semantics, object-orientation, types
1Jade Alglave, Anthony C. J. Fox, Samin Ishtiaq, Magnus O. Myreen, Susmit Sarkar, Peter Sewell, Francesco Zappa Nardelli The semantics of power and ARM multiprocessor machine code. Search on Bibsonomy DAMP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF semantics, powerpc, arm, relaxed memory models
1Susmit Sarkar, Peter Sewell, Francesco Zappa Nardelli, Scott Owens, Tom Ridge, Thomas Braibant, Magnus O. Myreen, Jade Alglave The semantics of x86-CC multiprocessor machine code. Search on Bibsonomy POPL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF semantics, relaxed memory models
1Nataliya Guts, Cédric Fournet, Francesco Zappa Nardelli Reliable Evidence: Auditability by Typing. Search on Bibsonomy ESORICS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Aquinas Hobor, Andrew W. Appel, Francesco Zappa Nardelli Oracle Semantics for Concurrent Separation Logic. Search on Bibsonomy ESOP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Cédric Fournet, Nataliya Guts, Francesco Zappa Nardelli A Formal Implementation of Value Commitment. Search on Bibsonomy ESOP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Peter Sewell, James J. Leifer, Keith Wansbrough, Francesco Zappa Nardelli, Mair Allen-Williams, Pierre Habouzit, Viktor Vafeiadis Acute: High-level programming language design for distributed computation. Search on Bibsonomy J. Funct. Program. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Peter Sewell, Francesco Zappa Nardelli, Scott Owens, Gilles Peskine, Tom Ridge, Susmit Sarkar, Rok Strnisa Ott: effective tool support for the working semanticist. Search on Bibsonomy ICFP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Giuseppe Castagna, Jan Vitek, Francesco Zappa Nardelli The Seal Calculus. Search on Bibsonomy Inf. Comput. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Massimo Merro, Francesco Zappa Nardelli Behavioral theory for mobile ambients. Search on Bibsonomy J. ACM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Behavioral theories, concurrency, programming languages, bisimulation, process calculi
1Peter Sewell, James J. Leifer, Keith Wansbrough, Francesco Zappa Nardelli, Mair Allen-Williams, Pierre Habouzit, Viktor Vafeiadis Acute: high-level programming language design for distributed computation. Search on Bibsonomy ICFP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF rebinding, programming languages, ML, distributed programming, modules, version control, type theory, abstract types, serialisation, marshalling
1Glynn Winskel, Francesco Zappa Nardelli New-HOPLA: A Higher-order Process Language with Name Generation. Search on Bibsonomy IFIP TCS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Massimo Merro, Francesco Zappa Nardelli Behavioural Theory for Mobile Ambients. Search on Bibsonomy IFIP TCS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Massimo Merro, Francesco Zappa Nardelli Bisimulation Proof Methods for Mobile Ambients. Search on Bibsonomy ICALP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Giuseppe Castagna, Francesco Zappa Nardelli The Seal Calculus Revisited: Contextual Equivalence and Bisimilarity. Search on Bibsonomy FSTTCS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Giuseppe Castagna, Giorgio Ghelli, Francesco Zappa Nardelli Typing Mobility in the Seal Calculus. Search on Bibsonomy CONCUR The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #32 of 32 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license