Update URL

typetools · Dec 1, 2016 · 4b9bfd6 · 4b9bfd6
1 parent 71751e1
commit 4b9bfd6
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/checker/manual/troubleshooting.tex b/checker/manual/troubleshooting.tex
@@ -1002,7 +1002,7 @@ \section{Publications\label{publications}\label{learning-more}}
 ``Inference and checking of object ownership''~\cite{HuangDME2012} (ECOOP 2012, \myurl{http://homes.cs.washington.edu/~mernst/pubs/infer-ownership-ecoop2012-abstract.html}).
 
 \item[Approximate data (Section~\ref{enerj-checker})]
-``EnerJ: Approximate Data Types for Safe and General Low-Power Computation''~\cite{SampsonDFGCG2011} (PLDI 2011, \myurl{http://adriansampson.net/media/papers/enerj-pldi2011.pdf})
+``EnerJ: Approximate Data Types for Safe and General Low-Power Computation''~\cite{SampsonDFGCG2011} (PLDI 2011, \myurl{http://www.cs.cornell.edu/~asampson/media/papers/enerj-pldi2011.pdf})
 
 \item[Information flow and tainting (Section~\ref{sparta-checker})]
 ``Collaborative Verification of Information Flow