Fermín Reig
 

Blog

I write a blog: http://ferminreig.blogspot.com

Work

I work at Morgan Stanley, in London.

Previous to that I worked at Concordia Advisors, in London (Equity market-neutral trading team). 

Previous to that I worked at XRND Ltd (algorithmic trading, kdb+, compilers).

Academic publications 

Automatic model selection for smooth transition exponential smoothing. Fermín Reig. Unpublished 2010. Abstract PDF

Generic proofs for combinator-based generic programs (extended version). Fermín Reig. A shorter version of this paper appeared in Trends in Functional Programming 2004. Abstract PDF

A Portable Virtual Machine Target for Proof-Carrying Code. Michael Franz, Deepak Chandra, Andreas Gal, Vivek Haldar, Christian W. Probst, Fermín Reig and Ning Wang. Science of Computer Programming, 2005. Abstract PDF

Making Mobile Code Both Safe And Efficient. M. Franz, W. Amme, M. Beers, N. Dalton, P. H. Frohlich, V. Haldar, A. Hartmann, P. S. Housel, F. Reig, J. von Ronne, C. H. Stork, S. Zhenochin. In Foundations of Intrusion-Tolerant Systems, IEEE Computer Society Press, 2003. Abstract PDF

Detecting Security Vulnerabilities in C code with Type Checking (Extended abstract). Fermín Reig. Unpublished, 2003. Abstract PDF

Compiler Architecture using a Portable Intermediate Language. Fermín Reig. PhD dissertation. University of Glasgow, 2002. Abstract PDF 

Annotations for Portable Intermediate Languages. Fermín Reig.  In Proceedings of the First Workshop on Multi-Language Infrastructure and Interoperability (BABEL'01). Abstract PDF

C--: a portable assembly language that supports garbage collection. Simon Peyton Jones, Norman Ramsey, and Fermin Reig. In Principles and Practice of Declarative Programming (PPDP'99). LNCS 1702, pp 1-28. Abstract PDF 

 

Sign in  |  Recent Site Activity  |  Terms  |  Report Abuse  |  Print page  |  Powered by Google Sites