I am a computer scientist with interests in programming
languages, the theory of computation, and formal methods. In my current
research, I investigate how functional programming can help us write
parallel programs, and the theoretical models that enable reasoning about the
performance of parallel programs. I also have a strong interest for formal
methods, and the application of logic and type theory to program
verification. I currently work in the programming language research group in
Oracle Labs East.
Conferences
- ICFP 2013, Treasurer
- Coq workshop (4th), Program Committee member
- POPL 2012, External Review Committee member
Education
|
2006 - 2009 |
Ph.D. in Computer Science, University of Paris, Denis Diderot |
|
2005 - 2006 |
M.Sc. in Computer Science, Ecole normale superieure of Paris |
Appointments
|
2011 - present | Senior member of technical staff, Oracle labs |
|
2009 - 2011 | Postdoctoral fellow, Harvard University |
|
2009 | Research assistant, Microsoft Research/INRIA joint center |
|
2006 - 2009 | Research assistant, INRIA |
Honors
Professional activities
|
Journal referee | |
ACM Transation On Programming Languages and Systems, Software Practice &
Experience, Information Processing Letters, Higher Order and Symbolic Computation |
|
Conference reviewer | |
POPL 2013, CAV 2012, PLDI 2011, PPDP 2010, SSV 2010, |
Publications
|
*
|
[PPOPP 2013] Parallel Programming with BIG Operators.
By Changhee Park, Guy Steele, and Jean-Baptiste Tristan.
18th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming.
[ paper ]
|
|
*
|
[PLDI 2012] Rocksalt: Better, Faster, Stronger SFI for the x86.
By Greg Morrisett, Gang Tan, Joseph Tassarotti, Jean-Baptiste Tristan and
Edward Gan.
In ACM SIGPLAN 2012 Conference on Programming Language Design and Implementation.
[ paper ]
|
|
*
|
[PLDI 2011] Evaluating Value-Graph Translation Validation for LLVM.
By Jean-Baptiste Tristan, Paul Govereau and Xavier Leroy.
In ACM SIGPLAN 2011 Conference on Programming Language Design and Implementation.
[ paper ]
|
|
*
|
[POPL 2010] A simple, verified validator for software pipelining.
By Jean-Baptiste Tristan and Xavier Leroy.
In 37th Annual ACM SIGPLAN - SIGACT Symposium on Principles of Programming Languages.
[ paper ]
|
|
*
|
Formal Verification of Translation Validators.
Jean-Baptiste Tristan.
Ph.D. dissertation, University of Paris 7.
[ document ]
|
|
*
|
[PLDI 2009] Verified Validation of Lazy Code Motion.
By Jean-Baptiste Tristan and Xavier Leroy.
In ACM SIGPLAN 2009 Conference on Programming Language Design and Implementation.
[ paper ]
|
|
*
|
[POPL 2008] Formal verification of translation validators: A case study on instruction scheduling optimizations.
By Jean-Baptiste Tristan and Xavier Leroy.
In 35th Annual ACM SIGPLAN - SIGACT Symposium on Principles of Programming Languages.
[ paper ]
|
Teaching
|
