tag:blogger.com,1999:blog-33143967498509695852024-02-19T01:15:19.174-08:00Students@PLDIThe official blog for students attending PLDI to share their experience.Matthttp://www.blogger.com/profile/05481739222422277274noreply@blogger.comBlogger188125tag:blogger.com,1999:blog-3314396749850969585.post-89813032586033810692016-08-17T13:43:00.003-07:002016-08-17T13:44:17.179-07:00Post PLDI 2016Hello all,<br />
<br />
I wanted to first thank all the organizers for putting on this year's conference. It was really easy to work with you as a student volunteer and you were very helpful when things went awry.<br />
<br />
I had a lot of fun at this conference, and I really enjoyed all the talks I went to. My favorite talks were "<a href="https://www.blogger.com/null">Input Responsiveness: Using Canary Inputs to Dynamically Steer Approximation" and "</a>Stratified Synthesis: Automatically Learning the x86-64 Instruction Set", and I also enjoyed both of the keynotes.<br />
<br />
I also thought the student volunteer dinner was a really great opportunity to get to know other students working in the same field. I had interesting conversations throughout the conference with new people that I met along the way.<br />
<br />
Thanks again to everyone and I hope to see you again next year!Anonymoushttp://www.blogger.com/profile/15777028209668485838noreply@blogger.com2tag:blogger.com,1999:blog-3314396749850969585.post-68501812825481978822016-07-11T13:25:00.000-07:002016-07-11T13:25:22.456-07:00Post PLDI 16<div dir="ltr" style="text-align: left;" trbidi="on">
Hello again friends,<br />
<br />
Participating in PLDI 16 was a great experience! I honestly expected volunteering to be more trouble/time consuming, but I was wrong. The coordination and the tasks were flawless and didn't at all affect participating in the conference!<br />
<br />
The conference was great, I loved the PLMW workshop since I believe we needed more of the "psychological" part about being a successful researcher in PL.<br />
<br />
All the talks I attended were very informative and Inspired lots of ideas to my research.<br />
<br />
I met a lot of great people and made many many friends :)<br />
<br />
I hope I will get the chance to participate again in the future PLDI conferences! <br />
<br />
-Nour</div>
Anonymoushttp://www.blogger.com/profile/18164832540709531266noreply@blogger.com0tag:blogger.com,1999:blog-3314396749850969585.post-90528162431509949522016-07-11T02:27:00.002-07:002016-07-11T02:27:43.781-07:00Post PLDI 2016I've really enjoyed PLDI in 2016. This was my second time being a volunteer @ PLDI and I had a great time again. This time I have attended the PLMW for the first time too. While the talks about academic life ups and downs were ok, I have really enjoyed the talks about research topics from established researchers. These provided great overview of PL topics I was not intimately familiar with and helped me understand the more detailed talks in the main research track, which make the conference even more rewarding. <br />
<br />
<br />Anonymoushttp://www.blogger.com/profile/04784637570087500210noreply@blogger.com0tag:blogger.com,1999:blog-3314396749850969585.post-2538381597362266102016-07-07T21:00:00.000-07:002016-07-07T21:00:15.833-07:00Post PLDI 2016PLDI 2016 was awesome. Attending PLMW was a wonderful experience. It was a great opportunity to listen to the frontiers and talk to them. All the presented papers contain cutting edge research ideas. But in my opinion <a class="fdd73de2-00a7-4f0a-9877-d29e5d35dd68-star" data-original-title="Add event to your program" href="https://www.blogger.com/null" title=""><span class="text-disabled glyphicon glyphicon-star-empty"></span></a>"Stratified Synthesis: Automatically Learning the x86-64 Instruction Set" worth a special mention. Volunteering in a top-tier conference of my area of research enabled me to make a lot of connections with the PL community. Hats off to all of you guys for making it a great success. I am looking forward to meet you all again. Anonymoushttp://www.blogger.com/profile/02611205099483263588noreply@blogger.com0tag:blogger.com,1999:blog-3314396749850969585.post-63118631023185159762016-07-06T12:03:00.000-07:002016-07-06T12:03:27.717-07:00Post PLDI 2016<div dir="ltr" style="text-align: left;" trbidi="on">
PLDI 2016 was a blast, attended many interesting talks at PLDI and ISMM. Also enjoyed attending a couple of tutorials, mainly "<a href="https://www.youtube.com/watch?v=FJY96_6Y3a4">One VM to Rule Them All, One VM to Bind Them</a>" which I enjoyed a lot. It was fun to meet up with fellow researches in the field. Volunteering at PLDI has many perks. Been able to fellowship closely with fellow volunteers was most profound for me. I would definitely encourage fellow students to volunteer at PLDI and other academic conferences to enjoy the experience.</div>
Keith Chapmanhttp://www.blogger.com/profile/17984975074729516057noreply@blogger.com0tag:blogger.com,1999:blog-3314396749850969585.post-76137647976272123242016-07-04T06:35:00.001-07:002016-07-04T06:35:14.796-07:00Post PLDI 2016Having attended ISMM and PLDI proper I have come out of the experience with many benefits:<br />
<br />
1) New ideas for my own research.<br />
2) Having met people doing fascinating work to discuss with.<br />
3) I have a much better idea of the direction the field is going, and the expectations for a `good' paper.<br />
<br />
I particularly enjoyed volunteering, giving me a better appreciation of what goes into making one of these conferences work.Anonymoushttp://www.blogger.com/profile/05313363473702617990noreply@blogger.com0tag:blogger.com,1999:blog-3314396749850969585.post-71459994721338298762016-07-02T23:09:00.006-07:002016-07-02T23:14:58.591-07:00 Post PLDI<div dir="ltr" style="text-align: left;" trbidi="on">
<h2 style="text-align: left;">
</h2>
It was a wonderful experience attending PLDI'16 and presenting my first paper at ISMM. It was a great learning experience.<br />
The entire event was very well organized and it provided a platform for students to meet each other and also to listen and interact with the best in the field.<br />
My heartfelt thanks to Dan and Annabel. Thanks to SIGPLAN PAC for funding my travel. <br />
Hope to see you all in PLDI'17.<br />
<br /></div>
Prasannahttp://www.blogger.com/profile/13622260257690514567noreply@blogger.com2tag:blogger.com,1999:blog-3314396749850969585.post-76938494984178523312016-06-25T09:26:00.002-07:002016-06-25T09:26:19.372-07:00Post-PLDI 2016I had a great time volunteering at and attending PLDI 2016. The volunteering responsibilities allowed me to help make the conference run more smoothly and did not detract from the event at all – the duties mostly required attending talks that I wanted to attend. This PLDI was at a great location and had many good papers and presentations. I'm looking forward to watching the recordings for the sessions where two sessions that I wanted to attend were concurrent.<br />
<br />
My favorite sessions were PLMW, Energy & Performance, and the two Down to the Metal sessions. Specifically, I thought Programming with Estimates by James Bornholt and GreenWeb: Language Extensions for Energy-Efficient Mobile Web Computing by Yuhao Zhu were particularly well-delivered talks. In addition to the great banquet, all of the lunches and breakfasts were good and I met many researchers that I had not run into to before. Thank you to all of the presenters, attendees, and other volunteers for making PLDI 2016 successful!Parker Hillhttp://www.blogger.com/profile/08717204527235907850noreply@blogger.com0tag:blogger.com,1999:blog-3314396749850969585.post-90827425888782613692016-06-24T18:35:00.001-07:002016-06-24T18:35:20.117-07:00Back from PLDI 2016
<!--[if gte mso 9]><xml>
<o:OfficeDocumentSettings>
<o:AllowPNG/>
<o:PixelsPerInch>96</o:PixelsPerInch>
</o:OfficeDocumentSettings>
</xml><![endif]-->
<!--[if gte mso 9]><xml>
<w:WordDocument>
<w:View>Normal</w:View>
<w:Zoom>0</w:Zoom>
<w:TrackMoves/>
<w:TrackFormatting/>
<w:PunctuationKerning/>
<w:DrawingGridVerticalSpacing>10 磅</w:DrawingGridVerticalSpacing>
<w:DisplayHorizontalDrawingGridEvery>0</w:DisplayHorizontalDrawingGridEvery>
<w:DisplayVerticalDrawingGridEvery>2</w:DisplayVerticalDrawingGridEvery>
<w:ValidateAgainstSchemas/>
<w:SaveIfXMLInvalid>false</w:SaveIfXMLInvalid>
<w:IgnoreMixedContent>false</w:IgnoreMixedContent>
<w:AlwaysShowPlaceholderText>false</w:AlwaysShowPlaceholderText>
<w:DoNotPromoteQF/>
<w:LidThemeOther>EN-US</w:LidThemeOther>
<w:LidThemeAsian>ZH-CN</w:LidThemeAsian>
<w:LidThemeComplexScript>X-NONE</w:LidThemeComplexScript>
<w:Compatibility>
<w:SpaceForUL/>
<w:BalanceSingleByteDoubleByteWidth/>
<w:DoNotLeaveBackslashAlone/>
<w:ULTrailSpace/>
<w:DoNotExpandShiftReturn/>
<w:AdjustLineHeightInTable/>
<w:BreakWrappedTables/>
<w:SnapToGridInCell/>
<w:WrapTextWithPunct/>
<w:UseAsianBreakRules/>
<w:DontGrowAutofit/>
<w:SplitPgBreakAndParaMark/>
<w:EnableOpenTypeKerning/>
<w:DontFlipMirrorIndents/>
<w:OverrideTableStyleHps/>
<w:UseFELayout/>
</w:Compatibility>
<m:mathPr>
<m:mathFont m:val="Cambria Math"/>
<m:brkBin m:val="before"/>
<m:brkBinSub m:val="--"/>
<m:smallFrac m:val="off"/>
<m:dispDef/>
<m:lMargin m:val="0"/>
<m:rMargin m:val="0"/>
<m:defJc m:val="centerGroup"/>
<m:wrapIndent m:val="1440"/>
<m:intLim m:val="subSup"/>
<m:naryLim m:val="undOvr"/>
</m:mathPr></w:WordDocument>
</xml><![endif]--><!--[if gte mso 9]><xml>
<w:LatentStyles DefLockedState="false" DefUnhideWhenUsed="false"
DefSemiHidden="false" DefQFormat="false" DefPriority="99"
LatentStyleCount="380">
<w:LsdException Locked="false" Priority="0" QFormat="true" Name="Normal"/>
<w:LsdException Locked="false" Priority="9" QFormat="true" Name="heading 1"/>
<w:LsdException Locked="false" Priority="9" SemiHidden="true"
UnhideWhenUsed="true" QFormat="true" Name="heading 2"/>
<w:LsdException Locked="false" Priority="9" SemiHidden="true"
UnhideWhenUsed="true" QFormat="true" Name="heading 3"/>
<w:LsdException Locked="false" Priority="9" SemiHidden="true"
UnhideWhenUsed="true" QFormat="true" Name="heading 4"/>
<w:LsdException Locked="false" Priority="9" SemiHidden="true"
UnhideWhenUsed="true" QFormat="true" Name="heading 5"/>
<w:LsdException Locked="false" Priority="9" SemiHidden="true"
UnhideWhenUsed="true" QFormat="true" Name="heading 6"/>
<w:LsdException Locked="false" Priority="9" SemiHidden="true"
UnhideWhenUsed="true" QFormat="true" Name="heading 7"/>
<w:LsdException Locked="false" Priority="9" SemiHidden="true"
UnhideWhenUsed="true" QFormat="true" Name="heading 8"/>
<w:LsdException Locked="false" Priority="9" SemiHidden="true"
UnhideWhenUsed="true" QFormat="true" Name="heading 9"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true"
Name="index 1"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true"
Name="index 2"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true"
Name="index 3"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true"
Name="index 4"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true"
Name="index 5"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true"
Name="index 6"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true"
Name="index 7"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true"
Name="index 8"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true"
Name="index 9"/>
<w:LsdException Locked="false" Priority="39" SemiHidden="true"
UnhideWhenUsed="true" Name="toc 1"/>
<w:LsdException Locked="false" Priority="39" SemiHidden="true"
UnhideWhenUsed="true" Name="toc 2"/>
<w:LsdException Locked="false" Priority="39" SemiHidden="true"
UnhideWhenUsed="true" Name="toc 3"/>
<w:LsdException Locked="false" Priority="39" SemiHidden="true"
UnhideWhenUsed="true" Name="toc 4"/>
<w:LsdException Locked="false" Priority="39" SemiHidden="true"
UnhideWhenUsed="true" Name="toc 5"/>
<w:LsdException Locked="false" Priority="39" SemiHidden="true"
UnhideWhenUsed="true" Name="toc 6"/>
<w:LsdException Locked="false" Priority="39" SemiHidden="true"
UnhideWhenUsed="true" Name="toc 7"/>
<w:LsdException Locked="false" Priority="39" SemiHidden="true"
UnhideWhenUsed="true" Name="toc 8"/>
<w:LsdException Locked="false" Priority="39" SemiHidden="true"
UnhideWhenUsed="true" Name="toc 9"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true"
Name="Normal Indent"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true"
Name="footnote text"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true"
Name="annotation text"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true"
Name="header"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true"
Name="footer"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true"
Name="index heading"/>
<w:LsdException Locked="false" Priority="35" SemiHidden="true"
UnhideWhenUsed="true" QFormat="true" Name="caption"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true"
Name="table of figures"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true"
Name="envelope address"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true"
Name="envelope return"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true"
Name="footnote reference"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true"
Name="annotation reference"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true"
Name="line number"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true"
Name="page number"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true"
Name="endnote reference"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true"
Name="endnote text"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true"
Name="table of authorities"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true"
Name="macro"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true"
Name="toa heading"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true"
Name="List"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true"
Name="List Bullet"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true"
Name="List Number"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true"
Name="List 2"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true"
Name="List 3"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true"
Name="List 4"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true"
Name="List 5"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true"
Name="List Bullet 2"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true"
Name="List Bullet 3"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true"
Name="List Bullet 4"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true"
Name="List Bullet 5"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true"
Name="List Number 2"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true"
Name="List Number 3"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true"
Name="List Number 4"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true"
Name="List Number 5"/>
<w:LsdException Locked="false" Priority="10" QFormat="true" Name="Title"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true"
Name="Closing"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true"
Name="Signature"/>
<w:LsdException Locked="false" Priority="1" SemiHidden="true"
UnhideWhenUsed="true" Name="Default Paragraph Font"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true"
Name="Body Text"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true"
Name="Body Text Indent"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true"
Name="List Continue"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true"
Name="List Continue 2"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true"
Name="List Continue 3"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true"
Name="List Continue 4"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true"
Name="List Continue 5"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true"
Name="Message Header"/>
<w:LsdException Locked="false" Priority="11" QFormat="true" Name="Subtitle"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true"
Name="Salutation"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true"
Name="Date"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true"
Name="Body Text First Indent"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true"
Name="Body Text First Indent 2"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true"
Name="Note Heading"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true"
Name="Body Text 2"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true"
Name="Body Text 3"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true"
Name="Body Text Indent 2"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true"
Name="Body Text Indent 3"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true"
Name="Block Text"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true"
Name="Hyperlink"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true"
Name="FollowedHyperlink"/>
<w:LsdException Locked="false" Priority="22" QFormat="true" Name="Strong"/>
<w:LsdException Locked="false" Priority="20" QFormat="true" Name="Emphasis"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true"
Name="Document Map"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true"
Name="Plain Text"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true"
Name="E-mail Signature"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true"
Name="HTML Top of Form"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true"
Name="HTML Bottom of Form"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true"
Name="Normal (Web)"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true"
Name="HTML Acronym"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true"
Name="HTML Address"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true"
Name="HTML Cite"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true"
Name="HTML Code"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true"
Name="HTML Definition"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true"
Name="HTML Keyboard"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true"
Name="HTML Preformatted"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true"
Name="HTML Sample"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true"
Name="HTML Typewriter"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true"
Name="HTML Variable"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true"
Name="Normal Table"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true"
Name="annotation subject"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true"
Name="No List"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true"
Name="Outline List 1"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true"
Name="Outline List 2"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true"
Name="Outline List 3"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true"
Name="Table Simple 1"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true"
Name="Table Simple 2"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true"
Name="Table Simple 3"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true"
Name="Table Classic 1"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true"
Name="Table Classic 2"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true"
Name="Table Classic 3"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true"
Name="Table Classic 4"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true"
Name="Table Colorful 1"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true"
Name="Table Colorful 2"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true"
Name="Table Colorful 3"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true"
Name="Table Columns 1"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true"
Name="Table Columns 2"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true"
Name="Table Columns 3"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true"
Name="Table Columns 4"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true"
Name="Table Columns 5"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true"
Name="Table Grid 1"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true"
Name="Table Grid 2"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true"
Name="Table Grid 3"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true"
Name="Table Grid 4"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true"
Name="Table Grid 5"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true"
Name="Table Grid 6"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true"
Name="Table Grid 7"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true"
Name="Table Grid 8"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true"
Name="Table List 1"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true"
Name="Table List 2"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true"
Name="Table List 3"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true"
Name="Table List 4"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true"
Name="Table List 5"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true"
Name="Table List 6"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true"
Name="Table List 7"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true"
Name="Table List 8"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true"
Name="Table 3D effects 1"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true"
Name="Table 3D effects 2"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true"
Name="Table 3D effects 3"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true"
Name="Table Contemporary"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true"
Name="Table Elegant"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true"
Name="Table Professional"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true"
Name="Table Subtle 1"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true"
Name="Table Subtle 2"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true"
Name="Table Web 1"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true"
Name="Table Web 2"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true"
Name="Table Web 3"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true"
Name="Balloon Text"/>
<w:LsdException Locked="false" Priority="39" Name="Table Grid"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true"
Name="Table Theme"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true"
Name="Note Level 1"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true"
Name="Note Level 2"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true"
Name="Note Level 3"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true"
Name="Note Level 4"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true"
Name="Note Level 5"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true"
Name="Note Level 6"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true"
Name="Note Level 7"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true"
Name="Note Level 8"/>
<w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true"
Name="Note Level 9"/>
<w:LsdException Locked="false" SemiHidden="true" Name="Placeholder Text"/>
<w:LsdException Locked="false" Priority="1" QFormat="true" Name="No Spacing"/>
<w:LsdException Locked="false" Priority="60" Name="Light Shading"/>
<w:LsdException Locked="false" Priority="61" Name="Light List"/>
<w:LsdException Locked="false" Priority="62" Name="Light Grid"/>
<w:LsdException Locked="false" Priority="63" Name="Medium Shading 1"/>
<w:LsdException Locked="false" Priority="64" Name="Medium Shading 2"/>
<w:LsdException Locked="false" Priority="65" Name="Medium List 1"/>
<w:LsdException Locked="false" Priority="66" Name="Medium List 2"/>
<w:LsdException Locked="false" Priority="67" Name="Medium Grid 1"/>
<w:LsdException Locked="false" Priority="68" Name="Medium Grid 2"/>
<w:LsdException Locked="false" Priority="69" Name="Medium Grid 3"/>
<w:LsdException Locked="false" Priority="70" Name="Dark List"/>
<w:LsdException Locked="false" Priority="71" Name="Colorful Shading"/>
<w:LsdException Locked="false" Priority="72" Name="Colorful List"/>
<w:LsdException Locked="false" Priority="73" Name="Colorful Grid"/>
<w:LsdException Locked="false" Priority="60" Name="Light Shading Accent 1"/>
<w:LsdException Locked="false" Priority="61" Name="Light List Accent 1"/>
<w:LsdException Locked="false" Priority="62" Name="Light Grid Accent 1"/>
<w:LsdException Locked="false" Priority="63" Name="Medium Shading 1 Accent 1"/>
<w:LsdException Locked="false" Priority="64" Name="Medium Shading 2 Accent 1"/>
<w:LsdException Locked="false" Priority="65" Name="Medium List 1 Accent 1"/>
<w:LsdException Locked="false" SemiHidden="true" Name="Revision"/>
<w:LsdException Locked="false" Priority="34" QFormat="true"
Name="List Paragraph"/>
<w:LsdException Locked="false" Priority="29" QFormat="true" Name="Quote"/>
<w:LsdException Locked="false" Priority="30" QFormat="true"
Name="Intense Quote"/>
<w:LsdException Locked="false" Priority="66" Name="Medium List 2 Accent 1"/>
<w:LsdException Locked="false" Priority="67" Name="Medium Grid 1 Accent 1"/>
<w:LsdException Locked="false" Priority="68" Name="Medium Grid 2 Accent 1"/>
<w:LsdException Locked="false" Priority="69" Name="Medium Grid 3 Accent 1"/>
<w:LsdException Locked="false" Priority="70" Name="Dark List Accent 1"/>
<w:LsdException Locked="false" Priority="71" Name="Colorful Shading Accent 1"/>
<w:LsdException Locked="false" Priority="72" Name="Colorful List Accent 1"/>
<w:LsdException Locked="false" Priority="73" Name="Colorful Grid Accent 1"/>
<w:LsdException Locked="false" Priority="60" Name="Light Shading Accent 2"/>
<w:LsdException Locked="false" Priority="61" Name="Light List Accent 2"/>
<w:LsdException Locked="false" Priority="62" Name="Light Grid Accent 2"/>
<w:LsdException Locked="false" Priority="63" Name="Medium Shading 1 Accent 2"/>
<w:LsdException Locked="false" Priority="64" Name="Medium Shading 2 Accent 2"/>
<w:LsdException Locked="false" Priority="65" Name="Medium List 1 Accent 2"/>
<w:LsdException Locked="false" Priority="66" Name="Medium List 2 Accent 2"/>
<w:LsdException Locked="false" Priority="67" Name="Medium Grid 1 Accent 2"/>
<w:LsdException Locked="false" Priority="68" Name="Medium Grid 2 Accent 2"/>
<w:LsdException Locked="false" Priority="69" Name="Medium Grid 3 Accent 2"/>
<w:LsdException Locked="false" Priority="70" Name="Dark List Accent 2"/>
<w:LsdException Locked="false" Priority="71" Name="Colorful Shading Accent 2"/>
<w:LsdException Locked="false" Priority="72" Name="Colorful List Accent 2"/>
<w:LsdException Locked="false" Priority="73" Name="Colorful Grid Accent 2"/>
<w:LsdException Locked="false" Priority="60" Name="Light Shading Accent 3"/>
<w:LsdException Locked="false" Priority="61" Name="Light List Accent 3"/>
<w:LsdException Locked="false" Priority="62" Name="Light Grid Accent 3"/>
<w:LsdException Locked="false" Priority="63" Name="Medium Shading 1 Accent 3"/>
<w:LsdException Locked="false" Priority="64" Name="Medium Shading 2 Accent 3"/>
<w:LsdException Locked="false" Priority="65" Name="Medium List 1 Accent 3"/>
<w:LsdException Locked="false" Priority="66" Name="Medium List 2 Accent 3"/>
<w:LsdException Locked="false" Priority="67" Name="Medium Grid 1 Accent 3"/>
<w:LsdException Locked="false" Priority="68" Name="Medium Grid 2 Accent 3"/>
<w:LsdException Locked="false" Priority="69" Name="Medium Grid 3 Accent 3"/>
<w:LsdException Locked="false" Priority="70" Name="Dark List Accent 3"/>
<w:LsdException Locked="false" Priority="71" Name="Colorful Shading Accent 3"/>
<w:LsdException Locked="false" Priority="72" Name="Colorful List Accent 3"/>
<w:LsdException Locked="false" Priority="73" Name="Colorful Grid Accent 3"/>
<w:LsdException Locked="false" Priority="60" Name="Light Shading Accent 4"/>
<w:LsdException Locked="false" Priority="61" Name="Light List Accent 4"/>
<w:LsdException Locked="false" Priority="62" Name="Light Grid Accent 4"/>
<w:LsdException Locked="false" Priority="63" Name="Medium Shading 1 Accent 4"/>
<w:LsdException Locked="false" Priority="64" Name="Medium Shading 2 Accent 4"/>
<w:LsdException Locked="false" Priority="65" Name="Medium List 1 Accent 4"/>
<w:LsdException Locked="false" Priority="66" Name="Medium List 2 Accent 4"/>
<w:LsdException Locked="false" Priority="67" Name="Medium Grid 1 Accent 4"/>
<w:LsdException Locked="false" Priority="68" Name="Medium Grid 2 Accent 4"/>
<w:LsdException Locked="false" Priority="69" Name="Medium Grid 3 Accent 4"/>
<w:LsdException Locked="false" Priority="70" Name="Dark List Accent 4"/>
<w:LsdException Locked="false" Priority="71" Name="Colorful Shading Accent 4"/>
<w:LsdException Locked="false" Priority="72" Name="Colorful List Accent 4"/>
<w:LsdException Locked="false" Priority="73" Name="Colorful Grid Accent 4"/>
<w:LsdException Locked="false" Priority="60" Name="Light Shading Accent 5"/>
<w:LsdException Locked="false" Priority="61" Name="Light List Accent 5"/>
<w:LsdException Locked="false" Priority="62" Name="Light Grid Accent 5"/>
<w:LsdException Locked="false" Priority="63" Name="Medium Shading 1 Accent 5"/>
<w:LsdException Locked="false" Priority="64" Name="Medium Shading 2 Accent 5"/>
<w:LsdException Locked="false" Priority="65" Name="Medium List 1 Accent 5"/>
<w:LsdException Locked="false" Priority="66" Name="Medium List 2 Accent 5"/>
<w:LsdException Locked="false" Priority="67" Name="Medium Grid 1 Accent 5"/>
<w:LsdException Locked="false" Priority="68" Name="Medium Grid 2 Accent 5"/>
<w:LsdException Locked="false" Priority="69" Name="Medium Grid 3 Accent 5"/>
<w:LsdException Locked="false" Priority="70" Name="Dark List Accent 5"/>
<w:LsdException Locked="false" Priority="71" Name="Colorful Shading Accent 5"/>
<w:LsdException Locked="false" Priority="72" Name="Colorful List Accent 5"/>
<w:LsdException Locked="false" Priority="73" Name="Colorful Grid Accent 5"/>
<w:LsdException Locked="false" Priority="60" Name="Light Shading Accent 6"/>
<w:LsdException Locked="false" Priority="61" Name="Light List Accent 6"/>
<w:LsdException Locked="false" Priority="62" Name="Light Grid Accent 6"/>
<w:LsdException Locked="false" Priority="63" Name="Medium Shading 1 Accent 6"/>
<w:LsdException Locked="false" Priority="64" Name="Medium Shading 2 Accent 6"/>
<w:LsdException Locked="false" Priority="65" Name="Medium List 1 Accent 6"/>
<w:LsdException Locked="false" Priority="66" Name="Medium List 2 Accent 6"/>
<w:LsdException Locked="false" Priority="67" Name="Medium Grid 1 Accent 6"/>
<w:LsdException Locked="false" Priority="68" Name="Medium Grid 2 Accent 6"/>
<w:LsdException Locked="false" Priority="69" Name="Medium Grid 3 Accent 6"/>
<w:LsdException Locked="false" Priority="70" Name="Dark List Accent 6"/>
<w:LsdException Locked="false" Priority="71" Name="Colorful Shading Accent 6"/>
<w:LsdException Locked="false" Priority="72" Name="Colorful List Accent 6"/>
<w:LsdException Locked="false" Priority="73" Name="Colorful Grid Accent 6"/>
<w:LsdException Locked="false" Priority="19" QFormat="true"
Name="Subtle Emphasis"/>
<w:LsdException Locked="false" Priority="21" QFormat="true"
Name="Intense Emphasis"/>
<w:LsdException Locked="false" Priority="31" QFormat="true"
Name="Subtle Reference"/>
<w:LsdException Locked="false" Priority="32" QFormat="true"
Name="Intense Reference"/>
<w:LsdException Locked="false" Priority="33" QFormat="true" Name="Book Title"/>
<w:LsdException Locked="false" Priority="37" SemiHidden="true"
UnhideWhenUsed="true" Name="Bibliography"/>
<w:LsdException Locked="false" Priority="39" SemiHidden="true"
UnhideWhenUsed="true" QFormat="true" Name="TOC Heading"/>
<w:LsdException Locked="false" Priority="41" Name="Plain Table 1"/>
<w:LsdException Locked="false" Priority="42" Name="Plain Table 2"/>
<w:LsdException Locked="false" Priority="43" Name="Plain Table 3"/>
<w:LsdException Locked="false" Priority="44" Name="Plain Table 4"/>
<w:LsdException Locked="false" Priority="45" Name="Plain Table 5"/>
<w:LsdException Locked="false" Priority="40" Name="Grid Table Light"/>
<w:LsdException Locked="false" Priority="46" Name="Grid Table 1 Light"/>
<w:LsdException Locked="false" Priority="47" Name="Grid Table 2"/>
<w:LsdException Locked="false" Priority="48" Name="Grid Table 3"/>
<w:LsdException Locked="false" Priority="49" Name="Grid Table 4"/>
<w:LsdException Locked="false" Priority="50" Name="Grid Table 5 Dark"/>
<w:LsdException Locked="false" Priority="51" Name="Grid Table 6 Colorful"/>
<w:LsdException Locked="false" Priority="52" Name="Grid Table 7 Colorful"/>
<w:LsdException Locked="false" Priority="46"
Name="Grid Table 1 Light Accent 1"/>
<w:LsdException Locked="false" Priority="47" Name="Grid Table 2 Accent 1"/>
<w:LsdException Locked="false" Priority="48" Name="Grid Table 3 Accent 1"/>
<w:LsdException Locked="false" Priority="49" Name="Grid Table 4 Accent 1"/>
<w:LsdException Locked="false" Priority="50" Name="Grid Table 5 Dark Accent 1"/>
<w:LsdException Locked="false" Priority="51"
Name="Grid Table 6 Colorful Accent 1"/>
<w:LsdException Locked="false" Priority="52"
Name="Grid Table 7 Colorful Accent 1"/>
<w:LsdException Locked="false" Priority="46"
Name="Grid Table 1 Light Accent 2"/>
<w:LsdException Locked="false" Priority="47" Name="Grid Table 2 Accent 2"/>
<w:LsdException Locked="false" Priority="48" Name="Grid Table 3 Accent 2"/>
<w:LsdException Locked="false" Priority="49" Name="Grid Table 4 Accent 2"/>
<w:LsdException Locked="false" Priority="50" Name="Grid Table 5 Dark Accent 2"/>
<w:LsdException Locked="false" Priority="51"
Name="Grid Table 6 Colorful Accent 2"/>
<w:LsdException Locked="false" Priority="52"
Name="Grid Table 7 Colorful Accent 2"/>
<w:LsdException Locked="false" Priority="46"
Name="Grid Table 1 Light Accent 3"/>
<w:LsdException Locked="false" Priority="47" Name="Grid Table 2 Accent 3"/>
<w:LsdException Locked="false" Priority="48" Name="Grid Table 3 Accent 3"/>
<w:LsdException Locked="false" Priority="49" Name="Grid Table 4 Accent 3"/>
<w:LsdException Locked="false" Priority="50" Name="Grid Table 5 Dark Accent 3"/>
<w:LsdException Locked="false" Priority="51"
Name="Grid Table 6 Colorful Accent 3"/>
<w:LsdException Locked="false" Priority="52"
Name="Grid Table 7 Colorful Accent 3"/>
<w:LsdException Locked="false" Priority="46"
Name="Grid Table 1 Light Accent 4"/>
<w:LsdException Locked="false" Priority="47" Name="Grid Table 2 Accent 4"/>
<w:LsdException Locked="false" Priority="48" Name="Grid Table 3 Accent 4"/>
<w:LsdException Locked="false" Priority="49" Name="Grid Table 4 Accent 4"/>
<w:LsdException Locked="false" Priority="50" Name="Grid Table 5 Dark Accent 4"/>
<w:LsdException Locked="false" Priority="51"
Name="Grid Table 6 Colorful Accent 4"/>
<w:LsdException Locked="false" Priority="52"
Name="Grid Table 7 Colorful Accent 4"/>
<w:LsdException Locked="false" Priority="46"
Name="Grid Table 1 Light Accent 5"/>
<w:LsdException Locked="false" Priority="47" Name="Grid Table 2 Accent 5"/>
<w:LsdException Locked="false" Priority="48" Name="Grid Table 3 Accent 5"/>
<w:LsdException Locked="false" Priority="49" Name="Grid Table 4 Accent 5"/>
<w:LsdException Locked="false" Priority="50" Name="Grid Table 5 Dark Accent 5"/>
<w:LsdException Locked="false" Priority="51"
Name="Grid Table 6 Colorful Accent 5"/>
<w:LsdException Locked="false" Priority="52"
Name="Grid Table 7 Colorful Accent 5"/>
<w:LsdException Locked="false" Priority="46"
Name="Grid Table 1 Light Accent 6"/>
<w:LsdException Locked="false" Priority="47" Name="Grid Table 2 Accent 6"/>
<w:LsdException Locked="false" Priority="48" Name="Grid Table 3 Accent 6"/>
<w:LsdException Locked="false" Priority="49" Name="Grid Table 4 Accent 6"/>
<w:LsdException Locked="false" Priority="50" Name="Grid Table 5 Dark Accent 6"/>
<w:LsdException Locked="false" Priority="51"
Name="Grid Table 6 Colorful Accent 6"/>
<w:LsdException Locked="false" Priority="52"
Name="Grid Table 7 Colorful Accent 6"/>
<w:LsdException Locked="false" Priority="46" Name="List Table 1 Light"/>
<w:LsdException Locked="false" Priority="47" Name="List Table 2"/>
<w:LsdException Locked="false" Priority="48" Name="List Table 3"/>
<w:LsdException Locked="false" Priority="49" Name="List Table 4"/>
<w:LsdException Locked="false" Priority="50" Name="List Table 5 Dark"/>
<w:LsdException Locked="false" Priority="51" Name="List Table 6 Colorful"/>
<w:LsdException Locked="false" Priority="52" Name="List Table 7 Colorful"/>
<w:LsdException Locked="false" Priority="46"
Name="List Table 1 Light Accent 1"/>
<w:LsdException Locked="false" Priority="47" Name="List Table 2 Accent 1"/>
<w:LsdException Locked="false" Priority="48" Name="List Table 3 Accent 1"/>
<w:LsdException Locked="false" Priority="49" Name="List Table 4 Accent 1"/>
<w:LsdException Locked="false" Priority="50" Name="List Table 5 Dark Accent 1"/>
<w:LsdException Locked="false" Priority="51"
Name="List Table 6 Colorful Accent 1"/>
<w:LsdException Locked="false" Priority="52"
Name="List Table 7 Colorful Accent 1"/>
<w:LsdException Locked="false" Priority="46"
Name="List Table 1 Light Accent 2"/>
<w:LsdException Locked="false" Priority="47" Name="List Table 2 Accent 2"/>
<w:LsdException Locked="false" Priority="48" Name="List Table 3 Accent 2"/>
<w:LsdException Locked="false" Priority="49" Name="List Table 4 Accent 2"/>
<w:LsdException Locked="false" Priority="50" Name="List Table 5 Dark Accent 2"/>
<w:LsdException Locked="false" Priority="51"
Name="List Table 6 Colorful Accent 2"/>
<w:LsdException Locked="false" Priority="52"
Name="List Table 7 Colorful Accent 2"/>
<w:LsdException Locked="false" Priority="46"
Name="List Table 1 Light Accent 3"/>
<w:LsdException Locked="false" Priority="47" Name="List Table 2 Accent 3"/>
<w:LsdException Locked="false" Priority="48" Name="List Table 3 Accent 3"/>
<w:LsdException Locked="false" Priority="49" Name="List Table 4 Accent 3"/>
<w:LsdException Locked="false" Priority="50" Name="List Table 5 Dark Accent 3"/>
<w:LsdException Locked="false" Priority="51"
Name="List Table 6 Colorful Accent 3"/>
<w:LsdException Locked="false" Priority="52"
Name="List Table 7 Colorful Accent 3"/>
<w:LsdException Locked="false" Priority="46"
Name="List Table 1 Light Accent 4"/>
<w:LsdException Locked="false" Priority="47" Name="List Table 2 Accent 4"/>
<w:LsdException Locked="false" Priority="48" Name="List Table 3 Accent 4"/>
<w:LsdException Locked="false" Priority="49" Name="List Table 4 Accent 4"/>
<w:LsdException Locked="false" Priority="50" Name="List Table 5 Dark Accent 4"/>
<w:LsdException Locked="false" Priority="51"
Name="List Table 6 Colorful Accent 4"/>
<w:LsdException Locked="false" Priority="52"
Name="List Table 7 Colorful Accent 4"/>
<w:LsdException Locked="false" Priority="46"
Name="List Table 1 Light Accent 5"/>
<w:LsdException Locked="false" Priority="47" Name="List Table 2 Accent 5"/>
<w:LsdException Locked="false" Priority="48" Name="List Table 3 Accent 5"/>
<w:LsdException Locked="false" Priority="49" Name="List Table 4 Accent 5"/>
<w:LsdException Locked="false" Priority="50" Name="List Table 5 Dark Accent 5"/>
<w:LsdException Locked="false" Priority="51"
Name="List Table 6 Colorful Accent 5"/>
<w:LsdException Locked="false" Priority="52"
Name="List Table 7 Colorful Accent 5"/>
<w:LsdException Locked="false" Priority="46"
Name="List Table 1 Light Accent 6"/>
<w:LsdException Locked="false" Priority="47" Name="List Table 2 Accent 6"/>
<w:LsdException Locked="false" Priority="48" Name="List Table 3 Accent 6"/>
<w:LsdException Locked="false" Priority="49" Name="List Table 4 Accent 6"/>
<w:LsdException Locked="false" Priority="50" Name="List Table 5 Dark Accent 6"/>
<w:LsdException Locked="false" Priority="51"
Name="List Table 6 Colorful Accent 6"/>
<w:LsdException Locked="false" Priority="52"
Name="List Table 7 Colorful Accent 6"/>
</w:LatentStyles>
</xml><![endif]-->
<!--[if gte mso 10]>
<style>
/* Style Definitions */
table.MsoNormalTable
{mso-style-name:普通表格;
mso-tstyle-rowband-size:0;
mso-tstyle-colband-size:0;
mso-style-noshow:yes;
mso-style-priority:99;
mso-style-parent:"";
mso-padding-alt:0cm 5.4pt 0cm 5.4pt;
mso-para-margin:0cm;
mso-para-margin-bottom:.0001pt;
mso-pagination:widow-orphan;
font-size:12.0pt;
font-family:DengXian;
mso-ascii-font-family:DengXian;
mso-ascii-theme-font:minor-latin;
mso-fareast-font-family:DengXian;
mso-fareast-theme-font:minor-fareast;
mso-hansi-font-family:DengXian;
mso-hansi-theme-font:minor-latin;
mso-font-kerning:1.0pt;}
</style>
<![endif]-->
<!--StartFragment-->
<!--EndFragment--><br />
<div class="MsoNormal">
<span lang="EN-US">PLDI 2016 ended several days ago. It is my
honor to attend the premier conference on programming language as a student
volunteer. It is also my honor to get financial support from ACM SIGPLAN PAC. </span></div>
<div class="MsoNormal">
<span lang="EN-US"><br /></span></div>
<div class="MsoNormal">
<span lang="EN-US">Thanks
to the conference committee who decided to hold the conference in the beautiful
city, Santa Barbara. The weather is mild and comfortable. The conference hotel
is near the beach and the scenery is charming. Thanks to Dan and Michael, who
arranged the jobs for volunteers carefully so that we, student volunteers, had
enough time to listen to reports and meet with experts. </span></div>
<div class="MsoNormal">
<span lang="EN-US"><br /></span></div>
<div class="MsoNormal">
<span lang="EN-US">Because I am interested
in program verification, I attended the SOAP workshop and the program
verification sessions. The work reported there is great and it is worthwhile to
learn from the papers and the reporters. It is a nice experience to attend
PLDI, but I think it would be better if I had a paper there. I will work
harder. See you PLDI 2017 when I hope that I can meet with you with my own
paper.<o:p></o:p></span></div>
SHI, Qingkaihttp://www.blogger.com/profile/04802139477005352020noreply@blogger.com0tag:blogger.com,1999:blog-3314396749850969585.post-48797974311342523412016-06-23T08:43:00.004-07:002016-06-23T08:43:59.038-07:00Post-PLDI 2016I had a great time at PLDI, my first conference. Not only were the talks interesting, but we got to enjoy the sun, the beach, and the mountain views (Waterloo, Ontario is very flat). I also enjoyed chatting with the people I'd randomly bump into.<br />
<br />
I attended PLMW, and found all the talks (keynotes, technical talks, and professional development) to be very valuable. I would definitely recommend PLMW to all early grad students, as well as senior undergrads considering graduate school.<br />
<br />
And then there was the main PLDI conference. My only "complaint" is that there were so many interesting talks and I was so tired that everything blurred together! So I'm looking forward to when the recordings are posted, so I can take another look and also read some of the papers.<br />
<br />
Thank you to everybody who was involved in making this a great event!Anonymoushttp://www.blogger.com/profile/10600846406698935733noreply@blogger.com0tag:blogger.com,1999:blog-3314396749850969585.post-61539718225616816632016-06-23T08:23:00.002-07:002016-06-23T08:23:30.780-07:00Landing back in Canada from PLDII'm back in the (surprisingly warmer, too warm) climate of Canada. I had a great time at PLDI this year. The location was fantastic, the talks were interesting, and the people were great. Both keynotes were exceptional and really motivating. I'd like to thank all the organizers and volunteers that made this conference run as smoothly as it did.<br />
<br />
The SRC was a really good opportunity to get some great feedback. I'm very appreciative for being able to do this. It appears we're on the right track, and there's some excitement towards our research, which is great.<br />
<br />
I really enjoyed all of the low-level x86 talks. It's pretty surprising as to what still can be done by looking at assembly. The "Programmatic and Direct Manipulation, Together at Last" talk was very interesting as well. I really like the presentation style.<br />
<br />
I also have a (customary, apparently) sunburn to remember the trip. Hope to see everyone at the next one!Anonymoushttp://www.blogger.com/profile/11226336321240681407noreply@blogger.com0tag:blogger.com,1999:blog-3314396749850969585.post-87397083824136624262016-06-22T18:11:00.002-07:002016-06-22T18:11:49.561-07:00Back from PLDI'16ISMM and PLDI have just ended. It was an awesome experience for me to learn from and know about other attendees. I much enjoyed chatting with the researchers in the compiler field. Not only the knowledge they share, -- most importantly--, but also the way doing research they told me really attract me. The paper I like most is the best paper from ISMM, which provides a sound way to optimize cache performance by combining hardware and software. Also, the talk was also fantastic. I wish next year I can present a paper in PLDI'17. By the way, the outdoor lunch was extremely enjoyable!Anonymoushttp://www.blogger.com/profile/15394810920511705905noreply@blogger.com0tag:blogger.com,1999:blog-3314396749850969585.post-51974968595109428082016-06-22T13:37:00.000-07:002016-06-29T13:46:06.135-07:00Back from PLDII had a great week in Santa Barbara for PLDI 2016!<br />
<br />
As I wrote <a href="http://students-pldi.blogspot.com/2016/06/looking-forward-to-pldi-2016_11.html">previously</a>, I hoped to have a chance to chat with some other students, and this was definitely the case -- I met some really cool people.<br />
<br />
I felt like my talk went fairly well, although sadly the <a href="http://conf.researchr.org/dayprogram/pldi-2016/program-pldi-2016/4">SDN session</a> was not as well-attended as I had hoped. In any case, I got to hear about some other cool SDN projects.<br />
<br />
I also had a chance to do some hiking in the mountains above Santa Barbara, which was very fun.<br />
<br />
Hopefully I'll have a chance to attend PLDI next year!<br />
<br />
jedAnonymoushttp://www.blogger.com/profile/00468188102559159158noreply@blogger.com0tag:blogger.com,1999:blog-3314396749850969585.post-34908585909511102372016-06-22T12:30:00.003-07:002016-06-22T12:30:35.319-07:00Post-PLDIThis is the first academic conference I attended, and it was an awesome experience that's way beyond my expectations. I did not expect to meet so many friendly people, all willing to tell me their experiences, share similarities, give me suggestions and encouragements. The PLMW workshop, which was why I got interested in attending PLDI, was also very useful and fun--especially the mentoring session in the noon. Thanks to NSF funding and my roommates, they made this trip possible and affordable. The conference organizers did a great job, and the student volunteer chairs were extremely nice and helpful.<br />
<br />
I listened to many interesting talks and met some truly inspiring people. The poster session is especially fun for me, particularly because I can ask as many questions as I want almost one-on-one with the presenter. It's like I attended an intense 5-day workshop which is also incredibly fun, and walked away with a lot of knowledge and ideas. I'm definitely looking forward to attend more future conferences, and meeting friends old and new there.<br />
<br />
Looking forward to the recorded videos for talks on YouTube. :)Anonymoushttp://www.blogger.com/profile/16598521528886162913noreply@blogger.com0tag:blogger.com,1999:blog-3314396749850969585.post-26540365324225775582016-06-21T16:03:00.001-07:002016-06-21T16:03:14.608-07:00A Successful PLDII'm back in Massachusetts from my first PLDI, and it was great!<br />
<br />
A lot of people invested their time into making this a fantastic event, and I specifically wanted to thank:<br />
<br />
<ul>
<li>The Program Chair Emery Berger and General Chair Chandra Krintz for a fantastic set of keynotes and accepted papers.</li>
<li>Annabel Satin from the ACM for all of her logistical work making sure people had places to stay and generally keeping the conference on the rails!</li>
<li>Student Volunteer chairs Michael Christensen and Dan Barowy for wrangling all of us volunteers.</li>
</ul>
<div>
I wrote up some more thoughts on <a href="https://bpowers.net/weblog/2016/pldi-2016/">my blog here</a>. I'm very glad and grateful to have attended PLDI 2016, and I hope to see people next year in Barcelona!</div>
Unknownhttp://www.blogger.com/profile/13946818087766451728noreply@blogger.com0tag:blogger.com,1999:blog-3314396749850969585.post-48341135261249058752016-06-21T09:48:00.004-07:002016-06-21T09:48:59.952-07:00Home From PLDIThis was my first time attending PLDI and my first time volunteering. Volunteering was fun. I had the opportunity to assist during PLMW and to check tickets at the banquet.<br />
<br />
I enjoyed PDLI, especially PLMW and the synthesis talks. I think synthesis is a funny problem where we want end-users to produce programs without knowing how to program. I expect that, at least, these efforts can help programmers save time in writing code. Everyone at PLDI is working on interesting problems. I look forward to attending PLDI next year and see many of you again!<br />
<br />
<br />Anonymoushttp://www.blogger.com/profile/05734859944136780152noreply@blogger.com0tag:blogger.com,1999:blog-3314396749850969585.post-3910609766065837002016-06-21T08:44:00.001-07:002016-06-21T08:44:33.223-07:00Another Successful PLDI!After nearly a week in beautiful Santa Barbara, PLDI is over. The location could not have been more perfect: the weather was spectacular, the wine was delicious, and the Santa Barbara community was warm and receptive to the hundreds of researchers descending upon their town.<br />
<br />
Hats off to the following people for making PLDI a great success:<br />
<br />
<ul>
<li>general chair <a href="https://www.cs.ucsb.edu/~ckrintz/">Chandra Krintz</a> for choosing such a wonderful location and handling many of the logistics of a conference this size</li>
<li>ACM's Annabel Satin for communicating with hotel staff when issues arose, and for her innumerable other duties. If there's a problem at PLDI, you'll see her somewhere in the periphery dealing with it!</li>
<li>Student volunteer co-chairs <a href="http://people.cs.umass.edu/~dbarowy/">Dan Barowy</a> and Michael Christensen for wrangling all of us student volunteers and using efficient communication channels</li>
<li>PC chair <a href="https://emeryberger.com/">Emery Berger</a> (and the rest of the PC!) for putting together an excellent program</li>
</ul>
<div>
This year, PLDI had two very interesting keynotes from <a href="http://research.microsoft.com/en-us/people/zorn/">Ben Zorn</a> and <a href="http://research.google.com/pubs/LuizBarroso.html">Luiz Barroso</a> that urged our community to look at a variety of interesting problems that could use language-based solutions. Ben's keynote concerned a variety of topics, from handling bugs in the <i>data</i> programs operate on to privacy issues in the Internet of Things, and spawned a number of conference jokes involving malevolent <i>smart forks</i>. Luiz's talk described unique performance challenges involved in warehouse-scale computing, where it is most important to reduce tail latencies. <a href="http://highscalability.com/blog/2012/3/12/google-taming-the-long-latency-tail-when-more-machines-equal.html">I found a summary of an older version of his talk online</a>.</div>
<div>
<br /></div>
<div>
I attended many research presentations, including all of those mentioned in my pre-PLDI post, and enjoyed the breadth and depth of the program. Since all talks were recorded this year, I can go back and review presentations that I did not quite grasp and watch presentations that I missed! I hope the talks are uploaded soon.</div>
<div>
<br /></div>
<div>
Next year, PLDI will be in Barcelona. I definitely plan to attend!</div>
Anonymoushttp://www.blogger.com/profile/05353359274109660715noreply@blogger.com0tag:blogger.com,1999:blog-3314396749850969585.post-47125520345244214222016-06-20T12:08:00.001-07:002016-06-20T12:08:43.460-07:00Post-PLDI 2016This year's PLDI was the first time that I attended a large conference on programming languages. I listened to many interesting presentations at the main conference, and especially at the ARRAY workshop. But much more important than the technical knowledge and feedback that I gained at the conference, were the people that I met at PLDI. Most of them are working on different research topics; but as it turned out, some of them are working on very similar topics and there may be a chance that we collaborate in some way in the future.<div>
<br /></div>
<div>
I think that at PLDI I gained a lot of inspiration for my own research and made many friends, whom I will hopefully and probably meet again at future conferences and maybe at next year's PLDI! I would also like to thank the organizers who did a very good job, selected a beautiful location, and put together an awesome program for all students who attended PLDI.</div>
Anonymoushttp://www.blogger.com/profile/16717332693706760959noreply@blogger.com0tag:blogger.com,1999:blog-3314396749850969585.post-17240595340775201192016-06-19T20:03:00.001-07:002016-06-19T20:08:24.668-07:00Reflections on PLDIMy original reason for attending the conference was to meet with <a href="https://team.inria.fr/corse/team-members/fabrice-rastello/">Fabrice Rastello</a> to discuss our upcoming project on performance debugging and auto-tuning. While he is of course very busy at this kind of venue (and everywhere else, I think!) we did manage to find an hour for a focused discussion about the state of current work on the project, and the basic components to be added during my internship. Our project relies substantially on finding and/or creating a flexible emulation platform that supports custom ISA definitions along with stable execution of concurrent programs. Our top candidates are <span style="font-family: "courier new" , "courier" , monospace;"><a href="http://gem5.org/Main_Page">gem5</a></span> and <span style="font-family: "courier new" , "courier" , monospace;"><a href="http://wiki.qemu.org/Main_Page">QEMU</a></span>, though both suffer from chronic disorder in the codebase, and neither offers all the functionality we need. While it would be ideal to apply some of the fancy tools that were presented this week at PLDI, such as Heule's work on <a href="http://dl.acm.org/citation.cfm?id=2908121&CFID=803206119&CFTOKEN=32834402">automatically learning the x86-64 instruction set</a>, we may be stuck manually implementing a lot of instructions in one of these messy emulators.<br />
<br />
Since my advisor <a href="http://plrg.eecs.uci.edu/">Brian Demsky</a> and I have recently submitted a security paper to <a href="https://www.sigsac.org/ccs/CCS2016/">CCS</a>, we thought it would be advantageous to enter the same work in the PLDI student research competition. This turned out to be a bit of a squeeze, since our CCS submission was a bit early to begin with (one benchmark missing, for example), and we had not thought much about presenting the ideas in short form. But the effort paid off--several people offered interesting feedback about our tool during the poster session, which led to a few important additions to my presentation for the second round. I've asked the judges for their feedback as well, though I think the competition has been more than enough extra work for them already :-)<br />
<br />
One thing I always enjoy at conferences is talking with people who I rarely see anywhere else. This week I caught up with Matt Brown from UCLA, who is continuing his work on self-typed and self-optimizing interpreters in lambda calculus. He also told me about an interesting project at <a href="http://vpri.org/">Viewpoints Research</a> where he did an internship recently--combining copy-on-write immutable semantics with traditional programming language features to make that paradigm more widely accessible. Kirshanthan Sundararajah from Purdue is working on a cache locality optimization for dual tree traversals--i.e., traversing the same tree twice simultaneously, for example as nested subtrees. This technique automatically inverts the traversal at the point where the inner subtree becomes fully cache bound. He claims the optimization can be done entirely at compile time, based on static analysis, though I'm waiting to see the paper!<br />
<br />
Of course I enjoyed discussing research with the other student contestants as well, though you can read about their work in the official abstracts. Three of the finalists had techniques that I may be able to use in various aspects of my security work. It was especially convenient that my poster was placed in between two of them, so I had plenty of opportunities to discuss the details.<br />
<br />
<h3 style="text-align: center;">
Papers and Presentations</h3>
<h4>
<br /></h4>
<h4>
PLDI</h4>
<div>
There were 10 papers that I found especially interesting and relevant to my current and recent work, or that I believe are especially important for the future of programming language research. The presentations were mostly disappointing--in most cases I was able to learn more about the technique from less than one page of the paper than from the entire 30 minute talk. It makes me wonder if there should be a separate acceptance phase for presentations, such that some accepted papers would not be presented during the conference sessions. This would free up significant time for other activities which might be more beneficial for the attendees anyway.</div>
<div>
<br /></div>
<div>
<ol>
<li><a href="http://dl.acm.org/citation.cfm?id=2908100&CFID=803206119&CFTOKEN=32834402" style="background-color: white; color: #990033; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 12px;">End-to-end verification of information-flow security for C and assembly programs</a> </li>
<ul>
<li>Verification of low-level implementations is miserably technical, yet is handled in an elegant manner by Costanzo et al., and was also presented in a very clear and understandable way.</li>
</ul>
<li><a href="http://dl.acm.org/citation.cfm?id=2908128&CFID=803206119&CFTOKEN=32834402" style="background-color: white; color: #990033; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 12px;">On the complexity and performance of parsing with derivatives</a> </li>
<ul>
<li>This paper stands out for me only because the talk was excellent--despite the speaker's distracting habit of getting stuck on a phrase and taking several attempts to finally say all the words.</li>
</ul>
<li><a href="http://dl.acm.org/citation.cfm?id=2908113&CFID=803206119&CFTOKEN=32834402" style="background-color: white; color: #990033; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 12px;">A design and verification methodology for secure isolated regions</a> </li>
<ul>
<li>Isolated regions provide great security benefits, but only up to the limits of our verification techniques. While I'm no expert on the subject, this seemed like an excellent improvement over existing approaches. </li>
<li>My only complaint about the presentation is that the author completely neglected to introduce the Intel SGX instruction set, or explain anything about secure isolated regions. </li>
</ul>
<li><a href="http://dl.acm.org/citation.cfm?id=2908112&CFID=803206119&CFTOKEN=32834402" style="background-color: white; color: #990033; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 12px;">Transactional data structure libraries</a></li>
<ul>
<li>Transactional software components are one of my favorite topics, and I believe the efficiency of software development in large, business-critical applications will come to depend more and more on them. </li>
<li>The presentation covered all the main points, but was a bit confusing on just about every aspect. Several members of the audience asked basic questions like, "xyz... what exactly is that?"</li>
</ul>
<li><a href="http://dl.acm.org/citation.cfm?id=2908099&CFID=803206119&CFTOKEN=32834402" style="background-color: white; color: #990033; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 12px;">Data-driven precondition inference with learned features</a></li>
<ul>
<li>Learning preconditions is a fundamental step towards many aspects of reliable computing. This technique significantly reduces the manual effort required to establish accurate preconditions.</li>
<li>However, the presentation was not useful at all. The time would have been much better spent reading the paper.</li>
<ul>
<li>The basic problem was never established: i.e., that inference operates on a fixed set of atomic predicates which must be manually specified or derived from somewhere.</li>
<li>Focused mainly on the PIE workflow, rather than explaining how it infers the aforementioned set of atomic predicates.</li>
<li>The transition to the subtopic of inferring loop invariants was totally abrupt, entirely lacking any attempt to relate the two applications of the inference technique.</li>
</ul>
</ul>
<li><a href="http://dl.acm.org/citation.cfm?id=2908087&CFID=803206119&CFTOKEN=32834402" style="background-color: white; color: #990033; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 12px;">Input responsiveness: using canary inputs to dynamically steer approximation</a></li>
<ul>
<li>Sophisticated tools often miss opportunities to greatly improve their performance by taking a few simple, intuitive steps to learn things that a concrete analysis couldn't resolve in years of runtime. This approach is a great example.</li>
<li>The talk really needs to focus on a basic example, showing exactly what kind of approximations are tolerated by the conventional approach, and how the irrelevant options are pruned by the canary tests.</li>
</ul>
<li><a href="http://dl.acm.org/citation.cfm?id=2908121&CFID=803206119&CFTOKEN=32834402" style="background-color: white; color: #990033; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 12px;">Stratified synthesis: automatically learning the x86-64 instruction set</a></li>
<ul>
<li>Everyone knows the details of hardware instructions (or lack thereof) are a constant source of trouble in low-level implementation. After just a few weeks working with <a href="http://dynamorio.org/">DynamoRIO</a>, I found a bug in the encoding of a multimedia instruction that had not been encountered despite years of regular use in dozens of research projects. This technique could be a game changer for all kinds of bare metal tools.</li>
<li>The presentation never bothered to introduce the most basic aspects of the technique. It dove directly into comparisons of various things, and salient details about something or other, but never explained how the thing actually works. The first paragraph of section 3.1 is far more useful than this entire 30-minute talk.</li>
</ul>
<li><span style="font-family: "verdana" , sans-serif; font-size: x-small;"><a href="http://dl.acm.org/citation.cfm?id=2908122&CFID=803206119&CFTOKEN=32834402">Fast synthesis of fast collections</a></span></li>
<ul>
<li>Well what more could you want from a synthesis tool? But the presentation didn't give me an idea of its capabilities, and the paper seems to relate everything in terms of prior work, which is never adequately summarized. </li>
<li>The basic mechanics of the tool were also completely elided from the talk. Reading one page of the introduction (paragraphs 3 through the end) filled in the blanks for me in less than 2 minutes.</li>
</ul>
<li><span style="font-family: "verdana" , sans-serif; font-size: x-small;"><a href="http://dl.acm.org/citation.cfm?id=2908127&CFID=803206119&CFTOKEN=32834402">Just-in-time static type checking for dynamic languages</a></span></li>
<ul>
<li>Definitely a must-have for any type-sloppy language. I can't critique the talk because I missed it :-)</li>
</ul>
<li><a href="http://dl.acm.org/citation.cfm?id=2908111&CFID=803206119&CFTOKEN=32834402" style="background-color: white; color: #990033; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 12px;">FlexVec: auto-vectorization for irregular loops</a></li>
<ul>
<li>An interesting approach to improving vectorization in a cost-effective way, but I'll have to read the paper to say anything more about it (missed the talk). </li>
</ul>
</ol>
</div>
<h4>
ISMM</h4>
I was only able to attend half a day of ISMM, and while I found all the topics interesting, many of the presentations were missing the key points. My favorite paper is <a href="http://dl.acm.org/citation.cfm?id=2926698&CFID=803206119&CFTOKEN=32834402">Liveness-based garbage collection for lazy languages</a>, not because I thought it was the most important idea, but because it was the only one I could reasonably understand without reading the paper! I'll read the others later--but as for promoting their work at the conference, those authors certainly missed their chance with me.<br />
<br />
<h4>
LCTES</h4>
The talks in the "Worst-Case Analysis and Error Handling" session were all very interesting, but none provided significant information beyond the published abstract. Fortunately I brought my laptop and was able to use the time to make slides for my presentation.<br />
<br />
<h3 style="text-align: center;">
Venue</h3>
<br />
The Fess Parker hotel was luxurious, and the meals and coffee breaks were well supplied with excellent fare. Here in Orange County, most of the beach-front property is private, so it was especially nice to enjoy waterfront views from the lunch table. However, I was slightly annoyed that the hotel room rates were totally unaffordable, even for a shared a room. Parking was $19 per day, making it unreasonable to drive from another location as well. It turned out ok though--I found an airbnb up on one of the hills and packed my trusty road bike to facilitate the commute. Santa Barbara is a nice town to bike in, once you know the pleasant way across the freeway and some efficient routes through town. It was also relieving to get away from the sterile confines of the hotel in the evenings and enjoy the more organic setting of a neighborhood full of trees, birds, fresh breezes, and the inimitable tones of wild coyotes.<br />
<br />
<br />
<br />Unknownnoreply@blogger.com0tag:blogger.com,1999:blog-3314396749850969585.post-23662761194293818122016-06-18T21:36:00.001-07:002016-06-18T21:36:46.408-07:00Another PLDI PLDi has ended and it was another good experience for me. I enjoyed a lot of good talks and chats, especially during the poster presentation.<br />
The organization of this year PLDI is awesome! Can't complaint of such a location with the beach right in front of the conference hotel. I love the outdoor lunch/reception! I just wish that there are some more social activities/sightseeing but regardless, the conference was good!<br />
<br />
Do we know when will the talk recordings will be released?<br />
<br />Khanh Nguyenhttp://www.blogger.com/profile/01983250833921903697noreply@blogger.com0tag:blogger.com,1999:blog-3314396749850969585.post-39817288860010275062016-06-17T17:39:00.001-07:002016-06-17T17:40:39.357-07:00Post-PLDIHi, <br />
<br />
PLDI is just over for me. It was my first conference ever and I am happy to have met such wonderful people. The talks were interesting, especially Jean's "Precise, Dynamic Information Flow for Database-Backed Applications".<br />
<br />
The SOAP workshop was particularly interesting to me, along with the SRC. That was a good first experience for presenting posters and giving presentations. All participants had very interesting topics to talk about. I was impressed by Byron Hawkins' work in particular. <br />
<br />
I'm looking forward to Barcelona next year!<br />
<br />
Cheers,<br />
<br />
Lisa <br />
<br />Anonymoushttp://www.blogger.com/profile/00227493173665423590noreply@blogger.com0tag:blogger.com,1999:blog-3314396749850969585.post-84857098914706688162016-06-15T16:39:00.000-07:002016-06-15T16:39:19.756-07:00Pre PLDII've just finished my junior year at UW and I'm here at PLDI (my first academic conference!) to present my work on verifying <a href="https://en.wikipedia.org/wiki/Chord_(peer-to-peer)">Chord</a> at the Student Research Competition. I'm looking forward to seeing what other students are up to and learning more about what it means to work in academia. As an undergraduate, I think I have vague ideas about what life in graduate school and beyond looks like, and this trip will hopefully demystify some of that.<br />
<br />
I'm looking forward to attending some talks and especially looking forward to the poster session. I'm curious to see what other students in the SRC are working on.Anonymousnoreply@blogger.com0tag:blogger.com,1999:blog-3314396749850969585.post-65020199841971891712016-06-15T11:01:00.001-07:002016-06-15T11:01:21.224-07:00Pre-PLDI 2016<div dir="ltr" style="text-align: left;" trbidi="on">
<br /><br />Hi everyone,<br /><br />I am an undergraduate at the University of Washington working with Eric Mullen, Zach Tatlock and Dan Grossman on verifying peephole optimizations for CompCert (see Eric's talk "Verified Peephole Optimizations for CompCert" on Thursday.) I started dabbling with PL in 2009 when I was a high school intern at MSR's RiSE group. I then worked in industry for a few years and spent some time traveling abroad. Now, I'm finishing my undergrad, this summer I'm back at RiSE working with Tom Ball, and I'll be applying to grad schools for PL this fall!<br /><br /><div>
- Daryl Z.</div>
</div>
Darylhttp://www.blogger.com/profile/00233701715074160291noreply@blogger.com0tag:blogger.com,1999:blog-3314396749850969585.post-60646750717076127502016-06-14T23:50:00.000-07:002016-06-14T23:50:01.686-07:00Pre-PLDI<div dir="ltr" style="text-align: left;" trbidi="on">
I'm Pratiksha, a first-year Ph.D. student at Stanford working with Alex Aiken. I'm interested in ways that randomness can be useful in building practical systems. Most recently, I've been studying applications of randomized algorithms and machine learning to program synthesis.<br />
<br />
This is my first time at PLDI, and will be an opportunity to learn about a field that's new to me. I look forward to hearing about the diverse array of work happening in PL!</div>
Pratikshahttp://www.blogger.com/profile/16163414327547948216noreply@blogger.com0tag:blogger.com,1999:blog-3314396749850969585.post-13753642173841046302016-06-14T22:17:00.003-07:002016-06-14T22:18:34.094-07:00See you in PLDI'16!<br />
Hi, I am Pengcheng Li, a fourth-year PhD student from the University of Rochester. I am working with Professor Chen Ding on memory allocators, in-memory caches and related timescale theory. Our ongoing memory demand theory will be presented in ISMM'16. Our timescale theory, as proved, affirms to be a generalized theory including the past HOTL locality theory and other conversional theories. I feel excited to share our new, recent work with you to earn comments and suggestions. This is the third time to attend PLDI. Every time, I see my research buddies, share one another's latest work and absorb feedback from them. PLDI is a great forum to drive the most cutting-edge technology on program languages. Researchers like me appreciate this form of discussion. Hope to see you in my ISMM'16 talk and PLDI main conference. Any feedback will be appreciated!Anonymoushttp://www.blogger.com/profile/15394810920511705905noreply@blogger.com0