Feature-Specific Profiling LEIF ANDERSEN, PLT @ Northeastern University, United States of America VINCENT ST-AMOUR, PLT @ Northwestern University, United States of America JAN VITEK, Northeastern University and Czech Tec

Source URL: users.eecs.northwestern.edu

• Software engineering
• Computer programming
• Computing
• Functional languages
• Profilers
• Control flow
• Profiling
• Software optimization
• Racket
• Arc
• Stack
• Matthias Felleisen

DNS-sly: Avoiding Censorship through Network Complexity Qurat-Ul-Ann Danyal Akbar Northwestern University Marcel Flores Northwestern University

Source URL: www.usenix.org

• Domain name system
• Internet
• Computing
• Network architecture
• Extension mechanisms for DNS
• Name server
• OpenDNS
• DNS hijacking
• Comparison of DNS server software

From Conceptual Models to Agent-based Simulations: Why and How Swaroop Vattama, Ashok K. Goel a, Spencer Rugaber a, Cindy Hmelo-Silver b, Rebecca Jordan c a School of Interactive Computing, Georgia Institute of Technolog

Source URL: ccl.northwestern.edu

• Modeling and simulation
• Computing
• Systems science
• Scientific modeling
• Simulation
• Multi-agent systems
• Systems theory
• NetLogo
• Agent-based model
• Conceptual model
• Scientific modelling
• Ecosystem model

Collapsible Contracts: Fixing a Pathology of Gradual Typing

Source URL: www.eecs.northwestern.edu

• Algebra
• Vectors
• Mathematics
• Vector calculus
• Linear algebra
• Abstract algebra
• Euclidean vector
• Vector
• Position

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.ece.northwestern.edu

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

Publicado en Septiembre deEste documento usa la versión 6.0 de NetLogo. Traducción por Haroldo Miranda. QUE ES NETLOGO NetLogo es un entorno de modelado programable para simular fenómenos naturales y sociales.

Source URL: ccl.northwestern.edu

Publicado en Septiembre deEste documento usa la versión 6.0 de NetLogo. Traducido al Castellano por Haroldo Miranda. Tutorial # 1. Modelos Si lee la sección Modelo de muestra: Party, tendrá una breve introducci

Source URL: ccl.northwestern.edu

POP-PL: A Patient-Oriented Prescription Programming Language Spencer P. Florence˚,:: Burke Fetscher˚ Matthew Flatt: William H. Temps; Tina Kiguradze; Dennis P. West; Charlotte Niznik; Paul R. Yarnold§ Robert Bruce Fin

Source URL: www.ece.northwestern.edu

A Coq Library For Internal Verification of Running-Times Jay McCarthy University of Massachusetts at Lowell Burke Fetscher, Max S. New, Daniel Feltey, Robert Bruce Findler Northwestern University

Source URL: jeapostrophe.github.io

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

Migratory Typing: Ten Years Later∗ Sam Tobin-Hochstadt1 , Matthias Felleisen2 , Robert Bruce Findler3 , Matthew Flatt4 , Ben Greenman5 , Andrew M. Kent6 , Vincent St-Amour7 , T. Stephen Strickland8 , and Asumu Takikawa

Source URL: www.ece.northwestern.edu

• Software engineering
• Computing
• Programming language theory
• Type theory
• Type systems
• Lambda calculus
• Subroutines
• Data types
• Gradual typing
• Racket
• Go
• Programming language