Detecting Redundant CSS Rules in HTML5: A Tree-Rewriting Approach
This is a work that has recently been provisionally accepted at OOPSLA, joint with Matthew Hague (Royal Holloway, University of London) and Luke Ong (University of Oxford).
Dr Anthony Lin is an assistant professor in computer science at Yale-NUS College. He completed his PhD at Edinburgh's University School of Informatics under Prof Leonid Libkin and Dr Richard Mayr. Previously, he was an EPSRC Postdoctoral Research Fellow at Oxford University (2010-13) in Prof Marta Kwiatkowska's group. His current research focuses on program analysis for the web and algorithmic program verification.