Swaha Miller

According to our database, Swaha Miller authored at least 3 papers between 2005 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

Profile-guided meta-programming.

William J. Bowman, Swaha Miller, Vincent St-Amour, R. Kent Dybvig

Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015

2013

The Relative Power of Semantics and Unification.

David A. Plaisted, Swaha Miller

Proceedings of the Programming Logics - Essays in Memory of Harald Ganzinger, 2013

2005

The Space Efficiency of OSHL.

Swaha Miller, David A. Plaisted

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2005