Index of /~trivedi/pubs

	Name	Last modified	Size	Description
	Parent Directory		-
	arxiv10.html	2013-05-18 12:45	2.0K
	atva10.bib	2013-05-13 09:50	0
	atva10.html	2013-05-18 12:46	2.0K
	concur09.html	2013-05-18 12:46	1.6K
	concur12.html	2013-05-18 12:47	1.7K
	emsoft11.bib	2013-05-13 09:43	397
	emsoft11.html	2013-05-18 12:47	1.9K
	formats08.html	2013-05-18 12:47	1.8K
	formats10.html	2013-05-18 12:47	2.0K
	fsttcs08.html	2013-05-18 12:48	1.7K
	hscc12.bib	2013-05-08 09:25	664
	hscc12.html	2013-05-18 12:48	1.8K
	hscc13.html	2013-05-18 12:48	2.2K
	hscc13.pdf	2013-02-27 15:40	401K
	icalp07.html	2013-05-18 12:49	1.5K
	iisc13.html	2013-10-09 10:53	2.3K
	iisc13.pdf	2013-09-27 16:20	1.1M
	iitb03.html	2013-05-18 12:49	2.4K
	lics12.html	2013-05-18 12:49	2.4K
	lics13.html	2013-05-18 12:49	2.2K
	lics13.pdf	2013-04-30 09:55	394K
	qest10.html	2013-05-18 12:49	2.1K
	templateXX.html	2013-05-18 12:50	647
	warwick09.html	2013-05-18 12:51	2.9K
	warwick09.pdf	2013-05-13 11:51	1.0M