Index of /~ab/Publications

	Name	Last modified	Size	Description
	Parent Directory		-
	CyberTrustposter.pdf	01-Feb-2007 12:53	680K
	TR2004-6.pdf	17-Nov-2006 14:26	627K
	absApp.pdf	16-Nov-2001 12:32	235K
	accinf.pdf	08-Apr-2003 12:13	205K
	bmrver.pdf	20-May-2008 12:19	156K
	cbsifi.pdf	29-Jan-2004 10:57	146K
	code.tar.gz	22-May-2008 21:42	13K
	csfw02.pdf	28-Jun-2002 11:07	275K
	csfw02_talk.pdf	19-Jun-2002 10:06	272K
	csfw03_talk.pdf	14-Jul-2003 21:55	124K
	cuny.pdf	06-Oct-2004 21:17	132K
	dagstuhl.pdf	29-Oct-2003 09:43	83K
	dcc.pdf	07-Dec-2006 15:32	196K
	dcc.ps.gz	07-Dec-2006 15:32	74K
	declass.pdf	13-Oct-2006 23:39	215K
	final.pdf	01-Jun-2004 13:12	224K
	fsharp.ps	25-Oct-2007 17:58	166K
	hbacsif.pdf	17-Nov-2006 14:26	204K
	ibm.pdf	15-May-2008 00:24	247K
	ifalf.pdf	17-Nov-2006 14:26	224K
	ifalftr.pdf	01-Jun-2004 13:08	339K
	jinf.pdf	09-Apr-2002 15:56	182K
	liberation.pdf	24-Oct-2003 13:19	247K
	lifafs.pdf	06-Sep-2007 08:13	322K
	lifapp.pdf	17-Nov-2006 14:26	285K
	lifappTR.pdf	08-Sep-2006 09:03	459K
	livshitsNRB_pldi09.pdf	30-Jul-2009 06:14	590K
	mcbifi.pdf	01-Jun-2004 12:06	179K
	mcfa.pdf	03-Jan-2002 13:01	402K
	mfps93.ps.gz	02-Dec-1998 14:53	53K
	mpca.ps	02-Dec-1998 14:03	238K
	mpca.ps.gz	16-Aug-2004 15:27	92K
	msrtr.pdf	22-May-2008 14:47	249K
	nfcds.pdf	17-Nov-2006 14:26	197K
	nfcds_long.pdf	20-Dec-2004 20:33	276K
	oceri.pdf	17-Nov-2006 14:26	495K
	oceri_dec2002.pdf	05-Dec-2002 01:20	693K
	otran.pdf	29-Oct-2003 09:43	127K
	otranseTR2004-1.pdf	03-Feb-2004 14:08	248K
	pcfa.ps.gz	23-Jul-2001 23:43	70K
	pf_talk.pdf	22-Aug-2002 16:03	301K
	phdthesis.ps.gz	02-Dec-1998 14:44	300K
	popl06.tar	15-Nov-2005 19:04	2.0M
	popl06/	15-Nov-2005 14:23	-
	popl06_talk.pdf	09-Mar-2006 15:51	124K
	rc24541.pdf	15-May-2008 00:26	247K
	rl.pdf	25-Oct-2007 17:58	305K
	rllrgi.pdf	22-May-2008 22:03	233K
	sacsif.pdf	09-Feb-2006 15:31	367K
	saicj.pdf	26-Feb-2002 10:12	302K
	sas94.ps.gz	02-Dec-1998 14:47	67K
	sba.pdf	17-Nov-2006 14:26	488K
	sbaTR.pdf	20-Dec-2004 20:34	364K
	scp.ps.gz	02-Dec-1998 14:32	132K
	sore.pdf	20-Dec-2004 20:33	255K
	sp07.pdf	25-May-2007 11:53	258K
	sp08.pdf	15-May-2008 00:46	221K
	staticE.ps	26-Feb-2002 10:13	331K
	tlad.pdf	25-Oct-2007 17:58	161K
	tr2001-1.pdf	03-Jan-2002 13:24	271K
	tr2007-2.pdf	17-Jun-2007 06:28	281K
	vcgencif.pdf	16-Jun-2007 20:53	233K
	wyliwyl.pdf	13-Mar-2007 09:44	219K