projects
/
web.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
give it a different spin
2020-12-07
Ralf Jung
give it a different spin
commit
|
commitdiff
|
tree
2020-12-07
Ralf Jung
first complete draft
commit
|
commitdiff
|
tree
2020-12-06
Ralf Jung
provenance-matters: explain what went wrong
commit
|
commitdiff
|
tree
2020-12-02
Ralf Jung
start writing provenance-optimization blog post
commit
|
commitdiff
|
tree
2020-11-26
Ralf Jung
add 'theses' section to publication list
commit
|
commitdiff
|
tree
2020-11-19
Ralf Jung
mention MIT
commit
|
commitdiff
|
tree
2020-09-29
Ralf Jung
better wording
commit
|
commitdiff
|
tree
2020-09-29
Ralf Jung
pointers are complicated: clarify that this post is...
commit
|
commitdiff
|
tree
2020-09-28
Ralf Jung
add Reddit link
commit
|
commitdiff
|
tree
2020-09-28
Ralf Jung
show a bit elss text on the index
commit
|
commitdiff
|
tree
2020-09-28
Ralf Jung
add Miri blog post
commit
|
commitdiff
|
tree
2020-09-28
Ralf Jung
fix Ruby deprecation warning
commit
|
commitdiff
|
tree
2020-09-24
Ralf Jung
I am not a PhD student any more...
commit
|
commitdiff
|
tree
2020-09-10
Ralf Jung
add thesis DOI
commit
|
commitdiff
|
tree
2020-09-03
Ralf Jung
add phd thesis post
commit
|
commitdiff
|
tree
2020-09-01
Ralf Jung
fix more HTML
commit
|
commitdiff
|
tree
2020-09-01
Ralf Jung
fix HTML
commit
|
commitdiff
|
tree
2020-09-01
Ralf Jung
add thesis to publication list
commit
|
commitdiff
|
tree
2020-09-01
Ralf Jung
add my PhD thesis
commit
|
commitdiff
|
tree
2020-08-31
Ralf Jung
fix redirects
commit
|
commitdiff
|
tree
2020-08-31
Ralf Jung
rename Iris workshop talk file to be more consistent
commit
|
commitdiff
|
tree
2020-08-31
Ralf Jung
make redirect regex a bit more readable
commit
|
commitdiff
|
tree
2020-08-31
Ralf Jung
also redirect cs root
commit
|
commitdiff
|
tree
2020-08-31
Ralf Jung
track redirects in git
commit
|
commitdiff
|
tree
2020-08-31
Ralf Jung
add twinsem paper
commit
|
commitdiff
|
tree
2020-08-31
Ralf Jung
add PRiML talk (and reference it)
commit
|
commitdiff
|
tree
2020-08-31
Ralf Jung
add bachelor thesis
commit
|
commitdiff
|
tree
2020-08-31
Ralf Jung
add iris talks
commit
|
commitdiff
|
tree
2020-08-30
Ralf Jung
disable thesis site for now
commit
|
commitdiff
|
tree
2020-08-30
Ralf Jung
add thesis page stub
commit
|
commitdiff
|
tree
2020-08-29
Ralf Jung
add some missing linebreaks
commit
|
commitdiff
|
tree
2020-08-29
Ralf Jung
add CACM article, italicize venues
commit
|
commitdiff
|
tree
2020-08-29
Ralf Jung
mention upstreaming of my mailman patch
commit
|
commitdiff
|
tree
2020-07-28
Ralf Jung
explain why invalid bool is truly arbitrary UB
commit
|
commitdiff
|
tree
2020-07-24
Ralf Jung
link to some of the guidelines I was sent
commit
|
commitdiff
|
tree
2020-07-24
Ralf Jung
add Outlook.com rant
commit
|
commitdiff
|
tree
2020-07-23
Ralf Jung
fix typo (thanks to Lonami)
commit
|
commitdiff
|
tree
2020-07-16
Ralf Jung
mention speculative execution
commit
|
commitdiff
|
tree
2020-07-16
Ralf Jung
add missing semicolon
commit
|
commitdiff
|
tree
2020-07-15
Ralf Jung
fix link
commit
|
commitdiff
|
tree
2020-07-15
Ralf Jung
link to 'two kinds of invariants'
commit
|
commitdiff
|
tree
2020-07-15
Ralf Jung
add forum link
commit
|
commitdiff
|
tree
2020-07-15
Ralf Jung
finish and publish unused-data post
commit
|
commitdiff
|
tree
2020-07-15
Ralf Jung
add rust validity post draft
commit
|
commitdiff
|
tree
2020-06-05
Ralf Jung
the Ruby syntax actually means something else
commit
|
commitdiff
|
tree
2020-04-07
Ralf Jung
fix example
commit
|
commitdiff
|
tree
2020-04-07
Ralf Jung
mention named opaque types
commit
|
commitdiff
|
tree
2020-04-04
Ralf Jung
add forum URL
commit
|
commitdiff
|
tree
2020-04-04
Ralf Jung
typo
commit
|
commitdiff
|
tree
2020-04-04
Ralf Jung
add rustc_layout(debug) post
commit
|
commitdiff
|
tree
2020-04-04
Ralf Jung
fix rust-101 path
commit
|
commitdiff
|
tree
2019-12-06
Ralf Jung
better section title
commit
|
commitdiff
|
tree
2019-12-06
Ralf Jung
fix URL and style
commit
|
commitdiff
|
tree
2019-12-06
Ralf Jung
add some of my talks
commit
|
commitdiff
|
tree
2019-12-01
Ralf Jung
update panic blog post to my little refactorings of...
commit
|
commitdiff
|
tree
2019-11-27
Ralf Jung
note that this is all unstable internal details
commit
|
commitdiff
|
tree
2019-11-26
Ralf Jung
mention resume_panic entry point
commit
|
commitdiff
|
tree
2019-11-26
Ralf Jung
also mention panic strategy
commit
|
commitdiff
|
tree
2019-11-25
Ralf Jung
some more remarks
commit
|
commitdiff
|
tree
2019-11-25
Ralf Jung
add forum link
commit
|
commitdiff
|
tree
2019-11-25
Ralf Jung
tiny edits
commit
|
commitdiff
|
tree
2019-11-25
Ralf Jung
new post on panics
commit
|
commitdiff
|
tree
2019-11-21
Ralf Jung
typo
commit
|
commitdiff
|
tree
2019-11-19
Ralf Jung
add reddit link
commit
|
commitdiff
|
tree
2019-11-19
Ralf Jung
typo
commit
|
commitdiff
|
tree
2019-11-18
Ralf Jung
Stacked Borrows blog post
commit
|
commitdiff
|
tree
2019-11-18
Ralf Jung
add my POPL20 papers
commit
|
commitdiff
|
tree
2019-10-20
Ralf Jung
cross-post linking to SIGPLAN Rust post
commit
|
commitdiff
|
tree
2019-07-17
Ralf Jung
link to paper that also mentions this (but does not...
commit
|
commitdiff
|
tree
2019-07-16
Ralf Jung
clarify
commit
|
commitdiff
|
tree
2019-07-16
Ralf Jung
wording
commit
|
commitdiff
|
tree
2019-07-15
Ralf Jung
add post to research category
commit
|
commitdiff
|
tree
2019-07-15
Ralf Jung
link to my UB post
commit
|
commitdiff
|
tree
2019-07-15
Ralf Jung
tweaks
commit
|
commitdiff
|
tree
2019-07-15
Ralf Jung
paragraph on why abstract machine > set of optimizations
commit
|
commitdiff
|
tree
2019-07-15
Ralf Jung
link to LLVM doc; mention bitfields
commit
|
commitdiff
|
tree
2019-07-15
Ralf Jung
be more explicit about the abstract machine earlier
commit
|
commitdiff
|
tree
2019-07-15
Ralf Jung
mention abstract machine earlier
commit
|
commitdiff
|
tree
2019-07-15
Ralf Jung
stronger exclusion of UB-ful programs
commit
|
commitdiff
|
tree
2019-07-15
Ralf Jung
fix typo
commit
|
commitdiff
|
tree
2019-07-15
Ralf Jung
mention valgrind connection
commit
|
commitdiff
|
tree
2019-07-15
Ralf Jung
more precise about what the HW does
commit
|
commitdiff
|
tree
2019-07-15
Ralf Jung
it's also Ruby syntax
commit
|
commitdiff
|
tree
2019-07-15
Ralf Jung
mention the sparse uninit vec trick
commit
|
commitdiff
|
tree
2019-07-15
Ralf Jung
explain Rust range syntax
commit
|
commitdiff
|
tree
2019-07-14
Ralf Jung
add forum link
commit
|
commitdiff
|
tree
2019-07-14
Ralf Jung
link from old post to new
commit
|
commitdiff
|
tree
2019-07-14
Ralf Jung
new post on uninitialized memory
commit
|
commitdiff
|
tree
2019-06-06
Ralf Jung
we use tag 0 so let's not use a NonZero type
commit
|
commitdiff
|
tree
2019-05-21
Ralf Jung
add forum link
commit
|
commitdiff
|
tree
2019-05-21
Ralf Jung
post on Stacked Borrows 2.1
commit
|
commitdiff
|
tree
2019-05-17
Ralf Jung
improve wording
commit
|
commitdiff
|
tree
2019-05-16
Ralf Jung
typo
commit
|
commitdiff
|
tree
2019-05-16
Ralf Jung
expand prior work
commit
|
commitdiff
|
tree
2019-05-15
Ralf Jung
typos
commit
|
commitdiff
|
tree
2019-05-15
Ralf Jung
add forum link
commit
|
commitdiff
|
tree
2019-05-15
Ralf Jung
publish typeclass post
commit
|
commitdiff
|
tree
2019-05-15
Ralf Jung
more editing and a new link
commit
|
commitdiff
|
tree
2019-05-14
Ralf Jung
editing
commit
|
commitdiff
|
tree
2019-05-14
Ralf Jung
consistently separate footnotes from text
commit
|
commitdiff
|
tree
next