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

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

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

Marina E. Henke Ph.D. Northwestern University Scott Hall, 601 University Pl., Evanston, IL, www.marinahenke.com

Source URL: www.marinahenke.com

• International relations
• Global politics
• United Nations peacekeeping
• Peacekeeping
• Structure
• Center on International Cooperation
• United Nations
• Common Security and Defence Policy
• Humanitarian intervention
• African Union

1 Herbarium Racketensis: A Stroll through the Woods (Functional Pearl) VINCENT ST-AMOUR, DANIEL FELTEY, SPENCER P. FLORENCE, SHU-HUNG YOU, and ROBERT BRUCE FINDLER, PLT @ Northwestern University, USA

Source URL: www.ece.northwestern.edu

• Mathematics
• Algebra
• Fractals
• L-system
• Fractal curves
• Hygienic macro
• Arity
• Constructible universe

Collapsible Contracts: Fixing a Pathology of Gradual Typing DANIEL FELTEY, Northwestern University, USA BEN GREENMAN, Northeastern University, USA CHRISTOPHE SCHOLLIERS, Ghent University, Belgium ROBERT BRUCE FINDLER, No

Source URL: users.eecs.northwestern.edu

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

NORTHWESTERN UNIVERSITY NEWS MEDIA CONTACTS: Megan Crane, Attorney, Center on Wrongful Convictions of Youth, Chicago, ; Joshua Tepfer, Attorney, Exoneration Project, Chicago,

Source URL: www.law.northwestern.edu

n University of Applied Sciences and Arts Northwestern Switzerland Peter-Merian-StrasseBasel

Source URL: www.iscbi.com

Numerical Issues and Influences in the Design of Algebraic Modeling Languages for Optimization Robert Fourer Northwestern University David M. Gay AMPL Optimization LLC

Source URL: users.iems.northwestern.edu