Submodules in Racket You Want it When, Again? Matthew Flatt PLT and University of Utah

Source URL: www.cs.utah.edu

• Software engineering
• Computer programming
• Computing
• Object-oriented programming languages
• Cross-platform software
• Procedural programming languages
• Scheme
• Functional languages
• Hygienic macro
• Racket
• Macro
• Module

tifact Categories and Subject Descriptors D.3.3 [Programming Languages]: Language Constructs and Features Keywords Macros, hygiene, binding, scope 1.

Source URL: www.cs.utah.edu

• Software engineering
• Computer programming
• Computing
• Transformation languages
• Metaprogramming
• Source code
• Dylan
• Hygienic macro
• Scheme
• Macro
• Scope
• Anonymous function

CS-BuFLO: A Congestion Sensitive Website Fingerprinting Defense Xiang Cai Rishab Nithyanand

Source URL: www.freehaven.net

• Computing
• Internet
• Network performance
• Network architecture
• Internet protocols
• Internet Standards
• Internet privacy
• Secure communication
• Transmission Control Protocol
• SOCKS
• Tor
• TCP congestion control

Prof. Bernhard Steffen TU Dortmund BIO Bernhard Steffen graduated in Mathematicsand obtained a PhD in Computer Sciencefrom the Christian-Albrechts Universität Kiel (D), then he was Research Fellow at the

Source URL: ls5-www.cs.tu-dortmund.de

• Computing
• Software engineering
• Computer science
• Formal methods
• Theoretical computer science
• Bernhard Steffen
• Model checking
• Large-scale Complex IT Systems
• European Joint Conferences on Theory and Practice of Software
• Software development
• ACM Transactions on Programming Languages and Systems
• Draft:Tiziana Margaria

Published as a conference paper at ICLRL EVERAGING G RAMMAR AND R EINFORCEMENT L EARNING FOR N EURAL P ROGRAM S YNTHESIS arXiv:1805.04276v1 [cs.LG] 11 May 2018

Source URL: rishabhmit.bitbucket.io

• Computational neuroscience
• Computing
• Artificial intelligence
• Machine learning
• Artificial neural networks
• Learning
• Convolutional neural network
• Long short-term memory
• Syntax
• Training
• test
• and validation sets
• Supervised learning
• Object Process Methodology

Star-Cap: Cluster Power Management Using Software-Only Models John D. Davis Suzanne Rivoire () Moisés Goldszmidt (Microsoft Research) ICPP Workshop on Power-aware Algorithms,

Source URL: rivoire.cs.sonoma.edu

Specifying and Checking File System Crash-Consistency Models James Bornholt Antoine Kaufmann Jialin Li

Source URL: unsat.cs.washington.edu

• Computer architecture
• System software
• Computing
• Disk file systems
• Ext4
• Ext3
• Sync
• File system
• Btrfs
• XFS
• Inode
• File locking

NJ election cover-up | Freedom to Tinker

Source URL: www.cs.princeton.edu

• Voting
• Politics
• Electronic voting
• Vote counting
• Sequoia Voting Systems
• Optical scan voting system
• Voting machine
• Edward Felten
• DRE voting machine
• Ballot

Suggesting Edits to Explain Failing Traces Giles Reger University of Manchester, UK Abstract. Runtime verification involves checking whether an execution trace produced by a running system satisfies a specification. Howe

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

• Mathematics
• Algebra
• Theoretical computer science
• Finite automata
• Linear algebra
• Finite-state transducer
• Dynamic programming
• Edit distance
• Trace
• Finite-state machine
• Shortest path problem
• Levenshtein distance

Vector Lane Threading Suzanne Rivoire, Rebecca Schultz, Tomofumi Okuda†, Christos Kozyrakis Electrical Engineering Department Stanford University {rivoire,rschultz,tokuda,kozyraki}@stanford.edu 8

Source URL: rivoire.cs.sonoma.edu

• Computer architecture
• Concurrent computing
• Computing
• Parallel computing
• Central processing unit
• Flynn's taxonomy
• Microprocessors
• Superscalar processor
• SIMD
• Vector processor
• Scalar processor
• Automatic vectorization