Statically Detecting Data Leakages in Data Science Code
Pavle Subotić, Uros Bojanić, Milan Stojić
International Workshop on the State Of the Art in Program Analysis | June 2022
June 13, 2022 –
June 17, 2022
Microsoft at PLDI 2022
Pacific Daylight Time (UTC -7)
Location: San Diego, California
Publications
Publications
Publications by Year
-
Hardening Attack Surfaces with Formally Proven Binary Format Parsers
Nikhil Swamy, Tahina Ramananandro, Aseem Rastogi, Irina Spiridonova, Haobin Ni, Dmitry Malloy, Juan Vazquez, Michael Tang, Omar Cardona, Arti Gupta
2022 Programming Language Design and Implementation | June 2022
Infer#’s journey to bring Infer to the .NET world
Xin Shi, Xiaoyu Liu, Matthew Jin, Neel Sundaresan
PLDI 2022 | June 2022
Landmarks and Regions: A Robust Approach to Data Extraction
Suresh Parthasarathy, Lincy Pattanaik, Anirudh Khatry, Arun Iyer, Arjun Radhakrishna, Sriram Rajamani, Mohammad Raza
Programming Language Design and Implementation (PLDI) | June 2022
Quartz: Superoptimization of Quantum Circuits
Mingkuan Xu, Zikun Li, Oded Padon, Sina Lin, Jessica Pointing, Auguste Hirth, Henry Ma, Jens Palsberg, Alex Aiken, Umut A. Acar, Zhihao Jia
PLDI 2022 | May 2022
-
Durable Functions: Semantics for Stateful Serverless
Sebastian Burckhardt, Chris Gillum, David Justo, Konstantinos Kallas, Connor McMahon, Christopher S. Meiklejohn
OOPSLA | October 2021
Provably Correct, Asymptotically Efficient, Higher-Order Reverse-Mode Automatic Differentiation
Faustyna Krawiec, Neel Krishnaswami, Simon Peyton Jones, Tom Ellis, Andrew Fitzgibbon, Richard Eisenberg
POPL 2022 | August 2021
-
Unifying execution of imperative generators and declarative specifications
Pengyu Nie, Marinela Parovic, Zhiqiang Zang, Sarfraz Khurshid, Aleksandar Milicevic, Milos Gligoric
PLDI 2022 | November 2020
Feedback-Driven Semi-Supervised Synthesis of Program Transformations
Xiang Gao, Shraddha Barke, Arjun Radhakrishna, Gustavo Soares, Sumit Gulwani, Alan Leung, Nachi Nagappan, Ashish Tiwari
OOPSLA | October 2020
Kinds are calling conventions
Paul Downen, Zena Ariola, Simon Peyton Jones, Richard Eisenberg
International Conference on Functional Programming (ICFP’20) | August 2020
Publications by Research Area
-
Statically Detecting Data Leakages in Data Science Code
Pavle Subotić, Uros Bojanić, Milan Stojić
International Workshop on the State Of the Art in Program Analysis | June 2022
Infer#’s journey to bring Infer to the .NET world
Xin Shi, Xiaoyu Liu, Matthew Jin, Neel Sundaresan
PLDI 2022 | June 2022
Hardening Attack Surfaces with Formally Proven Binary Format Parsers
Nikhil Swamy, Tahina Ramananandro, Aseem Rastogi, Irina Spiridonova, Haobin Ni, Dmitry Malloy, Juan Vazquez, Michael Tang, Omar Cardona, Arti Gupta
2022 Programming Language Design and Implementation | June 2022
Quartz: Superoptimization of Quantum Circuits
Mingkuan Xu, Zikun Li, Oded Padon, Sina Lin, Jessica Pointing, Auguste Hirth, Henry Ma, Jens Palsberg, Alex Aiken, Umut A. Acar, Zhihao Jia
PLDI 2022 | May 2022
Durable Functions: Semantics for Stateful Serverless
Sebastian Burckhardt, Chris Gillum, David Justo, Konstantinos Kallas, Connor McMahon, Christopher S. Meiklejohn
OOPSLA | October 2021
Provably Correct, Asymptotically Efficient, Higher-Order Reverse-Mode Automatic Differentiation
Faustyna Krawiec, Neel Krishnaswami, Simon Peyton Jones, Tom Ellis, Andrew Fitzgibbon, Richard Eisenberg
POPL 2022 | August 2021
Unifying execution of imperative generators and declarative specifications
Pengyu Nie, Marinela Parovic, Zhiqiang Zang, Sarfraz Khurshid, Aleksandar Milicevic, Milos Gligoric
PLDI 2022 | November 2020
Feedback-Driven Semi-Supervised Synthesis of Program Transformations
Xiang Gao, Shraddha Barke, Arjun Radhakrishna, Gustavo Soares, Sumit Gulwani, Alan Leung, Nachi Nagappan, Ashish Tiwari
OOPSLA | October 2020
Kinds are calling conventions
Paul Downen, Zena Ariola, Simon Peyton Jones, Richard Eisenberg
International Conference on Functional Programming (ICFP’20) | August 2020
-
Statically Detecting Data Leakages in Data Science Code
Pavle Subotić, Uros Bojanić, Milan Stojić
International Workshop on the State Of the Art in Program Analysis | June 2022
-
Hardening Attack Surfaces with Formally Proven Binary Format Parsers
Nikhil Swamy, Tahina Ramananandro, Aseem Rastogi, Irina Spiridonova, Haobin Ni, Dmitry Malloy, Juan Vazquez, Michael Tang, Omar Cardona, Arti Gupta
2022 Programming Language Design and Implementation | June 2022
-
Landmarks and Regions: A Robust Approach to Data Extraction
Suresh Parthasarathy, Lincy Pattanaik, Anirudh Khatry, Arun Iyer, Arjun Radhakrishna, Sriram Rajamani, Mohammad Raza
Programming Language Design and Implementation (PLDI) | June 2022
Provably Correct, Asymptotically Efficient, Higher-Order Reverse-Mode Automatic Differentiation
Faustyna Krawiec, Neel Krishnaswami, Simon Peyton Jones, Tom Ellis, Andrew Fitzgibbon, Richard Eisenberg
POPL 2022 | August 2021
Feedback-Driven Semi-Supervised Synthesis of Program Transformations
Xiang Gao, Shraddha Barke, Arjun Radhakrishna, Gustavo Soares, Sumit Gulwani, Alan Leung, Nachi Nagappan, Ashish Tiwari
OOPSLA | October 2020
Publications by Type
-
Statically Detecting Data Leakages in Data Science Code
Pavle Subotić, Uros Bojanić, Milan Stojić
International Workshop on the State Of the Art in Program Analysis | June 2022
Infer#’s journey to bring Infer to the .NET world
Xin Shi, Xiaoyu Liu, Matthew Jin, Neel Sundaresan
PLDI 2022 | June 2022
Hardening Attack Surfaces with Formally Proven Binary Format Parsers
Nikhil Swamy, Tahina Ramananandro, Aseem Rastogi, Irina Spiridonova, Haobin Ni, Dmitry Malloy, Juan Vazquez, Michael Tang, Omar Cardona, Arti Gupta
2022 Programming Language Design and Implementation | June 2022
Landmarks and Regions: A Robust Approach to Data Extraction
Suresh Parthasarathy, Lincy Pattanaik, Anirudh Khatry, Arun Iyer, Arjun Radhakrishna, Sriram Rajamani, Mohammad Raza
Programming Language Design and Implementation (PLDI) | June 2022
Quartz: Superoptimization of Quantum Circuits
Mingkuan Xu, Zikun Li, Oded Padon, Sina Lin, Jessica Pointing, Auguste Hirth, Henry Ma, Jens Palsberg, Alex Aiken, Umut A. Acar, Zhihao Jia
PLDI 2022 | May 2022
Durable Functions: Semantics for Stateful Serverless
Sebastian Burckhardt, Chris Gillum, David Justo, Konstantinos Kallas, Connor McMahon, Christopher S. Meiklejohn
OOPSLA | October 2021
Provably Correct, Asymptotically Efficient, Higher-Order Reverse-Mode Automatic Differentiation
Faustyna Krawiec, Neel Krishnaswami, Simon Peyton Jones, Tom Ellis, Andrew Fitzgibbon, Richard Eisenberg
POPL 2022 | August 2021
Unifying execution of imperative generators and declarative specifications
Pengyu Nie, Marinela Parovic, Zhiqiang Zang, Sarfraz Khurshid, Aleksandar Milicevic, Milos Gligoric
PLDI 2022 | November 2020
Feedback-Driven Semi-Supervised Synthesis of Program Transformations
Xiang Gao, Shraddha Barke, Arjun Radhakrishna, Gustavo Soares, Sumit Gulwani, Alan Leung, Nachi Nagappan, Ashish Tiwari
OOPSLA | October 2020
Kinds are calling conventions
Paul Downen, Zena Ariola, Simon Peyton Jones, Richard Eisenberg
International Conference on Functional Programming (ICFP’20) | August 2020