Valery Trifonov

23 papers A* 2A 5B 4C 2Journal 8Unranked 2

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