Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Alex Aiken

First-Class Runtime Generation of High-Performance Types Using Exotypes

ACM SIGPLAN Notices
Computer Science
2014English

Small Formulas for Large Programs: On-Line Constraint Simplification in Scalable Static Analysis

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

From Invariant Checking to Invariant Inference Using Randomized Search

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Active Learning of Points-To Specifications

2018English

Specification Inference Using Context-Free Language Reachability

2015English

Flow-Sensitive Type Qualifiers

ACM SIGPLAN Notices
2002English

Relational Queries Over Program Traces

ACM SIGPLAN Notices
2005English

A Tuning Framework for Software-Managed Memory Hierarchies

2008English

Flow-Sensitive Type Qualifiers

2002English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy