NetComplete: Practical Network-Wide Configuration Synthesis with Autocompletion Ahmed El-Hassany, Petar Tsankov, Laurent Vanbever, Martin Vechev ETH Z¨urich netcomplete.ethz.ch Abstract

Source URL: netcomplete.ethz.ch

• Computing
• Network architecture
• Routing protocols
• Internet Standards
• Data transmission
• Internet protocols
• Internet architecture
• Computer networking
• Border Gateway Protocol
• Open Shortest Path First
• IS-IS
• Convergence

COLLOQUIUM Najib Idrissi ETH Z¨urich Configuration Spaces and Graph Complexes

Source URL: www.uregina.ca

• Mathematics
• Geometry processing
• Algebraic topology
• Topology
• Manifold
• Structure
• Configuration space
• Space

SECURITY The Adblocking Tug-of-War The Adblocking Tug-of-War H A M E D H A D D A D I , R I S H A B N I T H YA N A N D , S H E H A R B A N O K H AT TA K , M O B I N J AV E D, N A R S EO VA L L I N A - R O D R I G U E Z ,

Source URL: sheharbano.com

• Software
• Advertising
• Marketing
• Online advertising
• Firefox add-ons
• Google Chrome extensions
• Advertising-free media
• Microsoft Edge extensions
• Ad blocking
• GNOME Web
• Adblock Plus
• Targeted advertising

b9611c7b-2a43-44d0-99ce-55733962fe74

Source URL: z.cash.foundation

• Cryptocurrencies
• Exonumia
• Numismatics
• Zcash
• Economy
• Bitcoin Private

UX CHECKLIST FOR WALLET DEVELOPERS We have compiled a checklist of good practices that can be applied to any cryptocurrency wallet with a graphic user interface. ZCASH FEATURES If you’re building a wallet that supports

Source URL: z.cash

• Economy
• Cryptocurrencies
• Money
• Finance
• Alternative currencies
• E-commerce
• Cryptography
• Zcash
• Cryptocurrency wallet
• Online shopping
• Transaction authentication number
• Draft:Bitcoin Anonymity

Synthesizing Ranking Functions from Bits and Pieces? Caterina Urban1,2 , Arie Gurfinkel2 , and Temesghen Kahsai2,3 1 ETH Z¨

Source URL: seahorn.github.io

• Mathematics
• Infinite loop
• Recursion
• Function
• Computability theory
• Computing

Informationen für Nicht-Schweizer Diese Übersicht kann aufgrund der Unterschiede bei Bürgern verschiedener Staaten nur einen groben Überblick geben. Es empfiehlt sich, im Einzelfall jeweils die zuständigen Stellen z

Source URL: www.gruenden.ch

Curriculum Vitae Stefan Ratschan Office address: Institute of Computer Science Academy of Sciences of the Czech Republic Pod Vod´arenskou vˇeˇz´ı 2

Source URL: www2.cs.cas.cz