POSTER: BotFlex: A Community-driven Tool for Botnet Detection Sheharbano Khattak Independent Researcher

Source URL: sheharbano.com

• Computer network security
• Computing
• Security engineering
• Computer security
• Cyberwarfare
• Cybercrime
• Spamming
• Multi-agent systems
• Botnet
• Complex event processing
• Zeek
• Blacklist

Towards Test-Driven Software Defined Networking David Lebrun, Stefano Vissicchio, Olivier Bonaventure Universit´e catholique de Louvain, ICTEAM Email: Abstract—To configure, troublesh

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

• Computing
• Emerging technologies
• Network architecture
• Information and communications technology
• Computer architecture
• Configuration management
• Internet architecture
• Software-defined networking
• Data transmission
• Software testing
• OpenFlow
• Traffic flow

Search, Align, and Repair: Data-Driven Feedback

Source URL: rishabhmit.bitbucket.io

• Software engineering
• Computing
• Computer programming
• Procedural programming languages
• Programming languages
• High-level programming languages
• Functional languages
• Initialization
• Variable
• ALGOL 68
• Pure
• Term

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

Model-Driven Software Verification Gerard J. Holzmann Rajeev Joshi JPL Laboratory for Reliable Software California Institute of Technology 4800 Oak Grove Drive

Source URL: rjoshi.org

• Model checkers
• Software engineering
• Theoretical computer science
• Formal methods
• C
• C++
• Sizeof
• Model checking
• Promela
• Abstraction
• Computing
• Abstract interpretation

A Case for Query-driven Predicate Answer Set Programming (Position Paper) Gopal Gupta Elmer Salazar, Kyle Marple, Zhuo Chen, Farhad Shakerin Department of Computer Science The University of Texas at Dallas

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

• Artificial intelligence
• Logic
• Logic programming
• Declarative programming
• Automated reasoning
• Programming paradigms
• Automated theorem proving
• Answer set programming
• Reasoning system
• Stable model semantics
• Prolog
• Inference

2016 IEEE Real-Time Systems Symposium On-Line Event-Driven Scheduling for Electric Vehicle Charging via Park-and-Charge 1

Source URL: wirelesslab.sjtu.edu.cn

Static Control-Flow Analysis of User-Driven Callbacks in Android Applications Shengqian Yang, Dacong Yan, Haowei Wu, Yan Wang, and Atanas Rountev Ohio State University Email: {yangs,yan,wuhaow,wang10,rountev}@cse.ohio-st

Source URL: dacongy.github.io

• Software engineering
• Subroutines
• Computing
• Computer programming
• Programming paradigms
• Callback
• Network flow problem
• Event
• Data-flow analysis
• Control flow analysis
• Flow network
• Control flow graph

U R B A N PA R K S Communal spaces for greater sustainability Photographic artist Simon Roberts says that cities have gradually opened up more of their private land for public use, driven by the

Source URL: perspectives.pictet.com

• Landscape
• Urban planning
• Natural environment
• Sustainability
• Sustainable city
• Urban park
• Park
• Human behavior
• Nature

Demand-Driven Context-Sensitive Alias Analysis for Java Dacong Yan Guoqing Xu Atanas Rountev

Source URL: dacongy.github.io

• Graph theory
• Graph connectivity
• Strongly connected component
• Reachability
• Graph
• Node
• Topological sorting