From the Publisher:
Written by the inventors of the technology, The Java(tm) Language Specification, Second Edition is the definitive technical reference for the Java(tm) programming language. If you want to know the precise meaning of the language's constructs, this is the source for you.
The book provides complete, accurate, and detailed coverage of the syntax and semantics of the Java programming language. It describes all aspects of the language, including the semantics of all types, statements, and expressions, as well as threads and binary compatibility.
Cited By
- Yedidia Z Lightweight Fault Isolation: Practical, Efficient, and Secure Software Sandboxing Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2, (649-665)
- Di Grazia L and Pradel M (2022). Code Search: A Survey of Techniques for Finding Code, ACM Computing Surveys, 55:11, (1-31), Online publication date: 30-Nov-2023.
- Scott E, Johnstone A and Walsh R (2023). Multiple Input Parsing and Lexical Analysis, ACM Transactions on Programming Languages and Systems, 45:3, (1-44), Online publication date: 30-Sep-2023.
- Yamato Y Evaluation of Re-Deployment for Environment-Adaptive Software Proceedings of the 4th International Electronics Communication Conference, (80-86)
- Hanenberg S and Mehlhorn N (2021). Two N-of-1 self-trials on readability differences between anonymous inner classes (AICs) and lambda expressions (LEs) on Java code snippets, Empirical Software Engineering, 27:2, Online publication date: 1-Mar-2022.
- Madsen O Using Coroutines for Multi-core Preemptive Scheduling Proceedings of the 11th Workshop on Programming Languages and Operating Systems, (46-52)
- Mäkitalo N, Bankowski V, Daubaris P, Mikkola R, Beletski O and Mikkonen T Bringing WebAssembly up to speed with dynamic linking Proceedings of the 36th Annual ACM Symposium on Applied Computing, (1727-1735)
- Chika Eleonu H A Framework and Tool Support for Managing a Family of Business Process Variants 2021 The 4th International Conference on Information Science and Systems, (81-89)
- Zeng L, Guo X, Yang C, Lu Y, Li X and Alazab M (2021). TagNN, Wireless Communications & Mobile Computing, 2021, Online publication date: 1-Jan-2021.
- Zhang J, Wang X, Zhang H, Sun H, Pu Y and Liu X Learning to handle exceptions Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, (29-41)
- Weiher M and Hirschfeld R Standard object out: streaming objects with polymorphic write streams Proceedings of the 15th ACM SIGPLAN International Symposium on Dynamic Languages, (104-116)
- Sjöberg V, Sang Y, Weng S and Shao Z (2019). DeepSEA: a language for certified system software, Proceedings of the ACM on Programming Languages, 3:OOPSLA, (1-27), Online publication date: 10-Oct-2019.
- Amrani M, Blouin D, Heinrich R, Rensink A, Vangheluwe H and Wortmann A Towards a formal specification of multi-paradigm modelling Proceedings of the 22nd International Conference on Model Driven Engineering Languages and Systems, (419-424)
- Campos E and Maia M (2019). Discovering common bug‐fix patterns, Journal of Software: Evolution and Process, 31:7, Online publication date: 10-Jul-2019.
- Wang Y, Wen M, Liu Z, Wu R, Wang R, Yang B, Yu H, Zhu Z and Cheung S Do the dependency conflicts in my project matter? Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, (319-330)
- Jiang J, Xiong Y, Zhang H, Gao Q and Chen X Shaping program repair space with existing patches and similar code Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, (298-309)
- Bruno R and Ferreira P (2018). A Study on Garbage Collection Algorithms for Big Data Environments, ACM Computing Surveys, 51:1, (1-35), Online publication date: 14-Apr-2018.
- Harbouche A, Djedi N, Erradi M, Ben-Othman J and Kobbane A (2017). Model driven flexible design of a wireless body sensor network for health monitoring, Computer Networks: The International Journal of Computer and Telecommunications Networking, 129:P2, (548-571), Online publication date: 24-Dec-2017.
- De Wael M, Swalens J and De Meuter W (2016). Just-in-time inheritance: a dynamic and implicit multiple inheritance mechanism, ACM SIGPLAN Notices, 52:2, (37-47), Online publication date: 11-May-2017.
- Kang J, Hur C, Lahav O, Vafeiadis V and Dreyer D (2017). A promising semantics for relaxed-memory concurrency, ACM SIGPLAN Notices, 52:1, (175-189), Online publication date: 11-May-2017.
- Vilanova L, Jordà M, Navarro N, Etsion Y and Valero M Direct Inter-Process Communication (dIPC) Proceedings of the Twelfth European Conference on Computer Systems, (16-31)
- Konitzer M and Simon H (2017). Regular languages viewed from a graph-theoretic perspective, Information and Computation, 253:P3, (484-496), Online publication date: 1-Apr-2017.
- Kang J, Hur C, Lahav O, Vafeiadis V and Dreyer D A promising semantics for relaxed-memory concurrency Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, (175-189)
- De Wael M, Swalens J and De Meuter W Just-in-time inheritance: a dynamic and implicit multiple inheritance mechanism Proceedings of the 12th Symposium on Dynamic Languages, (37-47)
- Lee S, Moon S and Kim S (2016). Flow-sensitive runtime estimation, Software—Practice & Experience, 46:6, (841-864), Online publication date: 1-Jun-2016.
- Giannini P, Servetto M and Zucca E Initialize-and-catch Proceedings of the 31st Annual ACM Symposium on Applied Computing, (1819-1822)
- Bracha G and Ungar D (2015). OOPSLA 2004, ACM SIGPLAN Notices, 50:8S, (35-48), Online publication date: 4-Dec-2015.
- Ha Y and Jang B (2015). Efficient TVA metadata encoding for mobile and ubiquitous content services, Pervasive and Mobile Computing, 24:C, (91-100), Online publication date: 1-Dec-2015.
- Ahmadi R, Leino K and Nummenmaa J Automatic verification of Dafny programs with traits Proceedings of the 17th Workshop on Formal Techniques for Java-like Programs, (1-5)
- Oh H, Yeo J and Moon S Bytecode-to-C ahead-of-time compilation for Android Dalvik virtual machine Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, (1048-1053)
- Zaytsev V (2015). Grammar Zoo, Science of Computer Programming, 98:P1, (28-51), Online publication date: 1-Feb-2015.
- Steele G, Lea D and Flood C (2014). Fast splittable pseudorandom number generators, ACM SIGPLAN Notices, 49:10, (453-472), Online publication date: 31-Dec-2015.
- Vilanova L, Ben-Yehuda M, Navarro N, Etsion Y and Valero M (2014). CODOMs, ACM SIGARCH Computer Architecture News, 42:3, (469-480), Online publication date: 16-Oct-2014.
- Woodruff J, Watson R, Chisnall D, Moore S, Anderson J, Davis B, Laurie B, Neumann P, Norton R and Roe M (2014). The CHERI capability model, ACM SIGARCH Computer Architecture News, 42:3, (457-468), Online publication date: 16-Oct-2014.
- Steele G, Lea D and Flood C Fast splittable pseudorandom number generators Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, (453-472)
- Arrighi P, Girard J, Lezama M and Mazet K The GOOL system Proceedings of the 9th International Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems PLE, (1-7)
- Vilanova L, Ben-Yehuda M, Navarro N, Etsion Y and Valero M CODOMs Proceeding of the 41st annual international symposium on Computer architecuture, (469-480)
- Woodruff J, Watson R, Chisnall D, Moore S, Anderson J, Davis B, Laurie B, Neumann P, Norton R and Roe M The CHERI capability model Proceeding of the 41st annual international symposium on Computer architecuture, (457-468)
- Cacho N, César T, Filipe T, Soares E, Cassio A, Souza R, Garcia I, Barbosa E and Garcia A Trading robustness for maintainability: an empirical study of evolving c# programs Proceedings of the 36th International Conference on Software Engineering, (584-595)
- Dyer R, Rajan H, Nguyen H and Nguyen T Mining billions of AST nodes to study actual and potential usage of Java language features Proceedings of the 36th International Conference on Software Engineering, (779-790)
- Konitzer M and Simon H DFA with a Bounded Activity Level Proceedings of the 8th International Conference on Language and Automata Theory and Applications - Volume 8370, (478-489)
- Sarma M (2014). Mutation analysis approach to develop reliable object-oriented software, Advances in Software Engineering, 2014, (6-6), Online publication date: 1-Jan-2014.
- Mernik M (2013). An object-oriented approach to language compositions for software language engineering, Journal of Systems and Software, 86:9, (2451-2464), Online publication date: 1-Sep-2013.
- Findler R and Felleisen M (2013). ICFP 2002, ACM SIGPLAN Notices, 48:4S, (34-45), Online publication date: 9-Jul-2013.
- Bertsch E, Nederhof M and Schmitz S On LR parsing with selective delays Proceedings of the 22nd international conference on Compiler Construction, (244-263)
- Jeffrey A Causality for free! Proceedings of the 7th workshop on Programming languages meets program verification, (57-68)
- Oh H, Kim B, Choi H and Moon S Evaluation of Android Dalvik virtual machine Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems, (115-124)
- Miorandi D, Sicari S, De Pellegrini F and Chlamtac I (2012). Internet of things, Ad Hoc Networks, 10:7, (1497-1516), Online publication date: 1-Sep-2012.
- Mikic Fonte F, Burguillo J and Nistal M (2012). An intelligent tutoring module controlled by BDI agents for an e-learning platform, Expert Systems with Applications: An International Journal, 39:8, (7546-7554), Online publication date: 1-Jun-2012.
- Tov J and Pucella R A theory of substructural types and control Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications, (625-642)
- Tov J and Pucella R (2011). A theory of substructural types and control, ACM SIGPLAN Notices, 46:10, (625-642), Online publication date: 18-Oct-2011.
- Al Abed W and Kienzle J Aspect-oriented modelling for distributed systems Proceedings of the 14th international conference on Model driven engineering languages and systems, (123-137)
- Fairweather E, Fernández M and Gabbay M Principal types for nominal theories Proceedings of the 18th international conference on Fundamentals of computation theory, (160-172)
- Rogers I and Iyengar B Reducing biased lock revocation by learning Proceedings of the 6th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems, (1-10)
- Lönnberg J, Ben-Ari M and Malmi L Java replay for dependence-based debugging Proceedings of the Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, (15-25)
- Alves A A general extension system for event processing languages Proceedings of the 5th ACM international conference on Distributed event-based system, (1-10)
- Azevedo R, Neto C, Teixeira M, Santos R and Gomes T Textual authoring of interactive digital TV applications Proceedings of the 9th European Conference on Interactive TV and Video, (235-244)
- Dietl W, Dietzel S, Ernst M, Muşlu K and Schiller T Building and using pluggable type-checkers Proceedings of the 33rd International Conference on Software Engineering, (681-690)
- Arnold M, Fink S, Grove D, Hind M and Sweeney P (2011). Adaptive optimization in the Jalapeno JVM, ACM SIGPLAN Notices, 46:4, (65-83), Online publication date: 20-May-2011.
- Long Y, Mooney S, Sondag T and Rajan H (2010). Implicit invocation meets safe, implicit concurrency, ACM SIGPLAN Notices, 46:2, (63-72), Online publication date: 26-Jan-2011.
- Aguiar A and David G Patterns for effectively documenting frameworks Transactions on pattern languages of programming II, (79-124)
- Strickland T and Felleisen M (2010). Contracts for first-class classes, ACM SIGPLAN Notices, 45:12, (97-112), Online publication date: 3-Dec-2010.
- Strickland T and Felleisen M Contracts for first-class classes Proceedings of the 6th symposium on Dynamic languages, (97-112)
- Long Y, Mooney S, Sondag T and Rajan H Implicit invocation meets safe, implicit concurrency Proceedings of the ninth international conference on Generative programming and component engineering, (63-72)
- Kramer M and Kienzle J Mapping aspect-oriented models to aspect-oriented code Proceedings of the 2010 international conference on Models in software engineering, (125-139)
- Madsen O and Møller-Pedersen B A unified approach to modeling and programming Proceedings of the 13th international conference on Model driven engineering languages and systems: Part I, (1-15)
- Torlak E, Vaziri M and Dolby J (2010). MemSAT, ACM SIGPLAN Notices, 45:6, (341-350), Online publication date: 12-Jun-2010.
- Torlak E, Vaziri M and Dolby J MemSAT Proceedings of the 31st ACM SIGPLAN Conference on Programming Language Design and Implementation, (341-350)
- Yahav E and Sagiv M (2008). Verifying safety properties of concurrent heap-manipulating programs, ACM Transactions on Programming Languages and Systems, 32:5, (1-50), Online publication date: 1-May-2010.
- Kerfoot E and McKeever S Checking concurrent contracts with aspects Proceedings of the 2010 ACM Symposium on Applied Computing, (2523-2530)
- Wehr S and Thiemann P (2009). JavaGI in the battlefield, ACM SIGPLAN Notices, 45:2, (65-74), Online publication date: 1-Feb-2010.
- Knowles K and Flanagan C (2010). Hybrid type checking, ACM Transactions on Programming Languages and Systems, 32:2, (1-34), Online publication date: 1-Jan-2010.
- Schmitz S (2010). An experimental ambiguity detection tool, Science of Computer Programming, 75:1-2, (71-84), Online publication date: 1-Jan-2010.
- Scott E and Johnstone A (2010). Recognition is not parsing - SPPF-style parsing from cubic recognisers, Science of Computer Programming, 75:1-2, (55-70), Online publication date: 1-Jan-2010.
- de Oliveira Guimarães J (2009). The Green language type system, Computer Languages, Systems and Structures, 35:4, (435-447), Online publication date: 1-Dec-2009.
- Cook W On understanding data abstraction, revisited Proceedings of the 24th ACM SIGPLAN conference on Object oriented programming systems languages and applications, (557-572)
- Overbey J and Johnson R Regrowing a language Proceedings of the 24th ACM SIGPLAN conference on Object oriented programming systems languages and applications, (493-502)
- Rose J Bytecodes meet combinators Proceedings of the Third Workshop on Virtual Machines and Intermediate Languages, (1-11)
- Yeager D A different kind of programming languages course Proceedings of the 24th ACM SIGPLAN conference companion on Object oriented programming systems languages and applications, (667-674)
- Cook W (2009). On understanding data abstraction, revisited, ACM SIGPLAN Notices, 44:10, (557-572), Online publication date: 25-Oct-2009.
- Overbey J and Johnson R (2009). Regrowing a language, ACM SIGPLAN Notices, 44:10, (493-502), Online publication date: 25-Oct-2009.
- Wehr S and Thiemann P JavaGI in the battlefield Proceedings of the eighth international conference on Generative programming and component engineering, (65-74)
- Röck H, Auerbach J, Kirsch C and Bacon D Avoiding unbounded priority inversion in barrier protocols using gang priority management Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems, (70-79)
- Nyström J Automatic assessment of failure recovery in Erlang applications Proceedings of the 8th ACM SIGPLAN workshop on ERLANG, (23-32)
- Rajan H and Sullivan K (2009). Unifying aspect- and object-oriented design, ACM Transactions on Software Engineering and Methodology, 19:1, (1-41), Online publication date: 1-Aug-2009.
- Kerfoot E, McKeever S and Torshizi F Deadlock freedom through object ownership International Workshop on Aliasing, Confinement and Ownership in Object-Oriented Programming, (1-8)
- Johnsen E, Blanchette J, Kyas M and Owe O (2009). Intra-Object versus Inter-Object, Electronic Notes in Theoretical Computer Science (ENTCS), 243, (89-103), Online publication date: 1-Jul-2009.
- Logozzo F (2009). Class invariants as abstract interpretation of trace semantics, Computer Languages, Systems and Structures, 35:2, (100-142), Online publication date: 1-Jul-2009.
- Jabłonowski J Some remarks about OO teaching Proceedings of the International Conference on Computer Systems and Technologies and Workshop for PhD Students in Computing, (1-6)
- Di Trapani L and Inanc T NTGsim Proceedings of the 2009 conference on American Control Conference, (402-407)
- Hardin D and Hardin S Efficient, formally verifiable data structures using ACL2 single-threaded objects for high-assurance systems Proceedings of the Eighth International Workshop on the ACL2 Theorem Prover and its Applications, (100-105)
- Yip A, Narula N, Krohn M and Morris R Privacy-preserving browser-side scripting with BFlow Proceedings of the 4th ACM European conference on Computer systems, (233-246)
- Flores A and Polo M (2009). Testing-based Process for Evaluating Component Replaceability, Electronic Notes in Theoretical Computer Science (ENTCS), 236, (101-115), Online publication date: 1-Apr-2009.
- Frampton D, Blackburn S, Cheng P, Garner R, Grove D, Moss J and Salishev S Demystifying magic Proceedings of the 2009 ACM SIGPLAN/SIGOPS international conference on Virtual execution environments, (81-90)
- Hatcher P, Reno M, Antoniu G and Bouge L (2009). Cluster Computing with Java, Computing in Science and Engineering, 7:2, (34-39), Online publication date: 1-Mar-2009.
- Millstein T, Frost C, Ryder J and Warth A (2009). Expressive and modular predicate dispatch for Java, ACM Transactions on Programming Languages and Systems, 31:2, (1-54), Online publication date: 1-Feb-2009.
- Pucella R and Tov J (2008). Haskell session types with (almost) no class, ACM SIGPLAN Notices, 44:2, (25-36), Online publication date: 28-Jan-2009.
- Qi X and Myers A (2009). Masked types for sound object initialization, ACM SIGPLAN Notices, 44:1, (53-65), Online publication date: 21-Jan-2009.
- Qi X and Myers A Masked types for sound object initialization Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (53-65)
- Schäfer M, Ekman T and de Moor O Challenge proposal Proceedings of the 3rd workshop on Programming languages meets program verification, (67-72)
- El Boustani N and Hage J Improving type error messages for generic java Proceedings of the 2009 ACM SIGPLAN workshop on Partial evaluation and program manipulation, (131-140)
- Delwadia V, Marshall S and Welch I Using remotely executing software via a mobile device Proceedings of the Tenth Australasian Conference on User Interfaces - Volume 93, (3-8)
- Haiduk H (2008). Revitalizing the computer organization course with the Java virtual machine, Journal of Computing Sciences in Colleges, 24:2, (189-195), Online publication date: 1-Dec-2008.
- Schäfer M, Ekman T and de Moor O (2008). Sound and extensible renaming for java, ACM SIGPLAN Notices, 43:10, (277-294), Online publication date: 27-Oct-2008.
- Kats L, Bravenboer M and Visser E (2008). Mixing source and bytecode, ACM SIGPLAN Notices, 43:10, (91-108), Online publication date: 27-Oct-2008.
- Sewe A, Bockisch C and Mezini M Aspects and class-based security Proceedings of the 2nd Workshop on Virtual Machines and Intermediate Languages for emerging modularization mechanisms, (1-7)
- Schäfer M, Ekman T and de Moor O Sound and extensible renaming for java Proceedings of the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications, (277-294)
- Pucella R and Tov J Haskell session types with (almost) no class Proceedings of the first ACM SIGPLAN symposium on Haskell, (25-36)
- Shah H, Görg C and Harrold M Visualization of exception handling constructs to support program understanding Proceedings of the 4th ACM symposium on Software visualization, (19-28)
- Jansen J, Plasmeijer R and Koopman P iEditors Proceedings of the 20th international conference on Implementation and application of functional languages, (192-211)
- Plümicke M Intersection types in Java Proceedings of the 6th international symposium on Principles and practice of programming in Java, (181-188)
- Wagner G, Gal A and Franz M Slim VM Proceedings of the 6th international symposium on Principles and practice of programming in Java, (117-126)
- Stenzel K, Grandy H and Reif W Verification of Java Programs with Generics Proceedings of the 12th international conference on Algebraic Methodology and Software Technology, (315-329)
- Papi M, Ali M, Correa T, Perkins J and Ernst M Practical pluggable types for java Proceedings of the 2008 international symposium on Software testing and analysis, (201-212)
- Thiemann P and Neubauer M Macros for context-free grammars Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming, (120-130)
- Flanagan C, Freund S, Lifshin M and Qadeer S (2008). Types for atomicity, ACM Transactions on Programming Languages and Systems, 30:4, (1-53), Online publication date: 1-Jul-2008.
- Lhoták O and Hendren L (2008). Relations as an abstraction for BDD-based program analysis, ACM Transactions on Programming Languages and Systems, 30:4, (1-63), Online publication date: 1-Jul-2008.
- Alagić S and Royer M (2008). Genericity in Java, The VLDB Journal — The International Journal on Very Large Data Bases, 17:4, (847-878), Online publication date: 1-Jul-2008.
- Lee S, Moon S and Kim S (2008). Enhanced hot spot detection heuristics for embedded java just-in-time compilers, ACM SIGPLAN Notices, 43:7, (13-22), Online publication date: 27-Jun-2008.
- Lee S, Moon S and Kim S Enhanced hot spot detection heuristics for embedded java just-in-time compilers Proceedings of the 2008 ACM SIGPLAN-SIGBED conference on Languages, compilers, and tools for embedded systems, (13-22)
- Jones R and Ryder C A study of Java object demographics Proceedings of the 7th international symposium on Memory management, (121-130)
- Friedman R, Kermarrec A and Raynal M (2008). Modularity, ACM SIGACT News, 39:2, (91-110), Online publication date: 1-Jun-2008.
- Osawa N (2008). Jigsaw-Puzzle-Like 3D Glyphs for Visualization of Grammatical Constraints, IEICE - Transactions on Information and Systems, E91-D:6, (1804-1812), Online publication date: 1-Jun-2008.
- Bergstra J and Middelburg C (2008). Distributed strategic interleaving with load balancing, Future Generation Computer Systems, 24:6, (530-548), Online publication date: 1-Jun-2008.
- Blom M, Nordby E and Brunstrom A An Experimental Evaluation of Documentation Methods and Reusability Proceedings of the 10th international conference on Software Reuse: High Confidence Software Reuse in Large Systems, (372-375)
- Kegel H and Steimann F Systematically refactoring inheritance to delegation in java Proceedings of the 30th international conference on Software engineering, (431-440)
- Monniaux D (2008). The pitfalls of verifying floating-point computations, ACM Transactions on Programming Languages and Systems, 30:3, (1-41), Online publication date: 1-May-2008.
- Murphy B, Menon V, Schneider F, Shpeisman T and Adl-Tabatabai A Fault-safe code motion for type-safe languages Proceedings of the 6th annual IEEE/ACM international symposium on Code generation and optimization, (144-154)
- Sundaresan V, Stoodley M and Ramarao P Removing redundancy via exception check motion Proceedings of the 6th annual IEEE/ACM international symposium on Code generation and optimization, (134-143)
- Sewe A, Bockisch C and Mezini M Redundancy-free residual dispatch Proceedings of the 7th workshop on Foundations of aspect-oriented languages, (1-7)
- Bottoni P, Parisi-Presicce F, Pulcini S and Taentzer G (2008). Maintaining Coherence Between Models With Distributed Rules, Electronic Notes in Theoretical Computer Science (ENTCS), 211, (87-98), Online publication date: 1-Apr-2008.
- Scott E (2008). SPPF-Style Parsing From Earley Recognisers, Electronic Notes in Theoretical Computer Science (ENTCS), 203:2, (53-67), Online publication date: 1-Apr-2008.
- Ridgeway K, Bernstein D and Magnotti J Using Java's generics mechanism to improve type safety in the command pattern Proceedings of the 46th Annual Southeast Regional Conference on XX, (231-236)
- Järvi J and Freeman J Lambda functions for C++0x Proceedings of the 2008 ACM symposium on Applied computing, (178-183)
- Hallett J, Luchangco V, Ryu S and Steele G Integrating coercion with subtyping and multiple dispatch Proceedings of the 2008 ACM symposium on Applied computing, (166-170)
- Weimer W and Necula G (2008). Exceptional situations and program reliability, ACM Transactions on Programming Languages and Systems, 30:2, (1-51), Online publication date: 1-Mar-2008.
- Massoni T, Gheyi R and Borba P (2008). A Framework for Establishing Formal Conformance between Object Models and Object-Oriented Programs, Electronic Notes in Theoretical Computer Science (ENTCS), 195, (189-209), Online publication date: 1-Jan-2008.
- Weimin W, Kailun L and Qing S Array modeling in Java virtual machine Proceedings of the 7th international conference on Advanced parallel processing technologies, (617-623)
- Weimin W, Kailun L and Qing S Array Modeling in Java Virtual Machine Advanced Parallel Processing Technologies, (617-623)
- Eisen L, Ward J, Tast H, Mäding N, Leenstra J, Mueller S, Jacobi C, Preiss J, Schwarz E and Carlough S (2007). IBM POWER6 accelerators, IBM Journal of Research and Development, 51:6, (663-683), Online publication date: 1-Nov-2007.
- Gregersen A and Jørgensen B Towards dynamic plug-in replacement in Eclipse plug-in development Proceedings of the 2007 OOPSLA workshop on eclipse technology eXchange, (41-45)
- Spring J, Privat J, Guerraoui R and Vitek J (2007). Streamflex, ACM SIGPLAN Notices, 42:10, (211-228), Online publication date: 21-Oct-2007.
- Igarashi A and Viroli M (2007). Variant path types for scalable extensibility, ACM SIGPLAN Notices, 42:10, (113-132), Online publication date: 21-Oct-2007.
- Hirzel M and Grimm R (2007). Jeannie, ACM SIGPLAN Notices, 42:10, (19-38), Online publication date: 21-Oct-2007.
- Spring J, Privat J, Guerraoui R and Vitek J Streamflex Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented programming systems, languages and applications, (211-228)
- Igarashi A and Viroli M Variant path types for scalable extensibility Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented programming systems, languages and applications, (113-132)
- Hirzel M and Grimm R Jeannie Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented programming systems, languages and applications, (19-38)
- Hills M and Rosu G A rewriting approach to the design and evolution of object-oriented languages Companion to the 22nd ACM SIGPLAN conference on Object-oriented programming systems and applications companion, (827-828)
- Seo S, Kim Y, Kang H and Han T (2007). A Static Bug Detector for Uninitialized Field References in Java Programs, IEICE - Transactions on Information and Systems, E90-D:10, (1663-1671), Online publication date: 1-Oct-2007.
- Mc Enery J, Hickey D and Boubekeur M Empirical evaluation of two main-stream RTSJ implementations Proceedings of the 5th international workshop on Java technologies for real-time and embedded systems, (47-54)
- Foley S Tactics for minimal interference from class loading in real-time Java™ Proceedings of the 5th international workshop on Java technologies for real-time and embedded systems, (23-32)
- Vo B and Manku G RadixZip Proceedings of the 33rd international conference on Very large data bases, (1162-1172)
- Zibin Y, Potanin A, Ali M, Artzi S, Kie|un A and Ernst M Object and reference immutability using Java generics Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering, (75-84)
- Rajan H Design pattern implementations in Eos Proceedings of the 14th Conference on Pattern Languages of Programs, (1-11)
- Plümicke M Typeless programming in Java 5.0 with wildcards Proceedings of the 5th international symposium on Principles and practice of programming in Java, (73-82)
- Hoffman K and Eugster P Bridging Java and AspectJ through explicit join points Proceedings of the 5th international symposium on Principles and practice of programming in Java, (63-72)
- Cotroneo D, Pietrantuono R, Mariani L and Pastore F Investigation of failure causes in workload-driven reliability testing Fourth international workshop on Software quality assurance: in conjunction with the 6th ESEC/FSE joint meeting, (78-85)
- Prados F, Boada I, Feixas M, Prats A, Blasco G, Pedraza S and Puig J DTIWeb Proceedings of the 2007 international conference on Computational science and Its applications - Volume Part II, (727-740)
- Müller-Olm M and Seidl H (2007). Analysis of modular arithmetic, ACM Transactions on Programming Languages and Systems, 29:5, (29-es), Online publication date: 2-Aug-2007.
- Luszczek P and Dongarra J (2007). High Performance Development for High End Computing With Python Language Wrapper (PLW), International Journal of High Performance Computing Applications, 21:3, (360-369), Online publication date: 1-Aug-2007.
- Haupt M and Schippers H A machine model for aspect-oriented programming Proceedings of the 21st European conference on Object-Oriented Programming, (501-524)
- Hong S, Kim J, Shin J, Moon S, Oh H, Lee J and Choi H (2007). Java client ahead-of-time compiler for embedded systems, ACM SIGPLAN Notices, 42:7, (63-72), Online publication date: 13-Jul-2007.
- Permandla P, Roberson M and Boyapati C (2007). A type system for preventing data races and deadlocks in the java virtual machine language, ACM SIGPLAN Notices, 42:7, (10), Online publication date: 13-Jul-2007.
- Hills M and Rosu G KOOL Proceedings of the 18th international conference on Term rewriting and applications, (246-256)
- Jabłonowski J A case study in introductory programming Proceedings of the 2007 international conference on Computer systems and technologies, (1-7)
- Wimmer C and Mössenböck H Automatic feedback-directed object inlining in the java hotspot™ virtual machine Proceedings of the 3rd international conference on Virtual execution environments, (12-21)
- Hong S, Kim J, Shin J, Moon S, Oh H, Lee J and Choi H Java client ahead-of-time compiler for embedded systems Proceedings of the 2007 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems, (63-72)
- Permandla P, Roberson M and Boyapati C A type system for preventing data races and deadlocks in the java virtual machine language Proceedings of the 2007 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems
- Shepherd D, Pollock L and Vijay-Shanker K Case study Proceedings of the 7th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering, (49-54)
- Kristensen B, Madsen O and Møller-Pedersen B The when, why and why not of the BETA programming language Proceedings of the third ACM SIGPLAN conference on History of programming languages, (10-1-10-57)
- Hunt G, Aiken M, Fähndrich M, Hawblitzel C, Hodson O, Larus J, Levi S, Steensgaard B, Tarditi D and Wobber T (2007). Sealing OS processes to improve dependability and safety, ACM SIGOPS Operating Systems Review, 41:3, (341-354), Online publication date: 1-Jun-2007.
- Amme W, Ronne J and Franz M (2007). SSA-based mobile code, ACM Transactions on Architecture and Code Optimization, 4:2, (13-es), Online publication date: 1-Jun-2007.
- Kiezun A, Ernst M, Tip F and Fuhrer R Refactoring for Parameterizing Java Classes Proceedings of the 29th international conference on Software Engineering, (437-446)
- Leavens G and Muller P Information Hiding and Visibility in Interface Specifications Proceedings of the 29th international conference on Software Engineering, (385-395)
- Nicoletti M and Jr. J (2007). An empirical evaluation of constructive neural network algorithms in classification tasks, International Journal of Innovative Computing and Applications, 1:1, (2-13), Online publication date: 1-Apr-2007.
- Harmon C Computational tools for the analysis of spatial patterns of gene expression in Common Lisp Proceedings of the 2007 International Lisp Conference, (1-12)
- Leino K and Schulte W Using history invariants to verify observers Proceedings of the 16th European Symposium on Programming, (80-94)
- Sridranop N and Stansifer R Higher-order functional programming and wildcards in java Proceedings of the 45th annual southeast regional conference, (42-46)
- Hunt G, Aiken M, Fähndrich M, Hawblitzel C, Hodson O, Larus J, Levi S, Steensgaard B, Tarditi D and Wobber T Sealing OS processes to improve dependability and safety Proceedings of the 2nd ACM SIGOPS/EuroSys European Conference on Computer Systems 2007, (341-354)
- Shepherd D, Fry Z, Hill E, Pollock L and Vijay-Shanker K Using natural language program analysis to locate and understand action-oriented concerns Proceedings of the 6th international conference on Aspect-oriented software development, (212-224)
- Clarke D, Drossopoulou S, Noble J and Wrigstad T Tribe Proceedings of the 6th international conference on Aspect-oriented software development, (121-134)
- Gregor D and Järvi J Variadic templates for C++ Proceedings of the 2007 ACM symposium on Applied computing, (1101-1108)
- Benton N and Buchlovsky P Semantics of an effect analysis for exceptions Proceedings of the 2007 ACM SIGPLAN international workshop on Types in languages design and implementation, (15-26)
- Langmaack H On revival of Algol-concepts in modern programming and specification languages Formal methods and hybrid real-time systems, (414-434)
- Eugster P (2007). Type-based publish/subscribe, ACM Transactions on Programming Languages and Systems, 29:1, (6-es), Online publication date: 1-Jan-2007.
- Clarke D Commercial Experience with Agent-Oriented Software Engineering Proceedings of the IEEE/WIC/ACM international conference on Intelligent Agent Technology, (730-736)
- Gorrieri, R, Lucchi R and Zavattaro G (2006). Supporting Secure Coordination in SecSpaces, Fundamenta Informaticae, 73:4, (479-506), Online publication date: 1-Dec-2006.
- Drossopoulou S, Lagorio G and Eisenbach S (2006). A flexible model for dynamic linking in Java and C#, Theoretical Computer Science, 368:1-2, (1-29), Online publication date: 1-Dec-2006.
- Focardi R, Lucchi R and Zavattaro G (2006). Secure shared data-space coordination languages, Science of Computer Programming, 63:1, (3-15), Online publication date: 1-Nov-2006.
- Gorrieri R, Lucchi R and Zavattaro G (2006). Supporting Secure Coordination in SecSpaces, Fundamenta Informaticae, 73:4, (479-506), Online publication date: 30-Oct-2006.
- Gregor D, Järvi J, Siek J, Stroustrup B, Dos Reis G and Lumsdaine A Concepts Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications, (291-310)
- Ogata K, Onodera T, Kawachiya K, Komatsu H and Nakatani T Replay compilation Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications, (241-252)
- Titzer B Virgil Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications, (191-208)
- Jung D, Park J, Bae S, Lee J and Moon S Efficient exception handling in Java bytecode-to-c ahead-of-time compiler for smbedded systems Proceedings of the 6th ACM & IEEE International conference on Embedded software, (188-194)
- Jung D, Bae S, Lee J, Moon S and Park J Supporting precise garbage collection in Java Bytecode-to-C ahead-of-time compiler for embedded systems Proceedings of the 2006 international conference on Compilers, architecture and synthesis for embedded systems, (35-42)
- Bagge A, David V, Haveraaen M and Kalleberg K Stayin' alert: Proceedings of the 5th international conference on Generative programming and component engineering, (265-274)
- Riehle D Value object Proceedings of the 2006 conference on Pattern languages of programs, (1-6)
- Aguiar A and David G Patterns for documenting frameworks Proceedings of the 2006 conference on Pattern languages of programs, (1-10)
- Kienzle J and Sendall S Addressing concurrency in object-oriented software development Proceedings of the 2006 conference of the Center for Advanced Studies on Collaborative research, (15-es)
- Gregor D, Järvi J, Siek J, Stroustrup B, Dos Reis G and Lumsdaine A (2006). Concepts, ACM SIGPLAN Notices, 41:10, (291-310), Online publication date: 16-Oct-2006.
- Ogata K, Onodera T, Kawachiya K, Komatsu H and Nakatani T (2006). Replay compilation, ACM SIGPLAN Notices, 41:10, (241-252), Online publication date: 16-Oct-2006.
- Titzer B (2006). Virgil, ACM SIGPLAN Notices, 41:10, (191-208), Online publication date: 16-Oct-2006.
- Pedersen R and Schoeberl M Exact roots for a real-time garbage collector Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems, (77-84)
- Rossberg A The missing link Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming, (99-110)
- Rossberg A (2006). The missing link, ACM SIGPLAN Notices, 41:9, (99-110), Online publication date: 16-Sep-2006.
- Plümicke M and Bäuerle J Typeless programming in Java 5.0 Proceedings of the 4th international symposium on Principles and practice of programming in Java, (175-181)
- Kiviluoma K, Koskinen J and Mikkonen T Run-time monitoring of architecturally significant behaviors using behavioral profiles and aspects Proceedings of the 2006 international symposium on Software testing and analysis, (181-190)
- Fernández M and Fleutot F A historic functional and object-oriented calculus Proceedings of the 8th ACM SIGPLAN international conference on Principles and practice of declarative programming, (145-156)
- Järvi J, Gregor D, Willcock J, Lumsdaine A and Siek J Algorithm specialization in generic programming Proceedings of the 27th ACM SIGPLAN Conference on Programming Language Design and Implementation, (272-282)
- Järvi J, Gregor D, Willcock J, Lumsdaine A and Siek J (2006). Algorithm specialization in generic programming, ACM SIGPLAN Notices, 41:6, (272-282), Online publication date: 11-Jun-2006.
- Corry E Optimistic stack allocation for java-like languages Proceedings of the 5th international symposium on Memory management, (162-173)
- Boehm B A view of 20th and 21st century software engineering Proceedings of the 28th international conference on Software engineering, (12-29)
- Ng T, Cheung S, Chan W and Yu Y Toward effective deployment of design patterns for software extension Proceedings of the 2006 international workshop on Software quality, (51-56)
- Felicíssimo C, Choren R, Briot J, De Lucena C, Chopinaud C and El Fallah Seghrouchni A Providing contextual norm information in open multi-agent systems Proceedings of the 8th international Bi conference on Agent-oriented information systems IV, (19-36)
- Allan B, Armstrong R, Bernholdt D, Bertrand F, Chiu K, Dahlgren T, Damevski K, Elwasif W, Epperly T, Govindaraju M, Katz D, Kohl J, Krishnan M, Kumfert G, Larson J, Lefantzi S, Lewis M, Malony A, Mclnnes L, Nieplocha J, Norris B, Parker S, Ray J, Shende S, Windus T and Zhou S (2006). A Component Architecture for High-Performance Scientific Computing, International Journal of High Performance Computing Applications, 20:2, (163-202), Online publication date: 1-May-2006.
- Moon S and Chang B (2006). A thread monitoring system for multithreaded Java programs, ACM SIGPLAN Notices, 41:5, (21-29), Online publication date: 1-May-2006.
- Clarke L and Rosenblum D (2006). A historical perspective on runtime assertion checking in software development, ACM SIGSOFT Software Engineering Notes, 31:3, (25-37), Online publication date: 1-May-2006.
- Welch I and Lu F Policy-driven reflective enforcement of security policies Proceedings of the 2006 ACM symposium on Applied computing, (1580-1584)
- Fernández M and Gabbay M Curry-style types for nominal terms Proceedings of the 2006 international conference on Types for proofs and programs, (125-139)
- Jiang S, Xu B and Shi L (2006). An approach to analyzing recursive programs with exception handling constructs, ACM SIGPLAN Notices, 41:4, (30-35), Online publication date: 1-Apr-2006.
- Abadi M, Flanagan C and Freund S (2006). Types for safe locking, ACM Transactions on Programming Languages and Systems, 28:2, (207-255), Online publication date: 1-Mar-2006.
- Muthukumar R and Janakiram D (2006). Yama, IEEE Transactions on Parallel and Distributed Systems, 17:2, (148-159), Online publication date: 1-Feb-2006.
- Ni Z and Shao Z (2006). Certified assembly programming with embedded code pointers, ACM SIGPLAN Notices, 41:1, (320-333), Online publication date: 12-Jan-2006.
- Liu J, Kimball A and Myers A (2006). Interruptible iterators, ACM SIGPLAN Notices, 41:1, (283-294), Online publication date: 12-Jan-2006.
- Ni Z and Shao Z Certified assembly programming with embedded code pointers Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (320-333)
- Liu J, Kimball A and Myers A Interruptible iterators Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (283-294)
- Melton H and Tempero E Identifying refactoring opportunities by identifying dependency cycles Proceedings of the 29th Australasian Computer Science Conference - Volume 48, (35-41)
- Blewitt A, Bundy A and Stark I Automatic verification of design patterns in Java Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering, (224-232)
- Spoon S and Shivers O Dynamic data polyvariance using source-tagged classes Proceedings of the 2005 symposium on Dynamic languages, (35-48)
- De Meuter W, Tanter É, Mostinckx S, Van Cutsem T and Dedecker J Flexible object encapsulation for ambient-oriented programming Proceedings of the 2005 symposium on Dynamic languages, (11-21)
- Gray K, Findler R and Flatt M Fine-grained interoperability through mirrors and contracts Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (231-245)
- Brodsky A and Nash H CoJava Companion to the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (194-195)
- Gray K, Findler R and Flatt M (2005). Fine-grained interoperability through mirrors and contracts, ACM SIGPLAN Notices, 40:10, (231-245), Online publication date: 12-Oct-2005.
- Lakos C and Kristensen L State space exploration of object-based systems using equivalence reduction and the sweepline method Proceedings of the Third international conference on Automated Technology for Verification and Analysis, (187-201)
- Estublier J, Vega G and Ionita A Composing domain-specific languages for wide-scope software engineering applications Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems, (69-83)
- Cohen M (2005). The development of a game playing framework using interface-based programming, XRDS: Crossroads, The ACM Magazine for Students, 12:1, (5-5), Online publication date: 1-Oct-2005.
- Ryder B, Soffa M and Burnett M (2005). The impact of software engineering research on modern programming languages, ACM Transactions on Software Engineering and Methodology, 14:4, (431-477), Online publication date: 1-Oct-2005.
- Kamin S, Aktemur B and Morton P Source-level optimization of run-time program generators Proceedings of the 4th international conference on Generative Programming and Component Engineering, (293-308)
- Costa R and Rohou E Comparing the size of .NET applications with native code Proceedings of the 3rd IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis, (99-104)
- Jacobs B, Piessens F, Leino K and Schulte W Safe Concurrency for Aggregate Objects with Invariants Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods, (137-147)
- Ward P and Bedassé D Fast convex closure for efficient predicate detection Proceedings of the 11th international Euro-Par conference on Parallel Processing, (30-39)
- Jiang S, Zhang Y, Yan D and Jiang Y (2005). An approach to automatic testing exception handling, ACM SIGPLAN Notices, 40:8, (34-39), Online publication date: 1-Aug-2005.
- Stepanian L, Brown A, Kielstra A, Koblents G and Stoodley K Inlining java native calls at runtime Proceedings of the 1st ACM/USENIX international conference on Virtual execution environments, (121-131)
- Kotzmann T and Mössenböck H Escape analysis in the context of dynamic compilation and deoptimization Proceedings of the 1st ACM/USENIX international conference on Virtual execution environments, (111-120)
- Bates R (2005). Syntactic Heroin, Queue, 3:5, (64-ff), Online publication date: 1-Jun-2005.
- Kim H and Yang H Security framework to verify the low level implementation codes Proceedings of the 2005 international conference on Computational Science and Its Applications - Volume Part II, (52-61)
- Su J and Yelick K Automatic Support for Irregular Computations in a High-Level Language Proceedings of the 19th IEEE International Parallel and Distributed Processing Symposium (IPDPS'05) - Papers - Volume 01
- Müller-Olm M and Seidl H Analysis of modular arithmetic Proceedings of the 14th European conference on Programming Languages and Systems, (46-60)
- Stoodley M and Sundaresan V Automatically Reducing Repetitive Synchronization with a Just-in-Time Compiler for Java Proceedings of the international symposium on Code generation and optimization, (27-36)
- Manson J, Pugh W and Adve S (2005). The Java memory model, ACM SIGPLAN Notices, 40:1, (378-391), Online publication date: 12-Jan-2005.
- Cobbe R and Felleisen M (2005). Environmental acquisition revisited, ACM SIGPLAN Notices, 40:1, (14-25), Online publication date: 12-Jan-2005.
- Manson J, Pugh W and Adve S The Java memory model Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (378-391)
- Cobbe R and Felleisen M Environmental acquisition revisited Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (14-25)
- Bouyssounouse B and Sifakis J References Embedded Systems Design, (204-215)
- Ohe H and Chang B An exception monitoring system for java Proceedings of the First international conference on Rapid Integration of Software Engineering Techniques, (71-81)
- Giese M (2004). Taclets and the KeY Prover, Electronic Notes in Theoretical Computer Science (ENTCS), 103, (67-79), Online publication date: 1-Nov-2004.
- Ren X, Shah F, Tip F, Ryder B and Chesley O Chianti Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (432-448)
- Weimer W and Necula G Finding and preventing run-time error handling mistakes Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (419-431)
- Millstein T Practical predicate dispatch Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (345-364)
- Bracha G and Ungar D Mirrors Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (331-344)
- Goldberg D, Findler R and Flatt M Super and inner Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (116-129)
- Birka A and Ernst M A practical type system and language for reference immutability Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (35-49)
- Donovan A, Kiežun A, Tschantz M and Ernst M Converting java programs to use generic libraries Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (15-34)
- von Dincklage D and Diwan A Converting Java classes to use generics Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (1-14)
- Ren X, Shah F, Tip F, Ryder B and Chesley O (2004). Chianti, ACM SIGPLAN Notices, 39:10, (432-448), Online publication date: 1-Oct-2004.
- Weimer W and Necula G (2004). Finding and preventing run-time error handling mistakes, ACM SIGPLAN Notices, 39:10, (419-431), Online publication date: 1-Oct-2004.
- Millstein T (2004). Practical predicate dispatch, ACM SIGPLAN Notices, 39:10, (345-364), Online publication date: 1-Oct-2004.
- Bracha G and Ungar D (2004). Mirrors, ACM SIGPLAN Notices, 39:10, (331-344), Online publication date: 1-Oct-2004.
- Goldberg D, Findler R and Flatt M (2004). Super and inner, ACM SIGPLAN Notices, 39:10, (116-129), Online publication date: 1-Oct-2004.
- Birka A and Ernst M (2004). A practical type system and language for reference immutability, ACM SIGPLAN Notices, 39:10, (35-49), Online publication date: 1-Oct-2004.
- Donovan A, Kiežun A, Tschantz M and Ernst M (2004). Converting java programs to use generic libraries, ACM SIGPLAN Notices, 39:10, (15-34), Online publication date: 1-Oct-2004.
- von Dincklage D and Diwan A (2004). Converting Java classes to use generics, ACM SIGPLAN Notices, 39:10, (1-14), Online publication date: 1-Oct-2004.
- Mitra T, Roychoudhury A and Shen Q Impact of Java Memory Model on Out-of-Order Multiprocessors Proceedings of the 13th International Conference on Parallel Architectures and Compilation Techniques, (99-110)
- Hill R and Rideout J Automatic Method Completion Proceedings of the 19th IEEE international conference on Automated software engineering, (228-235)
- Cohen M (2004). The development of a game playing framework using interface-based programming, XRDS: Crossroads, The ACM Magazine for Students, 10:4, (5-5), Online publication date: 31-Aug-2004.
- Hulaas J and Binder W Program transformations for portable CPU accounting and control in Java Proceedings of the 2004 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, (169-177)
- Serrano M, Boussinot F and Serpette B Scheme fair threads Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming, (203-214)
- Ton L, Chang L, Shann J and Chung C (2004). A software/hardware cooperated stack operations folding model for Java processors, Journal of Systems and Software, 72:3, (377-387), Online publication date: 1-Aug-2004.
- Debbabi M, Gherbi A, Ketari L, Talhi C, Yahyaoui H and Zhioua S a synergy between efficient interpretation and fast selective dynamic compilation for the acceleration of embedded Java virtual machines Proceedings of the 3rd international symposium on Principles and practice of programming in Java, (107-113)
- Lhoták O and Hendren L (2004). Jedd, ACM SIGPLAN Notices, 39:6, (158-169), Online publication date: 9-Jun-2004.
- Lhoták O and Hendren L Jedd Proceedings of the ACM SIGPLAN 2004 conference on Programming language design and implementation, (158-169)
- Kawahito M, Komatsu H and Nakatani T Instruction combining for coalescing memory accesses using global code motion Proceedings of the 2004 workshop on Memory system performance, (2-11)
- Grcevski N, Kielstra A, Stoodley K, Stoodley M and Sundaresan V JavaTM just-in-time compiler and virtual machine improvements for server and middleware applications Proceedings of the 3rd conference on Virtual Machine Research And Technology Symposium - Volume 3, (12-12)
- Nishiyama H Detecting data races using dynamic escape analysis based on read barrier Proceedings of the 3rd conference on Virtual Machine Research And Technology Symposium - Volume 3, (10-10)
- Keen A, Ge T, Maris J and Olsson R (2004). JR, ACM Transactions on Programming Languages and Systems, 26:3, (578-608), Online publication date: 1-May-2004.
- Pulimood S and Belkhouche B A Mobile Computational model for Internet programming Proceedings of the 42nd annual Southeast regional conference, (347-352)
- Sridranop N and Stansifer R Adding polymorphic tuples and lists to the syntax of Java Proceedings of the 42nd annual Southeast regional conference, (255-260)
- Necula G and Lee P (2004). The design and implementation of a certifying compiler, ACM SIGPLAN Notices, 39:4, (612-625), Online publication date: 1-Apr-2004.
- Bacon D, Konuru R, Murthy C and Serrano M (2004). Thin locks, ACM SIGPLAN Notices, 39:4, (583-595), Online publication date: 1-Apr-2004.
- Steele G and White J (2004). How to print floating-point numbers accurately, ACM SIGPLAN Notices, 39:4, (372-389), Online publication date: 1-Apr-2004.
- Sandén B (2004). Coping with Java Threads, Computer, 37:4, (20-27), Online publication date: 1-Apr-2004.
- Whitaker A, Cox R, Shaw M and Grible S Constructing services with interposable virtual hardware Proceedings of the 1st conference on Symposium on Networked Systems Design and Implementation - Volume 1, (13-13)
- Bonér J What are the key issues for commercial AOP use Proceedings of the 3rd international conference on Aspect-oriented software development, (5-6)
- Demetrescu C and Finocchi I A portable virtual machine for program debugging and directing Proceedings of the 2004 ACM symposium on Applied computing, (1524-1530)
- Lucchi R and Zavattaro G WSSecSpaces Proceedings of the 2004 ACM symposium on Applied computing, (487-491)
- Barnett M, Leino K and Schulte W The spec# programming system Proceedings of the 2004 international conference on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, (49-69)
- Diwan A, Waite W and Jackson M PL-detective Proceedings of the 35th SIGCSE technical symposium on Computer science education, (80-84)
- Diwan A, Waite W and Jackson M (2004). PL-detective, ACM SIGCSE Bulletin, 36:1, (80-84), Online publication date: 1-Mar-2004.
- Varma A and Bhattacharyya S Java-through-C Compilation Proceedings of the conference on Design, automation and test in Europe - Volume 3
- Walther C and Schweitzer S (2004). Verification in the Classroom, Journal of Automated Reasoning, 32:1, (35-73), Online publication date: 31-Jan-2004.
- Kfoury A and Wells J (2004). Principality and type inference for intersection types using expansion variables, Theoretical Computer Science, 311:1-3, (1-70), Online publication date: 23-Jan-2004.
- Ancona D and Zucca E Principal typings for Java-like languages Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (306-317)
- Flanagan C and Freund S Atomizer Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (256-267)
- Page J, Zaslavsky A and Indrawan M A buddy model of security for mobile agent communities operating in pervasive scenarios Proceedings of the second workshop on Australasian information security, Data Mining and Web Intelligence, and Software Internationalisation - Volume 32, (17-25)
- Ancona D and Zucca E (2004). Principal typings for Java-like languages, ACM SIGPLAN Notices, 39:1, (306-317), Online publication date: 1-Jan-2004.
- Flanagan C and Freund S (2004). Atomizer, ACM SIGPLAN Notices, 39:1, (256-267), Online publication date: 1-Jan-2004.
- Swift M, Bershad B and Levy H (2003). Improving the reliability of commodity operating systems, ACM SIGOPS Operating Systems Review, 37:5, (207-222), Online publication date: 1-Dec-2003.
- Fähndrich M and Leino K (2003). Declaring and checking non-null types in an object-oriented language, ACM SIGPLAN Notices, 38:11, (302-312), Online publication date: 26-Nov-2003.
- Corwin J, Bacon D, Grove D and Murthy C (2003). MJ, ACM SIGPLAN Notices, 38:11, (241-254), Online publication date: 26-Nov-2003.
- Ishizaki K, Takeuchi M, Kawachiya K, Suganuma T, Gohda O, Inagaki T, Koseki A, Ogata K, Kawahito M, Yasue T, Ogasawara T, Onodera T, Komatsu H and Nakatani T (2003). Effectiveness of cross-platform optimizations for a java just-in-time compiler, ACM SIGPLAN Notices, 38:11, (187-204), Online publication date: 26-Nov-2003.
- Vogels W HPC.NET - are CLI-based Virtual Machines Suitable for High Performance Computing? Proceedings of the 2003 ACM/IEEE conference on Supercomputing
- Choi J, Gupta M, Serrano M, Sreedhar V and Midkiff S (2003). Stack allocation and synchronization optimizations for Java using escape analysis, ACM Transactions on Programming Languages and Systems, 25:6, (876-910), Online publication date: 1-Nov-2003.
- Bauer M New covert channels in HTTP Proceedings of the 2003 ACM workshop on Privacy in the electronic society, (72-78)
- Stephenson B and Holst W Multicodes Companion of the 18th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (328-329)
- Fähndrich M and Leino K Declaring and checking non-null types in an object-oriented language Proceedings of the 18th annual ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications, (302-312)
- Corwin J, Bacon D, Grove D and Murthy C MJ Proceedings of the 18th annual ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications, (241-254)
- Ishizaki K, Takeuchi M, Kawachiya K, Suganuma T, Gohda O, Inagaki T, Koseki A, Ogata K, Kawahito M, Yasue T, Ogasawara T, Onodera T, Komatsu H and Nakatani T Effectiveness of cross-platform optimizations for a java just-in-time compiler Proceedings of the 18th annual ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications, (187-204)
- Swift M, Bershad B and Levy H Improving the reliability of commodity operating systems Proceedings of the nineteenth ACM symposium on Operating systems principles, (207-222)
- O'Callahan R and Choi J (2003). Hybrid dynamic data race detection, ACM SIGPLAN Notices, 38:10, (167-178), Online publication date: 1-Oct-2003.
- Carlsson R Parameterized modules in Erlang Proceedings of the 2003 ACM SIGPLAN workshop on Erlang, (29-35)
- Mantel H and Sabelfeld A (2003). A unifying approach to the security of distributed and multi-threaded programs, Journal of Computer Security, 11:4, (615-676), Online publication date: 1-Jul-2003.
- Fang X, Lee J and Midkiff S Automatic fence insertion for shared memory multiprocessing Proceedings of the 17th annual international conference on Supercomputing, (285-294)
- Quig B, Rosenberg J and Kölling M Supporting interactive invocation of remote services within an integrated programming environment Proceedings of the 2nd international conference on Principles and practice of programming in Java, (195-200)
- Diehl S and Bieg C A new approach for implementing stand-alone and Web-based interpreters for Java Proceedings of the 2nd international conference on Principles and practice of programming in Java, (31-34)
- Yeung K and Kelly P Optimising Java RMI programs by communication restructuring Proceedings of the ACM/IFIP/USENIX 2003 International Conference on Middleware, (324-343)
- Rouvoy R and Merle P Abstraction of transaction demarcation in component-oriented platforms Proceedings of the ACM/IFIP/USENIX 2003 International Conference on Middleware, (305-323)
- O'Callahan R and Choi J Hybrid dynamic data race detection Proceedings of the ninth ACM SIGPLAN symposium on Principles and practice of parallel programming, (167-178)
- Chen M and Olukotun K The Jrpm system for dynamically parallelizing Java programs Proceedings of the 30th annual international symposium on Computer architecture, (434-446)
- Flanagan C and Qadeer S A type and effect system for atomicity Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation, (338-349)
- Inagaki T, Onodera T, Komatsu H and Nakatani T Stride prefetching by dynamically inspecting objects Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation, (269-277)
- DeSouza J and Kalé L Jade Proceedings of the 2003 international conference on Computational science: PartIII, (760-769)
- Price D, Rudys A and Wallach D Garbage Collector Memory Accounting in Language-Based Systems Proceedings of the 2003 IEEE Symposium on Security and Privacy
- Flanagan C and Qadeer S (2003). A type and effect system for atomicity, ACM SIGPLAN Notices, 38:5, (338-349), Online publication date: 9-May-2003.
- Inagaki T, Onodera T, Komatsu H and Nakatani T (2003). Stride prefetching by dynamically inspecting objects, ACM SIGPLAN Notices, 38:5, (269-277), Online publication date: 9-May-2003.
- Chen M and Olukotun K (2003). The Jrpm system for dynamically parallelizing Java programs, ACM SIGARCH Computer Architecture News, 31:2, (434-446), Online publication date: 1-May-2003.
- Nystrom N, Clarkson M and Myers A Polyglot Proceedings of the 12th international conference on Compiler construction, (138-152)
- Zhao J and Rinard M Pipa Proceedings of the 6th international conference on Fundamental approaches to software engineering, (150-165)
- Kwon J, Wellings A and King S (2003). Assessment of the Java programming language for use in high integrity systems, ACM SIGPLAN Notices, 38:4, (34-46), Online publication date: 1-Apr-2003.
- Hoare C (2003). Assertions, IEEE Annals of the History of Computing, 25:2, (14-25), Online publication date: 1-Apr-2003.
- Inagaki T, Komatsu H and Nakatani T Integrated prepass scheduling for a Java Just-In-Time compiler on the IA-64 architecture Proceedings of the international symposium on Code generation and optimization: feedback-directed and runtime optimization, (159-168)
- Zimmermann W and Dold A A framework for modeling the semantics of expression evaluation with abstract state machines Proceedings of the abstract state machines 10th international conference on Advances in theory and practice, (391-406)
- Awhad V and Wallace C A unified formal specification and analysis of the new java memory models Proceedings of the abstract state machines 10th international conference on Advances in theory and practice, (166-185)
- Dennis J (2003). Fresh Breeze, ACM SIGARCH Computer Architecture News, 31:1, (7-15), Online publication date: 1-Mar-2003.
- Carlisle M, Sward R and Humphries J (2002). Weaving Ada 95 into the .net environment, ACM SIGAda Ada Letters, XXIII:1, (22-26), Online publication date: 1-Mar-2003.
- StrØm Ø, Svarstad K and Aas E (2003). On the Utilization of Java Technology in Embedded Systems, Design Automation for Embedded Systems, 8:1, (87-106), Online publication date: 1-Mar-2003.
- Tikir M, Hollingsworth J and Lueh G (2002). Recompilation for debugging support in a JIT-compiler, ACM SIGSOFT Software Engineering Notes, 28:1, (10-17), Online publication date: 17-Jan-2003.
- Boyapati C, Liskov B and Shrira L (2003). Ownership types for object encapsulation, ACM SIGPLAN Notices, 38:1, (213-223), Online publication date: 15-Jan-2003.
- Boyapati C, Liskov B and Shrira L Ownership types for object encapsulation Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (213-223)
- Liu J and Myers A JMatch Proceedings of the 5th International Symposium on Practical Aspects of Declarative Languages, (110-127)
- Leino K and Nelson G Abstraction dependencies Programming methodology, (269-289)
- Bloss A and Lee J Parameter passing Encyclopedia of Computer Science, (1365-1367)
- Bloss A Language processors Encyclopedia of Computer Science, (955-958)
- Thimbleby H Java Encyclopedia of Computer Science, (937-941)
- Spohrer J and Dickey K Exception handling Encyclopedia of Computer Science, (682-683)
- Wortman D Class Encyclopedia of Computer Science, (212-214)
- Lencevicius R, Hölzle U and Singh A (2003). Dynamic Query-Based Debugging of Object-Oriented Programs, Automated Software Engineering, 10:1, (39-74), Online publication date: 1-Jan-2003.
- Reis R, Reis C, Schlebbe H and José nunes D (2002). Automatic Verification of Static Policies on Software Process Models, Annals of Software Engineering, 14:1-4, (197-234), Online publication date: 10-Dec-2002.
- Carlisle M, Sward R and Humphries J Weaving Ada 95 into the .net environment Proceedings of the 2002 annual ACM SIGAda international conference on Ada: The engineering of correct and reliable software for real-time & distributed systems using Ada and related technologies, (22-26)
- Brose G (2002). Manageable access control for CORBA, Journal of Computer Security, 10:4, (301-337), Online publication date: 1-Dec-2002.
- Ogata K, Komatsu H and Nakatani T (2002). Bytecode fetch optimization for a Java interpreter, ACM SIGOPS Operating Systems Review, 36:5, (58-67), Online publication date: 1-Dec-2002.
- Ogata K, Komatsu H and Nakatani T (2002). Bytecode fetch optimization for a Java interpreter, ACM SIGARCH Computer Architecture News, 30:5, (58-67), Online publication date: 1-Dec-2002.
- Sung M, Kim S, Park S, Chang N and Shin H (2002). Comparative performance evaluation of Java threads for embedded applications, Information Processing Letters, 84:4, (221-225), Online publication date: 30-Nov-2002.
- Tikir M, Hollingsworth J and Lueh G Recompilation for debugging support in a JIT-compiler Proceedings of the 2002 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering, (10-17)
- Boyapati C, Lee R and Rinard M (2002). Ownership types for safe programming, ACM SIGPLAN Notices, 37:11, (211-230), Online publication date: 17-Nov-2002.
- Kawachiya K, Koseki A and Onodera T (2002). Lock reservation, ACM SIGPLAN Notices, 37:11, (130-141), Online publication date: 17-Nov-2002.
- Shuf Y, Gupta M, Franke H, Appel A and Singh J (2002). Creating and preserving locality of java applications at allocation and garbage collection times, ACM SIGPLAN Notices, 37:11, (13-25), Online publication date: 17-Nov-2002.
- Rudys A and Wallach D Enforcing Java run-time properties using bytecode rewriting Proceedings of the 2002 Mext-NSF-JSPS international conference on Software security: theories and systems, (185-200)
- Vivanco R and Pizzi N Computational performance of Java and C++ in processing fMRI datasets Companion of the 17th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (100-101)
- Manson J The design and verification of Java's memory model Companion of the 17th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (10-11)
- Boyapati C, Lee R and Rinard M Ownership types for safe programming Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (211-230)
- Kawachiya K, Koseki A and Onodera T Lock reservation Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (130-141)
- Shuf Y, Gupta M, Franke H, Appel A and Singh J Creating and preserving locality of java applications at allocation and garbage collection times Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (13-25)
- Pechtchanski I and Sarkar V Immutability specification and its applications Proceedings of the 2002 joint ACM-ISCOPE conference on Java Grande, (202-211)
- Yang Y, Gopalakrishnan G and Lindstrom G Specifying Java thread semantics using a uniform memory model Proceedings of the 2002 joint ACM-ISCOPE conference on Java Grande, (192-201)
- Kwon J, Wellings A and King S Ravenscar-Java Proceedings of the 2002 joint ACM-ISCOPE conference on Java Grande, (131-140)
- Budimlic Z and Kennedy K Almost-whole-program compilation Proceedings of the 2002 joint ACM-ISCOPE conference on Java Grande, (104-111)
- Click C and Rose J Fast subtype checking in the HotSpot JVM Proceedings of the 2002 joint ACM-ISCOPE conference on Java Grande, (96-107)
- Carlsson R Hierarchical module namespaces in Erlang Proceedings of the 2002 ACM SIGPLAN workshop on Erlang, (1-5)
- Higuchi T and Ohori A Java bytecode as a typed term calculus Proceedings of the 4th ACM SIGPLAN international conference on Principles and practice of declarative programming, (201-211)
- Chen G Full integration of subtyping and if-expression Proceedings of the 4th ACM SIGPLAN international conference on Principles and practice of declarative programming, (181-188)
- Ogata K, Komatsu H and Nakatani T Bytecode fetch optimization for a Java interpreter Proceedings of the 10th international conference on Architectural support for programming languages and operating systems, (58-67)
- Findler R and Felleisen M Contracts for higher-order functions Proceedings of the seventh ACM SIGPLAN international conference on Functional programming, (48-59)
- Ogata K, Komatsu H and Nakatani T (2002). Bytecode fetch optimization for a Java interpreter, ACM SIGPLAN Notices, 37:10, (58-67), Online publication date: 1-Oct-2002.
- Shpeisman T, Lueh G and Adl-Tabatabai A Just-In-Time Java? Compilation for the Itanium® Processor Proceedings of the 2002 International Conference on Parallel Architectures and Compilation Techniques, (249-258)
- Findler R and Felleisen M (2002). Contracts for higher-order functions, ACM SIGPLAN Notices, 37:9, (48-59), Online publication date: 17-Sep-2002.
- Malloy B, Power J and Waldron J Applying software engineering techniques to parser design Proceedings of the 2002 annual research conference of the South African institute of computer scientists and information technologists on Enablement through technology, (75-82)
- Schreiner W (2002). A java toolkit for teaching distributed algorithms, ACM SIGCSE Bulletin, 34:3, (111-115), Online publication date: 1-Sep-2002.
- Joisha P, Midkiff S, Serrano M and Gupta M (2002). Efficiently Adapting Java Binaries in Limited Memory Contexts, International Journal of Parallel Programming, 30:4, (257-289), Online publication date: 1-Aug-2002.
- Harkema M, Quartel D, Gijsen B and van der Mei R Performance monitoring of java applications Proceedings of the 3rd international workshop on Software and performance, (114-127)
- Milanova A, Rountev A and Ryder B Parameterized object sensitivity for points-to and side-effect analyses for Java Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis, (1-11)
- Newsome M and Watson D (2002). Proxy compilation of dynamically loaded Java classes with MoJo, ACM SIGPLAN Notices, 37:7, (204-212), Online publication date: 17-Jul-2002.
- Milanova A, Rountev A and Ryder B (2002). Parameterized object sensitivity for points-to and side-effect analyses for Java, ACM SIGSOFT Software Engineering Notes, 27:4, (1-11), Online publication date: 1-Jul-2002.
- Ioannidis S, Bellovin S and Smith J Sub-operating systems Proceedings of the 10th workshop on ACM SIGOPS European workshop, (108-115)
- Swift M, Martin S, Levy H and Eggers S Nooks Proceedings of the 10th workshop on ACM SIGOPS European workshop, (102-107)
- Popplestone R (2002). POP, A Broad-Spectrum Programming Language, 1967---2002, Formal Aspects of Computing, 13:3-5, (196-213), Online publication date: 1-Jul-2002.
- Schreiner W A java toolkit for teaching distributed algorithms Proceedings of the 7th annual conference on Innovation and technology in computer science education, (111-115)
- Newsome M and Watson D Proxy compilation of dynamically loaded Java classes with MoJo Proceedings of the joint conference on Languages, compilers and tools for embedded systems: software and compilers for embedded systems, (204-212)
- Kawahito M, Komatsu H and Nakatani T Effective sign extension elimination Proceedings of the ACM SIGPLAN 2002 conference on Programming language design and implementation, (187-198)
- Koseki A, Komatsu H and Nakatani T Preference-directed graph coloring Proceedings of the ACM SIGPLAN 2002 conference on Programming language design and implementation, (33-44)
- Krintz C Using adaptive optimization techniques to teach mobile Java computing Proceedings of the inaugural conference on the Principles and Practice of programming, 2002 and Proceedings of the second workshop on Intermediate representation engineering for virtual machines, 2002, (41-46)
- Allen E and Cartwright R The case for run-time types in generic Java Proceedings of the inaugural conference on the Principles and Practice of programming, 2002 and Proceedings of the second workshop on Intermediate representation engineering for virtual machines, 2002, (19-24)
- Golm M, Felser M, Wawersich C and Kleinöder J The JX Operating System Proceedings of the General Track of the annual conference on USENIX Annual Technical Conference, (45-58)
- Larus J and Parkes M Using Cohort-Scheduling to Enhance Server Performance Proceedings of the General Track of the annual conference on USENIX Annual Technical Conference, (103-114)
- Gallesio E and Serrano M Biglook Proceedings of the FREENIX Track: 2002 USENIX Annual Technical Conference, (85-97)
- Osawa N, Asai K and Saito F An interactive toolkit library for 3D applications Proceedings of the workshop on Virtual environments 2002, (149-157)
- Mays D and LeBlanc R The cyclefree methodology Proceedings of the 24th International Conference on Software Engineering, (567-575)
- Roychoudhury A and Mitra T Specifying multithreaded Java semantics for program verification Proceedings of the 24th International Conference on Software Engineering, (489-499)
- Graunke P and Krishnamurthi S Advanced control flows for flexible graphical user interfaces Proceedings of the 24th International Conference on Software Engineering, (277-287)
- Kawahito M, Komatsu H and Nakatani T (2002). Effective sign extension elimination, ACM SIGPLAN Notices, 37:5, (187-198), Online publication date: 17-May-2002.
- Koseki A, Komatsu H and Nakatani T (2002). Preference-directed graph coloring, ACM SIGPLAN Notices, 37:5, (33-44), Online publication date: 17-May-2002.
- Orleans D Incremental programming with extensible decisions Proceedings of the 1st international conference on Aspect-oriented software development, (56-64)
- Chiba Y Tranlating Java to C without Inserting Class Initialization Tests Proceedings of the 16th International Parallel and Distributed Processing Symposium
- Cavalcanti A and Sampaio A From CSP-OZ to Java with Processes Proceedings of the 16th International Parallel and Distributed Processing Symposium
- Hrischuk C and Woodside C (2002). Logical Clock Requirements for Reverse Engineering Scenarios from a Distributed System, IEEE Transactions on Software Engineering, 28:4, (321-339), Online publication date: 1-Apr-2002.
- Abu-Ghazaleh N and Phatak D Verification caching Proceedings of the 2002 ACM symposium on Applied computing, (964-968)
- Binder W and Roth V Secure mobile agent systems using Java Proceedings of the 2002 ACM symposium on Applied computing, (115-119)
- Chambers C (2002). Staged compilation, ACM SIGPLAN Notices, 37:3, (1-8), Online publication date: 1-Mar-2002.
- Evered M Opsis Proceedings of the Fortieth International Conference on Tools Pacific: Objects for internet, mobile and embedded applications, (63-70)
- Shuf Y, Gupta M, Bordawekar R and Singh J Exploiting prolific types for memory management and optimizations Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (295-306)
- Chambers C Staged compilation Proceedings of the 2002 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation, (1-8)
- Glossner C, Schulte M and Vassiliadis S A Java-enabled DSP Embedded processor design challenges, (307-325)
- Evered M (2002). Bracket capabilities for distributed systems security, Australian Computer Science Communications, 24:1, (51-58), Online publication date: 1-Jan-2002.
- Evered M Bracket capabilities for distributed systems security Proceedings of the twenty-fifth Australasian conference on Computer science - Volume 4, (51-58)
- Moreira J, Midkiff S, Gupta M, Wu P, Almasi G and Artigas P (2002). NINJA: Java for high performance numerical computing, Scientific Programming, 10:1, (19-33), Online publication date: 1-Jan-2002.
- Farchi E, Hartman A and Pinter S (2002). Using a model-based test generator to test for standard conformance, IBM Systems Journal, 41:1, (89-110), Online publication date: 1-Jan-2002.
- Shuf Y, Gupta M, Bordawekar R and Singh J (2002). Exploiting prolific types for memory management and optimizations, ACM SIGPLAN Notices, 37:1, (295-306), Online publication date: 1-Jan-2002.
- Gendelman E, Bic L and Dillencourt M Fast File Access for Fast Agents Proceedings of the 5th International Conference on Mobile Agents, (88-102)
- Villazón A and Binder W Portable Resource Reification in Java-Based Mobile Agent Systems Proceedings of the 5th International Conference on Mobile Agents, (213-228)
- Varela C and Agha G (2001). Programming dynamically reconfigurable open systems with SALSA, ACM SIGPLAN Notices, 36:12, (20-34), Online publication date: 1-Dec-2001.
- Hartel P and Moreau L (2001). Formalizing the safety of Java, the Java virtual machine, and Java card, ACM Computing Surveys, 33:4, (517-558), Online publication date: 1-Dec-2001.
- Salgado L, Rendón E and Artola R System architecture for tourist orientation Proceedings of the 2001 conference on Virtual reality, archeology, and cultural heritage, (285-294)
- Graunke P, Findler R, Krishnamurthi S and Felleisen M Automatically Restructuring Programs for the Web Proceedings of the 16th IEEE international conference on Automated software engineering
- Blewitt A, Bundy A and Stark I Automatic Verification of Java Design Patterns Proceedings of the 16th IEEE international conference on Automated software engineering
- Silberhorn H TabulaMagica Proceedings of the 2001 ACM Symposium on Document engineering, (68-75)
- Eisenbach S and Sadler C Changing Java Programs Proceedings of the IEEE International Conference on Software Maintenance (ICSM'01)
- Pechtchanski I and Sarkar V (2001). Dynamic optimistic interprocedural analysis, ACM SIGPLAN Notices, 36:11, (195-210), Online publication date: 1-Nov-2001.
- Suganuma T, Yasue T, Kawahito M, Komatsu H and Nakatani T (2001). A dynamic optimization framework for a Java just-in-time compiler, ACM SIGPLAN Notices, 36:11, (180-195), Online publication date: 1-Nov-2001.
- Binder W, Hulaas J and Villazón A (2001). Portable resource control in Java, ACM SIGPLAN Notices, 36:11, (139-155), Online publication date: 1-Nov-2001.
- Czajkowski G and Daynès L (2001). Multitasking without comprimise, ACM SIGPLAN Notices, 36:11, (125-138), Online publication date: 1-Nov-2001.
- Alpern B, Cocchi A, Fink S and Grove D (2001). Efficient implementation of Java interfaces, ACM SIGPLAN Notices, 36:11, (108-124), Online publication date: 1-Nov-2001.
- Ogasawara T, Komatsu H and Nakatani T (2001). A study of exception handling and its dynamic optimization in Java, ACM SIGPLAN Notices, 36:11, (83-95), Online publication date: 1-Nov-2001.
- Boyapati C and Rinard M (2001). A parameterized type system for race-free Java programs, ACM SIGPLAN Notices, 36:11, (56-69), Online publication date: 1-Nov-2001.
- Rountev A, Milanova A and Ryder B (2001). Points-to analysis for Java using annotated constraints, ACM SIGPLAN Notices, 36:11, (43-55), Online publication date: 1-Nov-2001.
- Findler R and Felleisen M (2001). Contract Soundness for object-oriented languages, ACM SIGPLAN Notices, 36:11, (1-15), Online publication date: 1-Nov-2001.
- Baler R, Gran C, Scheller A and Zisowsky A Multimedia middleware for the future home Proceedings of the 2001 international workshop on Multimedia middleware, (48-51)
- Pechtchanski I and Sarkar V Dynamic optimistic interprocedural analysis Proceedings of the 16th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (195-210)
- Suganuma T, Yasue T, Kawahito M, Komatsu H and Nakatani T A dynamic optimization framework for a Java just-in-time compiler Proceedings of the 16th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (180-195)
- Binder W, Hulaas J and Villazón A Portable resource control in Java Proceedings of the 16th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (139-155)
- Czajkowski G and Daynès L Multitasking without comprimise Proceedings of the 16th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (125-138)
- Alpern B, Cocchi A, Fink S and Grove D Efficient implementation of Java interfaces Proceedings of the 16th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (108-124)
- Ogasawara T, Komatsu H and Nakatani T A study of exception handling and its dynamic optimization in Java Proceedings of the 16th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (83-95)
- Boyapati C and Rinard M A parameterized type system for race-free Java programs Proceedings of the 16th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (56-69)
- Rountev A, Milanova A and Ryder B Points-to analysis for Java using annotated constraints Proceedings of the 16th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (43-55)
- Findler R and Felleisen M Contract Soundness for object-oriented languages Proceedings of the 16th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (1-15)
- Moreira J, Midkiff S, Gupta M, Artigas P, Wu P and Almasi G (2001). The NINJA project, Communications of the ACM, 44:10, (102-109), Online publication date: 1-Oct-2001.
- Wolski R, Brevik J, Obertelli G, Spring N and Su A (2001). Writing Programs that Run EveryWare on the Computational Grid, IEEE Transactions on Parallel and Distributed Systems, 12:10, (1066-1080), Online publication date: 1-Oct-2001.
- Findler R, Latendresse M and Felleisen M Behavioral contracts and behavioral subtyping Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering, (229-236)
- Sliski T, Billmers M, Clarke L and Osterweil L An architecture for flexible, evolvable process-driven user-guidance environments Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering, (33-43)
- Findler R, Latendresse M and Felleisen M (2001). Behavioral contracts and behavioral subtyping, ACM SIGSOFT Software Engineering Notes, 26:5, (229-236), Online publication date: 1-Sep-2001.
- Sliski T, Billmers M, Clarke L and Osterweil L (2001). An architecture for flexible, evolvable process-driven user-guidance environments, ACM SIGSOFT Software Engineering Notes, 26:5, (33-43), Online publication date: 1-Sep-2001.
- Laneve C Inheritance in concurrent objects Formal methods for distributed processing, (326-353)
- Cardelli L and Gordon A Mobile ambients Formal methods for distributed processing, (198-229)
- Lee J and Padua D (2001). Hiding Relaxed Memory Consistency with a Compiler, IEEE Transactions on Computers, 50:8, (824-833), Online publication date: 1-Aug-2001.
- Rayside D and Kontogiannis K On the syllogistic structure of object-oriented programming Proceedings of the 23rd International Conference on Software Engineering, (113-122)
- Veldema R, Hofman R, Bhoedjang R, Jacobs C and Bal H (2001). Source-level global optimizations for fine-grain distributed shared memory systems, ACM SIGPLAN Notices, 36:7, (83-92), Online publication date: 1-Jul-2001.
- Krintz C and Calder B Using annotations to reduce dynamic optimization time Proceedings of the ACM SIGPLAN 2001 conference on Programming language design and implementation, (156-167)
- Shaham R, Kolodner E and Sagiv M Heap profiling for space-efficient Java Proceedings of the ACM SIGPLAN 2001 conference on Programming language design and implementation, (104-113)
- Veldema R, Hofman R, Bhoedjang R, Jacobs C and Bal H Source-level global optimizations for fine-grain distributed shared memory systems Proceedings of the eighth ACM SIGPLAN symposium on Principles and practices of parallel programming, (83-92)
- Joisha P, Midkiff S, Serrano M and Gupta M A framework for efficient reuse of binary code in Java Proceedings of the 15th international conference on Supercomputing, (440-453)
- Alexander D, Arbaugh W, Keromytis A and Smith J Security in active networks Secure Internet programming, (433-451)
- von Eicken T, Chang C, Czajkowski G, Hawblitzel C, Hu D and Spoonhower D J-Kernel Secure Internet programming, (369-393)
- Grimm R and Bershad B Providing policy-neutral and transparent access control in extensible systems Secure Internet programming, (317-338)
- Blaze M, Feigenbaum J, Ioannidis J and Keromytis A The role of trust management in distributed systems security Secure Internet programming, (185-210)
- Shuf Y, Serrano M, Gupta M and Singh J (2001). Characterizing the memory behavior of Java workloads, ACM SIGMETRICS Performance Evaluation Review, 29:1, (194-205), Online publication date: 1-Jun-2001.
- Palsberg J Type-based analysis and applications Proceedings of the 2001 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering, (20-27)
- Shuf Y, Serrano M, Gupta M and Singh J Characterizing the memory behavior of Java workloads Proceedings of the 2001 ACM SIGMETRICS international conference on Measurement and modeling of computer systems, (194-205)
- Breg F and Polychronopoulos C Java virtual machine support for object serialization Proceedings of the 2001 joint ACM-ISCOPE conference on Java Grande, (173-180)
- Sohda Y, Nakada H and Matsuoka S Implementation of a portable software DSM in Java Proceedings of the 2001 joint ACM-ISCOPE conference on Java Grande, (163-172)
- Veldema R, Hofman R, Bhoedjang R and Bal H Runtime optimizations for a Java DSM implementation Proceedings of the 2001 joint ACM-ISCOPE conference on Java Grande, (153-162)
- Manson J and Pugh W Core semantics of multithreaded Java Proceedings of the 2001 joint ACM-ISCOPE conference on Java Grande, (29-38)
- Chatterjee R, Ryder B and Landi W (2001). Complexity of Points-To Analysis of Java in the Presence of Exceptions, IEEE Transactions on Software Engineering, 27:6, (481-512), Online publication date: 1-Jun-2001.
- Maruyama K Automated method-extraction refactoring by using block-based slicing Proceedings of the 2001 symposium on Software reusability: putting software reuse in context, (31-40)
- Krintz C and Calder B (2001). Using annotations to reduce dynamic optimization time, ACM SIGPLAN Notices, 36:5, (156-167), Online publication date: 1-May-2001.
- Shaham R, Kolodner E and Sagiv M (2001). Heap profiling for space-efficient Java, ACM SIGPLAN Notices, 36:5, (104-113), Online publication date: 1-May-2001.
- Maruyama K (2001). Automated method-extraction refactoring by using block-based slicing, ACM SIGSOFT Software Engineering Notes, 26:3, (31-40), Online publication date: 1-May-2001.
- Aoki T and Eto T On the software virtual machine for the real hardware stack machine Proceedings of the 2001 Symposium on JavaTM Virtual Machine Research and Technology Symposium - Volume 1, (24-24)
- Printezis T Hot-swapping between a mark&sweep and a mark&compact garbage collector in a generational environment Proceedings of the 2001 Symposium on JavaTM Virtual Machine Research and Technology Symposium - Volume 1, (20-20)
- Barabash K, Buchbinder N, Domani T, Kolodner E, Ossia Y, Pinter S, Shepherd J, Sivan R and Umansky V Mostly accurate stack scanning Proceedings of the 2001 Symposium on JavaTM Virtual Machine Research and Technology Symposium - Volume 1, (19-19)
- Moore J and Porter G An executable formal java virtual machine thread model Proceedings of the 2001 Symposium on JavaTM Virtual Machine Research and Technology Symposium - Volume 1, (14-14)
- Alpern B, Cocchi A and Grove D Dynamic type checking in jalapeño Proceedings of the 2001 Symposium on JavaTM Virtual Machine Research and Technology Symposium - Volume 1, (4-4)
- A Hierarchical Cluster Algorithm for Dynamic, Centralized Timestamps Proceedings of the The 21st International Conference on Distributed Computing Systems
- JR Proceedings of the The 21st International Conference on Distributed Computing Systems
- Litiu R and Prakash A (2001). DACIA, ACM SIGOPS Operating Systems Review, 35:2, (31-42), Online publication date: 1-Apr-2001.
- Arnold M, Hsiao M, Kremer U and Ryder B (2001). Exploring the Interaction between Java's Implicitly Thrown Exceptions and Instruction Scheduling, International Journal of Parallel Programming, 29:2, (111-137), Online publication date: 1-Apr-2001.
- Knoblock T and Rehof J (2001). Type elaboration and subtype completion for Java bytecode, ACM Transactions on Programming Languages and Systems, 23:2, (243-272), Online publication date: 1-Mar-2001.
- Shields M and Meijer E (2001). Type-indexed rows, ACM SIGPLAN Notices, 36:3, (261-275), Online publication date: 1-Mar-2001.
- Yahav E (2001). Verifying safety properties of concurrent Java programs using 3-valued logic, ACM SIGPLAN Notices, 36:3, (27-40), Online publication date: 1-Mar-2001.
- Binder W (2001). J-SEAL2—A Secure High-Performance Mobile Agent System, Electronic Commerce Research, 1:1-2, (131-148), Online publication date: 1-Feb-2001.
- Wallace G, Biddle R and Tempero E Smarter cut-and-paste for programming text editors Proceedings of the 2nd Australasian conference on User interface, (56-63)
- Watanabe K, Chu W and Li Y Exploiting Java instruction/thread level parallelism with horizontal multithreading Proceedings of the 6th Australasian conference on Computer systems architecture, (122-129)
- Gough K Stacking them up Proceedings of the 6th Australasian conference on Computer systems architecture, (55-61)
- Richmond M and Noble J Reflections on remote reflection Proceedings of the 24th Australasian conference on Computer science, (163-170)
- Wallace G, Biddle R and Tempero E (2001). Smarter cut-and-paste for programming text editors, Australian Computer Science Communications, 23:5, (56-63), Online publication date: 25-Jan-2001.
- Watanabe K, Chu W and Li Y (2001). Exploiting Java instruction/thread level parallelism with horizontal multithreading, Australian Computer Science Communications, 23:4, (122-129), Online publication date: 15-Jan-2001.
- Gough K (2001). Stacking them up, Australian Computer Science Communications, 23:4, (55-61), Online publication date: 15-Jan-2001.
- Tripathi A and Miller R Exception handling in agent-oriented systems Advances in exception handling techniques, (128-146)
- Issarny V Concurrent exception handling Advances in exception handling techniques, (111-127)
- Richmond M and Noble J (2001). Reflections on remote reflection, Australian Computer Science Communications, 23:1, (163-170), Online publication date: 1-Jan-2001.
- Shields M and Meijer E Type-indexed rows Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (261-275)
- Yahav E Verifying safety properties of concurrent Java programs using 3-valued logic Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (27-40)
- Gong L (2001). A Software Architecture for Open Service Gateways, IEEE Internet Computing, 5:1, (64-70), Online publication date: 1-Jan-2001.
- Dinesh T, Haveraaen M and Heering J (2000). An algebraic programming style for numerical software and its optimization, Scientific Programming, 8:4, (247-259), Online publication date: 1-Dec-2000.
- Haveraaen M (2000). Machine and collection abstractions for user-implemented data-parallel programming, Scientific Programming, 8:4, (231-246), Online publication date: 1-Dec-2000.
- Haveraaen M (2000). Case study on algebraic software methodologies for scientific computing, Scientific Programming, 8:4, (261-273), Online publication date: 1-Dec-2000.
- Grant P, Haveraaen M and Webster M (2000). Coordinate free programming of computational fluid dynamics problems, Scientific Programming, 8:4, (211-230), Online publication date: 1-Dec-2000.
- Kawahito M, Komatsu H and Nakatani T (2000). Effective null pointer check elimination utilizing hardware trap, ACM SIGOPS Operating Systems Review, 34:5, (139-149), Online publication date: 1-Dec-2000.
- Kawahito M, Komatsu H and Nakatani T (2000). Effective null pointer check elimination utilizing hardware trap, ACM SIGARCH Computer Architecture News, 28:5, (139-149), Online publication date: 1-Dec-2000.
- Evered M and Menger G Using and teaching information hiding in single-semester software engineering projects Proceedings of the Australasian conference on Computing education, (103-108)
- Farnham S, Chesley H, McGhee D, Kawal R and Landau J Structured online interactions: improving the decision-making of small discussion groups Proceedings of the 2000 ACM conference on Computer supported cooperative work, (299-308)
- Kawahito M, Komatsu H and Nakatani T Effective null pointer check elimination utilizing hardware trap Proceedings of the ninth international conference on Architectural support for programming languages and operating systems, (139-149)
- Butkevich S, Renedo M, Baumgartner G and Young M Compiler and tool support for debugging object protocols Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of software engineering: twenty-first century applications, (50-59)
- Robillard M and Murphy G Designing robust Java programs with exceptions Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of software engineering: twenty-first century applications, (2-10)
- Barthe G and Serpette B Static reduction analysis for imperative object oriented languages Proceedings of the 7th international conference on Logic for programming and automated reasoning, (344-361)
- Butkevich S, Renedo M, Baumgartner G and Young M (2000). Compiler and tool support for debugging object protocols, ACM SIGSOFT Software Engineering Notes, 25:6, (50-59), Online publication date: 1-Nov-2000.
- Robillard M and Murphy G (2000). Designing robust Java programs with exceptions, ACM SIGSOFT Software Engineering Notes, 25:6, (2-10), Online publication date: 1-Nov-2000.
- Kawahito M, Komatsu H and Nakatani T (2000). Effective null pointer check elimination utilizing hardware trap, ACM SIGPLAN Notices, 35:11, (139-149), Online publication date: 1-Nov-2000.
- Tremblay M, Chan J, Chaudhry S, Conigliaro A and Tse S (2000). The MAJC Architecture, IEEE Micro, 20:6, (12-25), Online publication date: 1-Nov-2000.
- Keßler C (2000). NestStep, The Journal of Supercomputing, 17:3, (245-262), Online publication date: 1-Nov-2000.
- Osawa N, Asai K and Sugimoto Y Immersive graph navigation using direct manipulation and gestures Proceedings of the ACM symposium on Virtual reality software and technology, (147-152)
- Sonntag M and Hörmanseder R (2000). Mobile agent security based on payment, ACM SIGOPS Operating Systems Review, 34:4, (48-55), Online publication date: 1-Oct-2000.
- Bacon D, Strom R and Tarafdar A (2000). Guava, ACM SIGPLAN Notices, 35:10, (382-400), Online publication date: 1-Oct-2000.
- Qian Z, Goldberg A and Coglio A (2000). A formal specification of Java class loading, ACM SIGPLAN Notices, 35:10, (325-336), Online publication date: 1-Oct-2000.
- Glew N (2000). An efficient class and object encoding, ACM SIGPLAN Notices, 35:10, (311-324), Online publication date: 1-Oct-2000.
- Ishizaki K, Kawahito M, Yasue T, Komatsu H and Nakatani T (2000). A study of devirtualization techniques for a Java Just-In-Time compiler, ACM SIGPLAN Notices, 35:10, (294-310), Online publication date: 1-Oct-2000.
- Zaks A, Feldman V and Aizikowitz N (2000). Sealed calls in Java packages, ACM SIGPLAN Notices, 35:10, (83-92), Online publication date: 1-Oct-2000.
- Serrano M, Bordawekar R, Midkiff S and Gupta M (2000). Quicksilver, ACM SIGPLAN Notices, 35:10, (66-82), Online publication date: 1-Oct-2000.
- Arnold M, Fink S, Grove D, Hind M and Sweeney P (2000). Adaptive optimization in the Jalapeño JVM, ACM SIGPLAN Notices, 35:10, (47-65), Online publication date: 1-Oct-2000.
- Buhr P, Harji A, Lim P and Chen J (2000). Object-oriented real-time concurrency, ACM SIGPLAN Notices, 35:10, (29-46), Online publication date: 1-Oct-2000.
- Noble J, Holmes D and Potter J (2000). Exclusion for composite objects, ACM SIGPLAN Notices, 35:10, (13-28), Online publication date: 1-Oct-2000.
- Maessen J and Shen X (2000). Improving the Java memory model using CRF, ACM SIGPLAN Notices, 35:10, (1-12), Online publication date: 1-Oct-2000.
- Bacon D, Strom R and Tarafdar A Guava Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (382-400)
- Qian Z, Goldberg A and Coglio A A formal specification of Java class loading Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (325-336)
- Glew N An efficient class and object encoding Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (311-324)
- Ishizaki K, Kawahito M, Yasue T, Komatsu H and Nakatani T A study of devirtualization techniques for a Java Just-In-Time compiler Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (294-310)
- Zaks A, Feldman V and Aizikowitz N Sealed calls in Java packages Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (83-92)
- Serrano M, Bordawekar R, Midkiff S and Gupta M Quicksilver Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (66-82)
- Arnold M, Fink S, Grove D, Hind M and Sweeney P Adaptive optimization in the Jalapeño JVM Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (47-65)
- Buhr P, Harji A, Lim P and Chen J Object-oriented real-time concurrency Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (29-46)
- Noble J, Holmes D and Potter J Exclusion for composite objects Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (13-28)
- Maessen J and Shen X Improving the Java memory model using CRF Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (1-12)
- Partridge C, Snoeren A, Strayer W, Schwartz B, Condell M and Castiñeyra I (2000). FIRE, ACM SIGCOMM Computer Communication Review, 30:4, (191-203), Online publication date: 1-Oct-2000.
- Murata T and Borgida A (2000). Handling of Irregularities in Human Centered Systems, IEEE Transactions on Software Engineering, 26:10, (959-977), Online publication date: 1-Oct-2000.
- Burnett M, Agrawal A and van Zee P (2000). Exception Handling in the Spreadsheet Paradigm, IEEE Transactions on Software Engineering, 26:10, (923-942), Online publication date: 1-Oct-2000.
- Grimm R, Anderson T, Bershad B and Wetherall D A system architecture for pervasive computing Proceedings of the 9th workshop on ACM SIGOPS European workshop: beyond the PC: new challenges for the operating system, (177-182)
- Weirich S (2000). Type-safe cast, ACM SIGPLAN Notices, 35:9, (58-67), Online publication date: 1-Sep-2000.
- Raab J, Rasala R and Proulx V (2000). Pedagogical power tools for teaching Java, ACM SIGCSE Bulletin, 32:3, (156-159), Online publication date: 1-Sep-2000.
- Weirich S Type-safe cast Proceedings of the fifth ACM SIGPLAN international conference on Functional programming, (58-67)
- Börger E and Schulte W (2000). A Practical Method for Specification and Analysis of Exception Handling-A Java/JVM Case Study, IEEE Transactions on Software Engineering, 26:9, (872-887), Online publication date: 1-Sep-2000.
- Sinha S and Harrold M (2000). Analysis and Testing of Programs with Exception Handling Constructs, IEEE Transactions on Software Engineering, 26:9, (849-871), Online publication date: 1-Sep-2000.
- Buhr P and Mok W (2000). Advanced Exception Handling Mechanisms, IEEE Transactions on Software Engineering, 26:9, (820-836), Online publication date: 1-Sep-2000.
- Thibault S, Consel C, Lawall J, Marlet R and Muller G (2000). Static and Dynamic Program Compilation by Interpreter Specialization, Higher-Order and Symbolic Computation, 13:3, (161-178), Online publication date: 1-Sep-2000.
- Partridge C, Snoeren A, Strayer W, Schwartz B, Condell M and Castiñeyra I FIRE Proceedings of the conference on Applications, Technologies, Architectures, and Protocols for Computer Communication, (191-203)
- van Doorn L A secure javaTM virtual machine Proceedings of the 9th conference on USENIX Security Symposium - Volume 9, (2-2)
- Flanagan C and Freund S Type-based race detection for Java Proceedings of the ACM SIGPLAN 2000 conference on Programming language design and implementation, (219-232)
- Ruf E Effective synchronization removal for Java Proceedings of the ACM SIGPLAN 2000 conference on Programming language design and implementation, (208-218)
- Sreedhar V, Burke M and Choi J A framework for interprocedural optimization in the presence of dynamic class loading Proceedings of the ACM SIGPLAN 2000 conference on Programming language design and implementation, (196-207)
- Cierniak M, Lueh G and Stichnoth J Practicing JUDO Proceedings of the ACM SIGPLAN 2000 conference on Programming language design and implementation, (13-26)
- Kammer P, Bolcer G, Taylor R, Hitomi A and Bergman M (2000). Techniques for Supporting Dynamic and Adaptive Workflow, Computer Supported Cooperative Work, 9:3-4, (269-292), Online publication date: 1-Aug-2000.
- Hogan C and Frederking R WebDIPLOMAT Proceedings of the 18th conference on Computational linguistics - Volume 2, (1041-1045)
- Hind M and Pioli A Traveling Through Dakota Proceedings of the Technology of Object-Oriented Languages and Systems (TOOLS 34'00)
- Raab J, Rasala R and Proulx V Pedagogical power tools for teaching Java Proceedings of the 5th annual SIGCSE/SIGCUE ITiCSEconference on Innovation and technology in computer science education, (156-159)
- Agesen O, Detlefs D, Flood C, Garthwaite A, Martin P, Shavit N and Steele G DCAS-based concurrent deques Proceedings of the twelfth annual ACM symposium on Parallel algorithms and architectures, (137-146)
- Gorla G, Moser E, Nebel W and Villar E (2000). System Specification Experiments on a Common Benchmark, IEEE Design & Test, 17:3, (22-32), Online publication date: 1-Jul-2000.
- Kim J and Hsu Y Memory system behavior of Java programs Proceedings of the 2000 ACM SIGMETRICS international conference on Measurement and modeling of computer systems, (264-274)
- Farkas K, Flinn J, Back G, Grunwald D and Anderson J Quantifying the energy consumption of a pocket computer and a Java virtual machine Proceedings of the 2000 ACM SIGMETRICS international conference on Measurement and modeling of computer systems, (252-263)
- Aridor Y, Factor M, Teperman A, Eilam T and Schuster A A high performance cluster JVM presenting a pure single system image Proceedings of the ACM 2000 conference on Java Grande, (168-177)
- Krintz C and Wolski R JavaNws Proceedings of the ACM 2000 conference on Java Grande, (116-125)
- Lea D A Java fork/join framework Proceedings of the ACM 2000 conference on Java Grande, (36-43)
- Bonachea D Bulk file I/O extensions to Java Proceedings of the ACM 2000 conference on Java Grande, (16-25)
- Oliver J, Ayguadé E and Navarro N Towards an efficient exploitation of loop-level parallelism in Java Proceedings of the ACM 2000 conference on Java Grande, (9-15)
- Lee S, Yang B, Kim S, Park S, Moon S, Ebcioğlu K and Altman E Efficient Java exception handling in just-in-time compilation Proceedings of the ACM 2000 conference on Java Grande, (1-8)
- Kim J and Hsu Y (2000). Memory system behavior of Java programs, ACM SIGMETRICS Performance Evaluation Review, 28:1, (264-274), Online publication date: 1-Jun-2000.
- Farkas K, Flinn J, Back G, Grunwald D and Anderson J (2000). Quantifying the energy consumption of a pocket computer and a Java virtual machine, ACM SIGMETRICS Performance Evaluation Review, 28:1, (252-263), Online publication date: 1-Jun-2000.
- Dalpasso M, Bogliolo A and Benini L Hardware/software IP protection Proceedings of the 37th Annual Design Automation Conference, (593-596)
- Iosif R Formal verification applied to Java concurrent software Proceedings of the 22nd international conference on Software engineering, (707-709)
- Bollella G and Gosling J (2000). The Real-Time Specification for Java, Computer, 33:6, (47-54), Online publication date: 1-Jun-2000.
- Flanagan C and Freund S (2000). Type-based race detection for Java, ACM SIGPLAN Notices, 35:5, (219-232), Online publication date: 1-May-2000.
- Ruf E (2000). Effective synchronization removal for Java, ACM SIGPLAN Notices, 35:5, (208-218), Online publication date: 1-May-2000.
- Sreedhar V, Burke M and Choi J (2000). A framework for interprocedural optimization in the presence of dynamic class loading, ACM SIGPLAN Notices, 35:5, (196-207), Online publication date: 1-May-2000.
- Cierniak M, Lueh G and Stichnoth J (2000). Practicing JUDO, ACM SIGPLAN Notices, 35:5, (13-26), Online publication date: 1-May-2000.
- Maruyama K and Shima K (2000). An Automatic Class Generation Mechanism by Using Method Integration, IEEE Transactions on Software Engineering, 26:5, (425-440), Online publication date: 1-May-2000.
- Schmidt D (2000). Induction, Domains, Calculi, Higher-Order and Symbolic Computation, 13:1-2, (89-101), Online publication date: 1-Apr-2000.
- Fontanelli A, Arnone L, Branca R and Mastrorocco G Early Addressing IC and Package Relationship Allows an Overall Better Quality of Complex SOC Proceedings of the 1st International Symposium on Quality of Electronic Design
- Miller Q and Sufrin B Eclectic CSP Proceedings of the 2000 ACM symposium on Applied computing - Volume 2, (840-842)
- Doyon S and Debbabi M Verifying object initialization in the Java bytecode language Proceedings of the 2000 ACM symposium on Applied computing - Volume 2, (821-830)
- Lenart A, Sadler C and Gupta S SSA-based flow-sensitive type analysis Proceedings of the 2000 ACM symposium on Applied computing - Volume 2, (813-817)
- Boujarwah A, Saleh K and Al-Dallal J Testing Java programs using dynamic data flow analysis Proceedings of the 2000 ACM symposium on Applied computing - Volume 2, (725-727)
- Salmela M and Kyllönen H Smart virtual prototypes Proceedings of the fifth symposium on Virtual reality modeling language (Web3D-VRML), (87-93)
- Knoblock T and Rehof J Type elaboration and subtype completion for Java bytecode Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (228-242)
- Liblit B and Aiken A Type systems for distributed data structures Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (199-213)
- Su Z, Fähndrich M and Aiken A Projection merging Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (81-95)
- Suganuma T, Ogasawara T, Takeuchi M, Yasue T, Kawahito M, Ishizaki K, Komatsu H and Nakatani T (2000). Overview of the IBM Java just-in-time compiler, IBM Systems Journal, 39:1, (175-193), Online publication date: 1-Jan-2000.
- Gu W, Burns N, Collins M and Wong W (2000). The evolution of a high-performing Java virtual machine, IBM Systems Journal, 39:1, (135-150), Online publication date: 1-Jan-2000.
- Viswanathan D and Liang S (2000). Java virtual machine profiler interface, IBM Systems Journal, 39:1, (82-95), Online publication date: 1-Jan-2000.
- Wilsey P Web-based analysis and distributed IP Proceedings of the 31st conference on Winter simulation: Simulation---a bridge to the future - Volume 2, (1445-1453)
- Rayside D, Mamas E and Hons E Compact Java binaries for embedded systems Proceedings of the 1999 conference of the Centre for Advanced Studies on Collaborative research
- Helaihel R and Olukotun K JMTP Proceedings of the 1999 IEEE/ACM international conference on Computer-aided design, (551-557)
- Garcia A, Beder D and Rubira C An Exception Handling Mechanism for Developing Dependable Object-Oriented Software Based on a Meta-Level Approach Proceedings of the 10th International Symposium on Software Reliability Engineering
- Hofmann C A multi-tier framework for accessing distributed, heterogeneous spatial data in a federation based EIS Proceedings of the 7th ACM international symposium on Advances in geographic information systems, (140-145)
- Robillard M and Murphy G (1999). Analyzing exception flow in Java programs, ACM SIGSOFT Software Engineering Notes, 24:6, (322-337), Online publication date: 1-Nov-1999.
- Chang J and Richardson D (1999). Structural specification-based testing, ACM SIGSOFT Software Engineering Notes, 24:6, (285-302), Online publication date: 1-Nov-1999.
- Robillard M and Murphy G Analyzing exception flow in Java programs Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering, (322-337)
- Chang J and Richardson D Structural specification-based testing Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering, (285-302)
- Evans H and Dickman P (1999). Zones, contracts and absorbing changes, ACM SIGPLAN Notices, 34:10, (415-434), Online publication date: 1-Oct-1999.
- Kersten M and Murphy G (1999). Atlas, ACM SIGPLAN Notices, 34:10, (340-352), Online publication date: 1-Oct-1999.
- Alpern B, Attanasio C, Cocchi A, Lieber D, Smith S, Ngo T, Barton J, Hummel S, Sheperd J and Mergen M (1999). Implementing jalapeño in Java, ACM SIGPLAN Notices, 34:10, (314-324), Online publication date: 1-Oct-1999.
- Tip F, Laffra C, Sweeney P and Streeter D (1999). Practical experience with an application extractor for Java, ACM SIGPLAN Notices, 34:10, (292-305), Online publication date: 1-Oct-1999.
- Chambers C and Chen W (1999). Efficient multiple and predicated dispatching, ACM SIGPLAN Notices, 34:10, (238-255), Online publication date: 1-Oct-1999.
- Onodera T and Kawachiya K (1999). A study of locking objects with bimodal fields, ACM SIGPLAN Notices, 34:10, (223-237), Online publication date: 1-Oct-1999.
- Duggan D (1999). Modular type-based reverse engineering of parameterized types in Java code, ACM SIGPLAN Notices, 34:10, (97-113), Online publication date: 1-Oct-1999.
- Vitek J and Bokowski B (1999). Confined types, ACM SIGPLAN Notices, 34:10, (82-96), Online publication date: 1-Oct-1999.
- Bogda J and Hölzle U (1999). Removing unnecessary synchronization in Java, ACM SIGPLAN Notices, 34:10, (35-46), Online publication date: 1-Oct-1999.
- Choi J, Gupta M, Serrano M, Sreedhar V and Midkiff S (1999). Escape analysis for Java, ACM SIGPLAN Notices, 34:10, (1-19), Online publication date: 1-Oct-1999.
- Evans H and Dickman P Zones, contracts and absorbing changes Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (415-434)
- Kersten M and Murphy G Atlas Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (340-352)
- Alpern B, Attanasio C, Cocchi A, Lieber D, Smith S, Ngo T, Barton J, Hummel S, Sheperd J and Mergen M Implementing jalapeño in Java Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (314-324)
- Tip F, Laffra C, Sweeney P and Streeter D Practical experience with an application extractor for Java Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (292-305)
- Chambers C and Chen W Efficient multiple and predicated dispatching Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (238-255)
- Onodera T and Kawachiya K A study of locking objects with bimodal fields Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (223-237)
- Duggan D Modular type-based reverse engineering of parameterized types in Java code Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (97-113)
- Vitek J and Bokowski B Confined types Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (82-96)
- Bogda J and Hölzle U Removing unnecessary synchronization in Java Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (35-46)
- Choi J, Gupta M, Serrano M, Sreedhar V and Midkiff S Escape analysis for Java Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (1-19)
- Choi J, Grove D, Hind M and Sarkar V Efficient and precise modeling of exceptions for the analysis of Java programs Proceedings of the 1999 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering, (21-31)
- Choi J, Grove D, Hind M and Sarkar V (1999). Efficient and precise modeling of exceptions for the analysis of Java programs, ACM SIGSOFT Software Engineering Notes, 24:5, (21-31), Online publication date: 1-Sep-1999.
- Bernardin L (1999). A Java framework for massively distributed symbolic computing, ACM SIGSAM Bulletin, 33:3, (20-21), Online publication date: 1-Sep-1999.
- Alagíc S (1999). Type-checking OQL queries in the ODMG type systems, ACM Transactions on Database Systems, 24:3, (319-360), Online publication date: 1-Sep-1999.
- Carlisle M (1999). A truly implementation independent GUI development tool, ACM SIGAda Ada Letters, XIX:3, (47-52), Online publication date: 1-Sep-1999.
- Carlisle M A truly implementation independent GUI development tool Proceedings of the 1999 annual ACM SIGAda international conference on Ada, (47-52)
- Glew N (1999). Type dispatch for named hierarchical types, ACM SIGPLAN Notices, 34:9, (172-182), Online publication date: 1-Sep-1999.
- Benton N and Kennedy A (1999). Interlanguage working without tears, ACM SIGPLAN Notices, 34:9, (126-137), Online publication date: 1-Sep-1999.
- Glew N Type dispatch for named hierarchical types Proceedings of the fourth ACM SIGPLAN international conference on Functional programming, (172-182)
- Benton N and Kennedy A Interlanguage working without tears Proceedings of the fourth ACM SIGPLAN international conference on Functional programming, (126-137)
- Knight G and Hazemi R (1999). Mobile Agent-Based Management in the INSERTProject, Journal of Network and Systems Management, 7:3, (271-293), Online publication date: 1-Sep-1999.
- White T, Pagurek B and Bieszczad A (1999). Network Modeling for Management Applications UsingIntelligent Mobile Agents, Journal of Network and Systems Management, 7:3, (295-321), Online publication date: 1-Sep-1999.
- Jautzy O Interoperable Databases Proceedings of the 1999 International Symposium on Database Engineering & Applications
- Ege R, Rishe N, Liu J and Lebedev V Using Java to Add "Stored Procedures" to Databases Proceedings of the Technology of Object-Oriented Languages and Systems
- Persson P (1999). Live memory analysis for garbage collection in embedded systems, ACM SIGPLAN Notices, 34:7, (45-54), Online publication date: 1-Jul-1999.
- Waldo J (1999). The Jini architecture for network-centric computing, Communications of the ACM, 42:7, (76-82), Online publication date: 1-Jul-1999.
- Murphy G, Walker R and Baniassad E (1999). Evaluating Emerging Software Development Technologies, IEEE Transactions on Software Engineering, 25:4, (438-455), Online publication date: 1-Jul-1999.
- Wu D, Agrawal D and El Abbadi A (1999). Mobility and Extensibility in the StratOSphere Framework, Distributed and Parallel Databases, 7:3, (289-317), Online publication date: 1-Jul-1999.
- Stratton D (1999). Teaching network fundamentals using a simulated network, ACM SIGCSE Bulletin, 31:2, (62-64), Online publication date: 1-Jun-1999.
- Arnold K The Jini architecture Proceedings of the 36th annual ACM/IEEE Design Automation Conference, (157-162)
- Dalpasso M, Bogliolo A and Benini L Virtual simulation of distributed IP-based designs Proceedings of the 36th annual ACM/IEEE Design Automation Conference, (50-55)
- Hicks M, Jagannathan S, Kelsey R, Moore J and Ungureanu C Transparent communication for distributed objects in Java Proceedings of the ACM 1999 conference on Java Grande, (160-170)
- Azevedo A, Nicolau A and Hummel J Java annotation-aware just-in-time (AJIT) complilation system Proceedings of the ACM 1999 conference on Java Grande, (142-151)
- Ishizaki K, Kawahito M, Yasue T, Takeuchi M, Ogasawara T, Suganuma T, Onodera T, Komatsu H and Nakatani T Design, implementation, and evaluation of optimizations in a just-in-time compiler Proceedings of the ACM 1999 conference on Java Grande, (119-128)
- Pugh W Fixing the Java memory model Proceedings of the ACM 1999 conference on Java Grande, (89-98)
- Mathew J, Coddington P and Hawick K Analysis and development of Java Grande benchmarks Proceedings of the ACM 1999 conference on Java Grande, (72-80)
- Maruyama K and Shima K Automatic method refactoring using weighted dependence graphs Proceedings of the 21st international conference on Software engineering, (236-245)
- Walker R, Baniassad E and Murphy G An initial assessment of aspect-oriented programming Proceedings of the 21st international conference on Software engineering, (120-130)
- Tarr P, Ossher H, Harrison W and Sutton S N degrees of separation Proceedings of the 21st international conference on Software engineering, (107-119)
- Liang S and Viswanathan D Comprehensive profiling support in the javaTM virtual machine Proceedings of the 5th conference on USENIX Conference on Object-Oriented Technologies & Systems - Volume 5, (17-17)
- Persson P Live memory analysis for garbage collection in embedded systems Proceedings of the ACM SIGPLAN 1999 workshop on Languages, compilers, and tools for embedded systems, (45-54)
- Stichnoth J, Lueh G and Cierniak M (1999). Support for garbage collection at every instruction in a Java compiler, ACM SIGPLAN Notices, 34:5, (118-127), Online publication date: 1-May-1999.
- Fisher K and Reppy J (1999). The design of a class mechanism for Moby, ACM SIGPLAN Notices, 34:5, (37-49), Online publication date: 1-May-1999.
- Stichnoth J, Lueh G and Cierniak M Support for garbage collection at every instruction in a Java compiler Proceedings of the ACM SIGPLAN 1999 conference on Programming language design and implementation, (118-127)
- Fisher K and Reppy J The design of a class mechanism for Moby Proceedings of the ACM SIGPLAN 1999 conference on Programming language design and implementation, (37-49)
- Cardelli L and Davies R (1999). Service Combinators for Web Computing, IEEE Transactions on Software Engineering, 25:3, (309-316), Online publication date: 1-May-1999.
- Becchini R and Petris G Java Enabled MPEG-4 Services Proceedings of the 6th International Conference on Intelligence and Services in Networks: Paving the Way for an Open Service Market, (373-384)
- Yokota Y, Nakamura T, Tarumi H and Kambayashi Y Multiple Dynamic View Support for Cooperative Work Proceedings of the Sixth International Conference on Database Systems for Advanced Applications, (331-338)
- Hartley S “Alfonse, wait here for my signal!” The proceedings of the thirtieth SIGCSE technical symposium on Computer science education, (58-62)
- Hartley S (1999). “Alfonse, wait here for my signal!”, ACM SIGCSE Bulletin, 31:1, (58-62), Online publication date: 1-Mar-1999.
- Borgida A and Murata T (1999). Tolerating exceptions in workflows, ACM SIGSOFT Software Engineering Notes, 24:2, (59-68), Online publication date: 1-Mar-1999.
- Borgida A and Murata T Tolerating exceptions in workflows Proceedings of the international joint conference on Work activities coordination and collaboration, (59-68)
- Duggan D (1999). Dynamic typing for distributed programming in polymorphic languages, ACM Transactions on Programming Languages and Systems, 21:1, (11-45), Online publication date: 1-Jan-1999.
- Bertsch E and Nederhof M (1999). On failure of the pruning technique in “Error repair in shift-reduce parsers”, ACM Transactions on Programming Languages and Systems, 21:1, (1-10), Online publication date: 1-Jan-1999.
- Dalpasso M, Bogliolo A and Benini L Specification and validation of disstributed IP-based designs with JavaCAD Proceedings of the conference on Design, automation and test in Europe, (132-es)
- Zhu J and Gajski D OpenJ Proceedings of the conference on Design, automation and test in Europe, (99-es)
- Myers A JFlow Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (228-241)
- Kfoury A and Wells J Principality and decidable type inference for finite-rank intersection types Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (161-174)
- Shao Z, League C and Monnier S (1998). Implementing typed intermediate languages, ACM SIGPLAN Notices, 34:1, (313-323), Online publication date: 1-Jan-1999.
- Findler R and Flatt M (1998). Modular object-oriented programming with units and mixins, ACM SIGPLAN Notices, 34:1, (94-104), Online publication date: 1-Jan-1999.
- Hicks M, Kakkar P, Moore J, Gunter C and Nettles S (1998). PLAN, ACM SIGPLAN Notices, 34:1, (86-93), Online publication date: 1-Jan-1999.
- Wadler P (1998). The marriage of effects and monads, ACM SIGPLAN Notices, 34:1, (63-74), Online publication date: 1-Jan-1999.
- Hrischuk C, Woodside C, Rolia J and Iversen R (1999). Trace-Based Load Characterization for Generating Performance Software Models, IEEE Transactions on Software Engineering, 25:1, (122-135), Online publication date: 1-Jan-1999.
- Yang C and Luo M Design and Implementation of an Administration System for Distributed Web Server Proceedings of the 12th USENIX conference on System administration, (131-140)
- Seidl M and Zorn B (1998). Segregating heap objects by reference behavior and lifetime, ACM SIGOPS Operating Systems Review, 32:5, (12-23), Online publication date: 1-Dec-1998.
- Bergin J, Naps T, Bland C, Hartley S, Holliday M, Lawhead P, Lewis J, McNally M, Nevison C, Ng C, Pothering G and Teräsvirta T Java resources for computer science instruction Working Group reports of the 3rd annual SIGCSE/SIGCUE ITiCSE conference on Integrating technology into computer science education, (14-34)
- Porat S, Mendelson B and Shapira I Sharpening global static analysis to cope with Java Proceedings of the 1998 conference of the Centre for Advanced Studies on Collaborative research
- MacBeth M, McGuigan K and Hatcher P Executing Java threads in parallel in a distributed-memory environment Proceedings of the 1998 conference of the Centre for Advanced Studies on Collaborative research
- Carlisle M and Maes P (1998). RAPID, ACM SIGAda Ada Letters, XVIII:6, (158-164), Online publication date: 1-Nov-1998.
- Palsberg J (1998). Equality-based flow analysis versus recursive types, ACM Transactions on Programming Languages and Systems, 20:6, (1251-1264), Online publication date: 1-Nov-1998.
- Fong P and Cameron R (1998). Proof linking, ACM SIGSOFT Software Engineering Notes, 23:6, (222-230), Online publication date: 1-Nov-1998.
- Krishnamurthi S and Felleisen M (1998). Toward a formal theory of extensible software, ACM SIGSOFT Software Engineering Notes, 23:6, (88-98), Online publication date: 1-Nov-1998.
- Seidl M and Zorn B (1998). Segregating heap objects by reference behavior and lifetime, ACM SIGPLAN Notices, 33:11, (12-23), Online publication date: 1-Nov-1998.
- Carlisle M and Maes P RAPID Proceedings of the 1998 annual ACM SIGAda international conference on Ada, (158-164)
- Fong P and Cameron R Proof linking Proceedings of the 6th ACM SIGSOFT international symposium on Foundations of software engineering, (222-230)
- Krishnamurthi S and Felleisen M Toward a formal theory of extensible software Proceedings of the 6th ACM SIGSOFT international symposium on Foundations of software engineering, (88-98)
- Gong L (1998). Secure Java Class Loading, IEEE Internet Computing, 2:6, (56-61), Online publication date: 1-Nov-1998.
- Wu D, Agrawal D and El Abbadi A StratOSphere Proceedings of the 4th annual ACM/IEEE international conference on Mobile computing and networking, (121-132)
- Bergin J, Naps T, Bland C, Hartley S, Holliday M, Lawhead P, Lewis J, McNally M, Nevison C, Ng C, Pothering G and Teräsvirta T (1998). Java resources for computer science instruction, ACM SIGCUE Outlook, 26:4, (14-34), Online publication date: 1-Oct-1998.
- Seidl M and Zorn B Segregating heap objects by reference behavior and lifetime Proceedings of the eighth international conference on Architectural support for programming languages and operating systems, (12-23)
- Litvinov V (1998). Contraint-based polymorphism in Cecil, ACM SIGPLAN Notices, 33:10, (388-411), Online publication date: 1-Oct-1998.
- Leavens G and Millstein T (1998). Multiple dispatch as dispatch on Tuples, ACM SIGPLAN Notices, 33:10, (374-387), Online publication date: 1-Oct-1998.
- Büchi M and Weck W (1998). Compound types for Java, ACM SIGPLAN Notices, 33:10, (362-373), Online publication date: 1-Oct-1998.
- Drossopoulou S, Wragg D and Eisenbach S (1998). What is Java binary compatibility?, ACM SIGPLAN Notices, 33:10, (341-361), Online publication date: 1-Oct-1998.
- Jacobs B, van den Berg J, Huisman M, van Berkum M, Hensel U and Tews H (1998). Reasoning about Java classes, ACM SIGPLAN Notices, 33:10, (329-340), Online publication date: 1-Oct-1998.
- Harris J and Sarkar V (1998). Lightweight object-oriented shared variables for distributed applications on the Internet, ACM SIGPLAN Notices, 33:10, (296-309), Online publication date: 1-Oct-1998.
- Solorzano J and Alagić S (1998). Parametric polymorphism for Java, ACM SIGPLAN Notices, 33:10, (216-225), Online publication date: 1-Oct-1998.
- Bracha G, Odersky M, Stoutamire D and Wadler P (1998). Making the future safe for the past, ACM SIGPLAN Notices, 33:10, (183-200), Online publication date: 1-Oct-1998.
- Clarke D, Potter J and Noble J (1998). Ownership types for flexible alias protection, ACM SIGPLAN Notices, 33:10, (48-64), Online publication date: 1-Oct-1998.
- Liang S and Bracha G (1998). Dynamic class loading in the Java virtual machine, ACM SIGPLAN Notices, 33:10, (36-44), Online publication date: 1-Oct-1998.
- Czajkowski G and von Eicken T (1998). JRes, ACM SIGPLAN Notices, 33:10, (21-35), Online publication date: 1-Oct-1998.
- Litvinov V Contraint-based polymorphism in Cecil Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (388-411)
- Leavens G and Millstein T Multiple dispatch as dispatch on Tuples Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (374-387)
- Büchi M and Weck W Compound types for Java Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (362-373)
- Drossopoulou S, Wragg D and Eisenbach S What is Java binary compatibility? Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (341-361)
- Jacobs B, van den Berg J, Huisman M, van Berkum M, Hensel U and Tews H Reasoning about Java classes Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (329-340)
- Harris J and Sarkar V Lightweight object-oriented shared variables for distributed applications on the Internet Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (296-309)
- Solorzano J and Alagić S Parametric polymorphism for Java Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (216-225)
- Bracha G, Odersky M, Stoutamire D and Wadler P Making the future safe for the past Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (183-200)
- Clarke D, Potter J and Noble J Ownership types for flexible alias protection Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (48-64)
- Liang S and Bracha G Dynamic class loading in the Java virtual machine Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (36-44)
- Czajkowski G and von Eicken T JRes Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (21-35)
- Moreau L (1998). A Syntactic Theory of Dynamic Binding, Higher-Order and Symbolic Computation, 11:3, (233-279), Online publication date: 1-Oct-1998.
- Shao Z, League C and Monnier S Implementing typed intermediate languages Proceedings of the third ACM SIGPLAN international conference on Functional programming, (313-323)
- Findler R and Flatt M Modular object-oriented programming with units and mixins Proceedings of the third ACM SIGPLAN international conference on Functional programming, (94-104)
- Hicks M, Kakkar P, Moore J, Gunter C and Nettles S PLAN Proceedings of the third ACM SIGPLAN international conference on Functional programming, (86-93)
- Wadler P The marriage of effects and monads Proceedings of the third ACM SIGPLAN international conference on Functional programming, (63-74)
- Apt K, Brunekreef J, Partington V and Schaerf A (1998). Alma-O, ACM Transactions on Programming Languages and Systems, 20:5, (1014-1066), Online publication date: 1-Sep-1998.
- Riedel E, Gibson G and Faloutsos C Active Storage for Large-Scale Data Mining and Multimedia Proceedings of the 24rd International Conference on Very Large Data Bases, (62-73)
- Osawa N An enhanced 3-D animation tool for performance tuning of parallel programs based on dynamic models Proceedings of the SIGMETRICS symposium on Parallel and distributed tools, (72-80)
- Kim J and Jun Y Scalable on-the-fly detection of the first races in parallel programs Proceedings of the 12th international conference on Supercomputing, (345-352)
- Bothner P Kawa Proceedings of the annual conference on USENIX Annual Technical Conference, (41-41)
- Hawblitzel C, Chang C, Czajkowski G, Hu D and von Eicken T Implementing multiple protection domains in java Proceedings of the annual conference on USENIX Annual Technical Conference, (22-22)
- Ghughal R, Mokkedem A, Nalumasu R and Gopalakrishnan G Using “test model-checking” to verify the Runway-PA8000 memory model Proceedings of the tenth annual ACM symposium on Parallel algorithms and architectures, (231-239)
- Singhal S and Nguyen B (1998). The Java factor, Communications of the ACM, 41:6, (34-37), Online publication date: 1-Jun-1998.
- Necula G and Lee P (1998). The design and implementation of a certifying compiler, ACM SIGPLAN Notices, 33:5, (333-344), Online publication date: 1-May-1998.
- Gay D and Aiken A (1998). Memory management with explicit regions, ACM SIGPLAN Notices, 33:5, (313-323), Online publication date: 1-May-1998.
- Adl-Tabatabai A, Cierniak M, Lueh G, Parikh V and Stichnoth J (1998). Fast, effective code generation in a just-in-time Java compiler, ACM SIGPLAN Notices, 33:5, (280-290), Online publication date: 1-May-1998.
- Agesen O, Detlefs D and Moss J (1998). Garbage collection and local variable type-precision and liveness in Java virtual machines, ACM SIGPLAN Notices, 33:5, (269-279), Online publication date: 1-May-1998.
- Bacon D, Konuru R, Murthy C and Serrano M (1998). Thin locks, ACM SIGPLAN Notices, 33:5, (258-268), Online publication date: 1-May-1998.
- Flatt M and Felleisen M (1998). Units, ACM SIGPLAN Notices, 33:5, (236-248), Online publication date: 1-May-1998.
- Fähndrich M, Foster J, Su Z and Aiken A (1998). Partial online cycle elimination in inclusion constraint graphs, ACM SIGPLAN Notices, 33:5, (85-96), Online publication date: 1-May-1998.
- Necula G and Lee P The design and implementation of a certifying compiler Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation, (333-344)
- Gay D and Aiken A Memory management with explicit regions Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation, (313-323)
- Adl-Tabatabai A, Cierniak M, Lueh G, Parikh V and Stichnoth J Fast, effective code generation in a just-in-time Java compiler Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation, (280-290)
- Agesen O, Detlefs D and Moss J Garbage collection and local variable type-precision and liveness in Java virtual machines Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation, (269-279)
- Bacon D, Konuru R, Murthy C and Serrano M Thin locks Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation, (258-268)
- Flatt M and Felleisen M Units Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation, (236-248)
- Fähndrich M, Foster J, Su Z and Aiken A Partial online cycle elimination in inclusion constraint graphs Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation, (85-96)
- Lin B Software synthesis of process-based concurrent programs Proceedings of the 35th annual Design Automation Conference, (502-505)
- Young J, MacDonald J, Shilman M, Tabbara A, Hilfinger P and Newton A Design and specification of embedded systems in Java using successive, formal refinement Proceedings of the 35th annual Design Automation Conference, (70-75)
- Boissière G Automatic creation of hypervideo news libraries for the World Wide Web Proceedings of the ninth ACM conference on Hypertext and hypermedia : links, objects, time and space---structure in hypermedia systems: links, objects, time and space---structure in hypermedia systems, (279-280)
- Viswanadha S and Kapur D IBDL Proceedings of the 4th conference on USENIX Conference on Object-Oriented Technologies and Systems - Volume 4, (17-17)
- Jain P, Widoff S and Schmidt D The design and performance of MedJava Proceedings of the 4th conference on USENIX Conference on Object-Oriented Technologies and Systems - Volume 4, (3-3)
- Chuang T, Kuo Y and Wang C Non-intrusive object introspection in C++ Proceedings of the 20th international conference on Software engineering, (312-321)
- Devanbu P, Fong P and Stubblebine S Techniques for trusted software engineering Proceedings of the 20th international conference on Software engineering, (126-135)
- Low D (1998). Protecting Java code via code obfuscation, XRDS: Crossroads, The ACM Magazine for Students, 4:3, (21-23), Online publication date: 1-Apr-1998.
- Burton P (1998). Kinds of language, kinds of learning, ACM SIGPLAN Notices, 33:4, (53-61), Online publication date: 1-Apr-1998.
- Agha G, Astley M, Sheikh J and Varela C Modular Heterogeneous System Development Proceedings of the Seventh Heterogeneous Computing Workshop
- Weems Jr C Heterogeneous Programming with Java Proceedings of the Seventh Heterogeneous Computing Workshop
- Jagannathan S and Kelsey R On the Interaction of Mobile Processes and Objects Proceedings of the Seventh Heterogeneous Computing Workshop
- Fleischmann J, Buchenrieder K and Kress R A hardware/software prototyping environment for dynamically reconfigurable embedded systems Proceedings of the 6th international workshop on Hardware/software codesign, (105-109)
- Morin J and Konstantas D HyperNews Proceedings of the 1998 ACM symposium on Applied Computing, (696-705)
- Mrva M, Buchenrieder K and Kress R A scalable architecture for multi-threaded JAVA applications Proceedings of the conference on Design, automation and test in Europe, (868-874)
- Aiken A and Gay D Barrier inference Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (342-354)
- DeFouw G, Grove D and Chambers C Fast interprocedural class analysis Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (222-236)
- Collberg C, Thomborson C and Low D Manufacturing cheap, resilient, and stealthy opaque constructs Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (184-196)
- Flatt M, Krishnamurthi S and Felleisen M Classes and mixins Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (171-183)
- Nipkow T and von Oheimb D Java is type-safe—definitely Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (161-170)
- McDowell C and Baldwin E (1998). Unloading Java classes that contain static fields, ACM SIGPLAN Notices, 33:1, (56-60), Online publication date: 1-Jan-1998.
- Lee H and Zorn B BIT Proceedings of the USENIX Symposium on Internet Technologies and Systems on USENIX Symposium on Internet Technologies and Systems, (7-7)
- Myers A and Liskov B (1997). A decentralized model for information flow control, ACM SIGOPS Operating Systems Review, 31:5, (129-142), Online publication date: 1-Dec-1997.
- Wallach D, Balfanz D, Dean D and Felten E (1997). Extensible security architectures for Java, ACM SIGOPS Operating Systems Review, 31:5, (116-128), Online publication date: 1-Dec-1997.
- Hawick K and James H Distributed high-performance computation for remote sensing Proceedings of the 1997 ACM/IEEE conference on Supercomputing, (1-13)
- Helaihel R and Olukotun K Java as a specification language for hardware-software systems Proceedings of the 1997 IEEE/ACM international conference on Computer-aided design, (690-697)
- Fahmy H, Holt R and Mancoridis S Repairing software style using graph grammars Proceedings of the 1997 conference of the Centre for Advanced Studies on Collaborative research
- Kurotsuchi B (1997). The wonders of Java object serialization, XRDS: Crossroads, The ACM Magazine for Students, 4:2, (3-8), Online publication date: 1-Nov-1997.
- Gargaro A Ada-Java communication in ADEPT Proceedings of the conference on TRI-Ada '97, (231-245)
- Brosgol B A comparison of the object-oriented features of Ada 95 and Java Proceedings of the conference on TRI-Ada '97, (213-229)
- Comar C, Dismukes G and Gasperoni F Targeting GNAT to the Java virtual machine Proceedings of the conference on TRI-Ada '97, (149-161)
- Kemmerer R (1997). Security issues in distributed software, ACM SIGSOFT Software Engineering Notes, 22:6, (52-59), Online publication date: 1-Nov-1997.
- Kemmerer R Security issues in distributed software Proceedings of the 6th European SOFTWARE ENGINEERING conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software engineering, (52-59)
- Outhred G and Potter J A Flexible Service Selection Model for Enterprise Distributed Systems Proceedings of the 1st International Conference on Enterprise Distributed Object Computing
- Shao Z Typed common intermediate format Proceedings of the Conference on Domain-Specific Languages on Conference on Domain-Specific Languages (DSL), 1997, (8-8)
- Grove D, DeFouw G, Dean J and Chambers C (1997). Call graph construction in object-oriented languages, ACM SIGPLAN Notices, 32:10, (108-124), Online publication date: 9-Oct-1997.
- Tip F and Sweeney P (1997). Class hierarchy specialization, ACM SIGPLAN Notices, 32:10, (271-285), Online publication date: 9-Oct-1997.
- Alagic S (1997). The ODMG object model, ACM SIGPLAN Notices, 32:10, (253-270), Online publication date: 9-Oct-1997.
- Hayes B (1997). Ephemerons, ACM SIGPLAN Notices, 32:10, (176-183), Online publication date: 9-Oct-1997.
- Zendra O, Colnet D and Collin S (1997). Efficient dynamic dispatch without virtual function tables, ACM SIGPLAN Notices, 32:10, (125-141), Online publication date: 9-Oct-1997.
- Boyland J and Castagna G (1997). Parasitic methods, ACM SIGPLAN Notices, 32:10, (66-76), Online publication date: 9-Oct-1997.
- Grove D, DeFouw G, Dean J and Chambers C Call graph construction in object-oriented languages Proceedings of the 12th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (108-124)
- Tip F and Sweeney P Class hierarchy specialization Proceedings of the 12th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (271-285)
- Alagic S The ODMG object model Proceedings of the 12th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (253-270)
- Hayes B Ephemerons Proceedings of the 12th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (176-183)
- Zendra O, Colnet D and Collin S Efficient dynamic dispatch without virtual function tables Proceedings of the 12th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (125-141)
- Boyland J and Castagna G Parasitic methods Proceedings of the 12th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (66-76)
- Myers A and Liskov B A decentralized model for information flow control Proceedings of the sixteenth ACM symposium on Operating systems principles, (129-142)
- Wallach D, Balfanz D, Dean D and Felten E Extensible security architectures for Java Proceedings of the sixteenth ACM symposium on Operating systems principles, (116-128)
- Chandy K, Kiniry J, Rifkin A and Zimmerman D (1997). Webs of Archived Distributed Computations for Asynchronous Collaboration, The Journal of Supercomputing, 11:2, (101-118), Online publication date: 1-Oct-1997.
- Hara H, Matsutsuka T, Kanaya N, Ookubo T and Uehara S Model-Based Architecture for the Intranet Proceedings of the 21st International Computer Software and Applications Conference, (182-187)
- Chen J and Leupen B Improving instruction locality with just-in-time code layout Proceedings of the USENIX Windows NT Workshop on The USENIX Windows NT Workshop 1997, (4-4)
- Draves S (1997). Implementing bit-addressing with specialization, ACM SIGPLAN Notices, 32:8, (239-250), Online publication date: 1-Aug-1997.
- Draves S Implementing bit-addressing with specialization Proceedings of the second ACM SIGPLAN international conference on Functional programming, (239-250)
- Lo Verso J and Mazer M Caubweb Proceedings of the 5th conference on Annual Tcl/Tk Workshop 1997 - Volume 5, (3-3)
- Tolksdorf R Coordinating Java Agents with Multiple Coordination Language on the Berlinda Platform Proceedings of the 6th Workshop on Enabling Technologies on Infrastructure for Collaborative Enterprises, (121-126)
- Small C A tool for constructing safe extensible C++ systems Proceedings of the 3rd conference on USENIX Conference on Object-Oriented Technologies (COOTS) - Volume 3, (13-13)
- Proebsting T, Townsend G, Bridges P, Hartman J, Newsham T and Watterson S Toba Proceedings of the 3rd conference on USENIX Conference on Object-Oriented Technologies (COOTS) - Volume 3, (3-3)
- Muller G, Moura B, Bellard F and Consel C Harissa Proceedings of the 3rd conference on USENIX Conference on Object-Oriented Technologies (COOTS) - Volume 3, (1-1)
- Bastide R and Buchs D Models, Formalisms and Methods for Object-Oriented Distributed Computing (ECOOP Workshop) Proceedings of the Workshops on Object-Oriented Technology, (221-255)
- Kramer R (1997). Databases on the Web, ACM SIGMOD Record, 26:2, (503-506), Online publication date: 1-Jun-1997.
- Kramer R Databases on the Web Proceedings of the 1997 ACM SIGMOD international conference on Management of data, (503-506)
- Hsieh C, Conte M, Johnson T, Gyllenhaal J and Hwu W (1997). Optimizing NET Compilers for Improved Java Performance, Computer, 30:6, (67-75), Online publication date: 1-Jun-1997.
- Jacobs J and Swanson M (1997). UCL+P—Defining and Implementing Persistent Common Lisp, Lisp and Symbolic Computation, 10:1, (5-38), Online publication date: 1-Jun-1997.
- Hollingsworth J and Miller E (1997). Using content-derived names for configuration management, ACM SIGSOFT Software Engineering Notes, 22:3, (104-109), Online publication date: 1-May-1997.
- Hollingsworth J and Miller E Using content-derived names for configuration management Proceedings of the 1997 symposium on Software reusability, (104-109)
- Wollrath A, Waldo J and Riggs R (1997). Java-Centric Distributed Computing, IEEE Micro, 17:3, (44-53), Online publication date: 1-May-1997.
- Gong L (1997). Java Security, IEEE Micro, 17:3, (14-19), Online publication date: 1-May-1997.
- Yousuf O and McManis J Implementation of distributed applications using Java Proceedings of the 35th Annual Southeast Regional Conference, (229-231)
- Dean D The security of static typing with dynamic linking Proceedings of the 4th ACM conference on Computer and communications security, (18-27)
- Rooney S (1997). Connection closures adding application-defined behaviour to network connections, ACM SIGCOMM Computer Communication Review, 27:2, (74-88), Online publication date: 1-Apr-1997.
- Lazarov V and Iliev R Discrete - Event Simulation of Parallel Machines Proceedings of the 2nd AIZU International Symposium on Parallel Algorithms / Architecture Synthesis
- O'Connor J and Tremblay M (1997). picoJava-I, IEEE Micro, 17:2, (45-53), Online publication date: 1-Mar-1997.
- Osawa N, Morita H and Yuba T Animation for performance debugging of parallel computing systems Proceedings of the second symposium on Virtual reality modeling language, (101-ff.)
- Odersky M and Wadler P Pizza into Java Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (146-159)
- Hardwick M, Morris K, Spooner D and Rando T (1997). Data Protocols for the Industrial Virtual Enterprise, IEEE Internet Computing, 1:1, (20-29), Online publication date: 1-Jan-1997.
- Cardelli L (1996). Bad engineering properties of object-orient languages, ACM Computing Surveys, 28:4es, (150-es), Online publication date: 1-Dec-1996.
- Iuliano M and Jones A Controlling activities in a virtual manufacturing cell Proceedings of the 28th conference on Winter simulation, (1062-1067)
- Attali I, Caromel D, Ehmety S and Lippi S (1996). Semantic-based visualization for parallel object-oriented programming, ACM SIGPLAN Notices, 31:10, (421-440), Online publication date: 1-Oct-1996.
- Dean J, DeFouw G, Grove D, Litvinov V and Chambers C (1996). Vortex, ACM SIGPLAN Notices, 31:10, (83-100), Online publication date: 1-Oct-1996.
- Attali I, Caromel D, Ehmety S and Lippi S Semantic-based visualization for parallel object-oriented programming Proceedings of the 11th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (421-440)
- Dean J, DeFouw G, Grove D, Litvinov V and Chambers C Vortex Proceedings of the 11th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (83-100)
- Brecht T, Sandhu H, Shan M and Talbot J ParaWeb Proceedings of the 7th workshop on ACM SIGOPS European workshop: Systems support for worldwide applications, (181-188)
- Chandy K, Rifkin A, Sivilotti P, Mandelson J, Richardson M, Tanaka W and Weisman L A world-wide distributed system using Java and the Internet Proceedings of the 5th IEEE International Symposium on High Performance Distributed Computing
- Tardo J and Valente L Mobile Agent Security and Telescript Proceedings of the 41st IEEE International Computer Conference