Blogs (61) >>
Thu 19 Jul 2018 14:30 - 15:00 at Paris - SALAD 2 Chair(s): Harry Xu

Jens Palsberg is a Professor of Computer Science at University of California, Los Angeles (UCLA). His research interests span the areas of compilers, embedded systems, programming languages, software engineering, and information security. He is the editor-in-chief of ACM Transactions of Programming Languages and Systems, a member of the editorial board of Information and Computation, a former member of the editorial board of IEEE Transactions on Software Engineering, and a former conference program chair of ACM Symposium on Principles of Programming Languages (POPL), Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), the Static Analysis Symposium (SAS), Conference on Embedded Systems Software (EMSOFT), Conference on Formal Methods and Programming Models for Co-Design (MEMOCODE), ACM Workshop on Program Analysis for Software Tools and Engineering (PASTE), and Symposium on Requirements Engineering for Information Security (SREIS). In 2012 he received the ACM SIGPLAN Distinguished Service Award.

Jens Palsberg received a Ph.D. in Computer Science from University of Aarhus, Denmark in 1992. In 1992–1996 he was a visiting scientist at various institutions, including MIT. In 1996–2002 he was an Associate Professor and, in 2002–2003, Professor of Computer Science at Purdue University, after which he moved to UCLA. He has authored over 80 technical papers, co-authored the book Object-Oriented Type Systems, and co-authored the 2002 revision of Appel’s textbook on Modern Compiler Implementation in Java. He is the recipient of National Science Foundation CAREER and ITR awards, a Purdue University Faculty Scholar award, an IBM Faculty Award, and an Okawa Foundation research award. His research has also been supported by DARPA, Intel, and British Telecom. He has served as chair of computer science at UCLA, as associate head of computer science at Purdue University, as the general chair of POPL and International Workshop on Model Checking of Software (SPIN), as the conference chair of the IEEE Symposium on Logic in Computer Science (LICS), and as the vice chair of ACM SIGBED, Special Interest Group on Embedded Systems.

Thu 19 Jul

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

13:30 - 15:30
SALAD 2SALAD at Paris
Chair(s): Harry Xu University of California, Los Angeles
13:30
30m
Talk
An Opinionated Survey of the Java Static Analysis Landscape
SALAD
Eric Bodden Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
14:00
30m
Talk
Class hierarchy flattening: obfuscating (almost) all type information in Java programs
SALAD
Bjorn De Sutter Ghent University, Belgium
14:30
30m
Talk
Delta Debugging of Java Bytecode
SALAD
Jens Palsberg University of California, Los Angeles
15:00
30m
Talk
Fine-Grained Library Customization
SALAD
Linhai Song Pennsylvania State University, USA, Xinyu Xing