Tapti Palit
Computer Science Department
UC Davis
Davis, CA
I’m an Assistant Professor in the Computer Science Department at the University of California, Davis. My research aims to improve software security and system performance by leveraging novel insights in the software security, program analysis, and systems domains.
Prior to joining UC Davis, I was a CRA Computing Innovation Fellow at Purdue University where I worked with Dr. Pedro Fonseca in the Reliable and Secure Systems Lab. Before that, I was a Ph.D student at Stony Brook University at the HexLab, led by Dr. Michalis Polychronakis.
news
Jul 1, 2024 | I’m serving on the IEEE S&P 2025 and the ISC 2024 program committees. |
---|---|
May 29, 2023 | I’m serving on the ISC 2023 Program Committee. |
Apr 1, 2023 | I’m serving on the ASPLOS 2024 Program Committee. |
Jun 30, 2022 | Our paper μSWITCH: Fast Kernel Context Isolation with Implicit Context Switches was accepted at IEEE S&P 2023. |
Apr 11, 2022 | I’m serving on the DIMVA 2023 Program Committee. |
latest posts
Nov 24, 2020 | Pointer Analysis and Undefined Behavior in C programs |
---|---|
Sep 22, 2020 | SVF Details: Variant GEP Constraint Edge |
publications
- ASPLOS ’24Kaleidoscope: Precise Invariant-Guided Pointer AnalysisIn Proceedings of the Twentieth International Conference on Architectural Support for Programming Languages and Operating Systems, 2024
- IEEE S&P ’23μSWITCH: Fast Kernel Context Isolation with Implicit Context SwitchesIn 2023 IEEE Symposium on Security and Privacy (SP), 2023
- CCS ’22C2C: Fine-grained configuration-driven system call filteringIn Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, 2022
- IEEE S&P ’21Dynpta: Combining static and dynamic analysis for practical selective data protectionIn 2021 IEEE Symposium on Security and Privacy (SP), 2021
- USENIX SEC ’20Temporal system call specialization for attack surface reductionIn 29th USENIX Security Symposium (USENIX Security 20), 2020
- RAID ’20Confine: Automated system call policy generation for container attack surface reductionIn 23rd International Symposium on Research in Attacks, Intrusions and Defenses (RAID 2020), 2020
- ACSAC ’19Mitigating data leakage by protecting memory-resident sensitive dataIn Proceedings of the 35th Annual Computer Security Applications Conference, 2019
- MICRO ’18Taming the killer microsecondIn 2018 51st Annual IEEE/ACM International Symposium on Microarchitecture (MICRO), 2018
- ISPASS ’16Demystifying cloud benchmarkingIn 2016 IEEE international symposium on performance analysis of systems and software (ISPASS), 2016
- ASPLOS ’15Architectural support for dynamic linkingIn Proceedings of the Twentieth International Conference on Architectural Support for Programming Languages and Operating Systems, 2015