Nickel: A Framework for Design and Verification of Information Flow Control Systems Helgi Sigurbjarnarson, Luke Nelson, Bruno Castro-Karney, James Bornholt, Emina Torlak, Xi Wang University of Washington

Source URL: unsat.cs.washington.edu

• Formal methods
• Software engineering
• Computing
• Logic in computer science
• Non-interference
• Exception handling
• Formal verification
• Refinement
• Thread
• Futures and promises
• Covert channel
• Application programming interface

Machine Learning for Q&A sites: state of the art and research directions Xavier Amatriain Quora Inc. 650 Castro St #450 Mountain View, CA, US

Source URL: gdac.uqam.ca

• Community websites
• Neuropsychology
• Cognition
• Quora
• Recommender system
• Comparison of Q&A sites
• Machine learning
• Learning
• Neuroscience

Route Bazaar: Automatic Interdomain Contract Negotiation Ignacio Castro ♣†♠ Aurojit Panda ‡ Barath Raghavan ♠ Scott Shenker ♠‡ Sergey Gorinsky ♣ ♣ IMDEA Networks Institute † Open University of Catalon

Source URL: www.usenix.org

• Internet architecture
• Computing
• Network architecture
• Internet
• Border Gateway Protocol
• BGP hijacking
• Routing
• Router
• Peering
• IP routing
• Control plane
• Computer network

Nickel A Framework for Design and Verification of Information Flow Control Systems Helgi Sigurbjarnarson, Luke Nelson, Bruno Castro-Karney, James Bornholt, Emina Torlak, and Xi Wang

Source URL: unsat.cs.washington.edu

• Aircraft instruments
• Standards
• Covert channel
• Steganography
• ARINC 653
• ARINC
• Verification
• Human behavior
• Technology
• User interface design
• Design

A Crash-Safe Key-Value Store Using Chained Copy-on-Write B-trees by Bruno Castro-Karney Supervised by Xi Wang

Source URL: unsat.cs.washington.edu

• Binary trees
• Computing
• Computer programming
• B-tree
• Learning
• Data types
• Trie
• B+ tree
• Btrfs
• R-tree
• T-tree
• Tree

Agricultural land prices in Uruguay in the longrun): an empirical approach from the technological change Pablo Castro Victoria Pradines

Source URL: audhe.org.uy

Kickers et Septa de SOLEIL pour le “Top Up” P. Lebasque, R. Ben El Fekih, M. Bol, J. Da Silva Castro, A. Hardy, C. Herbeaux, J.-P. Lavieville, A. Loulergue, J.-L. Marlats, D. Muller, G. Renaud, J.-P. Ricaud (Synchrot

Source URL: journees.accelerateurs.fr

RUM SZIVARRAL - KUBA, AHOL LELASSULT AZ IDŐ ... FARKAS GYÖRGY Kuba – a felületes tájékozódó szemével – közhelyek sorozata: A szakállas Castro, a szivarozó öregek képe mindenhol, a rum (melyik is: a Bacar

Source URL: www.mettars.hu

A COMUNICAÇÃO DO TURISMO ACESSÍVEL: UM ESTUDO SOBRE AS ATRAÇÕES TURÍSTICAS DA CIDADE DO PORTO Por Celine Teixeira de Castro

Source URL: repositorio-aberto.up.pt

Luis Filipe Viera de Castro Associate Professor, Frederic R. Mayer Fellow II of Nautical Archaeology Dr. Filipe Castro received a Licenciatura in Civil Engineering from the Universidade Técnica de Lisboa in 1984, an M.B

Source URL: shipbuilding2018.pirireis.edu.tr