Nikhil Swamy
According to our database1,
Nikhil Swamy
authored at least 58 papers
between 1999 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2000
2005
2010
2015
2020
0
1
2
3
4
5
6
7
3
1
1
2
2
4
2
1
1
1
1
1
3
1
1
1
3
1
2
2
1
3
4
1
3
2
2
2
1
1
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
DiffSpec: Differential Testing with LLMs using Natural Language Specifications and Code Artifacts.
CoRR, 2024
2023
Proceedings of the Findings of the Association for Computational Linguistics: EMNLP 2023, 2023
Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2023
Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2023
2022
Proceedings of the PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13, 2022
2021
Steel: proof-oriented programming in a dependently typed concurrent separation logic.
Proc. ACM Program. Lang., 2021
Proceedings of the SIGMOD '21: International Conference on Management of Data, 2021
2020
SteelCore: an extensible concurrent separation logic for effectful dependently typed programs.
Proc. ACM Program. Lang., 2020
Proceedings of the 2020 IEEE Symposium on Security and Privacy, 2020
2019
Proc. ACM Program. Lang., 2019
IACR Cryptol. ePrint Arch., 2019
Proceedings of the 28th USENIX Security Symposium, 2019
Proceedings of the Principles of Security and Trust - 8th International Conference, 2019
Proceedings of the Programming Languages and Systems, 2019
2018
Proc. ACM Program. Lang., 2018
A monadic framework for relational verification: applied to information security, program equivalence, and optimizations.
Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2018
2017
Proceedings of the 2nd Summit on Advances in Programming Languages, 2017
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017
2016
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016
Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security, 2016
2015
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015
2014
Proceedings of the Proceedings 5th Workshop on Mathematically Structured Functional Programming, 2014
Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014
Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014
2013
Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2013
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2013
Proceedings of the ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, 2013
Proceedings of the Engineering Secure Software and Systems - 5th International Symposium, 2013
2012
Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2012
2011
Proceedings of the 32nd IEEE Symposium on Security and Privacy, 2011
Proceedings of the 5th ACM Workshop Programming Languages meets Program Verification, 2011
Proceedings of the Proceeding of the 16th ACM SIGPLAN international conference on Functional Programming, 2011
2010
Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2010
Proceedings of the Programming Languages and Systems, 2010
2009
Proceedings of the ACM SIGMOD International Conference on Management of Data, 2009
Proceedings of the Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, 2009
2008
Language-based Enforcement of User-defined Security Policies (As Applied to Multi-tier Web Programs).
PhD thesis, 2008
ACM SIGPLAN Notices, 2008
Proceedings of the 2008 IEEE Symposium on Security and Privacy (SP 2008), 2008
Verified implementations of the information card federated identity-management protocol.
Proceedings of the 2008 ACM Symposium on Information, Computer and Communications Security, 2008
2007
Proceedings of the 16th International Conference on World Wide Web, 2007
2006
Proceedings of the 19th IEEE Computer Security Foundations Workshop, 2006
2005
2004
Proceedings of the ECOOP 2004, 2004
2003
RGL Study in a Hybrid Real-time System.
Proceedings of the IASTED International Conference on Neural Networks and Computational Intelligence, 2003
1999
Proceedings of the 1999 Congress on Evolutionary Computation, 1999