Nachiappan Valliappan
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
8
Active years
2013–2026
Best venue rank
A*
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CSL | Lax Modal Lambda Calculi. | Nachiappan Valliappan |
| 2023 | AAAI | Differentially Private Heatmaps. | Badih Ghazi, Junfeng He, Kai Kohlhoff, Ravi Kumar, Pasin Manurangsi, Vidhya Navalpakkam, Nachiappan Valliappan |
| 2023 | CVPR | Learning from Unique Perspectives: User-aware Saliency Modeling. | Shi Chen, Nachiappan Valliappan, Shaolei Shen, Xinyu Ye, Kai Kohlhoff, Junfeng He |
| 2021 | HASKELL | Practical normalization by evaluation for EDSLs. | Nachiappan Valliappan, Alejandro Russo, Sam Lindley |
| 2020 | HASKELL | Towards secure IoT programming in Haskell. | Nachiappan Valliappan, Robert Krook, Alejandro Russo, Koen Claessen |
| 2019 | CCS | Simple Noninterference by Normalization. | Carlos Tom Cortias, Nachiappan Valliappan |
| 2019 | PPDP | Exponential Elimination for Bicartesian Closed Categorical Combinators. | Nachiappan Valliappan, Alejandro Russo |
| 2018 | ISoLA | Towards Adding Variety to Simplicity. | Nachiappan Valliappan, Solne Mirliaz, Elisabet Lobo Vesga, Alejandro Russo |
| 2013 | GLOBECOM | Antenna Subset Modulation for secure millimeter-wave wireless communication. | Nachiappan Valliappan, Robert W. Heath Jr., Angel E. Lozano |