, On the automatic evolution of an OS kernel using temporal logic and AOP, 18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings., pp.196-204, 2003.
DOI : 10.1109/ASE.2003.1240307
URL : https://hal.archives-ouvertes.fr/hal-00457197
, Process-Algebraic Foundations of Aspect-Oriented Programming, Proceedings of the 3rd International Conference on Metalevel Architectures and Separation of Crosscutting Concerns, 2001.
DOI : 10.1007/3-540-45429-2_14
, A workload characterization study of the 1998 World Cup Web site, IEEE Network, vol.14, issue.3, pp.30-37, 2000.
DOI : 10.1109/65.844498
, Aspect weaving by graph rewriting, Generative Component-based Software Engineering (GCSE), 1999.
, Catp: A context-aware transportation protocol for http, International Workshop on New Advances in Web Servers and Proxy Technologies Held with ICDCS, 2003.
, Josh, Proceedings of the 3rd international conference on Aspect-oriented software development , AOSD '04, pp.102-111, 2004.
DOI : 10.1145/976270.976284
, Using hotswap for implementing dynamic AOP systems, ECOOP'03 Workshop on Advancing the State of the Art in Runtime Inspection (ASARTI), 2003.
, An interactive prefetching proxy server for improvement of WWW latency, Seventh Annual Conference of the Internet Society (INET'97 Kuala Lumpur, 1997.
, Hybrid TCP-UDP transport for Web traffic, 1999 IEEE International Performance, Computing and Communications Conference (Cat. No.99CH36305), pp.177-184, 1990.
DOI : 10.1109/PCCC.1999.749436
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.7.5800
, Injectso: Modifying and spying on running processes under linux, Black hat briefings, 2001.
, Using aspectC to improve the modularity of path-specific customization in operating system code, Proc. of the Joint 8th European Software Engeneering Conference and 9th ACM SIGSOFT Symposium on the Foundation of Software Engeneering, pp.88-98, 2001.
DOI : 10.1145/503271.503223
, Aspect-Oriented Logic Meta Programming, Meta-Level Architectures and Reflection, 2nd International Conference on Reflection, pp.250-272, 1999.
DOI : 10.1007/3-540-48443-4_22
, A Framework for the Detection and Resolution of Aspect Interactions, Proceedings of the ACM SIGPLAN/SIGSOFT Conference on Generative Programming and Component Engineering, pp.173-188, 2002.
DOI : 10.1007/3-540-45821-2_11
URL : https://hal.archives-ouvertes.fr/inria-00000950
, A formal definition of crosscuts, Proceedings of the 3rd International Conference on Metalevel Architectures and Separation of Crosscutting Concerns, pp.170-186, 2001.
DOI : 10.1007/3-540-45429-2_13
, Advice weaving in AspectJ, Proceedings of the 3rd international conference on Aspect-oriented software development , AOSD '04, pp.26-35, 2004.
DOI : 10.1145/976270.976276
, MDL: a language and compiler for dynamic program instrumentation, Proceedings 1997 International Conference on Parallel Architectures and Compilation Techniques, pp.201-213, 1997.
DOI : 10.1109/PACT.1997.644016
, Quality of service and electronic newspaper: The Etel solution, Lecture Notes in Computer Science, vol.1752, pp.472-496, 2000.
URL : https://hal.archives-ouvertes.fr/hal-00993303
, The CLP(R ) language and system, ACM Transactions on Programming Languages and Systems, vol.14, issue.3, pp.339-395, 1992.
DOI : 10.1145/129393.129398
, Backwards-compatible bounds checking for arrays and pointers in c programs, Proceedings of the Third International Workshop on Automatic Debugging, pp.13-26, 1997.
, Aspect-oriented programming, Proceedings European Conference on Object-Oriented Programming, pp.220-242, 1997.
, AspectC#: An aosd implementation for C#. Master's thesis, Trinity College, 2002.
, Ispike: A post-link optimizer for the intel itanium architecture, Proceedings of the international symposium on Code generation and optimization: feedback-directed and runtime optimization, pp.15-27, 2004.
, Dataflow Pointcut in Aspect-Oriented Programming, First Asian Symposium on Programming Languages and Systems (APLAS'03), 2003.
DOI : 10.1007/978-3-540-40018-9_8
, Dynamic probes and generalised kernel hooks interface for Linux, USENIX Proceedings of the 4th Annual Linux Showcase and Conference, 2000.
, Just-in-time aspects, Proceedings of the 2nd international conference on Aspect-oriented software development , AOSD '03, pp.100-109, 2003.
DOI : 10.1145/643603.643614
, DHTTP: an efficient and cache-friendly transfer protocol for Web traffic, Proceedings IEEE INFOCOM 2001. Conference on Computer Communications. Twentieth Annual Joint Conference of the IEEE Computer and Communications Society (Cat. No.01CH37213), pp.1597-1606, 2001.
DOI : 10.1109/INFCOM.2001.916656
, High-performance benchmarking with Web Polygraph. Software Practice and Experience, pp.187-211, 2004.
DOI : 10.1002/spe.576
, A practical dynamic buffer overflow detector, Proceedings of the 11th Annual Network and Distributed System Security Symposium. Internet Society, 2004.
, Web cache prefetching as an aspect, Proceedings of the 2nd international conference on Aspect-oriented software development , AOSD '03, pp.110-119, 2003.
DOI : 10.1145/643603.643615
, AspectC++: an aspect-oriented extension to the C++ programming language, Proceedings of the Fortieth International Conference on Tools Pacific, pp.53-60, 2002.
, Vulcan: Binary transformation in a distributed environment, 2001.
, System V Application Binary Interface Intel 386 Architecture Processor Supplement, 1994.
, A comparison of publicly available tools for dynamic buffer overflow prevention, Proceedings of the 10th Network and Distributed System Security Symposium, pp.149-162, 2003.