projects
/
web.git
/ shortlog
commit
grep
author
committer
pickaxe
?
search:
re
summary
| shortlog |
log
|
commit
|
commitdiff
|
tree
first
⋅
prev
⋅
next
web.git
2022-03-10
Ralf Jung
dont singe those poor integers
commit
|
commitdiff
|
tree
|
snapshot
2022-01-20
Ralf Jung
Simuliris paper award
commit
|
commitdiff
|
tree
|
snapshot
2021-12-20
Ralf Jung
add Simuliris paper
commit
|
commitdiff
|
tree
|
snapshot
2021-11-25
Ralf Jung
link to reddit for ub-good-idea
commit
|
commitdiff
|
tree
|
snapshot
2021-11-25
Ralf Jung
blog post on why we cannot do without UB
commit
|
commitdiff
|
tree
|
snapshot
2021-11-19
Ralf Jung
tweak landing page
commit
|
commitdiff
|
tree
|
snapshot
2021-11-19
Ralf Jung
add empty robots.txt (for fewer 404s)
commit
|
commitdiff
|
tree
|
snapshot
2021-11-18
Ralf Jung
publish UB blog post
commit
|
commitdiff
|
tree
|
snapshot
2021-11-15
Ralf Jung
update CV and research statement
commit
|
commitdiff
|
tree
|
snapshot
2021-11-12
Ralf Jung
add draft of UB post
commit
|
commitdiff
|
tree
|
snapshot
2021-11-08
Ralf Jung
update CV and research statement
commit
|
commitdiff
|
tree
|
snapshot
2021-10-27
Ralf Jung
mention Derek
commit
|
commitdiff
|
tree
|
snapshot
2021-10-26
Ralf Jung
add Eduard Martin Preis
commit
|
commitdiff
|
tree
|
snapshot
2021-10-26
Ralf Jung
give some room number
commit
|
commitdiff
|
tree
|
snapshot
2021-10-07
Ralf Jung
update research website
commit
|
commitdiff
|
tree
|
snapshot
2021-09-16
Ralf Jung
be less redundant about the year of my thesis
commit
|
commitdiff
|
tree
|
snapshot
2021-09-16
Ralf Jung
add SIGPLAN award
commit
|
commitdiff
|
tree
|
snapshot
2021-09-16
Ralf Jung
get rid of MPI-SWS imprint
commit
|
commitdiff
|
tree
|
snapshot
2021-09-16
Ralf Jung
fix ralfj.de redirects
commit
|
commitdiff
|
tree
|
snapshot
2021-09-16
Ralf Jung
remove old redirect file
commit
|
commitdiff
|
tree
|
snapshot
2021-09-16
Ralf Jung
update my afiliation
commit
|
commitdiff
|
tree
|
snapshot
2021-09-16
Ralf Jung
move research website to my server
commit
|
commitdiff
|
tree
|
snapshot
2021-08-25
Ralf Jung
link to OSDI website
commit
|
commitdiff
|
tree
|
snapshot
2021-07-14
Ralf Jung
the ACM news is out :)
commit
|
commitdiff
|
tree
|
snapshot
2021-07-11
Ralf Jung
add GhostCell paper
commit
|
commitdiff
|
tree
|
snapshot
2021-06-10
Ralf Jung
fix some typos
commit
|
commitdiff
|
tree
|
snapshot
2021-06-10
Ralf Jung
add ghostcell podcast episode
commit
|
commitdiff
|
tree
|
snapshot
2021-05-26
Ralf Jung
add GoJournal paper
commit
|
commitdiff
|
tree
|
snapshot
2021-05-02
Ralf Jung
add Otto Hahn medal
commit
|
commitdiff
|
tree
|
snapshot
2021-04-02
Ralf Jung
license some blog posts under CC BY-SA 4.0
commit
|
commitdiff
|
tree
|
snapshot
2021-03-23
Ralf Jung
add CACM article to website
commit
|
commitdiff
|
tree
|
snapshot
2021-03-23
Ralf Jung
add CACM article to blog
commit
|
commitdiff
|
tree
|
snapshot
2021-03-18
Ralf Jung
fix a typo
commit
|
commitdiff
|
tree
|
snapshot
2021-03-16
Ralf Jung
win -> receive
commit
|
commitdiff
|
tree
|
snapshot
2021-03-11
Ralf Jung
add ETAPS award :)
commit
|
commitdiff
|
tree
|
snapshot
2021-03-06
Ralf Jung
fix text
commit
|
commitdiff
|
tree
|
snapshot
2021-03-06
Ralf Jung
uninit blog post: update example so it still works...
commit
|
commitdiff
|
tree
|
snapshot
2021-01-25
Ralf Jung
uninit post: add forward link to provenance post
commit
|
commitdiff
|
tree
|
snapshot
2021-01-15
Ralf Jung
fix typo
commit
|
commitdiff
|
tree
|
snapshot
2020-12-15
Ralf Jung
fix typo and add post to research category
commit
|
commitdiff
|
tree
|
snapshot
2020-12-14
Ralf Jung
better wording
commit
|
commitdiff
|
tree
|
snapshot
2020-12-14
Ralf Jung
fix int->uintptr_t fallout
commit
|
commitdiff
|
tree
|
snapshot
2020-12-14
Ralf Jung
replace int by uintptr_t
commit
|
commitdiff
|
tree
|
snapshot
2020-12-14
Ralf Jung
add forum link
commit
|
commitdiff
|
tree
|
snapshot
2020-12-14
Ralf Jung
final tweaks and publish Pointers are Complicated II
commit
|
commitdiff
|
tree
|
snapshot
2020-12-10
Ralf Jung
minor tweaks
commit
|
commitdiff
|
tree
|
snapshot
2020-12-09
Ralf Jung
less 'we'
commit
|
commitdiff
|
tree
|
snapshot
2020-12-08
Ralf Jung
(hopefully) final tweaks
commit
|
commitdiff
|
tree
|
snapshot
2020-12-08
Ralf Jung
update screen render of thesis
commit
|
commitdiff
|
tree
|
snapshot
2020-12-07
Ralf Jung
give it a different spin
commit
|
commitdiff
|
tree
|
snapshot
2020-12-07
Ralf Jung
first complete draft
commit
|
commitdiff
|
tree
|
snapshot
2020-12-06
Ralf Jung
provenance-matters: explain what went wrong
commit
|
commitdiff
|
tree
|
snapshot
2020-12-02
Ralf Jung
start writing provenance-optimization blog post
commit
|
commitdiff
|
tree
|
snapshot
2020-11-26
Ralf Jung
add 'theses' section to publication list
commit
|
commitdiff
|
tree
|
snapshot
2020-11-19
Ralf Jung
mention MIT
commit
|
commitdiff
|
tree
|
snapshot
2020-09-29
Ralf Jung
better wording
commit
|
commitdiff
|
tree
|
snapshot
2020-09-29
Ralf Jung
pointers are complicated: clarify that this post is...
commit
|
commitdiff
|
tree
|
snapshot
2020-09-28
Ralf Jung
add Reddit link
commit
|
commitdiff
|
tree
|
snapshot
2020-09-28
Ralf Jung
show a bit elss text on the index
commit
|
commitdiff
|
tree
|
snapshot
2020-09-28
Ralf Jung
add Miri blog post
commit
|
commitdiff
|
tree
|
snapshot
2020-09-28
Ralf Jung
fix Ruby deprecation warning
commit
|
commitdiff
|
tree
|
snapshot
2020-09-24
Ralf Jung
I am not a PhD student any more...
commit
|
commitdiff
|
tree
|
snapshot
2020-09-10
Ralf Jung
add thesis DOI
commit
|
commitdiff
|
tree
|
snapshot
2020-09-03
Ralf Jung
add phd thesis post
commit
|
commitdiff
|
tree
|
snapshot
2020-09-01
Ralf Jung
fix more HTML
commit
|
commitdiff
|
tree
|
snapshot
2020-09-01
Ralf Jung
fix HTML
commit
|
commitdiff
|
tree
|
snapshot
2020-09-01
Ralf Jung
add thesis to publication list
commit
|
commitdiff
|
tree
|
snapshot
2020-09-01
Ralf Jung
add my PhD thesis
commit
|
commitdiff
|
tree
|
snapshot
2020-08-31
Ralf Jung
fix redirects
commit
|
commitdiff
|
tree
|
snapshot
2020-08-31
Ralf Jung
rename Iris workshop talk file to be more consistent
commit
|
commitdiff
|
tree
|
snapshot
2020-08-31
Ralf Jung
make redirect regex a bit more readable
commit
|
commitdiff
|
tree
|
snapshot
2020-08-31
Ralf Jung
also redirect cs root
commit
|
commitdiff
|
tree
|
snapshot
2020-08-31
Ralf Jung
track redirects in git
commit
|
commitdiff
|
tree
|
snapshot
2020-08-31
Ralf Jung
add twinsem paper
commit
|
commitdiff
|
tree
|
snapshot
2020-08-31
Ralf Jung
add PRiML talk (and reference it)
commit
|
commitdiff
|
tree
|
snapshot
2020-08-31
Ralf Jung
add bachelor thesis
commit
|
commitdiff
|
tree
|
snapshot
2020-08-31
Ralf Jung
add iris talks
commit
|
commitdiff
|
tree
|
snapshot
2020-08-30
Ralf Jung
disable thesis site for now
commit
|
commitdiff
|
tree
|
snapshot
2020-08-30
Ralf Jung
add thesis page stub
commit
|
commitdiff
|
tree
|
snapshot
2020-08-29
Ralf Jung
add some missing linebreaks
commit
|
commitdiff
|
tree
|
snapshot
2020-08-29
Ralf Jung
add CACM article, italicize venues
commit
|
commitdiff
|
tree
|
snapshot
2020-08-29
Ralf Jung
mention upstreaming of my mailman patch
commit
|
commitdiff
|
tree
|
snapshot
2020-07-28
Ralf Jung
explain why invalid bool is truly arbitrary UB
commit
|
commitdiff
|
tree
|
snapshot
2020-07-24
Ralf Jung
link to some of the guidelines I was sent
commit
|
commitdiff
|
tree
|
snapshot
2020-07-24
Ralf Jung
add Outlook.com rant
commit
|
commitdiff
|
tree
|
snapshot
2020-07-23
Ralf Jung
fix typo (thanks to Lonami)
commit
|
commitdiff
|
tree
|
snapshot
2020-07-16
Ralf Jung
mention speculative execution
commit
|
commitdiff
|
tree
|
snapshot
2020-07-16
Ralf Jung
add missing semicolon
commit
|
commitdiff
|
tree
|
snapshot
2020-07-15
Ralf Jung
fix link
commit
|
commitdiff
|
tree
|
snapshot
2020-07-15
Ralf Jung
link to 'two kinds of invariants'
commit
|
commitdiff
|
tree
|
snapshot
2020-07-15
Ralf Jung
add forum link
commit
|
commitdiff
|
tree
|
snapshot
2020-07-15
Ralf Jung
finish and publish unused-data post
commit
|
commitdiff
|
tree
|
snapshot
2020-07-15
Ralf Jung
add rust validity post draft
commit
|
commitdiff
|
tree
|
snapshot
2020-06-05
Ralf Jung
the Ruby syntax actually means something else
commit
|
commitdiff
|
tree
|
snapshot
2020-04-07
Ralf Jung
fix example
commit
|
commitdiff
|
tree
|
snapshot
2020-04-07
Ralf Jung
mention named opaque types
commit
|
commitdiff
|
tree
|
snapshot
2020-04-04
Ralf Jung
add forum URL
commit
|
commitdiff
|
tree
|
snapshot
2020-04-04
Ralf Jung
typo
commit
|
commitdiff
|
tree
|
snapshot
2020-04-04
Ralf Jung
add rustc_layout(debug) post
commit
|
commitdiff
|
tree
|
snapshot
2020-04-04
Ralf Jung
fix rust-101 path
commit
|
commitdiff
|
tree
|
snapshot
next