Norman Danner

36 papers A* 1A 1C 1Journal 29Unranked 4
YearRankTypeTitle / Venue / Authors
2022 J jnl
Denotational semantics as a foundation for cost recurrence extraction for functional languages.
J. Funct. Program.
Norman Danner, Daniel R. Licata
2022 J jnl
General Ramified Recurrence and Polynomial-time Completeness.
CoRR
Norman Danner, James S. Royer
2022 J jnl
Recurrence extraction and denotational semantics with recursive definitions.
CoRR
Norman Danner
2020 J jnl
Denotational recurrence extraction for amortized analysis.
CoRR
Joseph W. Cutler, Daniel R. Licata, Norman Danner
2020 J jnl
Denotational recurrence extraction for amortized analysis.
Proc. ACM Program. Lang.
Joseph W. Cutler, Daniel R. Licata, Norman Danner
2020 J jnl
Denotational semantics as a foundation for cost recurrence extraction for functional languages.
CoRR
Norman Danner, Daniel R. Licata
2020 J jnl
Recurrence extraction for functional programs through call-by-push-value.
Proc. ACM Program. Lang.
G. A. Kavvos, Edward Morehouse, Daniel R. Licata, Norman Danner
2019 J jnl
Recurrence Extraction for Functional Programs through Call-by-Push-Value (Extended Version).
CoRR
G. A. Kavvos, Edward Morehouse, Daniel R. Licata, Norman Danner
2015 A conf
Denotational cost semantics for functional languages with inductive types.
ICFP
Norman Danner, Daniel R. Licata, Ramyaa
2015 J jnl
Denotational cost semantics for functional languages with inductive types.
CoRR
Norman Danner, Daniel R. Licata, Ramyaa Ramyaa
2013 — conf
A static cost analysis for a higher-order language.
PLPV
Norman Danner, Jennifer Paykin, James S. Royer
2012 J jnl
Effectiveness and detection of denial-of-service attacks in tor.
ACM Trans. Inf. Syst. Secur.
Norman Danner, Sam DeFabbia-Kane, Danny Krizanc, Marc Liberatore
2012 J jnl
Ramified Structural Recursion and Corecursion
CoRR
Norman Danner, James S. Royer
2012 J jnl
Semi-automatic complexity analysis of a higher-order language
CoRR
Norman Danner, Jennifer Paykin, James S. Royer
2011 J jnl
Effectiveness and detection of denial of service attacks in Tor
CoRR
Norman Danner, Sam DeFabbia-Kane, Danny Krizanc, Marc Liberatore
2010 J jnl
Expanding student enthusiasm for, and understanding of, introductory CS: panel discussion.
J. Comput. Sci. Coll.
Bridget Baird, Martin Allen, Christine Chung, Norman Danner, Madalene Spezialetti
2010 J jnl
Instructional aspects of student participation in humanitarian Free and Open Source Software: panel discussion.
J. Comput. Sci. Coll.
Heidi J. C. Ellis, Gregory W. Hislop, Ralph A. Morelli, Norman Danner
2009 — conf
Detecting Denial of Service Attacks in Tor.
Financial Cryptography
Norman Danner, Danny Krizanc, Marc Liberatore
2009 J jnl
Revitalizing computing education through free and open source software for humanity.
Commun. ACM
Ralph A. Morelli, Allen B. Tucker, Norman Danner, Trishan R. de Lanerolle, Heidi J. C. Ellis, Özgür Izmirli, Danny Krizanc, Gary Parker
2009 J jnl
Two Algorithms in Search of a Type-System.
Theory Comput. Syst.
Norman Danner, James S. Royer
2007 J jnl
Adventures in time and space.
Log. Methods Comput. Sci.
Norman Danner, James S. Royer
2007 J jnl
Circuit principles and weak pigeonhole variants.
Theor. Comput. Sci.
Chris Pollett, Norman Danner
2007 C conf
Time-Complexity Semantics for Feasible Affine Recursions.
CiE
Norman Danner, James S. Royer
2007 J jnl
Time-complexity semantics for feasible affine recursions (extended abstract)
CoRR
Norman Danner, James S. Royer
2007 J jnl
Two algorithms in search of a type system
CoRR
Norman Danner, James S. Royer
2006 J jnl
Adventures in time and space
CoRR
Norman Danner, James S. Royer
2006 A* conf
Adventures in time and space.
POPL
Norman Danner, James S. Royer
2006 J jnl
The weak pigeonhole principle for function classes in S
Math. Log. Q.
Norman Danner, Chris Pollett
2006 J jnl
The weak pigeonhole principle for function classes in S^1_2
CoRR
Norman Danner, Chris Pollett
2005 — conf
Circuit Principles and Weak Pigeonhole Variants.
CATS
Chris Pollett, Norman Danner
2004 J jnl
Minimization and NP multifunctions.
Theor. Comput. Sci.
Norman Danner, Chris Pollett
2001 — conf
Ramified Recurrence with Dependent Types.
TLCA
Norman Danner
1999 J jnl
Ordinals and Ordinal Functions Representable in the Simply Typed lambda Calculus.
Ann. Pure Appl. Log.
Norman Danner
1999 J jnl
Stratified polymorphism and primitive recursion.
Math. Struct. Comput. Sci.
Norman Danner, Daniel Leivant
1997 J jnl
On the Foundations of Corecursion.
Log. J. IGPL
Lawrence S. Moss, Norman Danner
1996 J jnl
Towards a model theory of diagrams.
J. Philos. Log.
Eric Hammer, Norman Danner