Automatic Energy Analysis Using Types SRC@PLDI [paper] [talk] [poster]🥈 Silver Award - Undergraduate Category
