Weakest Precondition Synthesis for Compiler Optimizations Nuno P. Lopes and Jos´e Monteiro INESC-ID, IST Universidade de Lisboa Abstract. Compiler optimizations play an increasingly important role

Source URL: web.ist.utl.pt

• Software
• Computing
• Compiler construction
• Programming language implementation
• Compiler optimizations
• Formal methods
• Edsger W. Dijkstra
• Predicate transformer semantics
• Optimizing compiler
• Static single assignment form
• Compiler
• Psyco

Appeared in the Proceedings of the 2013 USENIX Annual Technical Conference On the Efficiency of Durable State Machine Replication Alysson Bessani1 , Marcel Santos1 , Jo˜ao Felix1 , Nuno Neves1 , Miguel Correia2 {1 FCUL

Source URL: www.di.fc.ul.pt

• Fault-tolerant computer systems
• Computing
• State machine replication
• Replication
• Application checkpointing
• Byzantine fault tolerance
• In-memory database
• Paxos

SCFS: A Shared Cloud-backed File System Alysson Bessani,1 Ricardo Mendes,1 Tiago Oliveira,1 Nuno Neves,1 Miguel Correia,2 Marcelo Pasin,3 Paulo Verissimo1 1 Faculdade de Ciˆencias/LaSIGE, 2 Instituto Superior T´ecnico

Source URL: www.di.fc.ul.pt

• Computing
• Network file systems
• Cloud infrastructure
• Cloud storage
• Data management
• Data synchronization
• Amazon S3
• File system
• Cloud computing
• Clustered file system
• Backup
• Dropbox

Resilient Intrusion Tolerance through Proactive and Reactive Recovery∗ Paulo Sousa Alysson Neves Bessani Miguel Correia Nuno Ferreira Neves Paulo Verissimo

Source URL: www.di.fc.ul.pt

• Data synchronization
• Fault-tolerant computer systems
• State machine replication
• Replication
• Fault tolerance
• Wormhole
• Replica
• Recovery approach

A LAW AND ECONOMICS PERSPECTIVE ON LEGAL FAMILIES Nuno Garoupa and Mariana Pargendler* Abstract: The relationship between comparative law and the field of economics is increasingly important, but controversial. In the le

Source URL: www.ejls.eu

Guia para o combate à discriminação nos Municípios Planear para todos e todas, planear a diversidade Margarida Queirós (Coordenação) Nuno Marques da Costa Pedro Palma

Source URL: paulojorgevieira.files.wordpress.com

Jornadas do CFUM 2015 – 20 de Novembro de 2015 Developing Science and Shaping Technology: Young researchers at CFUM PROGRAM MORNING SESSIONS 9:00 Opening session. Nuno Peres

Source URL: www.fisica.uminho.pt

Para uma história operária do pós-fordismo Ricardo Noronha e José Nuno Matos A fixação do salário do dia de oito horas

Source URL: www.unipop.info

Intrusion-Tolerant Self-Healing Devices for Critical Infrastructure Protection ∗ Paulo Sousa, Alysson N. Bessani, Wagner S. Dantas, F´abio Souto, Miguel Correia, Nuno F. Neves University of Lisboa, Faculdade de Ciˆen

Source URL: www.di.fc.ul.pt

1 Highly Available Intrusion-Tolerant Services with Proactive-Reactive Recovery Paulo Sousa, Member, IEEE, Alysson Neves Bessani, Miguel Correia, Member, IEEE, Nuno Ferreira Neves, Member, IEEE, Paulo Verissimo, Fellow,

Source URL: www.di.fc.ul.pt

• Computing
• Engineering
• Physics
• Data synchronization
• Fault-tolerant computer systems
• Replication
• Wormhole
• Replica
• Fault tolerance