Saturday, June 25, 2016
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!
Friday, June 24, 2016
Thursday, June 23, 2016
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.
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.
Thank you to everybody who was involved in making this a great event!
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.
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.
I also have a (customary, apparently) sunburn to remember the trip. Hope to see everyone at the next one!
Wednesday, June 22, 2016
As I wrote previously, I hoped to have a chance to chat with some other students, and this was definitely the case -- I met some really cool people.
I felt like my talk went fairly well, although sadly the SDN session was not as well-attended as I had hoped. In any case, I got to hear about some other cool SDN projects.
I also had a chance to do some hiking in the mountains above Santa Barbara, which was very fun.
Hopefully I'll have a chance to attend PLDI next year!
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.
Looking forward to the recorded videos for talks on YouTube. :)
Tuesday, June 21, 2016
A lot of people invested their time into making this a fantastic event, and I specifically wanted to thank:
- The Program Chair Emery Berger and General Chair Chandra Krintz for a fantastic set of keynotes and accepted papers.
- 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!
- Student Volunteer chairs Michael Christensen and Dan Barowy for wrangling all of us volunteers.
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!
Hats off to the following people for making PLDI a great success:
- general chair Chandra Krintz for choosing such a wonderful location and handling many of the logistics of a conference this size
- 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!
- Student volunteer co-chairs Dan Barowy and Michael Christensen for wrangling all of us student volunteers and using efficient communication channels
- PC chair Emery Berger (and the rest of the PC!) for putting together an excellent program
Monday, June 20, 2016
Sunday, June 19, 2016
Since my advisor Brian Demsky and I have recently submitted a security paper to CCS, 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 :-)
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 Viewpoints Research 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!
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.
Papers and Presentations
- 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.
- 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.
- 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.
- 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.
- 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.
- 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?"
- Learning preconditions is a fundamental step towards many aspects of reliable computing. This technique significantly reduces the manual effort required to establish accurate preconditions.
- However, the presentation was not useful at all. The time would have been much better spent reading the paper.
- 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.
- Focused mainly on the PIE workflow, rather than explaining how it infers the aforementioned set of atomic predicates.
- 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.
- 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.
- 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.
- 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 DynamoRIO, 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.
- 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.
- 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.
- 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.
- Definitely a must-have for any type-sloppy language. I can't critique the talk because I missed it :-)
- 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).
ISMMI 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 Liveness-based garbage collection for lazy languages, 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.
LCTESThe 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.
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.
Saturday, June 18, 2016
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!
Do we know when will the talk recordings will be released?
Friday, June 17, 2016
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".
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.
I'm looking forward to Barcelona next year!
Wednesday, June 15, 2016
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.
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!
Tuesday, June 14, 2016
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!
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!
The main reason I'm attending the conference is to present my most recent security tool called ShrinkWrap in the PLDI Student Research Competition. We submitted a paper about this tool for the first time a few weeks ago, and now we are taking this opportunity to get feedback from the community about our approach. ShrinkWrap focuses on weaknesses in the PHP language, and it applies constraints to the protected program at the level of the interpreter IR. Since the PLDI community specializes in these elements of the software development infrastructure, we're looking forward to any observations and insights may share with us.
Another reason I'm attending PLDI is to meet with Fabrice Rastello, who leads the compiler and optimization group at Inria. Next year I'll be traveling to Grenoble for a 6-month internship with Fabrice and one of his new PhD students. We'll be exploring an automated approach to dynamic profiling for compiler optimization. Current profiling techniques require significant manual effort to select the scope of profiling and implement the specific introspection mechanism. To increase accuracy, we plan to integrate feedback-guided search into the profiler, making it possible to automatically explore a much larger set of introspection points in the target program.
Thanks to the ACM and the sponsors of the PLDI SRC providing funding that makes it possible for me to attend the conference this week.
Monday, June 13, 2016
More generally, I've been working with incremental computation, looking for ways to trade memory for more speed of computations. My website contains some work along these lines, as well as side projects that have come out of it, like the RAZ I'll be presenting to the folks at PLDI. I've been very fortunate to be able to do this work, and I'd like to thank the people organizing the SRC for travel support.
Welcome to beautiful Santa Barbara!
Sunday, June 12, 2016
My own research revolves around automatically inferring specifications for systems software. I am particularly interested in how program analysis techniques can be used to find defective error-handling behavior in complex systems such as Linux. But really, I just like building tools that break things.
I am impressed by this group of volunteers, and I look forward to meeting you all. See you soon!
See you all in Santa Barbara!
I am Pierre Wilke, a PhD student at the University of Rennes, France. My thesis concerns certified compilation of low-level C programs. I am very excited to present a poster about this research at the Poster Session of the Student Research Competition on Wednesday afternoon.
I am looking forward to hearing PLDI talks, as well as attending colocated workshops: FMS and PLMW.
See you soon!
Saturday, June 11, 2016
This will be my second PLDI experience. Last year, I presented "Efficient Synthesis of Network Updates" at PLDI 2015 in Portland. I'm really excited to have an opportunity to attend PLDI 2016 again, and present my follow-on work, "Event-Driven Network Programming". I'm especially excited to visit Santa Barbara, one of my favorite places in the USA.
Judging by the blog entries so far, it looks like there will be many other students attending. I hope to meet some of you at the conference!
P.S. thanks to SIGPLAN PAC for providing a small portion of the funding needed to attend the conference.
My name is Nevena Golubovic and I am a third year PhD student at UCSB working with Prof. Chandra Krintz and Prof. Rich Wolski. My interests are in Cloud Computing, Sensor Networks and IoT. I learned about volunteering opportunities at PLDI and I am happy to participate. I am excited to learn from great talks, workshops and poster sessions and I look forward to meeting people.
See you all very soon!
I hope to meet a lot of interesting people and hear about their career, how they're pursuing it and beyond. I want to learn about all the different things that are happening in PL and what it is like to be a researcher in PL, or anything else interesting in this area. It's going to be a lot of fun =)
Friday, June 10, 2016
I look forward to seeing the few PLDI papers that are directly relevant to browser technologies. There are talks on extending the browser for energy-efficient mobile computing and adding refinement types to TypeScript. There is also an interesting paper that synthesizes updates to programs that generate SVG diagrams in response to a developer using their mouse to directly manipulate the graphic like in a vector graphics editor; the updated program generates the updated SVG.
Between interesting talks like those, I am excited to see a number of familiar and new faces from the community in the hallway, and hear about all of the interesting problems they are tackling. I am sure to return from PLDI with a long list of interesting papers to read!
As graduate students, it's easy to for us to get tunnel vision and focus only on research, meeting academic milestones, or publishing. Attending a conference is a great way to get a sense of the kinds of problems people in a field find interesting, to make research connections, and practice pitching ideas. It's also a great way to meet friends who become collaborators and collaborators who become friends.
This is my third PLDI. I had a great time participating in SRC at my first PLDI in Edinborough in 2014, and co-captaining volunteers during my second PLDI in 2015. This year I'm hoping to get a little more time to attend talks, meet other students, chat with new faculty members, and come back inspired by all the great work being done in the PLDI community! I'm especially proud and honored to be part of the PLASMA lab at UMass, under the supervision of Emery Berger, who is the program chair for this year's PLDI.
Thursday, June 9, 2016
I am sure that i will benefit a lot from the workshops and talks I am looking forward to meet you all ] soon .
I'm really excited about PLDI. Not only will this be my first PLDI, but it is also my first conference as a graduate student! So I'm looking forward to attending all these great talks and meeting all sorts of different people in the research community. It will also be a good opportunity to explore potential topics for my PhD.
See you soon!
My name is Ben Campbell. I am a third year Computer Science Undergraduate at UCSB, so it shouldn't be a surprise that this is my first PLDI. I was actually clued into this opportunity from being a member of the Programming Languages lab at UCSB where I am accruing the base of knowledge needed to engage in advanced studies. Still so much to do.
From what I can tell right now, I gravitate towards logics and computability theory rather than algorithmic studies. In particular, the interaction of language and formal semantics fascinates me. That being said, I've only scratched this vast field's surface, and I know this upcoming conference is going to help immensely in finding out what all is out there.
It'll be great to meet you all next week. Seeya then.
My name is Miroslav Gavrilov, and I'm a first-year graduate student of Tevfik Bultan's at the Verification Lab at UCSB. This is my first PLDI, in both the role of a volunteer and participant, and there are too many talks I am excited to hear and talk about. I am looking forward to the networking opportunity with so many great people in the field!
See you all in a couple of days!
I’m Nour, a Ph.D student at Purdue’s ECE. I work with prof. Milind Kulkarni.
I'm very grateful for the opportunity to volunteer and attend PLDI this year and I'm looking forward to meeting you all soon. See you in Santa Barbara!
I am Lisa Nguyen Quang Do, a PhD student of Prof. Eric Bodden, at Paderborn University. I am researching static analysis, and will attend PLDI for the first time this year.
I'll give a talk at SOAP on automated benchmark management, and also present my research on user-centric static analysis at the SRC. I am looking forward to receive your feedback and discuss things with you.
Hope to see you there!
My name is Duco and I will be part of the student volunteers helping out at PLDI '16. I am very happy to be able to make this small contribution to the success of this year's conference as I love to organize and help organize all sorts of events.
I'm still a Ph.D student working with the Inria research institute in Grenoble, France. However my defense will take in place in little more then a month after PLDI so I'm definitely looking forward to meet researchers and establish some contacts while searching for a post-doc position.
I'm both co-author of a paper at LCTES on Monday on the topic of cache optimization for dataflow programs and presenter of a poster during the PLDI reception on the subject of performance debugging of data locality and memory accesses.
Hope to see you all soon in Santa Barbara!
Looking forward to meeting you all in a few days!
Wednesday, June 8, 2016
I'm looking forward to meeting my fellow volunteers and all the students attending PLMW. See you all in a few days!
I have only attended conferences focused on computer architecture, previously (ISCA/ASPLOS), so it will be interesting to experience the difference in how PL/compiler research is done when it is the central focus. It will also be great to meet new researchers with common interests. Only a few days until PLDI now!
I'm Khanh Nguyen, from UC Irvine. This will be my second PLDI. It's good to have a conference that is so close to my home :)
This time also I will participate in the SRC. I will present a hybrid GC for Big Data systems. I hope to see a lot of you there in the poster session.
I also look forward to listening to the talks. There are some papers that I'm really interested in but unfortunately they occur at the same time, so now I need to decide which one to attend.
Welcome to Santa Barbara!
This is my first time volunteering (or attending) PLDI, and I'm especially looking forward to attending the Programming Languages Mentoring Workshop.
See y'all there!
I'm waiting for this event since January when I found out my paper got accepted. PLDI is the best conference in programming languages and I'm so excited to be part of it this year. What excites me more is to meet all these experts in my field and I can't wait to hear about everyone's research. This is my first time serving as a student volunteer at a conference and I know it will be a great experience.
My research interest is all about parallel programming so I would like to hear more about parallelism, energy and performance. I'm looking forward to meet Ben Zorn because well who doesn't! I'm hoping to meet Jean Yang too. I've been following her blog for a while now and I'm excited to meet her at PLMW.
See y'all at Santa Barbara :-)
who plans to graduate this December :). I'm advised by Prof Antony Hosking, I also collaborate with prof Eliot Moss from the College of Information and Computer Sciences at UMASS. My research interest focus on programing languages, compilers and transactional memory. PLDI offers a perfect platform for meeting fellow researches in these fields.
This is my second time volunteering for PLDI and I look forward to meeting you in Santa Barbara.
I am Prasanna, a 5th year PhD student at IIT Bombay, India. This is my first PLDI and am very excited to attend it. I thank the student volunteer committee for picking me as a student volunteer and funding my travel.
I am super excited to see and listen to people like Matthias Felleisen, Olaf Chitil. I am also presenting my work in ISMM, so people who are interested in Functional languages please come and attend my talk.
I would love to talk to other students attending and presenting their work at PLDI and other co-located conferences and get to know their work.
See you all in Santa Barbara :).
Tuesday, June 7, 2016
Thursday, June 2, 2016
I am very excited to join this year's PLDI as a student volunteer and am particularly looking forward to the ARRAY workshop and some interesting talks at the Research Track. This is the first time that I am attending PLDI and I hope that I can get inspiration and feedback for my own work, as well as meet and make friends with other students/researchers/organizers.