E-LIB Suche - Ergebnisse für: Zappa, Francesco

1

INTRHYGUE: Simulations of Hyperbolic Binary Black-Hole Merg..:

, In: High Performance Computing in Science and Engineering '22,

Albanesi, Simone ; Bernuzzi, Sebastiano ; Daszuta, Boris... - p. 35-48 , 2024

Link: https://doi.org/10.1007/..

2

Applying formal verification to microkernel IPC at meta:

, In: Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs,

Carbonneaux, Quentin ; Zilberstein, Noam ; Klee, Christoph.. - p. 116-129 , 2022

Link: https://dl.acm.org/doi/1..

3

Partially redundant fence elimination for x86, ARM, and pow..:

, In: Proceedings of the 26th International Conference on Compiler Construction,

Morisset, Robin ; Zappa Nardelli, Francesco - p. 1-10 , 2017

Link: https://dl.acm.org/doi/1..

4

Common Compiler Optimisations are Invalid in the C11 Memory..:

, In: Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages,

Vafeiadis, Viktor ; Balabonski, Thibaut ; Chakraborty, Soham.. - p. 209-220 , 2015

Link: https://dl.acm.org/doi/1..

5

Compiler testing via a theory of sound optimisations in the..:

, In: Proceedings of the 34th ACM SIGPLAN Conference on Programming Language Design and Implementation,

Morisset, Robin ; Pawan, Pankaj ; Zappa Nardelli, Francesco - p. 187-196 , 2013

Link: https://dl.acm.org/doi/1..

6

Flexible access control for javascript:

, In: Proceedings of the 2013 ACM SIGPLAN international conference on Object oriented programming systems languages & applications,

Richards, Gregor ; Hammer, Christian ; Zappa Nardelli, Francesco.. - p. 305-322 , 2013

Link: https://dl.acm.org/doi/1..

7

Correct and efficient work-stealing for weak memory models:

, In: Proceedings of the 18th ACM SIGPLAN symposium on Principles and practice of parallel programming,

Lê, Nhat Minh ; Pop, Antoniu ; Cohen, Albert. - p. 69-80 , 2013

Link: https://dl.acm.org/doi/1..

8

Relaxed-memory concurrency and verified compilation:

, In: Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages,

Ŝevčik, Jaroslav ; Vafeiadis, Viktor ; Zappa Nardelli, Francesco.. - p. 43-54 , 2011

Link: https://dl.acm.org/doi/1..

9

Integrating typed and untyped code in a scripting language:

, In: Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages,

Wrigstad, Tobias ; Nardelli, Francesco Zappa ; Lebresne, Sylvain.. - p. 377-388 , 2010

Link: https://dl.acm.org/doi/1..

10

The semantics of power and ARM multiprocessor machine code:

, In: Proceedings of the 4th workshop on Declarative aspects of multicore programming,

Alglave, Jade ; Fox, Anthony ; Ishtiaq, Samin... - p. 13-24 , 2009

Link: https://dl.acm.org/doi/1..

11

The semantics of x86-CC multiprocessor machine code:

, In: Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages,

Sarkar, Susmit ; Sewell, Peter ; Nardelli, Francesco Zappa... - p. 379-391 , 2009

Link: https://dl.acm.org/doi/1..

12

Ott : effective tool support for the working semanticist:

, In: Proceedings of the 12th ACM SIGPLAN international conference on Functional programming,

Sewell, Peter ; Nardelli, Francesco Zappa ; Owens, Scott... - p. 1-12 , 2007

Link: https://dl.acm.org/doi/1..

13

Acute : high-level programming language design for distr..:

, In: Proceedings of the tenth ACM SIGPLAN international conference on Functional programming,

Sewell, Peter ; Leifer, James J. ; Wansbrough, Keith... - p. 15-26 , 2005

Link: https://dl.acm.org/doi/1..

14

Contributors:

, In: Rare and Interstitial Lung Diseases,

Agati, Sergio ; Alfano, Fausta ; Azuma, Arata... - p. v-viii , 2025

Link: https://doi.org/10.1016/..

15

Metrological issues in 3D reconstruction of an archaeologic..:

, In: 2023 IEEE International Instrumentation and Measurement Technology Conference (I2MTC),

Gregorini, Andrea ; Cattaneo, Nelly ; Bortolotto, Susanna... - p. 1-6 , 2023

Link: https://doi.org/10.1109/..