Ryan Stansifer

According to our database, Ryan Stansifer authored at least 23 papers between 1985 and 2013.

Collaborative distances:

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

2013

"Stacking the Deck" Attack on Software Updates: Solution by Distributed Recommendation of Testers.

Khalid Alhamed, Marius-Calin Silaghi, Ihsan Hussien, Ryan Stansifer, Yi Yang

Proceedings of the 2013 IEEE/WIC/ACM International Conferences on Intelligent Agent Technology, 2013

2007

Higher-order functional programming and wildcards in java.

Nattawut Sridranop, Ryan Stansifer

Proceedings of the 45th Annual Southeast Regional Conference, 2007

2006

Polymorphic type inference for the relational algebra in the functional database programming language neon.

Lajos Nagy, Ryan Stansifer

Proceedings of the 44st Annual Southeast Regional Conference, 2006

2005

Supporting debates over citizen initiatives.

Kishore Kattamuri, Marius-Calin Silaghi, Cem Kaner, Ryan Stansifer, Markus Zanker

Proceedings of the 2005 National Conference on Digital Government Research, 2005

2004

A model of CPS translation and interpretation.

Ramón Zatarain, Ryan Stansifer

Proceedings of the 42nd Annual Southeast Regional Conference, 2004

Adding polymorphic tuples and lists to the syntax of Java.

Nattawut Sridranop, Ryan Stansifer

Proceedings of the 42nd Annual Southeast Regional Conference, 2004

2003

Inheritance, Generics and Binary Methods in Java.

María Lucía Barrón-Estrada, Ryan Stansifer

Computación y Sistemas, 2003

1994

Modeling concurrent programs with colored Petri nets.

Ryan Stansifer, Mike Beaven, Dan C. Marinescu

J. Syst. Softw., 1994

Type reconstruction for coercion polymorphism.

Ryan Stansifer, Dan Wetklow

Proceedings of the 1994 ACM Symposium on Applied Computing, 1994

Solving Diagramless Crossword Puzzles.

Edward Pershits, Ryan Stansifer

Proceedings of the Sixth International Conference on Tools with Artificial Intelligence, 1994

1993

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).

Ryan Stansifer

SIGACT News, 1993

Explaining Type Errors In Polimorphic Languages.

Mike Beaven, Ryan Stansifer

LOPLAS, 1993

Method Reuse in Typed Object-Oriented Languages.

Ryan Stansifer, Dan Wetklow

Proceedings of the 1993 ACM/SIGAPP Symposium on Applied Computing: States of the Art and Practice, 1993

1992

The Calculation of Easter.

Ryan Stansifer

ACM SIGPLAN Notices, 1992

ML primer.

Ryan Stansifer

Prentice Hall, ISBN: 978-0-13-561721-2, 1992

1991

A Parallel Algorithm for Computing Invariants of Petri Net Models.

Dan C. Marinescu, Mike Beaven, Ryan Stansifer

Proceedings of the Fourth International Workshop on Petri Nets and Performance Models, 1991

VERT-verification of real-time programs.

Mike Beaven, Brad Elmore, Dan C. Marinescu, Ryan Stansifer

Proceedings of the Fifteenth Annual International Computer Software and Applications Conference, 1991

1990

Imperative versus Functional.

Ryan Stansifer

ACM SIGPLAN Notices, 1990

1989

Using ML as a Command Language.

Steve J. Chapin, Ryan Stansifer

Proceedings of the Computing in the 90's, 1989

A Functional Language with Classes.

Mike Beaven, Ryan Stansifer, Dan Wetklow

Proceedings of the Computing in the 90's, 1989

1988

An integrated software environment for reuse.

Rich DeMillo, Weimin Du, Ryan Stansifer

Proceedings of the Conference on TRI-Ada 1988, 1988

Type Inference with Subtypes.

Ryan Stansifer

Proceedings of the Conference Record of the Fifteenth Annual ACM Symposium on Principles of Programming Languages, 1988

1985

Representing Constructive Theories in High-Level Programming Languages.

Ryan Stansifer

PhD thesis, 1985