|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 23 occurrences of 19 keywords
|
|
|
|
|
Results
Found 21 publication records. Showing 21 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Jaroslav Sevcík, Viktor Vafeiadis, Francesco Zappa Nardelli, Suresh Jagannathan, Peter Sewell |
Relaxed-memory concurrency and verified compilation.  |
POPL  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Scott Owens, Peter Böhm, Francesco Zappa Nardelli, Peter Sewell |
Lem: A Lightweight Tool for Heavyweight Semantics. |
ITP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Viktor Vafeiadis, Francesco Zappa Nardelli |
Verifying Fence Elimination Optimisations. |
SAS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Sewell, Susmit Sarkar, Scott Owens, Francesco Zappa Nardelli, Magnus O. Myreen |
x86-TSO: a rigorous and usable programmer's model for x86 multiprocessors. |
Commun. ACM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Sewell, Francesco Zappa Nardelli, Scott Owens, Gilles Peskine, Thomas Ridge, Susmit Sarkar, Rok Strnisa |
Ott: Effective tool support for the working semanticist. |
J. Funct. Program. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Tobias Wrigstad, Francesco Zappa Nardelli, Sylvain Lebresne, Johan Östlund, Jan Vitek |
Integrating typed and untyped code in a scripting language. |
POPL |
2010 |
DBLP DOI BibTeX RDF |
compilers, semantics, object-orientation, types |
| 1 | Jade 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. |
DAMP |
2009 |
DBLP DOI BibTeX RDF |
semantics, powerpc, arm, relaxed memory models |
| 1 | Susmit 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. |
POPL |
2009 |
DBLP DOI BibTeX RDF |
semantics, relaxed memory models |
| 1 | Nataliya Guts, Cédric Fournet, Francesco Zappa Nardelli |
Reliable Evidence: Auditability by Typing. |
ESORICS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Aquinas Hobor, Andrew W. Appel, Francesco Zappa Nardelli |
Oracle Semantics for Concurrent Separation Logic. |
ESOP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Cédric Fournet, Nataliya Guts, Francesco Zappa Nardelli |
A Formal Implementation of Value Commitment. |
ESOP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter 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. |
J. Funct. Program. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Sewell, Francesco Zappa Nardelli, Scott Owens, Gilles Peskine, Tom Ridge, Susmit Sarkar, Rok Strnisa |
Ott: effective tool support for the working semanticist. |
ICFP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Giuseppe Castagna, Jan Vitek, Francesco Zappa Nardelli |
The Seal Calculus. |
Inf. Comput. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Massimo Merro, Francesco Zappa Nardelli |
Behavioral theory for mobile ambients. |
J. ACM |
2005 |
DBLP DOI BibTeX RDF |
Behavioral theories, concurrency, programming languages, bisimulation, process calculi |
| 1 | Peter 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. |
ICFP |
2005 |
DBLP DOI BibTeX RDF |
rebinding, programming languages, ML, distributed programming, modules, version control, type theory, abstract types, serialisation, marshalling |
| 1 | Glynn Winskel, Francesco Zappa Nardelli |
New-HOPLA: A Higher-order Process Language with Name Generation. |
IFIP TCS |
2004 |
DBLP BibTeX RDF |
|
| 1 | Massimo Merro, Francesco Zappa Nardelli |
Behavioural Theory for Mobile Ambients. |
IFIP TCS |
2004 |
DBLP BibTeX RDF |
|
| 1 | Massimo Merro, Francesco Zappa Nardelli |
Bisimulation Proof Methods for Mobile Ambients. |
ICALP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Giuseppe Castagna, Francesco Zappa Nardelli |
The Seal Calculus Revisited: Contextual Equivalence and Bisimilarity. |
FSTTCS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Giuseppe Castagna, Giorgio Ghelli, Francesco Zappa Nardelli |
Typing Mobility in the Seal Calculus. |
CONCUR |
2001 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #21 of 21 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")