Static Program Analysis for Identifying Energy Bugs in Graphics-Intensive Mobile Apps Chang Hwan Peter Kim, Daniel Kroening, and Marta Kwiatkowska Department of Computer Science, University of Oxford, UK

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

• Computing
• Computer graphics
• 3D rendering
• Video game development
• Computer programming
• Graphics hardware
• Graphics libraries
• Texture atlas
• Graphics processing unit
• Texture mapping
• Optimizing compiler
• Rendering

Verifying Curve25519 Software Yu-Fang Chen1 , Chang-Hong Hsu2 , Hsin-Hung Lin3 , Peter Schwabe4 , Ming-Hsien Tsai1 , Bow-Yaw Wang1 , Bo-Yin Yang1 , and Shang-Yi Yang1 ? 1 Institute of Information Science

Source URL: precision.moscito.org

• X86 architecture
• X86-64
• Z3
• Computing
• Computer hardware
• Computer engineering

Automatically Composing Representation Transformations as a Means for Generalization Michael Chang 1 Abhishek Gupta 1 Sergey Levine 1 Thomas L. Griffiths 1 Abstract

Source URL: arxiv.org

• Applied mathematics
• Mathematics
• Artificial intelligence
• Computational neuroscience
• Artificial neural networks
• Theoretical computer science
• Machine learning
• Cybernetics
• Deep learning
• Recurrent neural network
• Feature learning
• Recursion

1 Postquantum SSL/TLS for embedded systems Yun-An Chang† , Ming-Shing Chen†‡ , Jong-shian Wu† , Bo-Yin Yang‡ , of Electrical Engineering, National Taiwan University, Taiwan ‡ Institute of Information Science

Source URL: precision.moscito.org

• Cryptography
• Public-key cryptography
• Transport Layer Security
• Cryptographic software
• Secure communication
• Cryptographic protocols
• Mbed TLS
• Cipher suite
• OpenSSL
• Forward secrecy
• Post-quantum cryptography
• HTTPS

Blind Men and The Elephant: Thurstonian Pairwise Preference for Ranking in Crowdsourcing Xiaolong Wang∗ , Jingjing Wang∗ , Luo Jie† , Chengxiang Zhai∗ , and Yi Chang† University of Illinois∗ Urbana, IL 61801

Source URL: www.luojie.me

Tom Jones (USA), Chairman Sergei Avdeev (Russia) Franklin Chang-Diaz (USA/Costa Rica) Pedro Duque (Spain) Chris Hadfield (Canada)

Source URL: www.space-explorers.org

Embark: Securely Outsourcing Middleboxes to the Cloud Chang Lan Justine Sherry Raluca Ada Popa Sylvia Ratnasamy

Source URL: iot.stanford.edu

A Novel Word Segmentation Approach for Written Languages with Word Boundary Markers Han-Cheol Cho†, Do-Gil Lee§, Jung-Tae Lee§, Pontus Stenetorp†, Jun’ichi Tsujii†and Hae-Chang Rim§ † Graduate School of Info

Source URL: www.aclweb.org

Sixty Songs of Milarepa Translation by Garma C. C. Chang Website: www.buddhanet.net E-mail:

Source URL: www.abuddhistlibrary.com

Inferring Identity using Accelerometers in Television Remote Controls Keng-hao Chang∗, Jeffrey Hightower†, and Branislav Kveton‡ ∗University of California, Berkeley, California, USA †Intel Research, Seattle, Wa

Source URL: www.bkveton.com