Designing a Micro-Benchmark Suite to Evaluate gRPC for TensorFlow: Early Experiences Rajarshi Biswas, Xiaoyi Lu, and Dhabaleswar K. (DK) Panda {biswas.91,lu.932,panda.2}@osu.edu Abstract

Source URL: prof.ict.ac.cn

• Computing
• Deep learning
• Free statistical software
• GRPC
• Remote procedure call
• Benchmark
• TensorFlow
• Protocol Buffers
• Remote direct memory access
• InfiniBand
• Storage area network
• Standard Performance Evaluation Corporation

T DR AF Quantitative Verification Techniques for Biological Processes Marta Kwiatkowska, Gethin Norman, and David Parker

Source URL: qav.comlab.ox.ac.uk

• Protein kinases
• Cell biology
• Biology
• Signal transduction
• Cell signaling
• Biochemistry
• Mitogen-activated protein kinase kinase
• Mitogen-activated protein kinase
• MAPK phosphatase
• Mitogen
• MAP kinase kinase kinase

The Satisfiability Problem for Probabilistic CTL Tom´asˇ Br´azdil Vojtˇech Forejt Jan Kˇret´ınsk´y

Source URL: qav.comlab.ox.ac.uk

• Theoretical computer science
• Mathematics
• Logic in computer science
• Mathematical analysis
• Temporal logic
• Generalizations of the derivative
• Computation tree logic
• Boolean satisfiability problem
• Symbol
• Model theory
• 120-cell
• Distribution

On Stochastic Games with Multiple Objectives Taolue Chen, Vojtˇech Forejt, Marta Kwiatkowska, Aistis Simaitis, and Clemens Wiltsche Department of Computer Science, University of Oxford, United Kingdom Abstract. We stud

Source URL: qav.comlab.ox.ac.uk

• Mathematical analysis
• Measure theory
• Mathematics
• Probability and statistics
• Determinacy
• Stochastic game
• Strategy
• Markov chain
• Stochastic process
• Support
• Mathematical optimization
• Statistical model

Robust Defenses for Cross-Site Request Forgery Adam Barth Collin Jackson Stanford University

Source URL: www.doc.ic.ac.uk

• Computing
• World Wide Web
• Software engineering
• Internet privacy
• Cross-site request forgery
• Computer network security
• Hacking
• Ajax
• Same-origin policy
• Cross-site scripting
• HTTP cookie
• Referer spoofing

Deep Diving into Africa’s Inter-Country Latencies Agustin Formoso∗ , Josiah Chavula† , Amreesh Phokeer† ‡ , Arjuna Sathiaseelan§ , Gareth Tyson¶ ∗ LACNIC † AFRINIC ‡ University of Cape Town § Universit

Source URL: www.eecs.qmul.ac.uk

• Computing
• Information and communications technology
• System software
• Broadband
• Latency
• Round-trip delay time
• Cluster analysis
• RIPE Atlas
• Internet access
• Traceroute
• Hop
• Lag

Towards a Program Logic for JavaScript Philippa Gardner Sergio Maffeis Gareth Smith

Source URL: www.doc.ic.ac.uk

ProbReach: Probabilistic Bounded Reachability for Uncertain Hybrid Systems Fedor Shmarov, Paolo Zuliani School of Computing Science, Newcastle University, UK

Source URL: www.cs.ox.ac.uk

• Complexity classes
• Differential equations
• Systems science
• Control theory
• Hybrid system
• Systems theory
• NL
• Reachability
• P
• Mathematics

Towards Strong Higher-Order Automation for Fast Interactive Verification Jasmin Christian Blanchette1,2,3 , Pascal Fontaine3 , Stephan Schulz4 , and Uwe Waldmann2 1

Source URL: www.cs.man.ac.uk

• Theoretical computer science
• Software engineering
• Mathematical software
• Formal methods
• Proof assistants
• Logic in computer science
• Automated theorem proving
• Isabelle
• Automated reasoning
• E theorem prover
• Formal verification
• KeY

SCMon: Leveraging Segment Routing to Improve Network Monitoring Franc¸ois Aubry, David Lebrun, Stefano Vissicchio, Minh Thanh Khong, Yves Deville, Olivier Bonaventure ICTEAM, Universit´e catholique de Louvain, Louvain-

Source URL: www0.cs.ucl.ac.uk

• Mathematics
• Routing algorithms
• Computing
• Combinatorial optimization
• Search algorithms
• Applied mathematics
• Network theory
• Internet architecture
• Shortest path problem
• Dijkstra's algorithm
• Image segmentation
• Routing