P. Madhusudan
According to our database^{1},
P. Madhusudan
authored at least 106 papers
between 1998 and 2020.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
Homepages:

at orcid.org
On csauthors.net:
Bibliography
2020
Proc. ACM Program. Lang., 2020
CoRR, 2020
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020
Proceedings of the Programming Languages and Systems, 2020
Proceedings of the Computer Aided Verification  32nd International Conference, 2020
2019
Proc. ACM Program. Lang., 2019
Augmenting Neural Nets with Symbolic Synthesis: Applications to FewShot Learning.
CoRR, 2019
CoRR, 2019
Proceedings of the Static Analysis  26th International Symposium, 2019
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019
Proceedings of the 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2019
Kaizen: Building a Performant Blockchain System Verified for Consensus and Integrity.
Proceedings of the 2019 Formal Methods in Computer Aided Design, 2019
2018
ACM Trans. Comput. Log., 2018
Proc. ACM Program. Lang., 2018
Proc. ACM Program. Lang., 2018
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018
Proceedings of the 43rd International Symposium on Mathematical Foundations of Computer Science, 2018
Proceedings of the 27th EACSL Annual Conference on Computer Science Logic, 2018
2017
CoRR, 2017
Proceedings of the 2017 IEEE International Conference on Software Testing, 2017
2016
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016
Proceedings of the 43rd Annual ACM SIGPLANSIGACT Symposium on Principles of Programming Languages, 2016
2015
Proceedings of the Dependable Software Systems Engineering, 2015
Quantified data automata for linear data structures: a register automaton model with applications to learning invariants of programs manipulating arrays and lists.
Formal Methods Syst. Des., 2015
Proceedings of the 1st ACM SIGCOMM Symposium on Software Defined Networking Research, 2015
Proceedings of the Computer Aided Verification  27th International Conference, 2015
2014
J. Comput. Secur., 2014
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014
Proceedings of the 3rd ACM SIGPLAN International Workshop on the State Of the Art in Java Program analysis, 2014
Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, 2014
Proceedings of the First (2014) ACM Conference on Learning @ Scale, 2014
Proceedings of the Computer Aided Verification  26th International Conference, 2014
Proceedings of the Computer Aided Verification  26th International Conference, 2014
2013
Log. Methods Comput. Sci., 2013
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013
Proceedings of the Static Analysis  20th International Symposium, 2013
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2013
Proceedings of the Computer Aided Verification  25th International Conference, 2013
Proceedings of the Architectural Support for Programming Languages and Operating Systems, 2013
2012
Proceedings of the Proceedings Fourth Workshop on Foundations of Interface Technologies, 2012
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012
Proceedings of the 20th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE20), 2012
Proceedings of the 17th ACM Symposium on Access Control Models and Technologies, 2012
Proceedings of the 39th ACM SIGPLANSIGACT Symposium on Principles of Programming Languages, 2012
Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2012
Proceedings of the 25th IEEE Computer Security Foundations Symposium, 2012
2011
ACM Trans. Program. Lang. Syst., 2011
Commun. ACM, 2011
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2011
Proceedings of the Static Analysis  18th International Symposium, 2011
Proceedings of the 16th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2011
Proceedings of the 38th ACM SIGPLANSIGACT Symposium on Principles of Programming Languages, 2011
Proceedings of the 38th ACM SIGPLANSIGACT Symposium on Principles of Programming Languages, 2011
Proceedings of the Computer Science Logic, 2011
2010
CANDID: Dynamic candidate evaluations for automatic prevention of SQL injection attacks.
ACM Trans. Inf. Syst. Secur., 2010
Proceedings of the 19th USENIX Security Symposium, 2010
Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2010
Proceedings of the LATIN 2010: Theoretical Informatics, 2010
Proceedings of the Computer Aided Verification, 22nd International Conference, 2010
2009
J. ACM, 2009
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2009
Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2009
Proceedings of the Mathematical Foundations of Computer Science 2009, 2009
Proceedings of the Computer Aided Verification, 21st International Conference, 2009
Proceedings of the Computer Aided Verification, 21st International Conference, 2009
2008
Formal Methods Syst. Des., 2008
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2008
Proceedings of the Computer Science Logic, 22nd International Workshop, 2008
Proceedings of the 2008 ACM Conference on Computer and Communications Security, 2008
Proceedings of the Computer Aided Verification, 20th International Conference, 2008
2007
Proceedings of the 16th International Conference on World Wide Web, 2007
Proceedings of the Verification, 2007
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007
Proceedings of the 22nd IEEE Symposium on Logic in Computer Science (LICS 2007), 2007
Proceedings of the 2007 ACM Conference on Computer and Communications Security, 2007
2006
Theor. Comput. Sci., 2006
Proceedings of the 33rd ACM SIGPLANSIGACT Symposium on Principles of Programming Languages, 2006
Proceedings of the CONCUR 2006  Concurrency Theory, 17th International Conference, 2006
Proceedings of the Computer Aided Verification, 18th International Conference, 2006
Proceedings of the Computer Aided Verification, 18th International Conference, 2006
2005
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2005
Proceedings of the 32nd ACM SIGPLANSIGACT Symposium on Principles of Programming Languages, 2005
Proceedings of the Automata, Languages and Programming, 32nd International Colloquium, 2005
Proceedings of the Hybrid Systems: Computation and Control, 8th International Workshop, 2005
Proceedings of the FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science, 2005
Proceedings of the Computer Aided Verification, 17th International Conference, 2005
2004
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2004
Proceedings of the 36th Annual ACM Symposium on Theory of Computing, 2004
Proceedings of the Formal Methods for the Design of RealTime Systems, 2004
Proceedings of the Automata, Languages and Programming: 31st International Colloquium, 2004
Proceedings of the FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science, 2004
2003
Electron. Notes Theor. Comput. Sci., 2003
Proceedings of the 18th IEEE Symposium on Logic in Computer Science (LICS 2003), 2003
Proceedings of the CONCUR 2003, 2003
Proceedings of the Computer Aided Verification, 15th International Conference, 2003
Proceedings of the Computer Aided Verification, 15th International Conference, 2003
2002
Theor. Comput. Sci., 2002
Proceedings of the STACS 2002, 19th Annual Symposium on Theoretical Aspects of Computer Science, Antibes, 2002
Proceedings of the FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science, 2002
Proceedings of the CONCUR 2002, 2002
2001
Proceedings of the Automata, Languages and Programming, 28th International Colloquium, 2001
Proceedings of the Automata, Languages and Programming, 28th International Colloquium, 2001
Proceedings of the FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science, 2001
2000
Proceedings of the CONCUR 2000, 2000
1998
Proceedings of the CONCUR '98: Concurrency Theory, 1998