Valery Trifonov

According to our database, Valery Trifonov authored at least 20 papers between 1994 and 2007.

Collaborative distances:

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

2007

The Importance of Bottlenecks in Protein Networks: Correlation with Gene Essentiality and Expression Dynamics.

Haiyuan Yu, Philip M. Kim, Emmett Sprecher, Valery Trifonov, Mark Gerstein

PLoS Comput. Biol., 2007

2006

Predicting interactions in protein networks by completing defective cliques.

Haiyuan Yu, Alberto Paccanaro, Valery Trifonov, Mark Gerstein

Bioinform., 2006

2005

A type system for certified binaries.

Zhong Shao, Valery Trifonov, Bratin Saha, Nikolaos Papaspyrou

ACM Trans. Program. Lang. Syst., 2005

2003

Intensional analysis of quantified types.

Bratin Saha, Valery Trifonov, Zhong Shao

ACM Trans. Program. Lang. Syst., 2003

A Syntactic Approach to Foundational Proof-Carrying Code.

Nadeem Abdul Hamid, Zhong Shao, Valery Trifonov, Stefan Monnier, Zhaozhong Ni

J. Autom. Reason., 2003

Simulating quantified class constraints.

Valery Trifonov

Proceedings of the ACM SIGPLAN Workshop on Haskell, 2003

Precision in Practice: A Type-Preserving Java Compiler.

Christopher League, Zhong Shao, Valery Trifonov

Proceedings of the Compiler Construction, 12th International Conference, 2003

2002

Type-preserving compilation of Featherweight Java.

Christopher League, Zhong Shao, Valery Trifonov

ACM Trans. Program. Lang. Syst., 2002

Supporting Binary Compatibility with Static Compilation.

Dachuan Yu, Zhong Shao, Valery Trifonov

Proceedings of the 2nd Java Virtual Machine Research and Technology Symposium, 2002

2000

Parallel Functional Reactive Programming.

John Peterson, Valery Trifonov, Andrei Serjantov

Proceedings of the Practical Aspects of Declarative Languages, 2000

Fully reflexive intensional type analysis.

Valery Trifonov, Bratin Saha, Zhong Shao

Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming (ICFP '00), 2000

1999

Representing Java Classes in a Typed Intermediate Language.

Christopher League, Zhong Shao, Valery Trifonov

Proceedings of the fourth ACM SIGPLAN International Conference on Functional Programming (ICFP '99), 1999

Safe and Principled Language Interoperation.

Valery Trifonov, Zhong Shao

Proceedings of the Programming Languages and Systems, 1999

1998

Type-Directed Continuation Allocation.

Zhong Shao, Valery Trifonov

Proceedings of the Types in Compilation, Second International Workshop, 1998

1996

Subtyping Constrained Types.

Valery Trifonov, Scott F. Smith

Proceedings of the Static Analysis, Third International Symposium, 1996

1995

On Binary Methods.

Kim B. Bruce, Luca Cardelli, Giuseppe Castagna, Jonathan Eifrig, Scott F. Smith, Valery Trifonov, Gary T. Leavens, Benjamin C. Pierce

Theory Pract. Object Syst., 1995

An Interpretation of Typed OOP in a Language with State.

Jonathan Eifrig, Scott F. Smith, Valery Trifonov, Amy E. Zwarico

LISP Symb. Comput., 1995

Type inference for recursively constrained types and its application to OOP.

Jonathan Eifrig, Scott F. Smith, Valery Trifonov

Proceedings of the Eleventh Annual Conference on Mathematical Foundations of Programming Semantics, 1995

Sound Polymorphic Type Inference for Objects.

Jonathan Eifrig, Scott F. Smith, Valery Trifonov

Proceedings of the Tenth Annual Conference on Object-Oriented Programming Systems, 1995

1994

Application of OOP Type Theory: State, Decidability, Integragtion.

Jonathan Eifrig, Scott F. Smith, Valery Trifonov, Amy E. Zwarico

Proceedings of the Ninth Annual Conference on Object-Oriented Programming Systems, 1994