Valery Trifonov

23 papers A* 2A 5B 4C 2Journal 8Unranked 2
YearRankTypeTitle / Venue / Authors
2007 J jnl
The Importance of Bottlenecks in Protein Networks: Correlation with Gene Essentiality and Expression Dynamics.
PLoS Comput. Biol.
Haiyuan Yu, Philip M. Kim, Emmett Sprecher, Valery Trifonov, Mark Gerstein
2006 J jnl
Predicting interactions in protein networks by completing defective cliques.
Bioinform.
Haiyuan Yu, Alberto Paccanaro, Valery Trifonov, Mark Gerstein
2005 J jnl
A type system for certified binaries.
ACM Trans. Program. Lang. Syst.
Zhong Shao, Valery Trifonov, Bratin Saha, Nikolaos Papaspyrou
2005 B conf
Inferring protein-protein interactions using interaction network topologies.
IJCNN
Alberto Paccanaro, Valery Trifonov, Haiyuan Yu, Mark Gerstein
2003 J jnl
A Syntactic Approach to Foundational Proof-Carrying Code.
J. Autom. Reason.
Nadeem Abdul Hamid, Zhong Shao, Valery Trifonov, Stefan Monnier, Zhaozhong Ni
2003 J jnl
Intensional analysis of quantified types.
ACM Trans. Program. Lang. Syst.
Bratin Saha, Valery Trifonov, Zhong Shao
2003 B conf
Precision in Practice: A Type-Preserving Java Compiler.
CC
Christopher League, Zhong Shao, Valery Trifonov
2003 C conf
Simulating quantified class constraints.
Haskell
Valery Trifonov
2002 A* conf
A Syntactic Approach to Foundational Proof-Carrying Code.
LICS
Nadeem Abdul Hamid, Zhong Shao, Valery Trifonov, Stefan Monnier, Zhaozhong Ni
2002 A* conf
A type system for certified binaries.
POPL
Zhong Shao, Bratin Saha, Valery Trifonov, Nikolaos Papaspyrou
2002 — conf
Supporting Binary Compatibility with Static Compilation.
Java Virtual Machine Research and Technology Symposium
Dachuan Yu, Zhong Shao, Valery Trifonov
2002 J jnl
Type-preserving compilation of Featherweight Java.
ACM Trans. Program. Lang. Syst.
Christopher League, Zhong Shao, Valery Trifonov
2000 A conf
Fully reflexive intensional type analysis.
ICFP
Valery Trifonov, Bratin Saha, Zhong Shao
2000 C conf
Parallel Functional Reactive Programming.
PADL
John Peterson, Valery Trifonov, Andrei Serjantov
1999 A conf
Representing Java Classes in a Typed Intermediate Language.
ICFP
Christopher League, Zhong Shao, Valery Trifonov
1999 A conf
Safe and Principled Language Interoperation.
ESOP
Valery Trifonov, Zhong Shao
1998 — conf
Type-Directed Continuation Allocation.
Types in Compilation
Zhong Shao, Valery Trifonov
1996 B conf
Subtyping Constrained Types.
SAS
Valery Trifonov, Scott F. Smith
1995 J jnl
An Interpretation of Typed OOP in a Language with State.
LISP Symb. Comput.
Jonathan Eifrig, Scott F. Smith, Valery Trifonov, Amy E. Zwarico
1995 J jnl
On Binary Methods.
Theory Pract. Object Syst.
Kim B. Bruce, Luca Cardelli, Giuseppe Castagna, Jonathan Eifrig, Scott F. Smith, Valery Trifonov, Gary T. Leavens, Benjamin C. Pierce
1995 A conf
Sound Polymorphic Type Inference for Objects.
OOPSLA
Jonathan Eifrig, Scott F. Smith, Valery Trifonov
1995 B conf
Type inference for recursively constrained types and its application to OOP.
MFPS
Jonathan Eifrig, Scott F. Smith, Valery Trifonov
1994 A conf
Application of OOP Type Theory: State, Decidability, Integragtion.
OOPSLA
Jonathan Eifrig, Scott F. Smith, Valery Trifonov, Amy E. Zwarico