Valery Trifonov

Publication Activity (10 Years)

Years Active: 1994-2007
Publications (10 Years): 0

Publications

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