index.xml

<?xml version="1.0" encoding="utf-8" standalone="yes" ?>
<rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom">
  <channel>
    <title>Bhargav N Bhatt on Bhargav N Bhatt</title>
    <link>https://bhargavbh.github.io/</link>
    <description>Recent content in Bhargav N Bhatt on Bhargav N Bhatt</description>
    <generator>Hugo -- gohugo.io</generator>
    <language>en-us</language>
    <copyright>&amp;copy; 2018</copyright>
    <lastBuildDate>Sun, 15 Oct 2017 00:00:00 +0200</lastBuildDate>
    <atom:link href="/" rel="self" type="application/rss+xml" />
    
    <item>
      <title>Automatic Repair of Resource Leaks in Android Applications</title>
      <link>https://bhargavbh.github.io/publication/plumbdroid/</link>
      <pubDate>Sun, 01 Mar 2020 00:00:00 +0100</pubDate>
      
      <guid>https://bhargavbh.github.io/publication/plumbdroid/</guid>
      <description>&lt;p&gt;#More detail can easily be written here using &lt;em&gt;Markdown&lt;/em&gt; and $\rm \LaTeX$ math code.&lt;/p&gt;
</description>
    </item>
    
    <item>
      <title>DroidPLUMB: Repairing Resource-Leak bugs with Static Analysis</title>
      <link>https://bhargavbh.github.io/talk/si_seminar/</link>
      <pubDate>Thu, 05 Dec 2019 00:00:00 +0100</pubDate>
      
      <guid>https://bhargavbh.github.io/talk/si_seminar/</guid>
      <description></description>
    </item>
    
    <item>
      <title>Almost Event-Rate Independent Monitoring</title>
      <link>https://bhargavbh.github.io/publication/fmsd19/</link>
      <pubDate>Sat, 02 Feb 2019 00:00:00 +0100</pubDate>
      
      <guid>https://bhargavbh.github.io/publication/fmsd19/</guid>
      <description>&lt;p&gt;#More detail can easily be written here using &lt;em&gt;Markdown&lt;/em&gt; and $\rm \LaTeX$ math code.&lt;/p&gt;
</description>
    </item>
    
    <item>
      <title>Optimal Proofs for Linear Temporal Logic on Lasso Words</title>
      <link>https://bhargavbh.github.io/publication/atva18/</link>
      <pubDate>Sun, 01 Apr 2018 00:00:00 +0200</pubDate>
      
      <guid>https://bhargavbh.github.io/publication/atva18/</guid>
      <description>&lt;p&gt;#More detail can easily be written here using &lt;em&gt;Markdown&lt;/em&gt; and $\rm \LaTeX$ math code.&lt;/p&gt;
</description>
    </item>
    
    <item>
      <title>Game-based cryptography in HOL</title>
      <link>https://bhargavbh.github.io/publication/afp17/</link>
      <pubDate>Sat, 01 Jul 2017 00:00:00 +0200</pubDate>
      
      <guid>https://bhargavbh.github.io/publication/afp17/</guid>
      <description>&lt;p&gt;#More detail can easily be written here using &lt;em&gt;Markdown&lt;/em&gt; and $\rm \LaTeX$ math code.&lt;/p&gt;
</description>
    </item>
    
    <item>
      <title>Almost Event-Rate Independent Monitoring of Metric Temporal Logic</title>
      <link>https://bhargavbh.github.io/publication/tacas17/</link>
      <pubDate>Sat, 01 Apr 2017 00:00:00 +0200</pubDate>
      
      <guid>https://bhargavbh.github.io/publication/tacas17/</guid>
      <description>&lt;p&gt;#More detail can easily be written here using &lt;em&gt;Markdown&lt;/em&gt; and $\rm \LaTeX$ math code.&lt;/p&gt;
</description>
    </item>
    
    <item>
      <title>Almost Event-Rate Independent Monitoring of Metric Temporal Logic</title>
      <link>https://bhargavbh.github.io/talk/tacas17/</link>
      <pubDate>Sat, 01 Apr 2017 00:00:00 +0200</pubDate>
      
      <guid>https://bhargavbh.github.io/talk/tacas17/</guid>
      <description></description>
    </item>
    
    <item>
      <title>Logics for Dependence and Independence</title>
      <link>https://bhargavbh.github.io/talk/clc14/</link>
      <pubDate>Sat, 01 Apr 2017 00:00:00 +0200</pubDate>
      
      <guid>https://bhargavbh.github.io/talk/clc14/</guid>
      <description>&lt;div class=&#34;alert alert-note&#34;&gt;
  &lt;p&gt;Click on the &lt;strong&gt;Slides&lt;/strong&gt; button above to view the built-in slides feature.&lt;/p&gt;

&lt;/div&gt;


&lt;p&gt;Slides can be added in a few ways:&lt;/p&gt;

&lt;ul&gt;
&lt;li&gt;&lt;strong&gt;Create&lt;/strong&gt; slides using Academic&amp;rsquo;s &lt;em&gt;Slides&lt;/em&gt; feature and link using &lt;code&gt;url_slides&lt;/code&gt; parameter in the front matter of the talk file&lt;/li&gt;
&lt;li&gt;&lt;strong&gt;Upload&lt;/strong&gt; an existing slide deck to &lt;code&gt;static/&lt;/code&gt; and link using &lt;code&gt;url_slides&lt;/code&gt; parameter in the front matter of the talk file&lt;/li&gt;
&lt;li&gt;&lt;strong&gt;Embed&lt;/strong&gt; your slides (e.g. Google Slides) or presentation video on this page using &lt;a href=&#34;https://sourcethemes.com/academic/docs/writing-markdown-latex/&#34; target=&#34;_blank&#34;&gt;shortcodes&lt;/a&gt;.&lt;/li&gt;
&lt;/ul&gt;

&lt;p&gt;Further talk details can easily be added to this page using &lt;em&gt;Markdown&lt;/em&gt; and $\rm \LaTeX$ math code.&lt;/p&gt;
</description>
    </item>
    
    <item>
      <title>TruMP: Trusted Multi Party Computation on SGX Enclaves</title>
      <link>https://bhargavbh.github.io/talk/msr15/</link>
      <pubDate>Sat, 01 Apr 2017 00:00:00 +0200</pubDate>
      
      <guid>https://bhargavbh.github.io/talk/msr15/</guid>
      <description></description>
    </item>
    
    <item>
      <title>Event-Rate Independence in Runtime Monitoring</title>
      <link>https://bhargavbh.github.io/talk/srw16/</link>
      <pubDate>Thu, 01 Dec 2016 00:00:00 +0100</pubDate>
      
      <guid>https://bhargavbh.github.io/talk/srw16/</guid>
      <description></description>
    </item>
    
  </channel>
</rss>