A Type System for Certified Binaries.
PDF
©2005 ACM
Zhong Shao,
Valery Trifonov, Bratin Saha, and
Nikolaos Papaspyrou.
ACM TOPLAS
27 (1), January 2005, pp. 1-45.
(Conference version
ps.gz
PDF
©2002 ACM
in Proc. POPL
2002: The 29th ACM SIGPLAN-SIGACT Symposium on Principles of Programming
Languages, pp. 217-232.)
A Syntactic Approach to Foundational Proof-Carrying Code.
PDF
©2004 Kluwer
Nadeem A. Hamid,
Zhong Shao,
Valery Trifonov, Stefan Monnier, and
Zhaozhong Ni.
Journal of
Automated Reasoning 31 (3-4), pp. 191-229.
(Conference version
ps.gz
PDF
©2002 IEEE
in Proc. 17th Annual IEEE Symposium on Logic In Computer Science (LICS 2002),
pp. 89-100.)
Simulating Quantified Class Constraints.
ps.gz
PDF
©2003 ACM
Proc. ACM SIGPLAN 2003
Haskell Workshop, pp. 98-102.
Precision in Practice: A Type-Preserving Java Compiler.
PDF
©2003 Springer
Christopher League,
Zhong Shao, and
Valery Trifonov.
Proc. 12th International Conference on Compiler Construction
(CC 2003),
LNCS 2622,
pp. 106-120.
Supporting Binary Compatibility with Static Compilation.
ps.gz
PDF
©2002 USENIX
Dachuan Yu,
Zhong Shao, and
Valery Trifonov.
Proc. 2nd JavaTM Virtual Machine
Research and Technology Symposium
(JVM'02),
pp. 165-180.
Type-Preserving Compilation of Featherweight IL.
ps.gz
PDF
Dachuan Yu,
Valery Trifonov, and
Zhong Shao.
Proc. ECOOP Workshop on Formal Techniques for Java-like Programs
(FTfJP'2002).
Extended as Tech Report YALEU/DCS/TR-1228
ps.gz
Type-Preserving Compilation of Featherweight Java.
ps.gz
PDF
©2002 ACM
Christopher League,
Valery Trifonov, and
Zhong Shao.
ACM TOPLAS
24 (2), March 2002, pp. 112-152.
(Conference version
ps.gz
PDF
in Eighth Int'l Workshop on Foundations of Object-Oriented
Languages (FOOL
8), 2001.)
Fully Reflexive Intensional Type Analysis.
ps.gz
PDF
©2000 ACM
Valery Trifonov, Bratin Saha, and
Zhong Shao.
Proc.
ICFP 2000: ACM
SIGPLAN Int'l Conference on Functional Programming, pp. 82-93.
Fully Reflexive Intensional Type Analysis in Type Erasure Semantics.
ps.gz
PDF
Bratin Saha, Valery Trifonov, and
Zhong Shao.
Third ACM SIGPLAN Workshop on Types in Compilation
(TIC 2000).
Parallel Functional Reactive Programming.
ps.gz
PDF
©2000 Springer
John Peterson,
Valery Trifonov, and
Andrei Serjantov.
Proc. 2nd Int'l Workshop on Practical Aspects of Declarative Languages
(PADL'00),
LNCS 1753,
pp. 16-31.
Representing Java Classes in a Typed Intermediate Language.
ps.gz
PDF
©1999 ACM
Christopher League,
Zhong Shao, and
Valery Trifonov.
Proc. ICFP'99,
pp. 183-196.
Safe and Principled Language Interoperation.
ps.gz
©1999 Springer
Valery Trifonov and
Zhong Shao.
Proc. European Symposium on Programming
(ESOP'99),
LNCS 1576, pp.
128-146.
Type-directed Continuation Allocation.
ps.gz
©1998 Springer
Zhong Shao and
Valery Trifonov.
Proc. 2nd Int'l Workshop on Types in Compilation
(TIC'98),
LNCS 1473, pp.
116-135.
Subtyping Constrained Types.
ps.gz
PDF
©1996 Springer
Valery Trifonov and Scott Smith.
Proc. 3rd Int'l Symposium on Static Analysis
(SAS'96),
LNCS 1145, pp.
349-365.
Sound Polymorphic Type Inference for Objects.
ps.gz
©1995 ACM
Jonathan Eifrig, Scott Smith, and
Valery Trifonov.
Proc. Object-Oriented Programming Systems, Languages, and Applications
(OOPSLA)'95, pp.
169-184.
On Binary Methods.
ps.gz
©1995 John Wiley & Sons, Inc.
Kim B. Bruce,
Luca Cardelli,
Giuseppe Castagna,
The Hopkins Objects Group
(Jonathan Eifrig,
Scott Smith, and Valery Trifonov),
Gary T. Leavens,
and
Benjamin Pierce.
Theory and
Practice of Object Systems 1 (3), 1995, pp. 217-238.
Also available as
TR95-08,
Department of Computer Science, Iowa State University, May 1995.
Type Inference for Recursively Constrained Types and its Application to
OOP.
ps.gz
©1995 Elsevier
Jonathan Eifrig, Scott Smith, and
Valery Trifonov.
Proc. Mathematical Foundations of Programming Semantics
(MFPS'95),
Electronic Notes in Theoretical Computer Science
(ENTCS)
1.
An Interpretation of Typed OOP in a Language with State.
ps.gz
©1995 Kluwer
Jonathan Eifrig, Scott Smith,
Valery Trifonov, and Amy Zwarico.
LISP and Symbolic
Computation 8 (4), 1995, pp. 357-397.