注册 | 登录 | FAQ      [?] 
Recent | Recommended | Search | Authors | Tags | Export

Group: Laboratory for Software Design - library [46 articles]

小组成员近期录入的文献 Laboratory for Software Design 兴趣小组
  • Preserving Separation of Concerns through Compilation
    (2006)
    by Hridesh Rajan, Robert Dyer, Youssef Hanna, Harish Narayanappa
    posted to no-tag by rdyer to the group Laboratory for Software Design on 2008-07-02 09:28:49 as read
  • A case for explicit join point models for aspect-oriented intermediate languages
    (2007)
    by Hridesh Rajan
    posted to no-tag by rdyer to the group Laboratory for Software Design on 2008-07-02 09:20:06 as read
  • Nu: preserving design modularity in object code
    SIGSOFT Softw. Eng. Notes, Vol. 31, No. 6. (November 2006), pp. 1-2.
    by Robert Dyer, Harish Narayanappa, Hridesh Rajan
    posted to no-tag by rdyer to the group Laboratory for Software Design on 2008-07-02 09:18:58 as read
  • Nu: a dynamic aspect-oriented intermediate language model and virtual machine for flexible runtime adaptation
    (2008), pp. 191-202.
    by Robert Dyer, Hridesh Rajan
    posted to no-tag by rdyer to the group Laboratory for Software Design on 2008-07-02 09:03:16 as read
  • Java Bytecode Verification: An Overview
    Computer Aided Verification (2001), pp. 265-285.
    by Xavier Leroy
    posted to cs610-f06 by rdyer to the group Laboratory for Software Design on 2008-03-08 21:43:55 as **
  • Using CSP to detect errors in the TMN protocol
    Software Engineering, IEEE Transactions on, Vol. 23, No. 10. (1997), pp. 659-669.
    by G Lowe, B Roscoe
    posted to cs610-f06 by rdyer to the group Laboratory for Software Design on 2008-03-08 21:41:59 as **
  • Enforceable security policies
    ACM Trans. Inf. Syst. Secur., Vol. 3, No. 1. (February 2000), pp. 30-50.
    by Fred B Schneider
    posted to cs610-f06 by rdyer to the group Laboratory for Software Design on 2008-03-08 21:21:28 as ** along with 1 person fgeller
  • MOPS: an infrastructure for examining security properties of software
    (2002), pp. 235-244.
    by Hao Chen, David Wagner
    posted to cs610-f06 by rdyer to the group Laboratory for Software Design on 2008-03-08 21:19:52 as ** along with 2 people shimomura srccheck
  • Automatic discovery of API-level exploits
    (2005), pp. 312-321.
    by Vinod Ganapathy, Sanjit A Seshia, Somesh Jha, Thomas W Reps, Randal E Bryant
    posted to cs610-f06 by rdyer to the group Laboratory for Software Design on 2008-03-08 21:19:08 as ** along with 1 person newdawn
  • Building Intrusion-Tolerant Secure Software
    (2005), pp. 255-266.
    by Tao Zhang, Xiaotong Zhuang, Santosh Pande
    posted to cs610-f06 by rdyer to the group Laboratory for Software Design on 2008-03-08 21:18:12 as **
  • Automatically generating malicious disks using symbolic execution
    Security and Privacy, 2006 IEEE Symposium on (2006), 15 pp..
    by Junfeng Yang, Can Sar, P Twohey, C Cadar, D Engler
    posted to cs610-f06 by rdyer to the group Laboratory for Software Design on 2008-03-08 21:17:07 as **
  • Formal methods for cryptographic protocol analysis: emerging issues and trends
    Selected Areas in Communications, IEEE Journal on, Vol. 21, No. 1. (2003), pp. 44-54.
    by C Meadows
    posted to cs610-f06 by rdyer to the group Laboratory for Software Design on 2008-03-08 21:16:32 as **
  • Intrusion detection via static analysis
    Security and Privacy, 2001. S&P 2001. Proceedings. 2001 IEEE Symposium on (2001), pp. 156-168.
    by D Wagner, R Dean
    posted to cs610-f06 by rdyer to the group Laboratory for Software Design on 2008-03-08 21:15:17 as ** along with 2 people thefillm criswell
  • Semantics-Aware Malware Detection
    (2005), pp. 32-46.
    by Mihai Christodorescu, Somesh Jha, Sanjit A Seshia, Dawn Song, Randal E Bryant
    posted to cs610-f06 by rdyer to the group Laboratory for Software Design on 2008-03-08 21:14:04 as ** along with 1 person mercutio
  • Design and implementation of a TCG-based integrity measurement architecture
    (2004), pp. 16-16.
    by Reiner Sailer, Xiaolan Zhang, Trent Jaeger, Leendert van Doorn
    posted to cs610-f06 by rdyer to the group Laboratory for Software Design on 2008-03-08 21:07:11 as ** along with 1 person criswell
  • Testing malware detectors
    (2004), pp. 34-44.
    by Mihai Christodorescu, Somesh Jha
    posted to cs610-f06 by rdyer to the group Laboratory for Software Design on 2008-03-08 21:05:43 as **
  • Privacy and contextual integrity: framework and applications
    Security and Privacy, 2006 IEEE Symposium on (2006), 15 pp..
    by A Barth, A Datta, JC Mitchell, H Nissenbaum
    posted to cs610-f06 by rdyer to the group Laboratory for Software Design on 2008-03-08 20:51:29 as ** along with 3 people and 1 group jcsilva omidf2 hjk106000 Social Web
  • Static analysis of executables to detect malicious patterns
    (2003), pp. 12-12.
    by Mihai Christodorescu, Somesh Jha
    posted to cs610-f06 by rdyer to the group Laboratory for Software Design on 2008-03-08 20:47:46 as **
  • A logic of authentication
    ACM Trans. Comput. Syst., Vol. 8, No. 1. (February 1990), pp. 18-36.
    by Michael Burrows, Martin Abadi, Roger Needham
    posted to cs610-f06 by rdyer to the group Laboratory for Software Design on 2008-03-08 19:05:04 as **
  • A Design Discipline and Language Features for Formal Modular Reasoning in Aspect-Oriented Programs
    (20 December 2005)
    by Curtis Clifton, Gary T Leavens
    posted to cs610-s06 by rdyer to the group Laboratory for Software Design on 2008-03-08 18:49:49 as **
  • Explicitly distributed AOP using AWED
    (2006), pp. 51-62.
    by Luis, Mario Südholt, Wim Vanderperren, Bruno De Fraine, Davy Suvée
    posted to cs610-s06 by rdyer to the group Laboratory for Software Design on 2008-03-08 18:43:38 as ** along with 1 person shu
  • Modular software design with crosscutting interfaces
    Software, IEEE, Vol. 23, No. 1. (2006), pp. 51-60.
    by WG Griswold, M Shonle, K Sullivan, Y Song, N Tewari, Y Cai, H Rajan
    posted to cs610-s06 by rdyer to the group Laboratory for Software Design on 2008-03-08 18:42:48 as **
  • Modularisation and composition of aspectual requirements
    (2003), pp. 11-20.
    by Awais Rashid, Ana Moreira, Jo&\#257;o Ara&\#250;jo
    posted to cs610-s06 by rdyer to the group Laboratory for Software Design on 2008-03-08 18:36:43 as ** along with 3 people marcia jwveldhuis kklo
  • Theme: an approach for aspect-oriented analysis and design
    Software Engineering, 2004. ICSE 2004. Proceedings. 26th International Conference on (2004), pp. 158-167.
    by E Baniassad, S Clarke
    posted to cs610-s06 by rdyer to the group Laboratory for Software Design on 2008-03-08 18:35:14 as ** along with 2 people marcia casco
  • Abstracting Process-to-Function Relations in Concurrency Object-Oriented Applications
    (1994), pp. 81-99.
    by Cristina V Lopes, Karl J Lieberherr
    posted to cs610-s06 by rdyer to the group Laboratory for Software Design on 2008-03-08 18:30:33 as **
  • Aspect-oriented programming and modular reasoning
    (2005), pp. 49-58.
    by Gregor Kiczales, Mira Mezini
    posted to cs610-s06 by rdyer to the group Laboratory for Software Design on 2008-03-08 18:27:54 as ** along with 6 people oliverh bfraser steamloom KarlKlose ktonon alphabetagamma
  • Verifying aspect advice modularly
    Vol. 29, No. 6. (November 2004), pp. 137-146.
    by Shriram Krishnamurthi, Kathi Fisler, Michael Greenberg
    posted to cs610-s06 by rdyer to the group Laboratory for Software Design on 2008-03-08 18:27:28 as ** along with 3 people mig29x bfraser schuh
  • Concepts and experiments in computational reflection
    SIGPLAN Not., Vol. 22, No. 12. (December 1987), pp. 147-155.
    by Pattie Maes
    posted to cs610-s06 by rdyer to the group Laboratory for Software Design on 2008-03-08 18:26:28 as ** along with 1 person ingstrup
  • <italic>N</italic> degrees of separation: multi-dimensional separation of concerns
    (1999), pp. 107-119.
    by Peri Tarr, Harold Ossher, William Harrison, Stanley M Sutton
    posted to cs610-s06 by rdyer to the group Laboratory for Software Design on 2008-03-08 18:19:06 as ** along with 3 people bfraser kklo RalfMitschke
  • Towards a new model of abstraction in software engineering
    Object Orientation in Operating Systems, 1991. Proceedings., 1991 International Workshop on (1991), pp. 127-128.
    by G Kiczales
    posted to cs610-s06 by rdyer to the group Laboratory for Software Design on 2008-03-08 18:17:20 as **
  • Beyond the black box: open implementation
    Software, IEEE, Vol. 13, No. 1. (1996), pp. 8, 10-11.
    by G Kiczales
    posted to cs610-s06 by rdyer to the group Laboratory for Software Design on 2008-03-08 18:15:07 as **
  • Subject-oriented programming: a critique of pure objects
    Vol. 28, No. 10. (October 1993), pp. 411-428.
    by William Harrison, Harold Ossher
    posted to cs610-s06 by rdyer to the group Laboratory for Software Design on 2008-03-08 18:06:05 as ** along with 5 people davidmathers egh mbartsch bfraser RalfMitschke
  • Letters to the editor: go to statement considered harmful
    Commun. ACM, Vol. 11, No. 3. (March 1968), pp. 147-148.
    by Edsger W Dijkstra
    posted to cs610-s06 by rdyer to the group Laboratory for Software Design on 2008-03-08 17:57:09 as ** along with 5 people hamish dullhunk eyliu chandlerc myouhuhao
  • On the criteria to be used in decomposing systems into modules
    Commun. ACM, Vol. 15, No. 12. (December 1972), pp. 1053-1058.
    by DL Parnas
    posted to no-tag by rdyer to the group Laboratory for Software Design on 2008-03-08 17:48:37 as ** along with 19 people and 2 groups pridkett hamish kistijantoro lgaio grosskur mbravenboer ddahlem pverstra emerson schuh linekin KarlKlose rsantana VRadenovic kklo RalfMitschke saintedlama buchgeher alphabetagamma macc DSTO-CAS
  • EWD 447: On the role of scientific thought
    Selected Writings on Computing: A Personal Perspective (30 Aug 1974 1982), pp. 60-66.
    by EW Dijkstra
    posted to cs610-s06 by rdyer to the group Laboratory for Software Design on 2008-03-08 17:46:34 as **
  • Separation logic: a logic for shared mutable data structures
    Logic in Computer Science, 2002. Proceedings. 17th Annual IEEE Symposium on (2002), pp. 55-74.
    by JC Reynolds
    posted to no-tag by rdyer to the group Laboratory for Software Design on 2008-03-08 16:23:22 as ** along with 3 people GuAlex bec robdockins
  • Detecting conflicts between structure accesses
    (1988), pp. 24-31.
    by JR Larus, PN Hilfinger
    posted to cs610-s08 by rdyer to the group Laboratory for Software Design on 2008-03-08 16:10:08 as ** along with 1 person bunge
  • Shape analysis with inductive recursion synthesis
    SIGPLAN Not., Vol. 42, No. 6. (June 2007), pp. 256-265.
    by Bolei Guo, Neil Vachharajani, David I August
    posted to cs610-s08 by rdyer to the group Laboratory for Software Design on 2008-03-08 16:08:29 as **
  • Thread-modular shape analysis
    SIGPLAN Not., Vol. 42, No. 6. (June 2007), pp. 266-277.
    by Alexey Gotsman, Josh Berdine, Byron Cook, Mooly Sagiv
    posted to cs610-s08 by rdyer to the group Laboratory for Software Design on 2008-03-08 16:07:18 as **
  • The ant and the grasshopper: fast and accurate pointer analysis for millions of lines of code
    SIGPLAN Not., Vol. 42, No. 6. (June 2007), pp. 290-299.
    by Ben Hardekopf, Calvin Lin
    posted to cs610-s08 by rdyer to the group Laboratory for Software Design on 2008-03-08 16:04:00 as **
  • Making context-sensitive points-to analysis with heap cloning practical for the real world
    SIGPLAN Not., Vol. 42, No. 6. (June 2007), pp. 278-289.
    by Chris Lattner, Andrew Lenharth, Vikram Adve
    posted to cs610-s08 by rdyer to the group Laboratory for Software Design on 2008-03-08 16:03:16 as ** along with 1 person zrakamar
  • Conditional must not aliasing for static race detection
    SIGPLAN Not., Vol. 42, No. 1. (January 2007), pp. 327-338.
    by Mayur Naik, Alex Aiken
    posted to cs610-s08 by rdyer to the group Laboratory for Software Design on 2008-03-08 15:57:25 as **
  • Interprocedural analysis of asynchronous programs
    SIGPLAN Not., Vol. 42, No. 1. (January 2007), pp. 339-350.
    by Ranjit Jhala, Rupak Majumdar
    posted to cs610-s08 by rdyer to the group Laboratory for Software Design on 2008-03-08 15:51:59 as **
  • DITTO: automatic incrementalization of data structure invariant checks (in Java)
    SIGPLAN Not., Vol. 42, No. 6. (June 2007), pp. 310-319.
    by Ajeet Shankar, Rastislav Bod\ik
    posted to cs610-s08 by rdyer to the group Laboratory for Software Design on 2008-03-08 15:26:04 as **
  • Demand-driven alias analysis for C
    SIGPLAN Not., Vol. 43, No. 1. (January 2008), pp. 197-208.
    by Xin Zheng, Radu Rugina
    posted to cs610-s08 by rdyer to the group Laboratory for Software Design on 2008-03-08 15:22:25 as **
  • Automatic inference of stationary fields: a generalization of java's final fields
    SIGPLAN Not., Vol. 43, No. 1. (January 2008), pp. 183-195.
    by Christopher Unkel, Monica S Lam
    posted to cs610-s08 by rdyer to the group Laboratory for Software Design on 2008-03-08 15:17:42 as **
    • ◇温馨提示◇本页的引用地址为： http://www.citeulike.org/group/4445

    RIS BibTeX
    CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.