Luke Geeson lukeg101

conference	most recent submission deadline	topic	JW ranking
FCCM	16 Jan 2023	FPGA	A
ICFP	01 Mar 2023	PL	A
FPL	27 Mar 2023	FPGA	B
ASPLOS (r1)	13 Apr 2023	Arch	A
OOPSLA (r1)	14 Apr 2023	PL	A
ICCAD	22 May 2023	EDA	A
FMCAD	22 May 2023	formal+EDA	A
POPL	11 Jul 2023	PL	A

	# unregister broken GHC packages. Run this a few times to resolve dependency rot in installed packages.
	# ghc-pkg-clean -f cabal/dev/packages*.conf also works.
	function ghc-pkg-clean() {
	for p in `ghc-pkg check $* 2>&1 \| grep problems \| awk '{print $6}' \| sed -e 's/:$//'`
	do
	echo unregistering $p; ghc-pkg $* unregister $p
	done
	}

	# remove all installed GHC/cabal packages, leaving ~/.cabal binaries and docs in place.

	#!/bin/bash

	# source: http://www.haskell.org/pipermail/haskell-cafe/2011-March/090170.html

	sudo rm -rf /Library/Frameworks/GHC.framework
	sudo rm -rf /Library/Frameworks/HaskellPlatform.framework
	sudo rm -rf /Library/Haskell
	rm -rf ~/.cabal
	rm -rf ~/.ghc
	rm -rf ~/Library/Haskell

MySQL