According to our database1, Anil Madhavapeddy authored at least 62 papers between 2003 and 2023.
Legend:Book In proceedings Article PhD thesis Dataset Other
Proceedings of the 26th International Symposium on Research in Attacks, 2023
Proceedings of the 22nd ACM Workshop on Hot Topics in Networks, 2023
Proceedings of the Applied Cryptography and Network Security Workshops, 2023
Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021
Proceedings of the Programming Languages and Systems - 18th Asian Symposium, 2020
Programming Language Support for Data-intensive Applications (NII Shonan Meeting 143).
NII Shonan Meet. Rep., 2019
Proceedings of the 2nd International Workshop on Edge Systems, Analytics and Networking, 2019
Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018
Proceedings of the IEEE INFOCOM 2018, 2018
Proceedings of the Trends in Functional Programming - 18th International Symposium, 2017
Proceedings of the 2016 USENIX Annual Technical Conference, 2016
Proceedings of the Functional and Logic Programming - 13th International Symposium, 2016
Not-Quite-So-Broken TLS: Lessons in Re-Engineering a Security Protocol Specification and Implementation.
Proceedings of the 24th USENIX Security Symposium, 2015
SibylFS: formal specification and oracle-based testing for POSIX and real-world file systems.
Proceedings of the 25th Symposium on Operating Systems Principles, 2015
Proceedings of the 12th USENIX Symposium on Networked Systems Design and Implementation, 2015
Proceedings of the 2015 Workshop on Do-it-yourself Networking: an Interdisciplinary Approach, 2015
Proceedings of The Fifth Decennial Aarhus Conference on Critical Alternatives, 2015
Proceedings of the 3rd USENIX Workshop on Free and Open Communications on the Internet, 2013
Proceedings of the Twelfth ACM Workshop on Hot Topics in Networks, 2013
Proceedings of the Architectural Support for Programming Languages and Operating Systems, 2013
O'Reilly, ISBN: 978-1-4493-2391-2, 2013
Proceedings of the ACM SIGCOMM 2012 Conference, 2012
Proceedings of the Sixth IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, 2012
Proceedings of IEEE International Conference on Communications, 2012
Confidential carbon commuting: exploring a privacy-sensitive architecture for incentivising 'greener' commuting.
Proceedings of the First Workshop on Measurement, Privacy, and Mobility, 2012
Proceedings of the 2012 ACM conference on CoNEXT student workshop, 2012
Proceedings of the 8th USENIX Symposium on Networked Systems Design and Implementation, 2011
Proceedings of the Distributed Computing and Networking - 12th International Conference, 2011
Proceedings of the IEEE 19th Annual International Symposium on Field-Programmable Custom Computing Machines, 2011
Proceedings of the Second Workshop on Generative Technologies, 2010
Proceedings of the Security Protocols XVIII, 2010
Proceedings of the Eigth Annual IEEE International Conference on Pervasive Computing and Communications, 2010
Using functional programming within an industrial product group: perspectives and perceptions.
Proceedings of the Proceeding of the 15th ACM SIGPLAN international conference on Functional programming, 2010
Proceedings of the 2nd USENIX Workshop on Hot Topics in Cloud Computing, 2010
Combining Static Model Checking with Dynamic Enforcement Using the Statecall Policy Language.
Proceedings of the Formal Methods and Software Engineering, 2009
Proceedings of the 6th International Conference on Mobile Systems, 2008
PhD thesis, 2007
Pers. Ubiquitous Comput., 2007
Proceedings of the 2007 EuroSys Conference, Lisbon, Portugal, March 21-23, 2007, 2007
ACM SIGMOBILE Mob. Comput. Commun. Rev., 2005
Proceedings of the Model Checking Software, 2005
Proceedings of the UbiComp 2005: Ubiquitous Computing, 7th International Conference, 2005
Proceedings of the 3rd Workshop on Network and System Support for Games, 2004
Proceedings of the UbiComp 2003: Ubiquitous Computing, 2003
The Case for Abstracting Security Policies.
Proceedings of the International Conference on Security and Management, 2003