[DSLDI14] Composable and Hygienic Typed Syntax Macros (TSMs) Cyrus Omar Chenglong (Stanley) Wang

Source URL: chenglongwang.org

• Software engineering
• Computing
• Computer programming
• APL programming language family
• Array programming languages
• High-level programming languages
• Source code
• Parser generators
• K
• Syntax
• Q
• Pure

Pocket: Ephemeral Storage for Serverless Analytics Ana Klimovic, Yawen Wang, Christos Kozyrakis, Patrick Stuedi, Animesh Trivedi, Jonas Pfefferle Stanford University & IBM Research

Source URL: platformlab.stanford.edu

• Computing
• Computer memory
• Computer architecture
• Cloud computing
• Serverless computing
• Non-volatile memory
• Dynamic random-access memory
• Computer data storage
• AWS Lambda
• Random-access memory
• Ferroelectric RAM

Vite: A High Performance Asynchronous Decentralized Application Platform Chunming Liu Daniel Wang

Source URL: www.vite.org

• Cryptocurrencies
• Computing
• Transaction processing
• Data management
• Data
• Blockchains
• Alternative currencies
• Ethereum
• Proof-of-stake
• Bitcoin
• ACID
• Ledger

Blockcloud: A Blockchain-based Service-centric Network Stack Zhongxing Ming∗ , Shu Yang† , Qi Li∗ , Dan Wang‡ , Mingwei Xu∗ , Ke Xu∗ , Laizhong Cui† ∗ Dept. of Comp. Sci. & Tech., Tsinghua Univ., Tsinghu

Source URL: www.block-cloud.io

• Cryptocurrencies
• Computing
• Emerging technologies
• Alternative currencies
• Blockchains
• Technology
• Information
• Ethereum
• Internet of things
• Bitcoin
• Gateway
• ternity

Zeta Avarikioti & Felix Laufenberg, Jakub Sliwinski, Yuyi Wang, Roger Wattenhofer Micropayment Channel Blockchain

Source URL: www.tik.ee.ethz.ch

KITP-93: An Automated Inference System for Program Analysis T. C. Wang and Allen Goldberg Kestrel Institute 3260 Hillview Avenue Palo Alto, CA 94304

Source URL: www.kestrel.edu

• Mathematical logic
• Logic
• Type theory
• Theoretical computer science
• Logic in computer science
• Automated theorem proving
• Reasoning
• Program analysis
• Natural deduction
• Logical framework
• Resolution
• First-order logic

Towards Intelligent Voice Assistants for SPNs Vin Sachidananda with Feiran Wang and Balaji Prabhakar Intelligent Voice Assistants

Source URL: platformlab.stanford.edu

• Computing
• Economy
• Business
• Business software
• Dashboard
• Data management
• Data warehousing
• Google Search
• Query

Stweeler: A Framework for Twitter Bot Analysis Zafar Gilani, Liang Wang, Jon Crowcroft University of Cambridge {szuhg2, lw525, jac22}

Source URL: gdac.uqam.ca

• Bots
• Software
• Computing
• Digital media
• Twitter bot
• Twitter
• Internet bot
• Social media
• Video game bot
• Spambot
• Botnet
• CongressEdits

Payment Network Design with Fees arXiv:1810.07585v1 [cs.DS] 17 Oct 2018 Georgia Avarikioti, Gerrit Janssen, Yuyi Wang, and Roger Wattenhofer ETH Zurich, Switzerland

Source URL: arxiv.org

• Mathematics
• Graph theory
• Computational complexity theory
• Network theory
• Edsger W. Dijkstra
• Computational problems
• Shortest path problem
• Dynamic programming
• Graph
• Optimization problem
• Bitcoin
• Max-flow min-cut theorem

FIDEX: Filtering Spreadsheet Data using Examples Xinyu Wang Sumit Gulwani UT Austin, USA

Source URL: rishabhmit.bitbucket.io

• Computer programming
• Software engineering
• Formal languages
• Theoretical computer science
• Computing
• Directed acyclic graph
• Filter
• Regular expression
• Recursion
• Finite-state machine