Search the dblp DataBase

Publications of Author

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