| 2005 | IJCNN | Inferring protein-protein interactions using interaction network topologies. | Alberto Paccanaro, Valery Trifonov, Haiyuan Yu, Mark Gerstein |
| 2003 | CC | Precision in Practice: A Type-Preserving Java Compiler. | Christopher League, Zhong Shao, Valery Trifonov |
| 2003 | HASKELL | Simulating quantified class constraints. | Valery Trifonov |
| 2002 | LICS | A Syntactic Approach to Foundational Proof-Carrying Code. | Nadeem Abdul Hamid, Zhong Shao, Valery Trifonov, Stefan Monnier, Zhaozhong Ni |
| 2002 | POPL | A type system for certified binaries. | Zhong Shao, Bratin Saha, Valery Trifonov, Nikolaos Papaspyrou |
| 2000 | ICFP | Fully reflexive intensional type analysis. | Valery Trifonov, Bratin Saha, Zhong Shao |
| 2000 | PADL | Parallel Functional Reactive Programming. | John Peterson, Valery Trifonov, Andrei Serjantov |
| 1999 | ESOP | Safe and Principled Language Interoperation. | Valery Trifonov, Zhong Shao |
| 1999 | ICFP | Representing Java Classes in a Typed Intermediate Language. | Christopher League, Zhong Shao, Valery Trifonov |
| 1996 | SAS | Subtyping Constrained Types. | Valery Trifonov, Scott F. Smith |
| 1995 | OOPSLA | Sound Polymorphic Type Inference for Objects. | Jonathan Eifrig, Scott F. Smith, Valery Trifonov |
| 1994 | OOPSLA | Application of OOP Type Theory: State, Decidability, Integragtion. | Jonathan Eifrig, Scott F. Smith, Valery Trifonov, Amy E. Zwarico |