git.ralfj.de Git - web.git/history - research/publications.html

2018-03-03	Ralf Jung	forgot to add POPL to RustBelt publication	blob \| commitdiff \| raw
2018-01-21	Ralf Jung	links to POPL'18 talk	blob \| commitdiff \| raw \| diff to current
2017-11-13	Ralf Jung	update RustBelt paper	blob \| commitdiff \| raw \| diff to current
2017-07-11	Ralf Jung	https for plv.mpi-sws.org	blob \| commitdiff \| raw \| diff to current
2017-07-08	Ralf Jung	seems like 'Publications' is a collective term	blob \| commitdiff \| raw \| diff to current
2017-07-08	Ralf Jung	add two recently submitted papers	blob \| commitdiff \| raw \| diff to current
2017-01-24	Ralf Jung	link directly to iris-project.org	blob \| commitdiff \| raw \| diff to current
2017-01-24	Ralf Jung	ESOP papers are final	blob \| commitdiff \| raw \| diff to current
2016-12-19	Ralf Jung	update papers	blob \| commitdiff \| raw \| diff to current
2016-10-11	Ralf Jung	we dont actually have an appendix for the refinement...	blob \| commitdiff \| raw \| diff to current
2016-10-11	Ralf Jung	papers update: add ICFP talk; add refinement paper	blob \| commitdiff \| raw \| diff to current
2016-07-01	Ralf Jung	it's ICFP 2016	blob \| commitdiff \| raw \| diff to current
2016-06-14	Ralf Jung	ICFP paper has been accepted :D	blob \| commitdiff \| raw \| diff to current
2016-03-17	Ralf Jung	add HOGS	blob \| commitdiff \| raw \| diff to current
2015-10-09	Ralf Jung	make a research page happen	blob \| commitdiff \| raw \| diff to current

sources for my website