Ryan Stansifer

Publication Activity (10 Years)

Years Active: 1988-2013
Publications (10 Years): 0

Top Topics

Top Venues

Publications

Khalid Alhamed, Marius-Calin Silaghi, Ihsan Hussien, Ryan Stansifer, Yi Yang
"Stacking the Deck" Attack on Software Updates: Solution by Distributed Recommendation of Testers. IAT (2013)
Nattawut Sridranop, Ryan Stansifer
Higher-order functional programming and wildcards in java. ACM Southeast Regional Conference (2007)
Lajos Nagy, Ryan Stansifer
Polymorphic type inference for the relational algebra in the functional database programming language neon. ACM Southeast Regional Conference (2006)
Kishore Kattamuri, Marius-Calin Silaghi, Cem Kaner, Ryan Stansifer, Markus Zanker
Supporting debates over citizen initiatives. DG.O (2005)
Ramón Zatarain, Ryan Stansifer
A model of CPS translation and interpretation. ACM Southeast Regional Conference (2004)
Nattawut Sridranop, Ryan Stansifer
Adding polymorphic tuples and lists to the syntax of Java. ACM Southeast Regional Conference (2004)
María Lucía Barrón-Estrada, Ryan Stansifer
Inheritance, Generics and Binary Methods in Java. Computación y Sistemas 7 (2) (2003)
Ryan Stansifer, Mike Beaven, Dan C. Marinescu
Modeling concurrent programs with colored Petri nets. J. Syst. Softw. 26 (2) (1994)
Edward Pershits, Ryan Stansifer
Solving Diagramless Crossword Puzzles. ICTAI (1994)
Ryan Stansifer, Dan Wetklow
Type reconstruction for coercion polymorphism. SAC (1994)
Ryan Stansifer, Dan Wetklow
Method Reuse in Typed Object-Oriented Languages. SAC (1993)
Ryan Stansifer
Book Review: Semantics of Programming Languages: Structures and Techniques. By Carl A. Gunter. (MIT Press, 1992. xviii+419pp. ISBN 0-262-07143-6 $37.50). SIGACT News 24 (1) (1993)
Mike Beaven, Ryan Stansifer
Explaining Type Errors In Polimorphic Languages. LOPLAS 2 (1-4) (1993)
Ryan Stansifer
The Calculation of Easter. ACM SIGPLAN Notices 27 (12) (1992)
Mike Beaven, Brad Elmore, Dan C. Marinescu, Ryan Stansifer
VERT-verification of real-time programs. COMPSAC (1991)
Dan C. Marinescu, Mike Beaven, Ryan Stansifer
A Parallel Algorithm for Computing Invariants of Petri Net Models. PNPM (1991)
Ryan Stansifer
Imperative versus Functional. ACM SIGPLAN Notices 25 (4) (1990)
Steve J. Chapin, Ryan Stansifer
Using ML as a Command Language. Great Lakes Computer Science Conference (1989)
Mike Beaven, Ryan Stansifer, Dan Wetklow
A Functional Language with Classes. Great Lakes Computer Science Conference (1989)
Ryan Stansifer
Type Inference with Subtypes. POPL (1988)
Rich DeMillo, Weimin Du, Ryan Stansifer
An integrated software environment for reuse. TRI-Ada (1988)