A Securities Law Framework for Blockchain Tokens To estimate how likely a particular blockchain token is be a security under US federal securities law Refer to: full legal analysis Instructions Step 1: Copy to a new goog

Source URL: hacken.io

• Cryptocurrencies
• Ethereum
• Alternative currencies
• Blockchains
• Numismatics
• Economy
• Money
• Cross-platform software
• Initial coin offering
• Token
• Kin
• Draft:Bancor protocol

SIGCHI Conference Proceedings Format

Source URL: rishabhmit.bitbucket.io

• Humancomputer interaction
• Computing
• User interfaces
• Software
• User interface techniques
• Programming paradigms
• Machine learning
• Programming by example
• End-user development
• User interface
• Usability
• Interaction technique

Static Detection of Loop-Invariant Data Structures Guoqing Xu1 , Dacong Yan2 , and Atanas Rountev2 1 2 University of California, Irvine, CA, USA

Source URL: dacongy.github.io

• Software engineering
• Computer programming
• Programming language theory
• Compiler optimizations
• Control flow
• Loop optimization
• Heap
• Optimizing compiler
• Foreach loop

Pushing to the Top with K-induction Arie Gurfinkel Electrical and Computer Engineering University of Waterloo joint work with Alexander Ivrii (IBM)

Source URL: arieg.bitbucket.io

1 디스트릭트0x 네트워크 백서 v0년 9월 14일

Source URL: district0x.io

Privacy Policy We are delighted that you have chosen to visit our website. We take our data protection responsibilities with the utmost seriousness and we have designed our website so that you may navigate and use our we

Source URL: www.dappcon.io

• Data security
• Law
• Privacy law
• Data protection
• Information privacy
• Terms of service
• Privacy
• General Data Protection Regulation
• Internet privacy
• Personally identifiable information
• Data Protection Act

Analyzing array manipulating programs by program transformation J. Robert M. Cornish1 , Graeme Gange1 , Jorge A. Navas2 , Peter Schachte1 , Harald Søndergaard1, and Peter J. Stuckey1 1

Source URL: jorgenavas.github.io

• Array data structure
• Variable
• Dimensional analysis
• Computing
• Mathematics
• Engineering
• Jet bundle

CoinCap.io, CoinCap Apps Online Privacy Notice Data protection and security are important to CoinCap ("CoinCap"; "we"), as is your trust in our company and services. CoinCap is committed to processing your personal data

Source URL: static.coincap.io

• Marketing
• World Wide Web
• Terms of service
• Computing
• Internet privacy
• Internet security
• Google Analytics
• HTTP cookie
• Privacy policy
• General Data Protection Regulation
• Cloudflare
• Web analytics

Testing for Poor Responsiveness in Android Applications Shengqian Yang Dacong Yan

Source URL: dacongy.github.io

• Computing
• Computer architecture
• System software
• Software testing
• Smartphones
• Computing platforms
• Alphabet Inc.
• Android
• Mobile app development
• Graphical user interface testing
• Effi
• Test automation

Synthesis of Memory Fences via Refinement Propagation Yuri Meshman2 , Andrei Dan1 , Martin Vechev1 , and Eran Yahav2 1 ETH Zurich

Source URL: practicalsynthesis.github.io

• Computing
• Computer architecture
• Concurrent computing
• Theoretical computer science
• Computer programming
• Refinement
• Abstract interpretation
• Memory barrier
• Abstraction
• Algorithm
• Thread