<?xml version="1.0" encoding="utf-8"?>
<feed xmlns="http://www.w3.org/2005/Atom">
  <title>BYU Computer Science Graduate Program Announcements</title>
  <link rel="alternate" type="text/html" href="http://cs.byu.edu/articles/graduate_program/feed"/>
  <link rel="self" type="application/atom+xml" href="http://cs.byu.edu/articles/graduate_program/feed"/>
  <id>http://cs.byu.edu/articles/graduate_program/feed</id>
  <updated>2008-05-20T15:34:05-06:00</updated>
  <entry>
    <title>Ryan Segeberg&#039;s MS Thesis Proposal</title>
    <link rel="alternate" type="text/html" href="http://cs.byu.edu/article/2008-07-07-ryan_segebergs_ms_thesis_proposal" />
    <id>http://cs.byu.edu/article/2008-07-07-ryan_segebergs_ms_thesis_proposal</id>
    <published>2008-07-07T09:16:00-06:00</published>
    <updated>2008-07-07T09:16:00-06:00</updated>
    <link rel="enclosure" type="image/jpeg" href="http://cs.byu.edu/files/images/antique_books_2_26.jpg" title="antique_books_2.jpg" />
    <author>
      <name>Computer Science Department</name>
    </author>
    <category term="Graduate Program" />
    <summary type="html"><![CDATA[Ryan Segeberg will propose his thesis topic on Friday, July 11, 2008 at 3:00 p.m. in the CS Conference Room (3365 TMCB).  The title of his paper is &quot;EASEmail: Easy Accessible Secure Email.&quot; Please click <em>more </em>for an abstract of his research.  Ryan's advisor is Dr. Kent Seamons. <br />
<br />
All are invited to attend! 
    ]]></summary>
    <content type="html"><![CDATA[ABSTRACT: <br />
<p>
Traditional email encryption methods are too difficult to setup, requiring senders to obtain message recipient's public keys before secure communication can be sent. Easy Accessible Secure Email (EASEmail) seeks to solve the key exchange issues of encrypted email by using a lightweight symmetric key server for key exchange. Users can send mail to arbitrary recipients without directly establishing or exchanging keys with the recipient. With usability as its primary goal, EASEmail strives to bring usable secure email communication to the masses.
</p>
    ]]></content>
  </entry>
  <entry>
    <title>Rahul Kumar&#039;s PhD Dissertation Defense</title>
    <link rel="alternate" type="text/html" href="http://cs.byu.edu/article/2008-07-01-rahul_kumars_phd_dissertation_defense" />
    <id>http://cs.byu.edu/article/2008-07-01-rahul_kumars_phd_dissertation_defense</id>
    <published>2008-07-01T11:38:04-06:00</published>
    <updated>2008-07-01T11:39:06-06:00</updated>
    <link rel="enclosure" type="image/jpeg" href="http://cs.byu.edu/files/images/pedestal_and_apple_7.feature.jpg" title="pedestal_and_apple.jpg" />
    <author>
      <name>Computer Science Department</name>
    </author>
    <category term="Graduate Program" />
    <summary type="html"><![CDATA[Rahul Kumar will defend his PhD Dissertation on Wednesday, July 9, 2008 at 10:00 am in the CS Conference Room.  The title of his dissertation is &quot;Using Live Sequence Chart Specifications for Formal Verification.&quot;  Please click <em>more </em>to see an abstract of this dissertation. Rahul's advisor is Dr. Eric Mercer. <br />
<br />
All are invited to attend! 
    ]]></summary>
    <content type="html"><![CDATA[ABSTRACT: <br />
<br />
Formal methods play an important part in the development as well as testing stages of software and hardware systems. A significant and often overlooked part of the process is the development of specifications and correctness requirements for the system under test. Traditionally, English has been used as the specification language, which has resulted in verbose and difficult to use specification documents that are usually abandoned during product development. This research focuses on investigating the use of Live Sequence Charts (LSCs), a graphical and intuitive language directly suited for expressing communication behaviors of a system as the specification language for a system under test. The research presents two methods for using LSCs as a specification language: first, by translating LSCs to temporal logic, and second, by translating LSCs to an automaton structure that is directly suited for formal verification of systems. The research first presents the translation for each method and further, identifies the pros and cons for each verification method. 
    ]]></content>
  </entry>
  <entry>
    <title>Maria Soledad Pera&#039;s MS Thesis Proposal</title>
    <link rel="alternate" type="text/html" href="http://cs.byu.edu/article/2008-06-19-maria_soledad_peras_ms_thesis_proposal" />
    <id>http://cs.byu.edu/article/2008-06-19-maria_soledad_peras_ms_thesis_proposal</id>
    <published>2008-06-19T11:32:03-06:00</published>
    <updated>2008-06-19T11:32:03-06:00</updated>
    <link rel="enclosure" type="image/jpeg" href="http://cs.byu.edu/files/images/pedestal_and_apple_6.feature.jpg" title="pedestal_and_apple.jpg" />
    <author>
      <name>Computer Science Department</name>
    </author>
    <category term="Graduate Program" />
    <summary type="html"><![CDATA[Maria Soledad Pera will propose her thesis topic on Monday, June 23, 2008 at 12:00 p.m. in the CS Conference Room (3365 TMCB).  The title of her paper is &quot;Improving Library Searches Using the Fuzzy Set Information Retrieval Model and Folksonomies.&quot; Please click <em>more</em> to see an abstract of her research.  Sole's advisor is Dr. Dennis Ng. <br />
<br />
All are invited to attend! 
    ]]></summary>
    <content type="html"><![CDATA[ABSTRACT: <br />
<p style="margin: 6pt 0in; line-height: 200%; text-align: justify" class="MsoNormal">
<span style="font-size: 10pt; line-height: 200%; font-family: 'Verdana','sans-serif'">Libraries, private or public, offer valuable resources to library patrons. As of today the only way to locate information archived exclusively in libraries is by searching their catalogs. Library patrons, however, often find it difficult to formulate a proper query, which requires using rigid subject terms chosen by the Library of Congress, to obtain relevant results. These improperly formulated queries often yield irrelevant results or no results at all. This negative experience in dealing with existing library systems turn library patrons away from library catalogs; instead, they rely on Web search engines to perform their searches first and upon obtaining the initial information (such as book/manuscript titles, subject areas, authors, etc.) on the desired library materials, they consult the library catalog. This searching phenomenon is an evidence of failure of today’s library systems. To solve this problem, we propose an enhanced library system, which relies on the Fuzzy Set Information Retrieval model which allows <em>partial, similarity matching</em> of (i) <em>descriptive tags</em> that describe the content of books recommended by ordinary users at a folksonomy site and (ii) <em>keywords</em> in a user’s query to improve the searches performed on existing library catalogs. </span><span style="font-size: 10pt; line-height: 200%; font-family: 'Verdana','sans-serif'">The proposed library system allows patrons to post a query </span><em><span style="font-size: 10pt; line-height: 200%; font-family: 'Verdana','sans-serif'">Q </span></em><span style="font-size: 10pt; line-height: 200%; font-family: 'Verdana','sans-serif'">using commonly-used words and ranks the retrieved results according to their <em>degrees of resemblance</em> with </span><em><span style="font-size: 10pt; line-height: 200%; font-family: 'Verdana','sans-serif'">Q </span></em><span style="font-size: 10pt; line-height: 200%; font-family: 'Verdana','sans-serif'">while maintaining the query processing time comparable with existing Web search engines.</span>
</p>
    ]]></content>
  </entry>
  <entry>
    <title>Brian Sanderson&#039;s MS Thesis Defense</title>
    <link rel="alternate" type="text/html" href="http://cs.byu.edu/article/2008-06-13-brian_sandersons_ms_thesis_defense" />
    <id>http://cs.byu.edu/article/2008-06-13-brian_sandersons_ms_thesis_defense</id>
    <published>2008-06-13T10:35:07-06:00</published>
    <updated>2008-06-13T10:35:07-06:00</updated>
    <link rel="enclosure" type="image/jpeg" href="http://cs.byu.edu/files/images/antique_books_2_25.jpg" title="antique_books_2.jpg" />
    <author>
      <name>Computer Science Department</name>
    </author>
    <category term="Graduate Program" />
    <summary type="html"><![CDATA[Brian Sanderson will defend his MS Thesis on Friday, June 20, 2008 at 10:00 am in the CS Conference Room.  The title of his thesis is &quot;Reducing Seed Load in the BitTorrent File Sharing System.&quot;  Please click <em>more </em>for an abstract of this thesis.  Brian's advisor is Dr. Daniel Zappala. <br />
<br />
All are invited to attend! 
    ]]></summary>
    <content type="html"><![CDATA[<p>
ABSTRACT: <br />
<br />
BitTorrent is an attractive peer-to-peer technology that attempts to reduce load on file sharers by allowing downloaders to share content between themselves. BitTorrent's current focus is to provide users with a fast download, which requires the file sharer to serve a disproportionate amount of the file. We present a modification to the BitTorrent seeding algorithm that reduces the load on BitTorrent file sharers. Essentially, if a block of a file is already available from a significant number of peers, the file sharer refuses to share that block, forcing peers to get it from each other. Using this modification, we show that there is a trade-off between the server's expended upload bandwidth and a longer peer download time. We also show some cases where we reduce the server's load as well as maintain a competitive peer download time by increasing the availability of rare blocks.
</p>
    ]]></content>
  </entry>
  <entry>
    <title>Bryant Cutler&#039;s MS Thesis Defense</title>
    <link rel="alternate" type="text/html" href="http://cs.byu.edu/article/2008-06-09-bryant_cutlers_ms_thesis_defense" />
    <id>http://cs.byu.edu/article/2008-06-09-bryant_cutlers_ms_thesis_defense</id>
    <published>2008-06-09T15:20:54-06:00</published>
    <updated>2008-06-09T15:22:00-06:00</updated>
    <link rel="enclosure" type="image/jpeg" href="http://cs.byu.edu/files/images/pedestal_and_apple_5.feature.jpg" title="pedestal_and_apple.jpg" />
    <author>
      <name>Computer Science Department</name>
    </author>
    <category term="Graduate Program" />
    <summary type="html"><![CDATA[Bryant Cutler will defend his MS Thesis on Wednesday, June 18, 2008 at 1:00 pm in the CS Conference Room.  The title of his thesis is &quot;Simple, Secure, Selective Delegation in Online Identity Systems.&quot;  Please click <em>more</em> to see an abstract of this thesis.  Bryant's advisor is Dr. Phillip Windley. <br />
<br />
All are invited to attend! 
    ]]></summary>
    <content type="html"><![CDATA[<p>
ABSTRACT: 
</p>
<p>
The ability to delegate privileges to others is so important to users of online identity systems that users create ad hoc delegation systems by sharing authentication credentials if no other easy delegation mechanism is available. With the rise of internet-scale relationship-based single sign-on protocols like OpenID, the security risks of password sharing are unacceptable. We therefore propose SimpleAuth, a simple modification to relationship-based authentication protocols that gives users a secure way to selectively delegate subsets of their privileges, making identity systems more flexible and increasing user security. We also present a proof-of-concept implementation of the SimpleAuth pattern using the sSRP authentication protocol to demonstrate the generality of our technique. 
</p>
    ]]></content>
  </entry>
  <entry>
    <title>Robbie Haertel&#039;s PhD Qualifying Presentation</title>
    <link rel="alternate" type="text/html" href="http://cs.byu.edu/article/2008-06-05-robbie_haertels_phd_qual_presentation" />
    <id>http://cs.byu.edu/article/2008-06-05-robbie_haertels_phd_qual_presentation</id>
    <published>2008-06-05T11:49:36-06:00</published>
    <updated>2008-06-05T11:50:16-06:00</updated>
    <link rel="enclosure" type="image/jpeg" href="http://cs.byu.edu/files/images/pedestal_and_apple_4.feature.jpg" title="pedestal_and_apple.jpg" />
    <author>
      <name>Computer Science Department</name>
    </author>
    <category term="Graduate Program" />
    <summary type="html"><![CDATA[<p>
Robbie Haertel will be presenting research on &quot;Assessing the Costs of Sampling Methods in Active Learning for Annotation&quot; and &quot;Return on Investment for Active Learning&quot; as part of his PhD Qualifying Process.  Please click <em>more </em>for abstracts of this research.  He will present his research on Monday, June 9, 2008 at 9:00 am in the CS Conference Room.  His advisor is Dr. Eric Ringger. 
</p>
<p>
All are invited to attend! 
</p>
    ]]></summary>
    <content type="html"><![CDATA[<p>
Abstract for <em>Assessing the Costs of Sampling Methods in Active Learning for Annotation</em>:<br />
<br />
Traditional Active Learning (AL) techniques assume that the annotation of each datum costs the same. This is not the case when annotating sequences; some sequences will take longer than others. We show that the AL technique which performs best depends on how cost is measured.  Applying an hourly cost model based on the results of an annotation user study, we approximate the amount of time necessary to annotate a given sentence. This model allows us to evaluate the effectiveness of AL sampling methods in terms of time spent in annotation. We achieve a 77% reduction in hours from a random baseline to achieve 96.5% tag accuracy on the Penn Treebank. More significantly, we make the case for measuring cost in assessing AL methods. 
</p>
<p>
<br />
Abstract for <em>Return on Investment for Active Learning</em>:<br />
<br />
Active Learning (AL) has been defined as a learning protocol intended to present those data to an oracle for labeling which will be most enlightening for machine learning. While AL traditionally accounts for the value of the information obtained, it often ignores the cost of obtaining<br />
the information thus causing it to perform sub-optimally with respect to total cost. We present a framework to enhance the notion of AL to account for the expected cost of the samples to be obtained. We discuss optimality and tractability in this framework. We then propose new selection algorithms for AL built upon exist-ing AL algorithms by accounting for cost using a metric that captures return on in-vestment. We demonstrate the power of our algorithms in the context of the crea-tion of labeled corpora. 
</p>
    ]]></content>
  </entry>
  <entry>
    <title>Robert Van Dam&#039;s MS Thesis Defense</title>
    <link rel="alternate" type="text/html" href="http://cs.byu.edu/article/2008-06-05-robert_van_dams_ms_thesis_defense" />
    <id>http://cs.byu.edu/article/2008-06-05-robert_van_dams_ms_thesis_defense</id>
    <published>2008-06-05T11:12:50-06:00</published>
    <updated>2008-06-05T11:12:50-06:00</updated>
    <link rel="enclosure" type="image/jpeg" href="http://cs.byu.edu/files/images/antique_books_2_24.jpg" title="antique_books_2.jpg" />
    <author>
      <name>Computer Science Department</name>
    </author>
    <category term="Graduate Program" />
    <summary type="html"><![CDATA[Robert Van Dam will defend his MS Thesis on Thursday, June 19, 2008 at 9:00 am in the CS Conference Room.  The title of his thesis is &quot;Adapting ADtrees for Improved Performance on Large Datasets with High Arity Features.&quot;  Please click <em>more </em>for an abstract of this thesis. Robert's advisor is Dr. Dan Ventura. <br />
<br />
All are invited to attend! 
    ]]></summary>
    <content type="html"><![CDATA[ABSTRACT: <br />
<br />
The ADtree, a data structure useful for caching sufficient statistics, has been successfully adapted to grow lazily when memory is limited and to update sequentially with an incrementally updated dataset.  However, even these modified forms of the ADtree still exhibit inefficiencies in terms of both space usage and query time, particularly on datasets with very high dimensionality and with high arity features.  We propose five modifications to the ADtree, each of which can be used to improve size and query time under specific types of datasets and features.  These modifications also provide an increased ability to precisely control how an ADtree is built and to tune its size given external memory or speed requirements.
    ]]></content>
  </entry>
  <entry>
    <title>Steven Brown&#039;s MS Thesis Defense</title>
    <link rel="alternate" type="text/html" href="http://cs.byu.edu/article/2008-06-02-steven_browns_ms_thesis_defense" />
    <id>http://cs.byu.edu/article/2008-06-02-steven_browns_ms_thesis_defense</id>
    <published>2008-06-02T11:35:54-06:00</published>
    <updated>2008-06-02T11:35:54-06:00</updated>
    <link rel="enclosure" type="image/jpeg" href="http://cs.byu.edu/files/images/pedestal_and_apple_3.feature.jpg" title="pedestal_and_apple.jpg" />
    <author>
      <name>Computer Science Department</name>
    </author>
    <category term="Graduate Program" />
    <summary type="html"><![CDATA[Steven Brown will defend his MS Thesis on Monday, June 16, 2008 at 1:00 pm in the CS Conference Room.  The title of his thesis is &quot;Interactive Part Selection for Mesh and Point Models Using Hierarchical Graph-cut Partitioning.&quot;  Please click <em>more </em>to see an abstract of this thesis.  Steven's advisor is Dr. Bryan Morse. <br />
<br />
All are invited to attend! 
    ]]></summary>
    <content type="html"><![CDATA[<p>
ABSTRACT: <br />
<br />
We present a method for interactive part selection for mesh and point set surface models that combines scribble-based selection methods with hierarchically accelerated graph-cut segmentation. We use graph-cut segmentation to determine optimal intuitive part boundaries which enables easy part selection on complex geometries and allows for a simple, scribble-based interface that focuses on selecting within visible parts instead of precisely defining part boundaries that may be in difficult or occluded regions. Hierarchical acceleration is used to maintain interactive speeds with large models and to determine connectivity when extending the technique to point set models.
</p>
    ]]></content>
  </entry>
  <entry>
    <title>Blake Durtschi&#039;s MS Thesis Proposal</title>
    <link rel="alternate" type="text/html" href="http://cs.byu.edu/article/2008-05-20-blake_durtschis_ms_thesis_proposal" />
    <id>http://cs.byu.edu/article/2008-05-20-blake_durtschis_ms_thesis_proposal</id>
    <published>2008-05-20T15:38:59-06:00</published>
    <updated>2008-05-20T15:38:59-06:00</updated>
    <link rel="enclosure" type="image/jpeg" href="http://cs.byu.edu/files/images/antique_books_2_23.jpg" title="antique_books_2.jpg" />
    <author>
      <name>Computer Science Department</name>
    </author>
    <category term="Graduate Program" />
    <summary type="html"><![CDATA[<p>
Blake Durtschi will present his MS Thesis Proposal on Wednesday, May 21, 2008 at 10:30 am in the CS Conference Room. The title of his proposal is &quot;Three New Learning Platforms For Studying Algorithmic Decision Processes.&quot; Please click <em>more </em>to see an abstract of his research. His advisor is Dr. Sean Warnick. 
</p>
<p>
All are invited to attend!
</p>
    ]]></summary>
    <content type="html"><![CDATA[<p>
ABSTRACT:
</p>
<p>
Learning platforms are a great way to give students a laboratory-like experience, allowing students to experiment with different ideas and see the results. They are used widely in education to help students grasp difficult concepts related to the design of intelligent decision algorithms. Traditionally, platforms in this area have been physics oriented, such as inverted pendula, ball and beam systems, or robot soccer. We propose a novel decomposition of decision algorithms into four fundamental problems: decision making, learning, model approximation, and verification. We then introduce three non-traditional learning platforms in portfolio optimization, business intelligence, and automated water management, and show how each one illustrates these four fundamental issues for understanding algorithmic decision processes.
</p>
    ]]></content>
  </entry>
  <entry>
    <title>James Stevenson&#039;s MS Thesis Proposal</title>
    <link rel="alternate" type="text/html" href="http://cs.byu.edu/article/2008-05-20-james_stevensons_ms_thesis_proposal" />
    <id>http://cs.byu.edu/article/2008-05-20-james_stevensons_ms_thesis_proposal</id>
    <published>2008-05-20T15:34:05-06:00</published>
    <updated>2008-05-20T15:34:05-06:00</updated>
    <link rel="enclosure" type="image/jpeg" href="http://cs.byu.edu/files/images/pedestal_and_apple_2.feature.jpg" title="pedestal_and_apple.jpg" />
    <author>
      <name>Computer Science Department</name>
    </author>
    <category term="Graduate Program" />
    <summary type="html"><![CDATA[<p>
James Stevenson will present his MS Thesis Proposal on Wednesday, May 21, 2008 at 9:00 am in the CS Library. The title of his proposal is &quot;Extraction Tools and Relational Database Schemas for CVS, SVN, and Bazaar Revision Control Systems.&quot; Please click <em>more </em>to see an abstract of his research.  His advisor is Dr. Charles Knutson.<br />
<br />
All are invited to attend!
</p>
    ]]></summary>
    <content type="html"><![CDATA[<p>
ABSTRACT:
</p>
<p>
Due to the inherent complexity of software, researchers need tools to help them understand software systems and development processes. Software development artifacts (such as source code, emails, and bug reports) are excellent data sources for these tools. Therefore, the SEQuOIA lab at BYU is developing an artifact-based analysis and visualization tool designed for researchers and practitioners. One set of particularly important artifacts, revision control systems, contain the history of file modifications for a project. Unfortunately, current tools to extract data from these artifacts do not capture the full range of data available. We propose the creation of extraction tools and relational database schemas to store data from the CVS, SVN, and Bazaar revision control systems. Our proposed tool will be specifically designed as a part of the SEQuOIA architecture, and will capture core revision control data and textual details not present in existing solutions. Extraction tools will be written in Python and leverage a database-independent object relation manager. To verify our approach, we will 1) populate repositories with test data and conduct extensive unit testing against those repositories and 2) use our tools to extract data from a number of open source projects.
</p>
    ]]></content>
  </entry>
</feed>
