Paul Govereau

	2011
4		Jean-Baptiste Tristan, Paul Govereau, Greg Morrisett: Evaluating value-graph translation validation for LLVM. PLDI 2011: 295-305
	2009
3		Aleksandar Nanevski, Paul Govereau, Greg Morrisett: Towards type-theoretic semantics for transactional concurrency. TLDI 2009: 79-90
	2008
2		Aleksandar Nanevski, Greg Morrisett, Avraham Shinnar, Paul Govereau, Lars Birkedal: Ynot: dependent types for imperative programs. ICFP 2008: 229-240
	2005
1		Norman Ramsey, Kathleen Fisher, Paul Govereau: An expressive language of signatures. ICFP 2005: 27-40

Coauthor Index

1	Lars Birkedal	[2]
2	Kathleen Fisher	[1]
3	J. Gregory Morrisett (Greg Morrisett)	[2] [3] [4]
4	Aleksandar Nanevski	[2] [3]
5	Norman Ramsey	[1]
6	Avraham Shinnar	[2]
7	Jean-Baptiste Tristan	[4]

Colors in the list of coauthors

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page