SIGCSE 2011 Poster Proposal: Universal Design for Learning in CS1 Suzanne Rivoire Department of Computer Science Sonoma State University, Rohnert Park, CA, USA

Source URL: rivoire.cs.sonoma.edu

• Education
• Learning
• Human behavior
• Pedagogy
• Segregation
• Educational psychology
• Higher education
• Universal Design for Learning
• Philosophy of education
• Educational technology
• Inclusion
• Accessibility

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

Intrinsic Side-Channel Analysis Resistance and Efficient Masking A case study of the use of SCA-related metrics and of design strategies leading to low-cost masking for CAESAR candidates

Source URL: ko.stoffelen.nl

• Cryptography
• Applied mathematics
• Block cipher modes of operation
• Block cipher
• Symmetric-key algorithm
• Stream cipher
• Galois/Counter Mode
• Data Encryption Standard
• Authenticated encryption
• Cryptanalysis
• Public-key cryptography
• Cryptographic hash function

NSDI ’18: 15th USENIX Symposium on Networked Systems Design and Implementation April 9–11, 2018 Renton, WA, USA New Hardware

Source URL: www.usenix.org

• Higher education in China
• Education in China
• C9 League
• Project 211
• Project 985
• Scott Shenker
• Sylvia Ratnasamy
• University of Science and Technology of China
• Hari Balakrishnan
• Microsoft Research
• University of California
• Berkeley
• Ion Stoica

Higher-Order and Symbolic Computation manuscript No. (will be inserted by the editor) The Design and Implementation of Typed Scheme: From Scripts to Programs? Sam Tobin-Hochstadt · Matthias Felleisen

Source URL: homes.sice.indiana.edu

• Type theory
• Software engineering
• Programming language theory
• Computing
• Scheme
• System F
• Type system
• HindleyMilner type system
• Racket
• Boolean data type
• Macro
• Typing environment

APPS WITH LOVE ENTWICKLUNGSPROZESS DESIGN CHECKLISTE

Source URL: appswithlove.com

Parser Design Neil Mitchell June 25, 2004 1

Source URL: community.haskell.org

• Programming language implementation
• Computer programming
• Computing
• Parser generators
• Compiling tools
• Compiler construction
• Parsing algorithms
• Finite automata
• Yacc
• Parsing
• Lex
• GNU bison

Who gives a fuck about design / broke but not broken... JUNE / JULY 2008 Send stuff to Anarchism… puts the cult back into culture? This is written in lieu of the eviction of Hackney Social Centre, t

Source URL: www.randomartists.org

• DIY culture
• Affordable housing
• Anarcho-punk
• Real property law
• English criminal law
• Squatting
• Serious Organised Crime and Police Act
• Shoreditch
• Hoxton
• Land law
• Human behavior
• Culture

Runtime Verification Logics A Language Design Perspective Klaus Havelund1? and Giles Reger2?? 1 Jet Propulsion Laboratory, California Inst. of Technology, USA

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

• Theoretical computer science
• Mathematics
• Formal methods
• Logic in computer science
• Models of computation
• Temporal logic
• Runtime verification
• Formal verification
• Model checking
• Linear temporal logic
• Finite-state machine
• FO

Proceedings of the 13th USENIX Symposium on Networked Systems Design and Implementation (NSDI ’16) Errata Slip In the paper “Be Fast, Cheap and in Control with SwitchKV” by Xiaozhou Li and Raghav Sethi, Princeton

Source URL: www.usenix.org