Bringing the Web up to Speed with WebAssembly Andreas Haas Andreas Rossberg Derek L. Schuff∗ Ben L. Titzer ∗ Google GmbH, Germany / Google Inc, USA {ahaas,rossberg,dschuff,titzer}@google.com

Source URL: www.cs.tufts.edu

• Software engineering
• Computer programming
• Computing
• Cross-platform software
• High-level programming languages
• Web programming
• Functional programming
• Subroutines
• JavaScript
• Const
• Stack machine
• Stack trace

Increasing Usability of Spin-based C Code Verification Using a Harness Definition Language Leveraging Model-driven Code Checking to Practitioners Daniel Ratiu Andreas Ulrich

Source URL: mbeddr.com

• Model checkers
• Computing
• Theoretical computer science
• Software engineering
• Formal methods
• Promela
• SPIN model checker
• Model checking
• Guard
• Certificate
• Formal verification
• Printf format string

Troubleshooting Blackbox SDN Control Software with Minimal Causal Sequences Colin Scott Andreas Wundsam†? Barath Raghavan? Aurojit Panda

Source URL: people.ee.ethz.ch

• Computer programming
• Computing
• Software engineering
• Debugging
• Rr
• Delta debugging
• Software bug
• Software-defined networking
• Debugger
• Fuzzing
• Race condition
• Event

Cataloging the Visible Universe through Bayesian Inference at Petascale Jeffrey Regier∗ , Kiran Pamnany† , Keno Fischer‡ , Andreas Noack§ , Maximilian Lam∗ , Jarrett Revels§ , Steve Howard¶ , Ryan Giordano¶ ,

Source URL: arxiv.org

• Observational astronomy
• Astronomy
• Parallel computing
• Bayesian network
• Sloan Digital Sky Survey
• Computing
• Bayesian inference
• Astronomical survey
• Gravitational lens
• Computer cluster

Institut für Technische Informatik und Kommunikationsnetze Andreas Germann

Source URL: nsg.ee.ethz.ch

• Computing
• TCP Fast Open
• Network performance
• Data transmission
• Network architecture
• Computer network security
• Transmission Control Protocol
• Flow control
• Internet protocols
• Multipath TCP
• QUIC
• Explicit Congestion Notification

Towards Measuring Real-World Performance of Android Devices Pascal Bissig, Gino Brunner, Florian Gubler, Roger Wattenhofer, Andreas Zingg Department of Electrical Engineering and Information Technology ETH Zurich, Switze

Source URL: www.tik.ee.ethz.ch

• Computing
• Software
• Computer architecture
• Smartphones
• Cloud clients
• Personal computing
• Android
• Benchmark
• Google Play
• HERE WeGo
• IOS
• BlackBerry Priv

Graphical Inference for Infovis Hadley Wickham, Dianne Cook, Heike Hofmann, and Andreas Buja Fig. 1. One of these plots doesn’t belong. These six plots show choropleth maps of cancer deaths in Texas, where darker color

Source URL: vita.had.co.nz

• Statistical hypothesis testing
• Probability and statistics
• Statistics
• Statistical inference
• Null hypothesis
• Null distribution
• P-value
• Exploratory data analysis
• Alternative hypothesis
• Student's t-test
• Null
• Statistical significance

All Your Cards Are Belong To Us: Understanding Online Carding Forums Andreas Haslebacher, Jeremiah Onaolapo, and Gianluca Stringhini University College London {j.onaolapo,g.stringhini}@cs

Source URL: jonaolapo.github.io

DOMAIN SPECIFIC LANGUAGES FOR EFFICIENT SATELLITE CONTROL SOFTWARE DEVELOPMENT Andreas Wortmann, Martin Beet OHB System AG, Universitätsallee 27-29, 28359 Bremen, Germany, Email: Tel.: +

Source URL: mbeddr.com

• Computing
• Software engineering
• Software architecture
• Information and communications technology
• Domain-specific language
• Software development
• Software
• Component-based software engineering
• Application software

Defining Nonprimitively (Co)recursive Functions in Isabelle/HOL Jasmin Christian Blanchette, Aymeric Bouzy, Andreas Lochbihler, Andrei Popescu, and Dmitriy Traytel 15 August 2018

Source URL: mirror.clarkson.edu

• Computer programming
• Declarative programming
• Software engineering
• Theoretical computer science
• Category theory
• Functional programming
• Recursion
• Type theory
• Corecursion
• Coinduction
• Fold
• SCons