Swaha Miller

dblp:19/4112 · DBLP profile ↗
← Back
2ranked-venue papers
1as first author
0since 2021 · last 2015
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Software engineering, systems software and programming languages · 1Theory of computation · 1 · 1 first-author

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Software engineering, system software, and programming languages
1 paper
Programming languages and type systems · 67% Compilers and program optimization · 33%

Topics — the 3 heaviest of 3, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Programming languages and type systems › language design
language extension
0.212015
Profile-guided meta-programming · PLDI 2015
Programming languages and type systems
metaprogramming
0.212015
Profile-guided meta-programming · PLDI 2015
Compilers and program optimization › dynamic optimization
profile-guided optimization
0.212015
Profile-guided meta-programming · PLDI 2015

Methods — techniques the papers use, named apart from their topics

profiling · 0.2
YearPublicationVenuePosition
2015 Profile-guided meta-programming
abstract
Contemporary compiler systems such as GCC, .NET, and LLVM incorporate profile-guided optimizations (PGOs) on low-level intermediate code and basic blocks, with impressive results over purely static heuristics. Recent work shows that profile information is also useful for performing source-to-source optimizations via meta-programming. For example, using profiling information to inform decisions about data structures and algorithms can potentially lead to asymptotic improvements in performance. We present a design for profile-guided meta-programming in a general-purpose meta-programming system. Our design is parametric over the particular profiler and meta-programming system. We implement this design in two different meta-programming systems---the syntactic extensions systems of Chez Scheme and Racket---and provide several profile-guided meta-programs as usability case studies.
William J. Bowman, Swaha Miller, Vincent St-Amour, R. Kent Dybvig
PLDI2
2005 The Space Efficiency of OSHL
Swaha Miller, David A. Plaisted
TABLEAUX1