Sitemap

A list of all the posts and pages found on the site. For you robots out there is an XML version available for digesting as well.

Pages

Posts

Blog Post number 4

less than 1 minute read

Published:

This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.

Blog Post number 3

less than 1 minute read

Published:

This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.

Blog Post number 2

less than 1 minute read

Published:

This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.

Blog Post number 1

less than 1 minute read

Published:

This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.

portfolio

publications

Software Pipelined Execution of Stream Programs on GPUs.

Published in Proceedings of the CGO 2009, The Seventh International Symposium on Code Generation and Optimization, Seattle, Washington, USA, March 22-25, 2009, 2009

This paper explored techniques to compile stream programs for efficient execution on GPUs.

Download here

ALTER: exploiting breakable dependences for parallelization.

Published in Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2011, San Jose, CA, USA, June 4-8, 2011, 2011

This paper demonstrated how applications that were tolerant to some amount of “staleness” in the underlying consistency model could be parallelized more effectively.

Download here

Depth Bounded Explicit-State Model Checking.

Published in Model Checking Software - 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011. Proceedings., 2011

We explored how explicit state model checking algorithms could be parallelized by utilizing the notion of iterative deepening.

Download here

TRANSIT: Specifying Protocols with Concolic Snippets.

Published in ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2013, Seattle, WA, USA, June 16-19, 2013, 2013

We demonstrated how a distributed protocol could be specified using a mix of protocol traces, incomplete protocol specifications and formal specifications expressed in linear temporal logic. This mixed specification was then compiled into a working protocol using program synthesis techniques.

Download here

Syntax-guided Synthesis.

Published in Formal Methods in Computer-Aided Design, FMCAD 2013, Portland, OR, USA, October 20-23, 2013, 2013

The definition of the SyGuS problem, and a few solution strategies were described in this paper.

Download here

Synthesizing Finite-State Protocols from Scenarios and Requirements.

Published in Hardware and Software: Verification and Testing - 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014. Proceedings., 2014

This work demonstrates how finite-state protocols (i.e., protocols where the communicating agents do not have internal state variables) could be synthesized starting from a set of execution fragments of the protocol, together with a set of high-level temporal logic requirements.

Download here

Automatic Completion of Distributed Protocols with Symmetry.

Published in Computer Aided Verification - 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II., 2015

We demonstrate how symmetry can be exploited to enable completion of protocol sketches (i.e., a partial or incomplete implementation of a distributed protocol), augmented with a set of high-level temporal logic requirements.

Download here

talks

teaching

Teaching experience 1

Undergraduate course, University 1, Department, 2014

This is a description of a teaching experience. You can use markdown like any other post.

Teaching experience 2

Workshop, University 1, Department, 2015

This is a description of a teaching experience. You can use markdown like any other post.