Formalizing class dynamic software updating Hidi sex chat site list
In Proceedings of the Symposium on Principles of Security and Trust (POST), April 2018. In Proceedings of the European Symposium on Programming (ESOP), April 2018. Consolidates ICFP 98, IPL 98, Allterton 99 papers, May 2006. Ian Sweet, Jos Manuel Caldern Trilla, Chad Scherrer, Michael Hicks, and Stephen Magill. In Higher Order Operational Techniques in Semantics (HOOTS), volume 26 of Electronic Notes in Theoretical Computer Science, pages 87-104. Chunks in PLAN: Language Support for Programs as Packets.
In Proceedings of the Eighteenth IEEE Computer and Communication Society INFOCOM Conference, pages 1124-1133. Evaluating Design Tradeoffs in Numeric Static Analysis for Java. A Counterexample-guided Approach to Finding Numerical Invariants. Managing Policy Updates in Security-Typed Languages (Extended version). Thanh Vu Nguyen, Timos Antopoulos, Andrew Ruef, and Michael Hicks. Nikhil Swamy, Michael Hicks, Stephen Tse, and Steve Zdancewic. Technical Report CS-4816, Department of Computer Science, University of Maryland, July 2006. Build It Break It: Measuring and Comparing Development Security. In Proceedings of the IEEE Symposium on Security and Privacy (Oakland), May 2014. In Proceedings of the IEEE Symposium on Security and Privacy (Oakland), May 2014. Michael Hicks, Gavin Bierman, Nataliya Guts, Daan Leijen, and Nikhil Swamy. In Proceedings of the ACM International Conference on Functional Programming (ICFP), pages 329-340, August 2009. Pavlos Papageorge, Justin Mc Cann, and Michael Hicks. In Proceedings of the ACM Conference on Programming Language Design and Implementation (PLDI), pages 1-12, June 2009. In Proceedings of the ACM SIGMOD International Conference on Management of Data (SIGMOD), pages 269-282, June 2009. Michael Hicks, Greg Morrisett, Dan Grossman, and Trevor Jim. Transparent Proxies for Java Futures (Extended version). Special Issue on Technologies Promoting Computational Intelligence, Openness and Programmability in Networks and Internet Services, Part I. In Proceedings of the ACM Conference on Programming Language Design and Implementation (PLDI), pages 13-23. Andrew Ruef, Michael Hicks, James Parker, Dave Levin, Atif Memon, Jandelyn Plane, and Piotr Mardziel. ACM Transactions on Programming Languages and Systems (TOPLAS), 36(4):13, October 2014. Wysteria: A Programming Language for Generic, Mixed-Mode Multiparty Computations. In Proceedings of the Fifth Workshop on Mathematically Structured Functional Programming (MSFP), April 2014. Andrew Miller, Michael Hicks, Jonathan Katz, and Elaine Shi. In Proceedings of the ACM SIGCOMM Conference on Applications, Technologies, Architectures, and Protocols for Computer Communications (SIGCOMM), pages 279-290, August 2009. In Proceedings of the Workshop on Scripts to Programs (STOP), July 2009. Cross-tier, Label-based Security Enforcement for Web Applications. In Proceedings of the ACM International Symposium on Memory Management (ISMM), pages 73-84, October 2004. Polyvios Pratikakis, Jaime Spacco, and Michael Hicks. User-Specified Adaptive Scheduling in a Streaming Media Network. Ph D thesis, Department of Computer and Information Science, University of Pennsylvania, August 2001.Expositor: Scriptable Time-Travel Debugging with First Class Traces. Adapton: Composable, Demand-Driven Incremental Computation. Matthew Hammer, Yit Phang Khoo, Michael Hicks, and Jeffrey S. Technical Report CS-TR-5027, Department of Computer Science, the University of Maryland, College Park, July 2013. Technical Report CS-TR-5021, Department of Computer Science, University of Maryland, College Park, February 2013. In Proceedings of the ACM SIGPLAN Workshop on Programming Languages and Analysis for Security (PLAS), June 2012. Towards Standardized Benchmarks for Dynamic Software Updating Systems. Technical Report XXX, University of Maryland Department of Computer Science, July 2012. State Transfer for Clear and Efficient Runtime Upgrades.