The Toolkit for Accurate Scientific Software Stephen F. Siegel, Timothy Zirkel, Yi Wei Verified Software Laboratory Department of Computer and Information Sciences University of Delaware Newark, DE, USA

Source URL: www.lix.polytechnique.fr

• Parallel computing
• Computing
• Computer engineering
• Computer science
• Electrical engineering
• Electronic engineering
• Electromagnetism
• Message Passing Interface
• Model checking
• Computer programming
• Computational science
• Simulation

Voting with Their Feet: Inferring User Preferences from App Management Activities Huoran Li1 , Wei Ai2 , ‡ Xuanzhe Liu1 , Jian Tang3 , ‡ Gang Huang1 , Feng Feng4 , ‡ Qiaozhu Mei2 1 Key Lab of High-Confidence Softw

Source URL: gdac.uqam.ca

arXiv:1512.02325v5 [cs.CV] 29 DecSSD: Single Shot MultiBox Detector Wei Liu1 , Dragomir Anguelov2 , Dumitru Erhan3 , Christian Szegedy3 ,

Source URL: arxiv.org

• Computational neuroscience
• Artificial intelligence
• Computer storage devices
• Computer data storage
• Vision
• Non-volatile memory
• Solid-state drive
• Convolutional neural network
• Object detection
• Artificial neural network

GAnGS: Gather, Authenticate ’n Group Securely ∗ Chia-Hsin Owen Chen† , Chung-Wei Chen‡ , Cynthia Kuo§ , Yan-Hao Lai∗ , Jonathan M. McCune§ , Ahren Studer§⋄ , Adrian Perrig§ , Bo-Yin Yang† , Tzong-Chen

Source URL: precision.moscito.org

• Group theory
• Algebra
• Abstract algebra
• Geometry
• N-group
• Bluetooth
• Subgroup
• Formation
• Index of a subgroup

GroupLink: Group Event Recommendations Using Personal Digital Traces Honghao Wei Tsinghua University Beijing, 100084, China

Source URL: www.cs.cornell.edu

• Information science
• Collaboration
• Humancomputer interaction
• Information retrieval
• Recommender systems
• Human communication
• Social information processing
• Collective intelligence
• Collaborative filtering
• Computer-supported cooperative work
• Personalization
• GroupLens Research

Poster: A DDoS Peak Traffic Volume Prediction Method Based on Machine Learning Shuang Wei† , Yijing Ding† , Tongxin Li† , Shuaifu Dai‡ , Xinfeng Wu† and Xinhui Han†∗ † Peking University ‡ CNCERT/CC

Source URL: www.ieee-security.org

• Denial-of-service attacks
• Statistical inference
• Cyberwarfare
• Estimation theory
• Computing
• Denial-of-service attack
• Internet Relay Chat
• Domain name system
• Anycast
• Cross-validation
• Regression analysis
• Prediction

SoK: Eternal War in Memory L´aszl´o Szekeres† , Mathias Payer‡ , Tao Wei∗‡ , Dawn Song‡ † Stony Brook University ‡ University of California, Berkeley ∗ Peking University

Source URL: people.eecs.berkeley.edu

• Computing
• Software bugs
• Software engineering
• Data types
• Computer memory
• Primitive types
• C standard library
• Memory safety
• Stack buffer overflow
• Pointer
• Dangling pointer
• Buffer overflow

FEVS: A Functional Equivalence Verification Suite Stephen F. Siegel, Timothy K. Zirkel, Yi Wei Supported by the National Science Foundation under Grant No. CCF

Source URL: www.lix.polytechnique.fr

• Computing
• Software engineering
• Computer programming
• Array programming languages
• High-level programming languages
• Parallel computing
• Compiler optimizations
• Fortran
• Functional programming
• MATLAB
• Argonne National Laboratory
• NP

HONG KONG INSTITUTE FOR MONETARY RESEARCH THE FISCAL THEORY OF THE PRICE LEVEL IN A WORLD OF LOW INTEREST RATES Marco Bassetto and Wei Cui

Source URL: www.hkimr.org

• Economy
• Money
• Fiscal policy
• United States fiscal cliff
• Keynesian economics
• Inflation
• Real interest rate
• Macroeconomics
• Balanced budget
• Government budget balance
• National debt of the United States
• Deficit spending