IBM Programming Languages Day - PL Day 2015
The 2015 Programming Languages Day (PL day) was held at the IBM T.J. Watson Research Center on November, 23rd. This is a one day event that will feature a keynote speaker and several conference-style talks. The event is open to all IBMers and we encourage local participation from professors and students.
PL day is held in cooperation with the New England and New Jersey Programming Languages and Systems Seminars. The main goal of the event is to increase awareness of each other's work, and to encourage interaction and collaboration in the areas of programming languages and systems.
|9:30||10:00||20-043||Welcome||Breakfast & Welcome|
|10:00||10:45||20-043||Keynote||David Naumann. Towards practical and highly assured information flow control for mobile apps||[pdf]|
|10:45||11:05||20-043||Dynamic analysis||Jonathan Bell and Gail Kaiser. Phosphor: Illuminating Dynamic Data Flow in Commodity JVMs||[pdf]|
|11:05||11:25||Matthew Le and Matthew Fluet. Reducing the Overhead of Software Transactional Memory with First Class Continuations|
|11:25||11:45||Praveen Kumar, Hossein Hojjat, Changhoon Kim and Nate Foster. Dynamic Test Packet Generation for P4 Programs (Work in progress)||[pdf]|
|11:45||12:05||Ivan Kuraj. Constructive Approach for Efficient Generation of Complex Data Structures|
|13:00||13:20||20-043||Static analysis||S. Tucker Taft. ParaScope: Advanced Static Analysis for ParaSail, a Parallel Specification and Implementation Language||[pdf]|
|13:20||13:40||Santosh Nagarakatte. Lightweight Formal Methods for LLVM Verification|
|13:40||14:00||Nadia Polikarpova. Program Synthesis from Refinement Types||[pdf]|
|14:00||14:20||Zachary Palmer and Scott Smith. Control-Based Program Analysis||[pdf]|
|14:20||14:40||Paul Gazzillo. Enabling Variability-Aware Software Tools||[pdf]|
|14:40||15:00||Mohsen Lesani. Chapar: Certified Causally Consistent Distributed Key-Value Stores||[pdf]|
|15:20||15:40||20-043||Languages||Nicholas D. Matsakis. Rust: Hack without Fear||[pdf]|
|15:40||16:00||Mukund Raghothaman. Regular Programming for Quantitative Properties of Data Streams|
|16:00||16:20||Avraham Shinnar, Joshua Auerbach, Martin Hirzel, Louis Mandel and Jerome Simeon. Compiling Business Rules to the Cloud: Production Directed Research.|
|16:20||16:40||Mina Tahmasbi Arashloo, Yaron Koral, Michael Greenberg, Jennifer Rexford and David Walker. SNAP: Stateful Network-Wide Abstractions for Packet Processing||[pdf]|
|16:40||17:00||Abhishek Anand. Robots Powered by Constructive Reals||[pdf]|
- Iulian Neamtiu, NJIT
- Ruzica Piskac, Yale
- Nadia Polikarpova, MIT
- Jan Vitek, Northeastern
- David Walker, Princeton
- Pietro Ferrara, IBM (co-organizer)
- Philippe Suter, IBM (co-organizer)
- David Naumann, Towards practical and highly assured information flow control for mobile apps
- Abstract: The mobile app ecosystem has grown rapidly and rivals the web in terms of decentralized distribution of software components offering little basis for trust. Even assuming a trustworthy hardware and operating system base, there are many risks to personal or mission-critical information due to intended and unintended application functionality. While comprehensive formal specifications and proof remain impractical for all but the most critical systems, we argue that recent advances in program analyses and logic based tools bring us close to enforcing formally specified end-to-end confidentiality and integrity policies. Specification of practical policies must encompass declassification and sanitization conditioned on events, context, and content. Enforcement must integrate static and dynamic analyses, to address tradeoffs pertaining to performance, risk/assurance, and deployment. I will survey an approach that integrates and motivates recent advances in the science of security.
Logistics and Program
Attendees are welcome to arrive at the IBM T.J. Watson Research Center in Yorktown Heights starting at 9:30AM. The first presentation will start promptly at 10:00AM in room 20-043. Please make sure you arrive a few minutes in advance, as you will have to get a badge from the security in the main lobby.