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

[web.git] / research / publications.html

2024-11-25	Ralf Jung	add camera-ready version of itree-program-logic paper	blob \| commitdiff \| raw
2024-10-02	Ralf Jung	move perennial paper to consistent location	blob \| commitdiff \| raw \| diff to current
2024-10-02	Ralf Jung	twinsem paper: directly link to current location	blob \| commitdiff \| raw \| diff to current
2024-10-02	Ralf Jung	add OOPSLA paper	blob \| commitdiff \| raw \| diff to current
2024-07-02	Ralf Jung	add RefinedRust paper	blob \| commitdiff \| raw \| diff to current
2023-11-22	Ralf Jung	add Grove	blob \| commitdiff \| raw \| diff to current
2023-06-08	Ralf Jung	add vMVCC paper	blob \| commitdiff \| raw \| diff to current
2022-10-06	Ralf Jung	add later credits	blob \| commitdiff \| raw \| diff to current
2022-06-19	Ralf Jung	more https	blob \| commitdiff \| raw \| diff to current
2022-01-20	Ralf Jung	Simuliris paper award	blob \| commitdiff \| raw \| diff to current
2021-12-20	Ralf Jung	add Simuliris paper	blob \| commitdiff \| raw \| diff to current
2021-08-25	Ralf Jung	link to OSDI website	blob \| commitdiff \| raw \| diff to current
2021-07-11	Ralf Jung	add GhostCell paper	blob \| commitdiff \| raw \| diff to current
2021-05-26	Ralf Jung	add GoJournal paper	blob \| commitdiff \| raw \| diff to current
2021-03-23	Ralf Jung	add CACM article to website	blob \| commitdiff \| raw \| diff to current
2020-11-26	Ralf Jung	add 'theses' section to publication list	blob \| commitdiff \| raw \| diff to current
2020-09-01	Ralf Jung	fix more HTML	blob \| commitdiff \| raw \| diff to current
2020-09-01	Ralf Jung	add thesis to publication list	blob \| commitdiff \| raw \| diff to current
2020-08-31	Ralf Jung	rename Iris workshop talk file to be more consistent	blob \| commitdiff \| raw \| diff to current
2020-08-31	Ralf Jung	add PRiML talk (and reference it)	blob \| commitdiff \| raw \| diff to current
2020-08-29	Ralf Jung	add some missing linebreaks	blob \| commitdiff \| raw \| diff to current
2020-08-29	Ralf Jung	add CACM article, italicize venues	blob \| commitdiff \| raw \| diff to current
2019-12-06	Ralf Jung	better section title	blob \| commitdiff \| raw \| diff to current
2019-12-06	Ralf Jung	fix URL and style	blob \| commitdiff \| raw \| diff to current
2019-12-06	Ralf Jung	add some of my talks	blob \| commitdiff \| raw \| diff to current
2019-11-18	Ralf Jung	add my POPL20 papers	blob \| commitdiff \| raw \| diff to current
2018-12-06	Ralf Jung	workshop talks are not publications	blob \| commitdiff \| raw \| diff to current
2018-12-05	Ralf Jung	the journal paper is no longer a preprint	blob \| commitdiff \| raw \| diff to current
2018-12-05	Ralf Jung	the ground-up paper got published	blob \| commitdiff \| raw \| diff to current
2018-09-22	Ralf Jung	add twinsem paper	blob \| commitdiff \| raw \| diff to current
2018-08-07	Ralf Jung	more https	blob \| commitdiff \| raw \| diff to current
2018-07-08	Ralf Jung	add MoSeL paper	blob \| commitdiff \| raw \| diff to current
2018-03-03	Ralf Jung	forgot to add POPL to RustBelt publication	blob \| commitdiff \| raw \| diff to current
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

RSS Atom