A Coq Library For Internal Verification of Running-Times Jay McCarthy1 , Burke Fetscher2 , Max New2 , Daniel Feltey2 , and Robert Bruce Findler2 1

Source URL: www.eecs.northwestern.edu

• Computer programming
• Software engineering
• Type theory
• Declarative programming
• Functional programming
• Adjoint functors
• Monad
• HindleyMilner type system
• Variety
• Redblack tree
• List

Microsoft PowerPoint - 08-NewtonRecursion.pptx

Source URL: inst.eecs.berkeley.edu

Preserving Privacy in Crowd-Powered Systems Walter S. Lasecki1 , Mitchell Gordon1 , Jaime Teevan2 , Ece Kamar2 , Jeffrey P. Bigham3 University of Rochester1 , Microsoft Research2 , Carnegie Mellon University3 Abstract. I

Source URL: web.eecs.umich.edu

Languages the Racket Way 2016 Language Workbench Challenge Daniel Feltey Spencer P. Florence

Source URL: www.eecs.northwestern.edu

• Computer programming
• Software engineering
• Computing
• Functional languages
• Scheme
• Source code
• Object-oriented programming languages
• Hygienic macro
• Racket features
• Macro
• Racket
• Syntax

Human Computation Tasks with Global Constraints Haoqi Zhang1 , Edith Law2 , Robert C. Miller3 , Krzysztof Z. Gajos1 , David C. Parkes1 , Eric Horvitz4 1 Harvard SEAS Cambridge, MA {hq, kgajos, parkes} @eecs.harvard.edu

Source URL: iis.seas.harvard.edu

CAge: Taming Certificate Authorities by Inferring Restricted Scopes James Kasten, Eric Wustrow, and J. Alex Halderman The University of Michigan {jdkasten,ewust,jhalderm}@eecs.umich.edu

Source URL: fc13.ifca.ai

Distrib. Comput:261–280 DOIs00446Distributed algorithms for the Lovász local lemma and graph coloring Kai-Min Chung1 · Seth Pettie2 · Hsin-Hao Su3

Source URL: web.eecs.umich.edu

Kurator: Using the Crowd to Help Families with Personal Curation Tasks David Merritt1, Jasmine Jones2, Mark S. Ackerman1,2, Walter S. Lasecki1,2 Computer Science & Engineering1, School of Information2 University of Michi

Source URL: web.eecs.umich.edu

EECS-grad-orientation-Aug2015

Source URL: www.eecs.utk.edu

Understanding Task Design Trade-offs in Crowdsourced Paraphrase Collection Youxuan Jiang, Jonathan K. Kummerfeld and Walter S. Lasecki Computer Science & Engineering University of Michigan, Ann Arbor {lyjiang,jkummerf,wl

Source URL: web.eecs.umich.edu