<?xml version="1.0" encoding="UTF-8"?>
 <rdf:RDF xmlns="http://purl.org/rss/1.0/" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:content="http://purl.org/rss/1.0/modules/content/" xmlns:taxo="http://purl.org/rss/1.0/modules/taxonomy/" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:cc="http://web.resource.org/cc/" xmlns:syn="http://purl.org/rss/1.0/modules/syndication/" xmlns:admin="http://webns.net/mvcb/">
  <channel rdf:about="http://pinboard.in">
    <title>Pinboard (randombit)</title>
    <link>https://pinboard.in/u:randombit/public/</link>
    <description>recent bookmarks from randombit</description>
    <items>
      <rdf:Seq>	<rdf:li rdf:resource="https://blog.regehr.org/archives/1603"/>
	<rdf:li rdf:resource="https://llvm.org/docs/tutorial/OCamlLangImpl1.html"/>
	<rdf:li rdf:resource="http://wsmoses.com/tapir.pdf"/>
	<rdf:li rdf:resource="http://llvm.org/docs/GoldPlugin.html"/>
	<rdf:li rdf:resource="https://www.cis.upenn.edu/acg/softbound/"/>
	<rdf:li rdf:resource="http://llvm.org/pubs/2008-12-OSDI-KLEE.html"/>
      </rdf:Seq>
    </items>
  </channel><item rdf:about="https://blog.regehr.org/archives/1603">
    <title>How LLVM Optimizes a Function – Embedded in Academia</title>
    <dc:date>2018-09-10T00:45:06+00:00</dc:date>
    <link>https://blog.regehr.org/archives/1603</link>
    <dc:creator>randombit</dc:creator><dc:subject>llvm</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:randombit/b:2c5985754d89/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:randombit/t:llvm"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="https://llvm.org/docs/tutorial/OCamlLangImpl1.html">
    <title>1. Kaleidoscope: Tutorial Introduction and the Lexer — LLVM 6 documentation</title>
    <dc:date>2017-07-19T17:08:41+00:00</dc:date>
    <link>https://llvm.org/docs/tutorial/OCamlLangImpl1.html</link>
    <dc:creator>randombit</dc:creator><dc:subject>ocaml llvm</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:randombit/b:60167ab3ef27/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:randombit/t:ocaml"/>
	<rdf:li rdf:resource="https://pinboard.in/u:randombit/t:llvm"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://wsmoses.com/tapir.pdf">
    <title>Tapir: Embedding Fork-Join Parallelism into LLVM’s Intermediate Representation</title>
    <dc:date>2017-03-28T17:35:28+00:00</dc:date>
    <link>http://wsmoses.com/tapir.pdf</link>
    <dc:creator>randombit</dc:creator><dc:subject>llvm</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:randombit/b:0fdd30d567eb/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:randombit/t:llvm"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://llvm.org/docs/GoldPlugin.html">
    <title>The LLVM gold plugin — LLVM 3.9 documentation</title>
    <dc:date>2016-02-21T19:43:43+00:00</dc:date>
    <link>http://llvm.org/docs/GoldPlugin.html</link>
    <dc:creator>randombit</dc:creator><dc:subject>cfi llvm clang</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:randombit/b:0c781811c53d/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:randombit/t:cfi"/>
	<rdf:li rdf:resource="https://pinboard.in/u:randombit/t:llvm"/>
	<rdf:li rdf:resource="https://pinboard.in/u:randombit/t:clang"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="https://www.cis.upenn.edu/acg/softbound/">
    <title>SoftBound + CETS: Complete and Compatible Full Memory Safety for C</title>
    <dc:date>2015-11-21T01:04:23+00:00</dc:date>
    <link>https://www.cis.upenn.edu/acg/softbound/</link>
    <dc:creator>randombit</dc:creator><dc:subject>c llvm</dc:subject>
<dc:source>https://pinboard.in/</dc:source>
<dc:identifier>https://pinboard.in/u:randombit/b:7ed7564dde7b/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:randombit/t:c"/>
	<rdf:li rdf:resource="https://pinboard.in/u:randombit/t:llvm"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://llvm.org/pubs/2008-12-OSDI-KLEE.html">
    <title>KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs</title>
    <dc:date>2009-12-10T16:59:20+00:00</dc:date>
    <link>http://llvm.org/pubs/2008-12-OSDI-KLEE.html</link>
    <dc:creator>randombit</dc:creator><dc:subject>code debugging klee llvm</dc:subject>
<dc:identifier>https://pinboard.in/u:randombit/b:37ea73a91edc/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:randombit/t:code"/>
	<rdf:li rdf:resource="https://pinboard.in/u:randombit/t:debugging"/>
	<rdf:li rdf:resource="https://pinboard.in/u:randombit/t:klee"/>
	<rdf:li rdf:resource="https://pinboard.in/u:randombit/t:llvm"/>
</rdf:Bag></taxo:topics>
</item>
</rdf:RDF>