dblp.uni-trier.dewww.uni-trier.de

Valery Trifonov

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

2006
20EEHaiyuan Yu, Alberto Paccanaro, Valery Trifonov, Mark Gerstein: Predicting interactions in protein networks by completing defective cliques. Bioinformatics 22(7): 823-829 (2006)
2005
19EEZhong Shao, Valery Trifonov, Bratin Saha, Nikolaos Papaspyrou: A type system for certified binaries. ACM Trans. Program. Lang. Syst. 27(1): 1-45 (2005)
2003
18EEChristopher League, Zhong Shao, Valery Trifonov: Precision in Practice: A Type-Preserving Java Compiler. CC 2003: 106-120
17EEBratin Saha, Valery Trifonov, Zhong Shao: Intensional analysis of quantified types. ACM Trans. Program. Lang. Syst. 25(2): 159-209 (2003)
16EENadeem 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
15EEDachuan Yu, Zhong Shao, Valery Trifonov: Supporting Binary Compatibility with Static Compilation. Java™ Virtual Machine Research and Technology Symposium 2002: 165-180
14EENadeem Abdul Hamid, Zhong Shao, Valery Trifonov, Stefan Monnier, Zhaozhong Ni: A Syntactic Approach to Foundational Proof-Carrying Code. LICS 2002: 89-100
13EEZhong Shao, Bratin Saha, Valery Trifonov, Nikolaos Papaspyrou: A type system for certified binaries. POPL 2002: 217-232
12EEChristopher League, Zhong Shao, Valery Trifonov: Type-preserving compilation of Featherweight Java. ACM Trans. Program. Lang. Syst. 24(2): 112-152 (2002)
2000
11EEValery Trifonov, Bratin Saha, Zhong Shao: Fully reflexive intensional type analysis. ICFP 2000: 82-93
10EEJohn Peterson, Valery Trifonov, Andrei Serjantov: Parallel Functional Reactive Programming. PADL 2000: 16-31
1999
9EEValery Trifonov, Zhong Shao: Safe and Principled Language Interoperation. ESOP 1999: 128-146
8EEChristopher League, Zhong Shao, Valery Trifonov: Representing Java Classes in a Typed Intermediate Language. ICFP 1999: 183-196
1998
7EEZhong 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
4EEJonathan 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

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

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)