Valery Trifonov

2006
20	EE	Haiyuan Yu, Alberto Paccanaro, Valery Trifonov, Mark Gerstein: Predicting interactions in protein networks by completing defective cliques. Bioinformatics 22(7): 823-829 (2006)
2005
19	EE	Zhong Shao, Valery Trifonov, Bratin Saha, Nikolaos Papaspyrou: A type system for certified binaries. ACM Trans. Program. Lang. Syst. 27(1): 1-45 (2005)
2003
18	EE	Christopher League, Zhong Shao, Valery Trifonov: Precision in Practice: A Type-Preserving Java Compiler. CC 2003: 106-120
17	EE	Bratin Saha, Valery Trifonov, Zhong Shao: Intensional analysis of quantified types. ACM Trans. Program. Lang. Syst. 25(2): 159-209 (2003)
16	EE	Nadeem Abdul Hamid, Zhong Shao, Valery Trifonov, Stefan Monnier, Zhaozhong Ni: A Syntactic Approach to Foundational Proof-Carrying Code. J. Autom. Reasoning 31(3-4): 191-229 (2003)
2002
15	EE	Dachuan Yu, Zhong Shao, Valery Trifonov: Supporting Binary Compatibility with Static Compilation. Java™ Virtual Machine Research and Technology Symposium 2002: 165-180
14	EE	Nadeem Abdul Hamid, Zhong Shao, Valery Trifonov, Stefan Monnier, Zhaozhong Ni: A Syntactic Approach to Foundational Proof-Carrying Code. LICS 2002: 89-100
13	EE	Zhong Shao, Bratin Saha, Valery Trifonov, Nikolaos Papaspyrou: A type system for certified binaries. POPL 2002: 217-232
12	EE	Christopher League, Zhong Shao, Valery Trifonov: Type-preserving compilation of Featherweight Java. ACM Trans. Program. Lang. Syst. 24(2): 112-152 (2002)
2000
11	EE	Valery Trifonov, Bratin Saha, Zhong Shao: Fully reflexive intensional type analysis. ICFP 2000: 82-93
10	EE	John Peterson, Valery Trifonov, Andrei Serjantov: Parallel Functional Reactive Programming. PADL 2000: 16-31
1999
9	EE	Valery Trifonov, Zhong Shao: Safe and Principled Language Interoperation. ESOP 1999: 128-146
8	EE	Christopher League, Zhong Shao, Valery Trifonov: Representing Java Classes in a Typed Intermediate Language. ICFP 1999: 183-196
1998
7	EE	Zhong Shao, Valery Trifonov: Type-Directed Continuation Allocation. Types in Compilation 1998: 116-135
1996
6		Valery Trifonov, Scott F. Smith: Subtyping Constrained Types. SAS 1996: 349-365
1995
5		Jonathan Eifrig, Scott F. Smith, Valery Trifonov: Sound Polymorphic Type Inference for Objects. OOPSLA 1995: 169-184
4	EE	Jonathan Eifrig, Scott F. Smith, Valery Trifonov: Type inference for recursively constrained types and its application to OOP. Electr. Notes Theor. Comput. Sci. 1: (1995)
3		Jonathan Eifrig, Scott F. Smith, Valery Trifonov, Amy E. Zwarico: An Interpretation of Typed OOP in a Language with State. Lisp and Symbolic Computation 8(4): 357-397 (1995)
2		Kim B. Bruce, Luca Cardelli, Giuseppe Castagna, Jonathan Eifrig, Scott F. Smith, Valery Trifonov, Gary T. Leavens, Benjamin C. Pierce: On Binary Methods. TAPOS 1(3): 221-242 (1995)
1994
1		Jonathan Eifrig, Scott F. Smith, Valery Trifonov, Amy E. Zwarico: Application of OOP Type Theory: State, Decidability, Integragtion. OOPSLA 1994: 16-30

Coauthor Index

1	Kim B. Bruce	[2]
2	Luca Cardelli	[2]
3	Giuseppe Castagna	[2]
4	Jonathan Eifrig	[1] [2] [3] [4] [5]
5	Mark Gerstein	[20]
6	Nadeem Abdul Hamid	[14] [16]
7	Christopher League	[8] [12] [18]
8	Gary T. Leavens	[2]
9	Stefan Monnier	[14] [16]
10	Zhaozhong Ni	[14] [16]
11	Alberto Paccanaro	[20]
12	Nikolaos Papaspyrou	[13] [19]
13	John Peterson	[10]
14	Benjamin C. Pierce	[2]
15	Bratin Saha	[11] [13] [17] [19]
16	Andrei Serjantov	[10]
17	Zhong Shao	[7] [8] [9] [11] [12] [13] [14] [15] [16] [17] [18] [19]
18	Scott F. Smith	[1] [2] [3] [4] [5] [6]
19	Dachuan Yu	[15]
20	Haiyuan Yu	[20]
21	Amy E. Zwarico	[1] [3]

Colors in the list of coauthors