Date: Wed, 28 Nov 2012 12:27:30 +0100 Subject: next PEM: 4 Dec 2012, 11:00, L017: Frank Tip From: Vadim Zaytsev To: PEM Cc: Frank Tip Dear environmentalists, Please note that there will be NO colloquium this Friday: enjoy the CWI Scientific Meeting (13:00) and the Praethuys (17:00) on that day. Instead, we will have an extra PEM Colloquium next week on Tuesday: Frank Tip from the University of Waterloo, will visit us and give a presentation on his recent ICSE 2012 paper with Hesam Samimi, Max Schaefer, Shay Artzi, Todd Millstein and Laurie Hendren. I will send a reminder on Monday, but feel free to add it to your agenda already. Let me remind you once again that if you plan to submit anything to ECOOP, CAV, IFM, TASE, TLCA, TAP, ICECCS, ICMT, ISSTA, RTA, LICS or any other venues with upcoming deadlines, there are only two PEM slot free before the holidays: 7 December and 21 December — book them now without hesitation! Date: 4 December 2012 Time: 11:00-12:00 Room: L017 Speaker: Frank Tip (IBM Research) Title: Automated Repair of HTML Generation Errors in PHP Applications Using String Constraint Solving Paper: http://www.cs.ucla.edu/~todd/research/icse12.pdf Abstract: see below ---------------------------------------------------------------------- Automated Repair of HTML Generation Errors in PHP Applications Using String Constraint Solving PHP web applications routinely generate invalid HTML. Modern browsers silently correct HTML errors, but sometimes malformed pages render inconsistently, cause browser crashes, or expose security vulnerabilities. Fixing errors in generated pages is usually straightforward, but repairing the generating PHP program can be much harder. We observe that malformed HTML is often produced by incorrect constant prints, i.e., statements that print string literals, and present two tools for automatically repairing such HTML generation errors. PHPQuickFix repairs simple bugs by statically analyzing individual prints. PHPRepair handles more general repairs using a dynamic approach. Based on a test suite, the property that all tests should produce their expected output is encoded as a string constraint over variables representing constant prints. Solving this constraint describes how constant prints must be modified to make all tests pass. Both tools were implemented as an Eclipse plugin and evaluated on PHP programs containing hundreds of HTML generation errors, most of which our tools were able to repair automatically. ---------------------------------------------------------------------- http://event.cwi.nl/pem/calendar.html ---------------------------------------------------------------------- Yours, Vadim.