BibSLEIGH — java tag

Java

java.com

Java

java

Q251

Java (programming language)
Wikipedia

Java

Tag #java

1283 papers:

ICPC-2019-AlrubayeM0 #detection #information retrieval #library #migration #on the #using: On the use of information retrieval to automate the detection of third-party Java library migration at the method level (HA, MWM, AO0), pp. 347–357.
ICSME-2019-AlrubayeM0 #automation #detection #library #migration #named: MigrationMiner: An Automated Detection Tool of Third-Party Java Library Migration at the Method Level (HA, MWM, AO0), pp. 414–417.
ICSME-2019-Imran #analysis #design #detection #open source #smell: Design Smell Detection and Analysis for Open Source Java Software (AI), pp. 644–648.
ICSME-2019-ShimariI0I #debugging #execution #using: Near-Omniscient Debugging for Java Using Size-Limited Execution Trace (KS, TI, TK0, KI), pp. 398–401.
ICSME-2019-ZhiYDYFX #case study: An Exploratory Study of Logging Configuration Practice in Java (CZ, JY, SD, MY, MF, TX), pp. 459–469.
MSR-2019-AlqaimiTT #automation #documentation #generative: Automatically generating documentation for lambda expressions in Java (AA, PT, CT), pp. 310–320.
MSR-2019-KampKP #named #semantics #set: SeSaMe: a data set of semantically similar Java methods (MK, PK, MP), pp. 529–533.
MSR-2019-OliveiraOCF0 #energy #recommendation: Recommending energy-efficient Java collections (WO, RO, FC, BF, GP0), pp. 160–170.
SANER-2019-DelfimUMM #automation #benchmark #debugging #metric #named #program repair: BEARS: An Extensible Java Bug Benchmark for Automatic Program Repair Studies (FM, SU, MdAM, MM), pp. 468–478.
SANER-2019-MeloCT #developer #exception #guidelines: Unveiling Exception Handling Guidelines Adopted by Java Developers (HM, RC, CT), pp. 128–139.
SANER-2019-PizzolottoFC #android #named #obfuscation #source code: OBLIVE: Seamless Code Obfuscation for Java Programs and Android Apps (DP, RF, MC), pp. 629–633.
SANER-2019-XiongL #design pattern #detection #implementation: Accurate Design Pattern Detection Based on Idiomatic Implementation Matching in Java Language Context (RX, BL), pp. 163–174.
SCAM-2019-HarrandSMB #behaviour #bytecode: The Strengths and Behavioral Quirks of Java Bytecode Decompilers (NH, CSV, MM, BB), pp. 92–102.
FDG-2019-Kao #embedded #named #programming: JavaStrike: a Java programming engine embedded in virtual worlds (DK), p. 5.
ECOOP-2019-KangTLMJ0 #case study #experience #program transformation #semantics: Semantic Patches for Java Program Transformation (Experience Report) (HJK, FT, JL, GM, LJ, DL0), p. 27.
OOPSLA-2019-BenderP #concurrent #formal method: A formalization of Java's concurrent access modes (JB, JP), p. 28.
OOPSLA-2019-CelikNRG #bytecode #design #implementation: Design, implementation, and application of GPU-based Java bytecode interpreters (AÇ, PN, CJR, MG), p. 28.
OOPSLA-2019-MastrangeloHN #empirical #source code: Casting about in the dark: an empirical study of cast operations in Java programs (LM, MH, NN), p. 31.
PLDI-2019-LiuMM #compilation #consistency: Accelerating sequential consistency for Java with speculative compilation (LL, TDM, MM), pp. 16–30.
PLDI-2019-ShullHT #framework #named #reachability: AutoPersist: an easy-to-use Java NVM framework based on reachability (TS, JH0, JT), pp. 316–332.
ASE-2019-ArthoPT #concurrent #visual notation: Visual Analytics for Concurrent Java Executions (CA, MP, QT0), pp. 1102–1105.
ASE-2019-SadiqLLAL #contract #named #source code: Sip4J: Statically Inferring Access Permission Contracts for Parallelising Sequential Java Programs (AS, LL, YFL, IA, SL), pp. 1098–1101.
ESEC-FSE-2019-BanerjeeCS #named #null #safety #type system: NullAway: practical type-based null safety for Java (SB, LC, MS), pp. 740–750.
ESEC-FSE-2019-DurieuxDMA #debugging #empirical #overview #program repair #scalability #tool support: Empirical review of Java program repair tools: a large-scale experiment on 2, 141 bugs and 23, 551 repair attempts (TD, FM, MM, RA), pp. 302–313.
ESEC-FSE-2019-PontesGSGR #api: Java reflection API: revealing the dark side of the mirror (FP, RG, SS, AG, MR), pp. 636–646.
ESEC-FSE-2019-SuWC0 #performance: Pinpointing performance inefficiencies in Java (PS, QW, MC, XL0), pp. 818–829.
ICSE-2019-AbidSDAM #behaviour #developer #matter: Developer reading behavior while summarizing Java methods: size and context matters (NJA, BS, ND, HA, JIM), pp. 384–395.
ICSE-2019-GhorbaniGM #architecture #consistency #detection #nondeterminism: Detection and repair of architectural inconsistencies in Java (NG, JG, SM), pp. 560–571.
ICSE-2019-HuangGLLQC0 #api #named #safety: SafeCheck: safety enhancement of Java unsafe API (SH, JG, SL, XL, YQ, KC, JH0), pp. 889–899.
ICSE-2019-KhatchadourianT #automation #parallel #refactoring: Safe automated refactoring for intelligent parallelization of Java 8 streams (RK, YT, MB, SA), pp. 619–630.
SLE-2019-ScottJ #multi: Multiple lexicalisation (a Java based study) (ES, AJ), pp. 71–82.
SLE-2019-SeiferHLLS #empirical #graph #open source #query: Empirical study on the usage of graph query languages in open source Java projects (PS, JH, ML, RL, SS), pp. 152–166.
ICST-2019-BaloghHB #developer #eclipse #fault #ide #interactive #locality #named: Poster: Aiding Java Developers with Interactive Fault Localization in Eclipse IDE (GB, FH, ÁB), pp. 371–374.
ICST-2019-KocWFCP #assessment #empirical #machine learning #static analysis: An Empirical Assessment of Machine Learning Approaches for Triaging Reports of a Java Static Analysis Tool (UK, SW, JSF, MC, AAP), pp. 288–299.
ICSME-2018-HassanH #automation #summary #towards: Toward Automatic Summarization of Arbitrary Java Statements for Novice Programmers (MH, EH0), pp. 539–543.
ICSME-2018-MarcoIA #cobol: COBOL to Java and Newspapers Still Get Delivered (ADM, VI, IA), pp. 583–586.
MSR-2018-AcciolyBSC08 #open source #predict: Analyzing conflict predictors in open-source Java projects (PRGA, PB, LS, GC), pp. 576–586.
MSR-2018-ArimaHK08 #case study #commit #how #question #what: A study on inappropriately partitioned commits: how much and what kinds of IP commits in Java projects? (RA, YH, SK), pp. 336–340.
MSR-2018-MartinsAL #dataset #named: 50K-C: a dataset of compilable, and compiled, Java projects (PM0, RA, CVL), pp. 1–5.
MSR-2018-SahaLLYP #dataset #debugging #scalability: Bugs.jar: a large-scale, diverse dataset of real-world Java bugs (RKS, YL, WL, HY, MRP), pp. 10–13.
SANER-2018-BritoXHV #api #developer #how #why: Why and how Java developers break APIs (AB, LX, ACH, MTV), pp. 255–265.
SANER-2018-DantasCMFSLB #automation #empirical #program transformation #source code: Reconciling the past and the present: An empirical study on the application of source code transformations to automatically rejuvenate Java programs (RD, AC, DM, LF, US, WL, RB), pp. 497–501.
SCAM-2018-KhatchadourianT #automation #optimisation #refactoring: [Engineering Paper] A Tool for Optimizing Java 8 Stream Software via Automated Refactoring (RK, YT, MB, SA), pp. 34–39.
SCAM-2018-PizzolottoC #bytecode #library #obfuscation #research #source code: [Research Paper] Obfuscating Java Programs by Translating Selected Portions of Bytecode to Native Libraries (DP, MC), pp. 40–49.
SCAM-2018-SasBF #automation #detection #library #research: [Research Paper] Automatic Detection of Sources and Sinks in Arbitrary Java Libraries (DS, MB, FAF), pp. 103–112.
PLATEAU-2018-Lemay #comprehension #git #mining #repository #usability: Understanding Java Usability by Mining GitHub Repositories (MJL), p. 9.
ASE-2018-AcciolyBC #comprehension #open source: Understanding Semi-structured merge conflict characteristics in open-source Java projects (journal-first abstract) (PRGA, PB, GC), p. 955.
ASE-2018-PereiraSCS #named: jStanley: placing a green thumb on Java collections (RP, PS, JC, JS), pp. 856–859.
ICSE-2018-MengNYZA #challenge: Secure coding practices in Java: challenges and vulnerabilities (NM, SN, D(Y, WZ, GAA), pp. 372–383.
ASPLOS-2018-WuZLLCZG #memory management #named: Espresso: Brewing Java For More Non-Volatility with Non-volatile Memory (MW, ZZ0, HL, HL, HC, BZ, HG), pp. 70–83.
CC-2018-MadsenZL #data transformation #functional #representation #virtual machine: Tail call elimination and data representation for functional languages on the Java virtual machine (MM, RZ, OL), pp. 139–150.
ESOP-2018-WeiMRF0 #design #static analysis #trade-off: Evaluating Design Tradeoffs in Numeric Static Analysis for Java (SW, PM, AR, JSF, MH0), pp. 653–682.
CAV-2018-CordeiroKKST #bound #bytecode #model checking #named #verification: JBMC: A Bounded Model Checking Tool for Verifying Java Bytecode (LCC, PK, DK, PS, MT), pp. 183–190.
CAV-2018-ArndtJKMN #exclamation #graph #pointer #source code #verification: Let this Graph Be Your Witness! - An Attestor for Verifying Java Pointer Programs (HA, CJ, JPK, CM, TN0), pp. 3–11.
ICTSS-2018-BordingHJW #automation #contract #named #testing: JMCTest: Automatically Testing Inter-Method Contracts in Java (PB, JH, MCJ, HW), pp. 39–55.
TAP-2018-Fuchs #automation #generative #testing #web: Automated Test Case Generation for Java EE Based Web Applications (AF), pp. 167–176.
MSR-2017-OsmanCCGN #evolution #exception: Exception evolution in long-lived Java systems (HO, AC, CC, MG, ON), pp. 302–311.
MSR-2017-PascarellaB #open source: Classifying code comments in Java open-source software systems (LP, AB), pp. 227–237.
MSR-2017-ShatnawiMEBGMPA #dependence: Analyzing program dependencies in Java EE applications (AS, HM, GEB, AB, YGG, NM, JP, MA), pp. 64–74.
SANER-2017-DorningerMP #cobol #migration #multi: Multi-language re-documentation to support a COBOL to Java migration project (BD, MM, JP), pp. 536–540.
SANER-2017-NogueiraRZ #exception #library #open source #roadmap: Trends on empty exception handlers for Java open source libraries (AFN, JCBR, MAZR), pp. 412–416.
SANER-2017-OsmanCSGN #evolution #exception #on the: On the evolution of exception usage in Java projects (HO, AC, JS, MG, ON), pp. 422–426.
SANER-2017-ZeroualiM #evolution #library #open source #testing: Analyzing the evolution of testing library usage in open source Java projects (AZ, TM), pp. 417–421.
SCAM-2017-AtzenhoferP #automation #library #static analysis: Automatically Adding Missing Libraries to Java Projects to Foster Better Results from Static Analysis (TA, RP), pp. 141–146.
SCAM-2017-LeuenbergerOGN: Harvesting the Wisdom of the Crowd to Infer Method Nullness in Java (ML, HO, MG, ON), pp. 71–80.
SCAM-2017-LivaKP #automaton: Extracting Timed Automata from Java Methods (GL, MTK0, MP0), pp. 91–100.
SCAM-2017-NagyC #detection #embedded #query #smell #sql: A Static Code Smell Detector for SQL Queries Embedded in Java Code (CN0, AC), pp. 147–152.
SCAM-2017-SayaghDAA #developer #empirical #framework #matter: Does the Choice of Configuration Framework Matter for Developers? Empirical Study on 11 Java Configuration Frameworks (MS, ZD0, AA0, BA), pp. 41–50.
IFM-2017-BaxterC #algebra #bytecode #compilation #safety: Algebraic Compilation of Safety-Critical Java Bytecode (JB, AC), pp. 161–176.
IFM-2017-FrohnG #analysis #complexity: Complexity Analysis for Java with AProVE (FF, JG), pp. 85–101.
MoDELS-2017-KlareBKLSR #metamodelling #named #tool support: Ecoreification: Making Arbitrary Java Code Accessible to Metamodel-Based Tools (HK, EB, MEK, ML, TS, RHR), pp. 221–228.
ECOOP-2017-DietrichPJBD #case study #contract #source code: Contracts in the Wild: A Study of Java Programs (JD0, DJP, KJ, PB), p. 29.
ECOOP-2017-KuciEBBM: A Co-contextual Type Checker for Featherweight Java (EK, SE, OB, AB, MM), p. 26.
Onward-2017-VeroyG #case study #how #named: Garbology: a study of how Java objects die (RLV, SZG), pp. 168–179.
OOPSLA-2017-MazinanianKTD #comprehension #using: Understanding the use of lambda expressions in Java (DM, AK, NT, DD), p. 31.
LOPSTR-2017-LaneveG #bytecode #concurrent #detection: Deadlock Detection of Java Bytecode (CL, AG), pp. 37–53.
POPL-2017-Grigore: Java generics are turing complete (RG), pp. 73–85.
ASE-2017-KhatchadourianM #automation #refactoring: Defaultification refactoring: a tool for automatically converting Java methods to default (RK, HM), pp. 984–989.
ESEC-FSE-2017-LabuschagneIH #case study #cost analysis #integration #testing #using: Measuring the cost of regression testing in practice: a study of Java projects using continuous integration (AL, LI, RH), pp. 821–830.
ESEC-FSE-2017-YuCZWD #named: RGSE: a regular property guided symbolic executor for Java (HY, ZC, YZ, JW0, WD0), pp. 954–958.
ICSE-2017-CoblenzNAMS #named #transitive: Glacier: transitive class immutability for Java (MJC, WN, JA, BAM, JS), pp. 496–506.
ICSE-2017-KhatchadourianM #automation #legacy #refactoring: Automated refactoring of legacy Java software to default methods (RK, HM), pp. 82–93.
ICSE-2017-LandmanSV #challenge #empirical #overview #static analysis: Challenges for static analysis of Java reflection: literature review and empirical study (DL, AS, JJV), pp. 507–518.
ASPLOS-2017-ChisnallDGBJWMM #c #security: CHERI JNI: Sinking the Java Security Model into the C (DC, BD, KG, DB, AJ, JW, ATM, JEM, RMN, SDS, MR, SWM, PGN, BL, RNMW), pp. 569–583.
CC-2017-BrotherstonDL #named: Granullar: gradual nullable types for Java (DB, WD, OL), pp. 87–97.
FASE-2017-UvaPRAF #automation #satisfiability #specification: Automated Workarounds from Java Program Specifications Based on SAT Solving (MU, PP, GR, NA, MFF), pp. 356–373.
TAP-2017-FuchsK #enterprise #testing: Unit Testing of Database-Driven Java Enterprise Edition Applications (AF, HK), pp. 59–76.
ICPC-2016-OguraYHHK #detection #exclamation #injection: Hey! Are you injecting side effect?: A tool for detecting purity changes in java methods (NO, JY, KH, YH, SK), pp. 1–3.
ICPC-2016-SanchezWS #multi: Multistaging to understand: Distilling the essence of java code examples (HS, JW, MS), pp. 1–10.
ICSME-2016-OlneyHTL #speech: Part of Speech Tagging Java Method Names (WO, EH0, CT, BL), pp. 483–487.
ICSME-2016-PintoLCL #energy #performance #thread: A Comprehensive Study on the Energy Efficiency of Java's Thread-Safe Collections (GP0, KL, FC, YDL), pp. 20–31.
ICSME-2016-PintoLCL16a #energy #performance #thread: Artifacts for “A Comprehensive Study on the Energy Efficiency of Java's Thread-Safe Collections” (GP0, KL, FC, YDL), pp. 614–615.
ICSME-2016-SainiSL #empirical #metric #quality #scalability: Comparing Quality Metrics for Cloned and Non Cloned Java Methods: A Large Scale Empirical Study (VS, HS, CVL), pp. 256–266.
ICSME-2016-SawantRB #api #on the: On the Reaction to Deprecation of 25, 357 Clients of 4+1 Popular Java APIs (AAS, RR, AB), pp. 400–410.
MSR-2016-AsaduzzamanARS #developer #exception #how #question: How developers use exception handling in Java? (MA, MA, CKR, KAS), pp. 516–519.
MSR-2016-BarnettGSM #commit #fault #git: The relationship between commit message detail and defect proneness in Java projects on GitHub (JGB, CKG, LSS, SM), pp. 496–499.
MSR-2016-ChenSYHGNF #empirical #maintenance: An empirical study on the practice of maintaining object-relational mapping code in Java systems (THC, WS, JY0, AEH, MWG, MNN, PF), pp. 165–176.
MSR-2016-IshioKKGI #component #detection #reuse: Software ingredients: detection of third-party component reuse in Java software release (TI, RGK, TK0, DMG, KI), pp. 339–350.
MSR-2016-NakshatriHT #analysis #empirical #exception: Analysis of exception handling patterns in Java projects: an empirical study (SN, MH, ST), pp. 500–503.
MSR-2016-SenaCKB #comprehension #empirical #exception #library: Understanding the exception handling strategies of Java libraries: an empirical study (DS, RC, UK, RB), pp. 212–222.
SANER-2016-BritoHVR #analysis #api #developer #scalability: Do Developers Deprecate APIs with Replacement Messages? A Large-Scale Analysis on Java Systems (GB, ACH, MTV, RR), pp. 360–369.
SANER-2016-OsmanLLN #null #open source: Tracking Null Checks in Open-Source Java Systems (HO, ML, ML, ON), pp. 304–313.
SANER-2016-TengeriHBGG #bytecode #source code #test coverage: Negative Effects of Bytecode Instrumentation on Java Source Code Coverage (DT, FH, ÁB, TG, TG), pp. 225–235.
IFM-2016-LuckcuckCW #formal method #paradigm #safety: A Formal Model of the Safety-Critical Java Level 2 Paradigm (ML, AC, AJW), pp. 226–241.
ECOOP-2016-GilL #formal method #recognition: Formal Language Recognition with the Java Type Checker (YG, TL), p. 27.
ECOOP-2016-JezekD #component #flexibility: Magic with Dynamo -- Flexible Cross-Component Linking for Java with Invokedynamic (KJ, JD0), p. 25.
ECOOP-2016-SpathDAB #analysis #named #pointer: Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java (JS, LNQD, KA0, EB), p. 26.
OOPSLA-2016-AminT #null #pointer #scala #type system: Java and scala's type systems are unsound: the existential crisis of null pointers (NA, RT), pp. 838–848.
PLATEAU-2016-SulirP: A quantitative study of Java software buildability (MS, JP), pp. 17–25.
AdaEurope-2016-MeiGW #realtime: Real-Time Stream Processing in Java (HM0, IG, AJW), pp. 44–57.
SAS-2016-Spoto: The Julia Static Analyzer for Java (FS), pp. 39–57.
ASE-2016-LegunsenHXRM #api #case study #effectiveness #how #specification: How good are the specs? a study of the bug-finding effectiveness of existing Java API specifications (OL, WUH, XX, GR, DM), pp. 602–613.
ASE-2016-LinZCZ #api #detection #named: LockPeeker: detecting latent locks in Java APIs (ZL, HZ, YC, JZ), pp. 368–378.
FSE-2016-BraioneDP #named #source code: JBSE: a symbolic executor for Java programs with complex heap inputs (PB, GD, MP), pp. 1018–1022.
FSE-2016-CelikKMG #lazy evaluation #retrieval: Build system with lazy retrieval for Java projects (AÇ, AK, AM, MG), pp. 643–654.
FSE-2016-Guo #debugging #interactive #named: SmartDebug: an interactive debug assistant for Java (XG), pp. 1127–1129.
FSE-2016-GyoriLSLM #api #debugging #detection #named #specification: NonDex: a tool for detecting and debugging wrong assumptions on Java API specifications (AG, BL, AS, OL, DM), pp. 993–997.
FSE-2016-Huang16a #api #invariant: Discovering additional violations of Java API invariants (WH), pp. 1145–1147.
FSE-2016-Mackie #fault: Preventing signedness errors in numerical computations in Java (CAM), pp. 1148–1150.
FSE-2016-ReifEHLM #graph #library: Call graph construction for Java libraries (MR, ME, BH, JL, MM), pp. 474–486.
FSE-2016-WangFMKDR #named #reuse: Hunter: next-generation code reuse for Java (YW, YF, RM, AK, ID, SPR), pp. 1028–1032.
ICSE-2016-HasanKHSAH #energy: Energy profiles of Java collections classes (SH, ZK, MH, MS, BA, AH), pp. 225–236.
ICSE-2016-NadiKMB #api #developer #encryption #question #why: Jumping through hoops: why do Java developers struggle with cryptography APIs? (SN, SK, MM, EB), pp. 935–946.
ICSE-2016-ZhaiHMZTZQ #api #automation #documentation #generative: Automatic model generation from documentation for Java API functions (JZ, JH0, SM, XZ0, LT0, JZ, FQ), pp. 380–391.
GPCE-2016-BiboudisIS #library #named: Recaf: Java dialects as libraries (AB, PI, TvdS), pp. 2–13.
GPCE-2016-WangZOS: Classless Java (YW, HZ, BCdSO, MS), pp. 14–24.
GPCE-2016-ZacharopoulosIS #modelling: Extensible modeling with managed data in Java (TZ, PI, TvdS), pp. 25–35.
CAV-2016-KahsaiRSS #framework #named #source code #verification: JayHorn: A Framework for Verifying Java programs (TK, PR, HS, MS), pp. 352–358.
ITiCSE-2015-BlauM #automation #feedback #student: FrenchPress Gives Students Automated Feedback on Java Program Flaws (HB, JEBM), pp. 15–20.
ITiCSE-2015-Harms15a #using: Using Personal Robots and Myro/Java in the First Computer Science Course (DEH), p. 332.
ITiCSE-2015-InsaS #assessment #automation #domain-specific language #library: Semi-Automatic Assessment of Unrestrained Java Code: A Library, a DSL, and a Workbench to Assess Exams and Exercises (DI, JS), pp. 39–44.
ICPC-2015-ButlerWY #overview: A survey of the forms of Java reference names (SB, MW, YY), pp. 196–206.
ICPC-2015-MilojkovicCLNRR #morphism #polymorphism #smalltalk: Polymorphism in the spotlight: studying its prevalence in Java and Smalltalk (NM, AC, MFL, ON, DR, RR), pp. 186–195.
ICPC-2015-VendomeLBPGP #git #scalability: License usage and changes: a large-scale study of Java projects on GitHub (CV, MLV, GB, MDP, DMG, DP), pp. 218–228.
ICSME-2015-BiegelLD #behaviour: Live object exploration: Observing and manipulating behavior and state of Java objects (BB, BL, SD), pp. 581–585.
ICSME-2015-ButlerWY: Investigating naming convention adherence in Java references (SB, MW, YY), pp. 41–50.
ICSME-2015-GoeminneM #analysis #database #framework #towards: Towards a survival analysis of database framework usage in Java projects (MG, TM), pp. 551–555.
ICSME-2015-KimBD #design pattern #parametricity #refactoring: Scripting parametric refactorings in Java to retrofit design patterns (JK, DSB, DD), pp. 211–220.
ICSME-2015-YangHHK #refactoring #towards: Towards purity-guided refactoring in Java (JY, KH, YH, SK), pp. 521–525.
MSR-2015-KarakoidasMLGS #ecosystem #generative: Generating the Blueprints of the Java Ecosystem (VK, DM, PL, GG, DS), pp. 510–513.
SANER-2015-Keivanloo0Z #clone detection #detection #repository #scalability: Threshold-free code clone detection for a large-scale heterogeneous Java repository (IK, FZ, YZ), pp. 201–210.
SANER-2015-KoboriMI #analysis #evolution: Evolution analysis for Accessibility Excessiveness in Java (KK, MM, KI), pp. 83–90.
SCAM-2015-SteidlD #how #question: How do Java methods grow? (DS, FD), pp. 151–160.
SEKE-2015-XiangQB #flexibility #runtime #verification: Flexible and Extensible Runtime Verification for Java (CX, ZQ, WB), pp. 595–600.
SPLC-2015-FilhoABAB #empirical #product line #source code: Assessing product line derivation operators applied to Java source code: an empirical study (JBFF, SA, OB, MA, BB), pp. 36–45.
OOPSLA-2015-DietrichHS #analysis #points-to: Giga-scale exhaustive points-to analysis for Java in under a minute (JD, NH, BS), pp. 535–551.
OOPSLA-2015-GveroK #query: Synthesizing Java expressions from free-form queries (TG, VK), pp. 416–432.
OOPSLA-2015-LopesO #how #source code: How scale affects structure in Java programs (CVL, JO), pp. 675–694.
OOPSLA-2015-MastrangeloPMLH #api: Use at your own risk: the Java unsafe API in the wild (LM, LP, AM, ML, MH, NN), pp. 695–710.
OOPSLA-2015-UpadhyayaR #abstraction #concurrent #effectiveness #message passing #thread #virtual machine: Effectively mapping linguistic abstractions for message-passing concurrency to threads on the Java virtual machine (GU, HR), pp. 840–859.
LOPSTR-2015-CaballeroMKH #automation #generative #testing #using: Checking Java Assertions Using Automated Test-Case Generation (RC0, MM, HK, VvH), pp. 221–226.
PEPM-2015-LiWXH #adaptation #api #named #towards #type safety: SWIN: Towards Type-Safe Java Program Adaptation between APIs (JL, CW, YX, ZH), pp. 91–102.
POPL-2015-BogdanasR #named #semantics: K-Java: A Complete Semantics of Java (DB, GR), pp. 445–456.
ASE-2015-AlshanqitiH #contract #source code #visual notation: Extracting Visual Contracts from Java Programs (T) (AMA, RH), pp. 104–114.
ASE-2015-BarrosJMVDdE #android #control flow #static analysis: Static Analysis of Implicit Control Flow: Resolving Java Reflection and Android Intents (T) (PB, RJ, SM, PV, WD, Md, MDE), pp. 669–679.
ASE-2015-LinMZCZ #benchmark #concurrent #debugging #metric #named: JaConTeBe: A Benchmark Suite of Real-World Java Concurrency Bugs (T) (ZL, DM, HZ, YC, JZ), pp. 178–189.
ESEC-FSE-2015-BellKMD #dependence #detection #performance: Efficient dependency detection for safe Java test acceleration (JB, GEK, EM, MD), pp. 770–781.
ESEC-FSE-2015-CaiC #detection #effectiveness #precise #source code: Effective and precise dynamic detection of hidden races for Java programs (YC, LC), pp. 450–461.
ESEC-FSE-2015-HermannREM #towards: Getting to know you: towards a capability model for Java (BH, MR, ME, MM), pp. 758–769.
ESEC-FSE-2015-JeonQFS #named #sketching: JSketch: sketching for Java (JJ, XQ, JSF, ASL), pp. 934–937.
ESEC-FSE-2015-LiLWH #analysis #android #string: String analysis for Java and Android applications (DL, YL, MW, WGJH), pp. 661–672.
ESEC-FSE-2015-Prasetya #generative #named #query #testing: T3i: a tool for generating and querying test suites for Java (ISWBP), pp. 950–953.
SAC-2015-CordobaL #design #effectiveness #modelling: A modelling language for the effective design of Java annotations (IC, JdL), pp. 2087–2092.
SAC-2015-MongioviGFPT #analysis #approach #data flow #detection #hybrid: Combining static and dynamic data flow analysis: a hybrid approach for detecting data leaks in java applications (MM, GG, AF, GP, ET), pp. 1573–1579.
CC-2015-AckermannRMS #optimisation #runtime: A Backend Extension Mechanism for PQL/Java with Free Run-Time Optimisation (HA, CR, CM, YS), pp. 111–130.
ISMM-2015-StancuWBLF #hybrid #memory management #performance: Safe and efficient hybrid memory management for Java (CS, CW, SB, PL, MF), pp. 81–92.
CAV-2015-GouwRBBH: OpenJDK’s Java.utils.Collection.sort() Is Broken: The Good, the Bad and the Worst Case (SdG, JR, FSdB, RB, RH), pp. 273–289.
VLDB-2014-SuSGOS #big data: Changing Engines in Midstream: A Java Stream Computational Model for Big Data Processing (XS, GS, BG, BO, PS), pp. 1343–1354.
EDM-2014-YudelsonHVB #automation #modelling #student: Investigating Automated Student Modeling in a Java MOOC (MY, RH, AV, PB), pp. 261–264.
SIGITE-2014-BrannockNL #programming #student: Operation Java blitz: extracurricular programming workshops to engage it students (EB, NPN, RL), pp. 135–136.
SIGITE-2014-TsangGA #learning #programming language #question #student: The practical application of LEGO® MINDSTORMS® robotics kits: does it enhance undergraduate computing students’ engagement in learning the Java programming language? (ET, CG, MA), pp. 121–126.
CSMR-WCRE-2014-DietrichJB #empirical #evolution #library #problem #source code: Broken promises: An empirical study into evolution problems in Java programs caused by library upgrades (JD, KJ, PB), pp. 64–73.
ICPC-2014-MatsumuraIKI #execution #performance #visualisation: Repeatedly-executed-method viewer for efficient visualization of execution paths and states in Java (TM, TI, YK, KI), pp. 253–257.
ICPC-2014-PetersenHR #api #comparison #eclipse #empirical #groovy #ide #type system: An empirical comparison of static and dynamic type systems on API usage in the presence of an IDE: Java vs. groovy with eclipse (PP, SH, RR), pp. 212–222.
ICPC-2014-VasquezKMSPG #anti #matter #metric #mobile: Domain matters: bringing further evidence of the relationships among anti-patterns, application domains, and quality-related metrics in Java mobile apps (MLV, SK, CM, AS, DP, YGG), pp. 232–243.
ICSME-2014-CachoBAPGCSCFG #behaviour #c# #case study #exception #how: How Does Exception Handling Behavior Evolve? An Exploratory Study in Java and C# Applications (NC, EAB, JA, FP, AFG, TC, ES, AC, TF, IG), pp. 31–40.
ICSME-2014-LandmanSV #analysis #corpus #empirical #scalability: Empirical Analysis of the Relationship between CC and SLOC in a Large Corpus of Java Methods (DL, AS, JJV), pp. 221–230.
ICSME-2014-TaoQ #analysis #concurrent #refactoring #source code: Refactoring Java Concurrent Programs Based on Synchronization Requirement Analysis (BT, JQ), pp. 361–370.
SCAM-2014-SajnaniSL #case study #comparative #debugging: A Comparative Study of Bug Patterns in Java Cloned and Non-cloned Code (HS, VS, CVL), pp. 21–30.
GT-VMT-2014-AlshanqitiH #contract #reverse engineering #towards #visual notation: Towards Dynamic Reverse Engineering Visual Contracts from Java (AMA, RH).
KR-2014-Thimm #aspect-oriented #information management #library #logic #named #representation: Tweety: A Comprehensive Collection of Java Libraries for Logical Aspects of Artificial Intelligence and Knowledge Representation (MT).
SEKE-2014-NassarJSB #energy #generative #realtime #runtime: Generating Real-Time Profiles of Runtime Energy Consumption for Java Applications (MN, JJ, IS, MBB), pp. 592–597.
AMT-2014-ZhangBBEHKW #code generation #concurrent #state machine #towards: Towards Verified Java Code Generation from Concurrent State Machines (DZ, DB, MvdB, LE, CH, RK, AW), pp. 64–69.
MoDELS-2014-BergmayrGWK #named #uml: JUMP — From Java Annotations to UML Profiles (AB, MG, MW, GK), pp. 552–568.
ECOOP-2014-LiTSX #self: Self-inferencing Reflection Resolution for Java (YL, TT, YS, JX), pp. 27–53.
ECOOP-2014-MayerS #automation #domain-specific language #framework #multi #refactoring: Automated Multi-Language Artifact Binding and Rename Refactoring between Java and DSLs Used by Java Frameworks (PM, AS), pp. 437–462.
OOPSLA-2014-AltidorS #refactoring: Refactoring Java generics by inferring wildcards, in practice (JA, YS), pp. 271–290.
OOPSLA-2014-PinaVH #named #virtual machine: Rubah: DSU for Java on a stock JVM (LP, LV, MWH), pp. 103–119.
HILT-2014-RathjeR #framework #model checking #network #source code: A framework for model checking UDP network programs with Java pathfinder (WR, BR), pp. 81–86.
LOPSTR-2014-SinghK #detection #partial evaluation: Partial Evaluation for Java Malware Detection (RS, AK), pp. 133–147.
PEPM-2014-MiaoS #metaprogramming: Compile-time reflection and metaprogramming for Java (WM, JGS), pp. 27–38.
POPL-2014-MurawskiT #game studies #interface #semantics: Game semantics for interface middleweight Java (ASM, NT), pp. 517–528.
SAS-2014-BessonJV #named #static analysis: SawjaCard: A Static Analysis Tool for Certifying Java Card Applications (FB, TPJ, PV), pp. 51–67.
SAC-PL-J-2013-CazzolaV14: @Java: Bringing a richer annotation model to Java (WC, EV), pp. 2–18.
FSE-2014-HigoK #case study #functional #how #source code: How should we measure functional sameness from program source code? an exploratory study on Java methods (YH, SK), pp. 294–305.
FSE-2014-SamakR #concurrent #detection #library #parallel #precise #thread: Omen+: a precise dynamic deadlock detector for multithreaded Java libraries (MS, MKR), pp. 735–738.
ICSE-2014-JiangGXML #concurrent #named #source code: CARE: cache guided deterministic replay for concurrent Java programs (YJ, TG, CX, XM, JL), pp. 457–467.
SAC-2014-BassoOF #model transformation: Extending JUnit 4 with Java annotations and reflection to test variant model transformation assets (FPB, TCdO, KF), pp. 1601–1608.
SAC-2014-RiveraC #source code: Translating event-B to JML-specified Java programs (VR, NC), pp. 1264–1271.
CGO-2014-StadlerWM #analysis: Partial Escape Analysis and Scalar Replacement for Java (LS, TW, HM), p. 165.
ISMM-2014-ZakkakP #architecture #memory management #named: JDMM: a java memory model for non-cache-coherent memory architectures (FSZ, PP), pp. 83–92.
PDP-2014-AmighiBHMZ #specification: Formal Specifications for Java’s Synchronisation Classes (AA, SB, MH, WM, MZS), pp. 725–733.
FASE-2014-GomesPG #bytecode #control flow #graph #source code: Sound Control Flow Graph Extraction from Incomplete Java Bytecode Programs (PdCG, AP, DG), pp. 215–229.
FASE-2014-HuangDM #analysis #type system #web: Type-Based Taint Analysis for Java Web Applications (WH, YD, AM), pp. 140–154.
ICST-2014-HongPK #concurrent #detection #fault #web: Detecting Concurrency Errors in Client-Side Java Script Web Applications (SH, YP, MK), pp. 61–70.
ISSTA-2014-Just #analysis #framework #mutation testing #performance #scalability: The major mutation framework: efficient and scalable mutation analysis for Java (RJ), pp. 433–436.
ISSTA-2014-JustJE #database #fault #named #source code #testing: Defects4J: a database of existing faults to enable controlled testing studies for Java programs (RJ, DJ, MDE), pp. 437–440.
ISSTA-2014-WeitzSKE #string: A format string checker for Java (KW, SS, GK, MDE), pp. 441–444.
VMCAI-2014-Fu #abstract domain #analysis #points-to #scalability: Modularly Combining Numeric Abstract Domains with Points-to Analysis, and a Scalable Static Numeric Analyzer for Java (ZF), pp. 282–301.
CBSE-2013-SchwittekE #case study #component #enterprise #open source #reuse: A study on third party component reuse in Java enterprise open source software (WS, SE), pp. 75–80.
CSMR-2013-SneedE #migration: Migrating AS400-COBOL to Java: A Report from the Field (HMS, KE), pp. 231–240.
ICPC-2013-MayerS #framework: Patterns of cross-language linking in java frameworks (PM, AS), pp. 113–122.
ICPC-2013-MorenoASMPV #automation #generative #natural language #summary: Automatic generation of natural language summaries for Java classes (LM, JA, GS, AM, LLP, KVS), pp. 23–32.
ICPC-2013-MorenoMPV #automation #generative #named #natural language #summary: JSummarizer: An automatic generator of natural language summaries for Java classes (LM, AM, LLP, KVS), pp. 230–232.
ICSM-2013-ShahDM #automation #on the #refactoring: On the Automation of Dependency-Breaking Refactorings in Java (SMAS, JD, CM), pp. 160–169.
PASTE-2013-VitasekBH #named: ShadowData: shadowing heap objects in Java (MV, WB, MH), pp. 17–24.
WCRE-2013-HayashiTS #difference #named #refactoring: REdiffs: Refactoring-aware difference viewer for java (SH, ST, MS), pp. 487–488.
WCRE-2013-SutiiRS #dependence #detection #enterprise: Detecting dependencies in Enterprise JavaBeans with SQuAVisiT (AS, SAR, AS), pp. 485–486.
ICEIS-v1-2013-Castanon-PugaCF #fuzzy #library #named #object-oriented: JT2FIS: Java Type-2 Fuzzy Inference System — An Object-oriented Class Library for Building Java Intelligent Applications (MCP, JRC, MFP), pp. 524–529.
SEKE-2013-AlshammariFC #bytecode #metric #security #source code: Security Metrics for Java Bytecode Programs (BA, CJF, DC), pp. 394–399.
MoDELS-2013-ChavezSFM #approach #implementation #testing #uml: An Approach to Testing Java Implementation against Its UML Class Model (HMC, WS, RBF, BAM), pp. 220–236.
ECOOP-2013-AnsaloniKZBBT #composition #program analysis #tool support #virtual machine: Enabling Modularity and Re-use in Dynamic Program Analysis Tools for the Java Virtual Machine (DA, SK, YZ, LB, WB, PT), pp. 352–377.
ECOOP-2013-GordonDEG #user interface: Java UI: Effects for Controlling UI Object Access (CSG, WD, MDE, DG), pp. 179–204.
ECOOP-2013-TemperoYN #inheritance #what: What Programmers Do with Inheritance in Java (EDT, HYY, JN), pp. 577–601.
ECOOP-2013-Xu #adaptation #named: CoCo: Sound and Adaptive Replacement of Java Collections (G(X), pp. 1–26.
OOPSLA-2013-HoppeH #comparison #developer #empirical: Do developers benefit from generic types?: an empirical comparison of generic and raw types in java (MH, SH), pp. 457–474.
OOPSLA-2013-NollG #online #optimisation #parallel: Online feedback-directed optimizations for parallel Java code (AN, TRG), pp. 713–728.
PADL-2013-CastroMM #logic programming #named: LogicObjects: Enabling Logic Programming in Java through Linguistic Symbiosis (SC, KM, PM), pp. 26–42.
POPL-2013-DemangeLZJPV #memory management: Plan B: a buffered memory model for Java (DD, VL, LZ, SJ, DP, JV), pp. 329–342.
SAC-OOPS-J-2009-BettiniCD13 #flexibility #on the: On flexible dynamic trait replacement for Java-like languages (LB, SC, FD), pp. 907–932.
SAC-PL-J-2012-HaublWM13: Context-sensitive trace inlining for Java (CH, CW, HM), pp. 123–141.
ICSE-2013-GhoshSLC #automation #generative #industrial #named #string #testing: JST: an automatic test generation tool for industrial Java applications with strings (IG, NS, GL, WFC), pp. 992–1001.
ICSE-2013-MehlitzRV #tutorial: A hands-on Java PathFinder tutorial (PCM, NR, WV), pp. 1493–1495.
ICSE-2013-Zhang04a #automation #fault #named: ConfDiagnoser: an automated configuration error diagnosis tool for Java software (SZ), pp. 1438–1440.
SAC-2013-AlitavoliJE #novel #source code: A novel watermarking method for Java programs (MA, MJ, AE), pp. 1013–1018.
SAC-2013-Bettini #implementation #semantics #xtext: Implementing Java-like languages in Xtext with Xsemantics (LB), pp. 1559–1564.
SAC-2013-CazzolaV: @Java: annotations in freedom (WC, EV), pp. 1688–1693.
SAC-2013-GouwBJW #case study #industrial #runtime #source code: Run-time checking of data- and protocol-oriented properties of Java programs: an industrial case study (SdG, FSdB, EBJ, PYHW), pp. 1573–1578.
SAC-2013-SilvaC #exception #interface: New exception interfaces for Java-like languages (TBLS, FC), pp. 1661–1666.
GPCE-2013-GerakiosBS #parametricity #using: Reified type parameters using Java annotations (PG, AB, YS), pp. 61–64.
GPCE-2013-MarekKZBBTASS #framework #named #platform #program analysis #robust: ShadowVM: robust and comprehensive dynamic program analysis for the java platform (LM, SK, YZ, LB, WB, PT, DA, AS, AS), pp. 105–114.
CC-2013-KastrinisS #analysis #effectiveness #exception #performance #points-to: Efficient and Effective Handling of Exceptions in Java Points-to Analysis (GK, YS), pp. 41–60.
ICST-2013-LinD #concurrent #using: CHECK-THEN-ACT Misuse of Java Concurrent Collections (YL, DD), pp. 164–173.
ISSTA-2013-HanazumiM #generative #source code: Generation of Java programs properties from test purposes (SH, ACVdM), pp. 362–365.
ISSTA-2013-RadoiD #concurrent #detection #parallel: Practical static race detection for Java parallel loops (CR, DD), pp. 178–190.
ITiCSE-2012-Santos #education: An open-ended environment for teaching Java in context (AS), pp. 87–92.
ITiCSE-2012-Santos12a #education #using: Developing contexts for teaching Java using AGUIA/J (ALS), p. 378.
CSMR-2012-AlsallakhBGM #debugging #eclipse #visual notation: Visual Tracing for the Eclipse Java Debugger (BA, PB, AG, SM), pp. 545–548.
CSMR-2012-AlsallakhBMN #array #eclipse #ide #visualisation: Visualizing Arrays in the Eclipse Java IDE (BA, PB, SM, DN), pp. 541–544.
ICSM-2012-MateoU #framework #mutation testing #named #quality #testing: Bacterio: Java mutation testing tool: A framework to evaluate quality of tests cases (PRM, MPU), pp. 646–649.
ICSM-2012-QianZ #memory management: Inferring weak references for fixing Java memory leaks (JQ, XZ), pp. 571–574.
SCAM-2012-AftandilianSPK #compilation #program analysis #tool support #using: Building Useful Program Analysis Tools Using an Extensible Java Compiler (EA, RS, SP, SK), pp. 14–23.
SCAM-2012-HillRK #debugging #locality #on the #using: On the Use of Stemming for Concern Location and Bug Localization in Java (EH, SR, ACK), pp. 184–193.
SCAM-2012-Zambon #bytecode #obfuscation: Aucsmith-Like Obfuscation of Java Bytecode (AZ), pp. 114–119.
SCAM-2012-ZollerS #named: AccessAnalysis: A Tool for Measuring the Appropriateness of Access Modifiers in Java Systems (CZ, AS), pp. 120–125.
WCRE-2012-CapiluppiFB #effectiveness #obfuscation: Code Defactoring: Evaluating the Effectiveness of Java Obfuscations (AC, PF, CB), pp. 71–80.
IFM-2012-AndradeFLP #generative #testing: Specification-Driven Unit Test Generation for Java Generic Classes (FRdA, JPF, AL, ACRP), pp. 296–311.
IFM-2012-JiB #named #source code: PE-KeY: A Partial Evaluator for Java Programs (RJ, RB), pp. 283–295.
SEFM-2012-AmighiGGH #control flow #exception #graph #source code: Sound Control-Flow Graph Extraction for Java Programs with Exceptions (AA, PdCG, DG, MH), pp. 33–47.
IFL-2012-Clerc #ml #named: OCaml-Java: From OCaml Sources to Java Bytecodes (XC), pp. 71–85.
CSCW-2012-LautamakiNKAME #collaboration #editing #named #realtime #web: CoRED: browser-based Collaborative Real-time Editor for Java web applications (JL, AN, JK, TA, TM, ME), pp. 1307–1316.
ICEIS-v2-2012-HanadaOKM #ml #ocl #uml: Practical Application of a Translation Tool from UML/OCL to Java Skeleton with JML Annotation (KH, KO, SK, KM), pp. 389–394.
KEOD-2012-Ohlbach #named #owl: Java2OWL: A System for Synchronising Java and OWL (HJO), pp. 15–24.
KR-2012-FebbraroLGR #framework #named #programming #set: JASP: A Framework for Integrating Answer Set Programming with Java (OF, NL, GG, FR).
SIGIR-2012-MarquesL #information retrieval #using #visual notation: Visual information retrieval using Java and LIRE (OM, ML), p. 1193.
TOOLS-EUROPE-J-2011-IngesmanE12 #calculus #morphism #polymorphism: Lifted Java: A Minimal Calculus for Translation Polymorphism (MDI, EE), pp. 1–23.
ECOOP-2012-AltidorRS: Java Wildcards Meet Definition-Site Variance (JA, CR, YS), pp. 509–534.
ECOOP-2012-DeD #analysis #pointer #scalability: Scalable Flow-Sensitive Pointer Analysis for Java with Strong Updates (AD, DD), pp. 665–687.
ECOOP-2012-DiasDSL #memory management #source code #transaction #verification: Verification of Snapshot Isolation in Transactional Memory Java Programs (RJD, DD, JCS, JL), pp. 640–664.
ECOOP-2012-GilS: Smaller Footprint for Java Collections (JYG, YS), pp. 356–382.
ECOOP-2012-ReichenbachSI #named #parallel #programming: PQL: A Purely-Declarative Java Extension for Parallel Programming (CR, YS, NI), pp. 53–78.
OOPSLA-2012-InoueHWN #adaptation #compilation #jit #multi: Adaptive multi-level compilation in a trace-based Java JIT compiler (HI, HH, PW, TN), pp. 179–194.
OOPSLA-2012-ParizekL #abstraction #source code: Predicate abstraction of Java programs with collections (PP, OL), pp. 75–94.
OOPSLA-2012-SartorE #concurrent #hardware #manycore #performance #thread: Exploring multi-threaded Java application performance on multicore hardware (JBS, LE), pp. 281–296.
OOPSLA-2012-Zhang0LZMY #android #on-demand #refactoring: Refactoring android Java code for on-demand computation offloading (YZ, GH, XL, WZ, HM, SY), pp. 233–248.
HILT-2012-Nilsen #comprehension #memory management #overview #safety #tutorial: Tutorial overview: understanding dynamic memory management in safety critical java (KN), pp. 15–22.
HILT-2012-Nilsen12a #legacy #realtime: Real-time Java in modernization of the aegis weapon system (KN), pp. 63–70.
PEPM-2012-KarlsenHO #debugging #eclipse #plugin: Finding and fixing Java naming bugs with the lancelot eclipse plugin (EKK, EWH, BMØ), pp. 35–38.
PLDI-2012-EomD #self: Self-stabilizing Java (YHE, BD), pp. 287–298.
ASE-2012-BauersfeldV #automation #library #named #robust #testing #user interface: GUITest: a Java library for fully automated GUI robustness testing (SB, TEJV), pp. 330–333.
ASE-2012-MorenoM #automation #identification #named: JStereoCode: automatically identifying method and class stereotypes in Java code (LM, AM), pp. 358–361.
FSE-2012-HuangM #named: ReImInfer: method purity inference for Java (WH, AM), p. 38.
FSE-2012-OcteauJM #android #bytecode: Retargeting Android applications to Java bytecode (DO, SJ, PM), p. 6.
FSE-2012-ZhangKK #evolution #fault #impact analysis #named #source code: FaultTracer: a change impact and regression fault analysis tool for evolving Java programs (LZ, MK, SK), p. 40.
ICSE-2012-Butler #identifier #mining: Mining Java class identifier naming conventions (SB), pp. 1641–1643.
ICSE-2012-CarzanigaGMP #self: A self-healing technique for Java applications (AC, AG, AM, NP), pp. 1445–1446.
ICSE-2012-PankratiusSG #empirical #functional #imperative #manycore #programming #scala: Combining functional and imperative programming for multicore software: An empirical study evaluating Scala and Java (VP, FS, GG), pp. 123–133.
ICSE-2012-YanXR #performance #problem #profiling: Uncovering performance problems in Java applications with reference propagation profiling (DY, G(X, AR), pp. 134–144.
SAC-2012-AmericoRD #framework #platform #realtime: Managing the dynamism of the OSGi Service Platform in real-time Java applications (JCA, WR, DD), pp. 1115–1122.
SAC-2012-AnconaMP #automation #documentation #migration #ontology: Ontology-based documentation extraction for semi-automatic migration of Java code (DA, VM, OP), pp. 1137–1143.
SAC-2012-DestefanisTCM #analysis #anti #scalability: An analysis of anti-micro-patterns effects on fault-proneness in large Java systems (GD, RT, GC, MM), pp. 1251–1253.
SAC-2012-HaublWM #evaluation #heuristic: Evaluation of trace inlining heuristics for Java (CH, CW, HM), pp. 1871–1876.
SAC-2012-LavazzaMTT #empirical #open source #reliability #source code: An empirical investigation of perceived reliability of open source Java programs (LL, SM, DT, DT), pp. 1109–1114.
SAC-2012-Tronicek #flexibility #named #refactoring: RefactoringNG: a flexible Java refactoring tool (ZT), pp. 1165–1170.
GPCE-2012-AxelsenK #performance #semantics #text-to-text: Package templates: a definition by semantics-preserving source-to-source transformations to efficient Java code (EWA, SK), pp. 50–59.
GPCE-2012-EfftingeEKZMHH #domain-specific language #implementation #named: Xbase: implementing domain-specific languages for Java (SE, ME, JK, SZ, RvM, WH, MH), pp. 112–121.
ISMM-2012-InoueN #hardware #identification #source code: Identifying the sources of cache misses in Java programs without relying on hardware counters (HI, TN), pp. 133–142.
ISMM-2012-SeweMSABRG #behaviour #comparison #memory management #scala #source code: new Scala() instance of Java: a comparison of the memory behaviour of Java and Scala programs (AS, MM, AS, DA, WB, NPR, SZG), pp. 97–108.
LCTES-2012-AslamBQUFTSH #design #embedded #stack: Rethinking Java call stack design for tiny embedded devices (FA, GB, MAQ, ZAU, LF, PT, CS, EH), pp. 1–10.
ESOP-2012-Lochbihler #formal method #memory management: Java and the Java Memory Model — A Unified, Machine-Checked Formalisation (AL), pp. 497–517.
FASE-2012-MolRH #graph: Graph Transforming Java Data (MdM, AR, JJH), pp. 209–223.
TACAS-2012-JinYS #memory management #model checking: Java Memory Model-Aware Model Checking (HJ, TYK, BAS), pp. 220–236.
CAV-2012-ArltS #detection #named: Joogie: Infeasible Code Detection for Java (SA, MS), pp. 767–773.
CAV-2012-BrockschmidtMOG #automation #proving #source code #termination: Automated Termination Proofs for Java Programs with Cyclic Data (MB, RM, CO, JG), pp. 105–122.
ISSTA-2012-ThiesB #named #refactoring #source code: RefaFlex: safer refactorings for reflective Java programs (AT, EB), pp. 1–11.
ISSTA-2012-YiDFF #concurrent #thread: Cooperative types for controlling thread interference in Java (JY, TD, SNF, CF), pp. 232–242.
ECSA-2011-RytterJ #named: Decouplink: Dynamic Links for Java (MR, BNJ), pp. 422–437.
CSEET-2011-HeckmanHS #android #education #re-engineering: Teaching second-level Java and software engineering with Android (SSH, TBH, MS), pp. 540–542.
ITiCSE-2011-BarrosBV #named #object-oriented #programming #sequence #source code #visualisation: Java2Sequence: a tool for the visualization of object-oriented programs in introductory programming (JPB, LB, MV), p. 369.
ITiCSE-2011-Cardell-OliverW #metric #tool support: UWA Java tools: harnessing software metrics to support novice programmers (RCO, PDW), p. 341.
ITiCSE-2011-Djordjevic #animation: Animation projects in CS1 from scheme to Java (MD), p. 343.
ITiCSE-2011-Harms #api #implementation #using: A Java implementation of the myro API for using personal robots in CS1 (DEH), p. 338.
SIGITE-2011-Prabhakar #approach #programming: Applying pair programming for advanced Java course: a different approach (ABP), pp. 319–320.
SCAM-J-2009-LammelZ11 #grammar recovery #specification: Recovering grammar relationships for the Java Language Specification (RL, VZ), pp. 333–378.
CSMR-2011-Sneed #migration #pl-i: Migrating PL/I Code to Java (HMS), pp. 287–296.
ICPC-2011-Storey #interactive #revisited #source code #visualisation: An Interactive Visualization Environment for Exploring Java Programs: SHriMP Views Revisited (MADS), p. xviii.
ICSM-2011-ButlerWYS #mining: Mining java class naming conventions (SB, MW, YY, HS), pp. 93–102.
ICSM-2011-OssherSL #open source: File cloning in open source Java projects: The good, the bad, and the ugly (JO, HS, CVL), pp. 283–292.
ICSM-2011-RomanoP #interface #metric #predict #source code #using: Using source code metrics to predict change-prone Java interfaces (DR, MP), pp. 303–312.
ICSM-2011-RupakhetiH #implementation #named #similarity: EQ: Checking the implementation of equality in Java (CRR, DH), pp. 590–593.
MSR-2011-ParninBM #how: Java generics adoption: how new features are introduced, championed, or ignored (CP, CB, ERMH), pp. 3–12.
SCAM-2011-RoubtsovSMB #diagrams #enterprise #named #reverse engineering #sequence chart: I2SD: Reverse Engineering Sequence Diagrams from Enterprise Java Beans with Interceptors (SAR, AS, AM, MvdB), pp. 155–164.
WCRE-2011-AlbertCFGG #automation #generative #named #testing: jPET: An Automatic Test-Case Generator for Java (EA, IC, AFM, MGZ, SG), pp. 441–442.
WCRE-2011-OlszakRJ #runtime: Meta-Level Runtime Feature Awareness for Java (AO, MR, BNJ), pp. 271–274.
FM-2011-CavalcantiWW #formal method #memory management #safety: The Safety-Critical Java Memory Model: A Formal Account (AC, AJW, JW), pp. 246–261.
RTA-2011-BrockschmidtOG #bytecode #composition #proving #recursion #source code #term rewriting #termination: Modular Termination Proofs of Recursive Java Bytecode Programs by Term Rewriting (MB, CO, JG), pp. 155–170.
SEFM-2011-BubelHG #formal method #specification #string #verification: A Formalisation of Java Strings for Program Specification and Verification (RB, RH, UG), pp. 90–105.
ICEIS-v1-2011-MarinAV #automation #named #ontology #semantics: Jar2Ontology — A Tool for Automatic Extraction of Semantic Information from Java Object Code (NM, CSÁ, MAV), pp. 267–276.
SEKE-2011-RochaV #empirical #how: How Annotations are Used in Java: An Empirical Study (HR, MTV), pp. 426–431.
OOPSLA-2011-LiT #exception #interface #named: JET: exception checking in the Java native interface (SL, GT), pp. 345–358.
OOPSLA-2011-PalmerS #difference #metaprogramming: Backstage Java: making a difference in metaprogramming (ZP, SFS), pp. 939–958.
OOPSLA-2011-SeweMSB #analysis #benchmark #design #metric #scala #virtual machine: Da capo con scala: design and analysis of a scala benchmark suite for the java virtual machine (AS, MM, AS, WB), pp. 657–676.
OOPSLA-2011-WuHIN #performance #scalability: Reducing trace selection footprint for large-scale Java applications without performance loss (PW, HH, HI, TN), pp. 789–804.
OOPSLA-2011-WurthingerABWM #aspect-oriented #evolution #runtime: Safe and atomic run-time code evolution for Java and its application to dynamic AOP (TW, DA, WB, CW, HM), pp. 825–844.
TOOLS-EUROPE-2011-IngesmanE #calculus #morphism #polymorphism: Lifted Java: A Minimal Calculus for Translation Polymorphism (MDI, EE), pp. 179–193.
TOOLS-EUROPE-2011-TrudelOFN #automation #eiffel #source code: Automated Translation of Java Source Code to Eiffel (MT, MO, CAF, MN), pp. 20–35.
PEPM-2011-BauerEFP #adaptation #programming: Adaptation-based programming in java (TB, ME, AF, JP), pp. 81–90.
PLDI-2011-TateLL #type system: Taming wildcards in Java’s type system (RT, AL, SL), pp. 614–627.
ASE-2011-AnandH #execution #source code #symbolic computation: Heap cloning: Enabling dynamic symbolic execution of java programs (SA, MJH), pp. 33–42.
ASE-2011-JustSK #analysis #compilation #mutation testing #named #performance: MAJOR: An efficient and extensible tool for mutation analysis in a Java compiler (RJ, FS, GMK), pp. 612–615.
ASE-2011-KhalekYZMK #alloy #named #source code #specification #testing #using: TestEra: A tool for testing Java programs using alloy specifications (SAK, GY, LZ, DM, SK), pp. 608–611.
ASE-2011-LumpeMG #named: jCT: A Java Code Tomograph (ML, SM, OG), pp. 616–619.
ASE-2011-WangFWLXY #api #effectiveness #named #recommendation #web: APIExample: An effective web search based usage example recommendation system for java APIs (LW, LF, LW, GL, BX, FY), pp. 592–595.
ESEC-FSE-2011-NaudziunieneBDDGP #automation #ide #named #source code #verification: jStar-eclipse: an IDE for automated verification of Java programs (DN, MB, DD, MD, RG, MJP), pp. 428–431.
ICSE-2011-AraujoBL #concurrent #contract #modelling #runtime: Enabling the runtime assertion checking of concurrent contracts for the Java modeling language (WA, LCB, YL), pp. 786–795.
ICSE-2011-PukallGSKCG #adaptation #named #strict: JavAdaptor: unrestricted dynamic software updates for Java (MP, AG, RS, CK, WC, SG), pp. 989–991.
ICSE-2011-SchaferSDT #flexibility #refactoring #source code: Refactoring Java programs for flexible locking (MS, MS, JD, FT), pp. 71–80.
ICSE-2011-Zhang #automation #generative #hybrid #named #testing: Palus: a hybrid automated test generation tool for java (SZ), pp. 1182–1184.
SAC-2011-LammelPS #analysis #open source #scalability: Large-scale, AST-based API-usage analysis of open-source Java projects (RL, EP, JS), pp. 1317–1324.
GPCE-J-2009-McGacheyHM11: Class Transformations for Transparent Distribution of Java Applications (PM, ALH, JEBM), pp. 204–238.
CC-2011-Pearce #composition #named: JPure: A Modular Purity System for Java (DJP), pp. 104–123.
CC-2011-SunZC #analysis #points-to #probability: Probabilistic Points-to Analysis for Java (QS, JZ, YC), pp. 62–81.
CGO-2011-InoueHWN #compilation #jit: A trace-based Java JIT compiler retrofitted from a method-based compiler (HI, HH, PW, TN), pp. 246–256.
DAC-2011-NadeemBS #embedded #named: RJOP: a customized Java processor for reactive embedded systems (MN, MBA, ZS), pp. 1038–1043.
DAC-2011-Vitek #embedded #realtime: Virtualizing real-time embedded systems with Java (JV), pp. 906–911.
ISMM-2011-SingerKBL #garbage collection #multi #pipes and filters: Garbage collection auto-tuning for Java mapreduce on multi-cores (JS, GK, GB, ML), pp. 109–118.
ICLP-2011-Eichberg #compilation #prolog: Compiling Prolog to Idiomatic Java (ME), pp. 84–94.
ISSTA-2011-XiaoZ #analysis #encoding #geometry #performance #points-to: Geometric encoding: forging the high performance context sensitive points-to analysis for Java (XX, CZ), pp. 188–198.
ISSTA-2011-YanXR #alias #analysis: Demand-driven context-sensitive alias analysis for Java (DY, G(X, AR), pp. 155–165.
QoSA-2010-DietrichMTS #composition #empirical #source code: Barriers to Modularity — An Empirical Study to Assess the Potential for Modularisation of Java Programs (JD, CM, EDT, SMAS), pp. 135–150.
ITiCSE-2010-AhmadzadehS #eclipse #named #plugin #student: JavaMarker: an eclipse plug-in to mark students’ Java exercises (MA, MS), p. 324.
CSMR-2010-GarciaDFWGI #design #development #named #open source #reliability #web: ROMULUS: Domain Driven Design and Mashup Oriented Development Based on Open Source Java Metaframework for Pragmatic, Reliable and Secure Web Development (BG, JCD, JIFV, AW, MG, CAI), pp. 186–189.
CSMR-2010-RoubtsovSB #composition #dependence #detection #injection #smell: Detecting Modularity “Smells” in Dependencies Injected with Java Annotations (SAR, AS, MvdB), pp. 244–247.
CSMR-2010-SanchezNCP #case study #refactoring: Refactoring Generics in JAVA: A Case Study on Extract Method (RMS, CLN, YC, FJP), pp. 212–221.
ICPC-2010-OlszakJ #analysis #named: Featureous: A Tool for Feature-Centric Analysis of Java Software (AO, BNJ), pp. 44–45.
ICSM-2010-InsaS #algorithm #debugging: An algorithmic debugger for Java (DI, JS), pp. 1–6.
ICSM-2010-PerinGN #analysis #enterprise #transaction: Recovery and analysis of transaction scope from scattered information in Java Enterprise Applications (FP, TG, ON), pp. 1–10.
ICSM-2010-RountevVYS #comprehension #dependence #source code: Understanding parallelism-inhibiting dependences in sequential Java programs (AR, KVV, DY, PS), pp. 1–9.
ICSM-2010-Sneed #cobol #migration: Migrating from COBOL to Java (HMS), pp. 1–7.
MSR-2010-NugrohoCA #design #metric #predict #uml: Assessing UML design metrics for predicting fault-prone classes in a Java system (AN, MRVC, EA), pp. 21–30.
MSR-2010-PosnettBD #mining #named: THEX: Mining metapatterns from java (DP, CB, PTD), pp. 122–125.
MSR-2010-VetroTM #mining #precise: Assessing the precision of FindBugs by mining Java projects developed at a university (AV, MT, MM), pp. 110–113.
SCAM-2010-LuoHDQ #concurrent #debugging #effectiveness #static analysis: Effective Static Analysis to Find Concurrency Bugs in Java (ZDL, LH, RD, YQ), pp. 135–144.
WCRE-2010-MilanovaL #comprehension #concurrent #source code #static analysis: Static Analysis for Understanding Shared Objects in Open Concurrent Java Programs (AM, YL), pp. 45–54.
WCRE-2010-RupakhetiH #approach #similarity: An Abstraction-Oriented, Path-Based Approach for Analyzing Object Equality in Java (CRR, DH), pp. 205–214.
IFM-2010-TranS #commit #transaction: Safe Commits for Transactional Featherweight Java (TMTT, MS), pp. 290–304.
RTA-2010-OttoBEG #analysis #automation #bytecode #term rewriting #termination: Automated Termination Analysis of Java Bytecode by Term Rewriting (CO, MB, CvE, JG), pp. 259–276.
SEFM-2010-HakimipourSW #named #realtime: TART: Timed-Automata to Real-Time Java Tool (NH, PAS, AJW), pp. 299–309.
SEKE-2010-PfluegerGH #development #enterprise #modelling: Model-Driven Development of Java Enterprise Applications (AP, WG, TH), pp. 787–790.
MoDELS-v2-2010-GorpE #execution #modelling #process: Transforming Process Models: Executable Rewrite Rules versus a Formalized Java Program (PVG, RE), pp. 258–272.
ECOOP-2010-GilL #source code #using: The Use of Overloading in Java Programs (JYG, KL), pp. 529–551.
ECOOP-2010-HarelMW #behaviour #coordination #programming: Programming Coordinated Behavior in Java (DH, AM, GW), pp. 250–274.
ECOOP-2010-HuKPYH #type safety: Type-Safe Eventful Sessions in Java (RH, DK, OP, NY, KH), pp. 329–353.
ECOOP-2010-SchaferDSTT #concurrent #refactoring: Correct Refactoring of Concurrent Java Code (MS, JD, MS, ET, FT), pp. 225–249.
OOPSLA-2010-OgataMKTO #case study #memory management: A study of Java’s non-Java memory (KO, DM, KK, ST, TO), pp. 191–204.
OOPSLA-2010-ServettoZ #composition #named: MetaFJig: a meta-circular composition language for Java-like classes (MS, EZ), pp. 464–483.
OOPSLA-2010-ZibinPLAE: Ownership and immutability in generic Java (YZ, AP, PL, MA, MDE), pp. 598–617.
TOOLS-EUROPE-2010-CameronN #encoding: Encoding Ownership Types in Java (NRC, JN), pp. 271–290.
TOOLS-EUROPE-2010-OstlundW: Welterweight Java (JÖ, TW), pp. 97–116.
AdaEurope-2010-Brosgol #ada #comparison: A Comparison of Generic Template Support: Ada, C++, C#, and JavaTM (BMB), pp. 222–237.
PEPM-2010-AlbertGP #bytecode #generative #named #partial evaluation #testing: PET: a partial evaluation-based test case generation tool for Java bytecode (EA, MGZ, GP), pp. 25–28.
PEPM-2010-BoustaniH #source code: Corrective hints for type incorrect generic Java programs (NEB, JH), pp. 5–14.
PLDI-2010-MytkowiczDHS: Evaluating the accuracy of Java profilers (TM, AD, MH, PFS), pp. 187–197.
PLDI-2010-NakaikeM: Lock elision for read-only critical sections in Java (TN, MMM), pp. 269–278.
PLDI-2010-WestbrookRIYAT #multi #named #programming #using: Mint: Java multi-stage programming using weak separability (EMW, MR, JI, YY, TA, WT), pp. 400–411.
SIGAda-2010-Schmidt #ada #case study #experience #integration: Experience report: Ada & Java integration in the FAA’s ERAM SWIM program (RBS), pp. 33–34.
ASE-2010-KhatchadourianM #automation #refactoring: Enumeration refactoring: a tool for automatically converting Java constants to enumerated types (RK, BM), pp. 181–182.
ASE-2010-PasareanuR #bytecode #execution #symbolic computation: Symbolic PathFinder: symbolic execution of Java bytecode (CSP, NR), pp. 179–180.
ASE-2010-SridharaHMPV #automation #generative #summary #towards: Towards automatically generating summary comments for Java methods (GS, EH, DM, LLP, KVS), pp. 43–52.
FSE-2010-HuangLZ #concurrent #lightweight #multi #named #source code: LEAP: lightweight deterministic multi-processor replay of concurrent java programs (JH, PL, CZ), pp. 207–216.
FSE-2010-HuangLZ10a #concurrent #lightweight #multi #named #source code: LEAP: lightweight deterministic multi-processor replay of concurrent java programs (JH, PL, CZ), pp. 385–386.
ICSE-2010-BaresiM #automation #generative #named #testing: TestFul: automatic unit-test generation for Java classes (LB, MM), pp. 281–284.
ICSE-2010-Reiss #visualisation: Visualizing the Java heap (SPR), pp. 251–254.
SAC-2010-SiderisMP #hardware: A hardware peripheral for Java bytecodes translation acceleration (IS, NKM, KZP), pp. 552–553.
SAC-2010-ZhangHJ #locality #transaction: Optimized Java Card transaction mechanism based on object locality (DZ, ZH, WJ), pp. 550–551.
LDTA-2009-SingerBLPY10: Fundamental Nano-Patterns to Characterize and Classify Java Methods (JS, GB, ML, AP, PY), pp. 191–204.
GPCE-2010-WurthingerBAMM #aspect-oriented #development #evolution #programming #user interface: Applications of enhanced dynamic code evolution for Java in GUI development and dynamic aspect-oriented programming (TW, WB, DA, PM, HM), pp. 123–126.
LDTA-2010-GiorgettiMTK #case study #source code #specification: Specifying generic Java programs: two case studies (AG, CM, ET, OK), p. 8.
SLE-2010-HostO #canonical #identification #implementation #semantics #using: Canonical Method Names for Java — Using Implementation Semantics to Identify Synonymous Verbs (EWH, BMØ), pp. 226–245.
CGO-2010-JungMO #compilation #framework #hybrid #optimisation #platform: Hybrid Java compilation and optimization for digital TV software platform (DHJ, SMM, HSO), pp. 73–81.
ESOP-2010-Lochbihler #compilation #thread #verification: Verifying a Compiler for Java Threads (AL), pp. 427–447.
FASE-2010-DistefanoF #detection #memory management: Memory Leaks Detection in Java by Bi-abductive Inference (DD, IF), pp. 278–292.
TACAS-2010-ParizekK #component #detection #fault #performance #random #using: Efficient Detection of Errors in Java Components Using Random Environment and Restarts (PP, TK), pp. 451–465.
ICST-2010-BaresiLM #approach #named: TestFul: An Evolutionary Test Approach for Java (LB, PLL, MM), pp. 185–194.
WICSA-ECSA-2009-BontaB #algebra #architecture #code generation #named #process: PADL2Java: A Java code generator for process algebraic architectural descriptions (EB, MB), pp. 161–170.
ITiCSE-2009-HsiaoSB #personalisation #problem: Extending parameterized problem-tracing questions for Java with personalized guidance (IHH, SAS, PB), p. 392.
ITiCSE-2009-ProulxJ #testing: Unit testing in Java (VKP, WJ), p. 349.
ICPC-2009-LinsteadHLB #first-order #markov #modelling: Capturing Java naming conventions with first-order Markov models (EL, LH, CVL, PB), pp. 313–314.
ICPC-2009-SerebrenikRB #architecture #assessment #open source: Dn-based architecture assessment of Java Open Source software systems (AS, SAR, MvdB), pp. 198–207.
ICSM-2009-Reiss09a #visualisation: Visualizing the Java heap demonstration proposal (SPR), pp. 389–390.
MSR-2009-OssherBLBL #named #open source #repository: SourcererDB: An aggregated repository of statically analyzed and cross-linked open source Java projects (JO, SKB, EL, PB, CVL), pp. 183–186.
SCAM-2009-GutzmannS: Backporting Java 5 Code (TG, TS), pp. 121–122.
SCAM-2009-HamiltonD #bytecode #evaluation: An Evaluation of Current Java Bytecode Decompilers (JH, SD), pp. 129–136.
SCAM-2009-LammelZ #grammar recovery #specification: Recovering Grammar Relationships for the Java Language Specification (RL, VZ), pp. 178–186.
WCRE-1999-AnquetilRAAHPPP99a #architecture #named #source code: JavaCompExt: Extracting Architectural Elements from Java Source Code (NA, JCR, PA, GA, PH, TP, DP, VP), pp. 317–318.
WCRE-1999-SerebrenikRRB99a #diagrams #enterprise #reverse engineering #sequence chart: Reverse Engineering Sequence Diagrams for Enterprise JavaBeans with Business Method Interceptors (AS, SAR, EER, MvdB), pp. 269–273.
SEFM-2009-ColomboPS #monitoring #realtime #source code: LARVA --- Safer Monitoring of Real-Time Java Programs (CC, GJP, GS), pp. 33–37.
SEFM-2009-Ferrara #named #parallel #source code #thread: Checkmate: A Generic Static Analyzer of Java Multithreaded Programs (PF), pp. 169–178.
CHI-2009-KoM: Finding causes of program output with the Java Whyline (AJK, BAM), pp. 1569–1578.
HCI-NT-2009-MiyazakiSY #behaviour #distributed #runtime #using #virtual machine: Investigating the Run Time Behavior of Distributed Applications by Using Tiny Java Virtual Machines with Wireless Communications (TM, TS, FY), pp. 882–889.
VISSOFT-2009-Reiss #detection #memory management #problem #visualisation: Visualizing the Java heap to detect memory problems (SPR), pp. 73–80.
SEKE-2009-TorresGP #modelling #persistent: MD-JPA Profile: A Model Driven Language for Java Persistence (AT, RdMG, MSP), pp. 727–732.
ECOOP-2009-Click #co-evolution #design #hardware: Java on 1000 Cores: Tales of Hardware/Software Co-design (CC), p. 444.
ECOOP-2009-DamJLP #monitoring #parallel #security #thread: Security Monitor Inlining for Multithreaded Java (MD, BJ, AL, FP), pp. 546–569.
ECOOP-2009-EugsterJ #correlation #named: EventJava: An Extension of Java for Event Correlation (PTE, KRJ), pp. 570–594.
ECOOP-2009-SteimannT #refactoring #source code: From Public to Private to Absent: Refactoring Java Programs under Constrained Accessibility (FS, AT), pp. 419–443.
ECOOP-2009-WrigstadPMZV #named #thread: Loci: Simple Thread-Locality for Java (TW, FP, FM, LZ, JV), pp. 445–469.
OOPSLA-2009-BocchinoADAHKOSSV #parallel: A type and effect system for deterministic parallel Java (RLBJ, VSA, DD, SVA, SH, RK, JO, PS, HS, MV), pp. 97–116.
OOPSLA-2009-InoueN #hardware #how #monitoring #performance #virtual machine: How a Java VM can get more from a hardware performance monitor (HI, TN), pp. 137–154.
OOPSLA-2009-ZhaoSZWLS #manycore #platform: Allocation wall: a limiting factor of Java applications on emerging multi-core platforms (YZ, JS, KZ, HW, HL, LS), pp. 361–376.
AdaEurope-2009-KaiserP #multi #semantics #thread: Weak Fairness Semantic Drawbacks in Java Multithreading (CK, JFPP), pp. 90–104.
PEPM-2009-BoustaniH #error message #fault: Improving type error messages for generic java (NEB, JH), pp. 131–140.
PEPM-2009-MoretBV09a #embedded #named: CProf: customizable calling context cross-profiling for embedded java processors (PM, WB, AV), pp. 161–164.
ASE-2009-KimLHK #documentation: Adding Examples into Java Documents (JK, SL, SwH, SK), pp. 540–544.
ASE-2009-LinTCZ #adaptation #approach #random testing #source code #testing: A Divergence-Oriented Approach to Adaptive Random Testing of Java Programs (YL, XT, YC, JZ), pp. 221–232.
ESEC-FSE-2009-GeipelS: Software change dynamics: evidence from 35 java projects (MMG, FS), pp. 269–272.
ESEC-FSE-2009-SchulerZ #mutation testing #named #performance #testing: Javalanche: efficient mutation testing for Java (DS, AZ), pp. 297–298.
ICSE-2009-DigME #concurrent #library #refactoring: Refactoring sequential Java code for concurrency via concurrent libraries (DD, JM, MDE), pp. 397–407.
ICSE-2009-NandaS #analysis #interprocedural: Accurate Interprocedural Null-Dereference Analysis for Java (MGN, SS), pp. 133–143.
ICSE-2009-Zhang #approach #aspect-oriented #named: FlexSync: An aspect-oriented approach to Java synchronization (CZ), pp. 375–385.
SAC-2009-CatanoW #case study #ml #specification: Executing JML specifications of Java card applications: a case study (NC, TW), pp. 404–408.
SAC-2009-CervelleFLR #framework #implementation #named: Banzai: a Java framework for the implementation of high-performance servers (JC, RF, GL, GR), pp. 1903–1909.
SAC-2009-GroppeNL #named #query #rdf #satisfiability #semantics #type safety #web: SWOBE — embedding the semantic web languages RDF, SPARQL and SPARUL into java for guaranteeing type safety, for checking the satisfiability of queries and for the determination of query result types (SG, JN, VL), pp. 1239–1246.
SAC-2009-GroverS #architecture #automation #named #quality #question: GenQA: automated addition of architectural quality attribute support for Java software? (SG, NS), pp. 483–487.
SAC-2009-HuangCZLT #testing: An optimized change-driven regression testing selection strategy for binary Java applications (SH, YC, JZ, ZJL, HT), pp. 558–565.
LDTA-2008-AllwoodE09: Tickling Java with a Feather (TORA, SE), pp. 3–16.
LDTA-2008-Nilsson-NymanHME09 #analysis #declarative #source code: Declarative Intraprocedural Flow Analysis of Java Source Code (ENN, GH, EM, TE), pp. 155–171.
GPCE-2009-McGacheyHM #pervasive: Classifying Java class transformations for pervasive virtualized access (PM, ALH, JEBM), pp. 75–84.
GPCE-2009-VillazonBAM #adaptation #runtime: Advanced runtime adaptation for Java (AV, WB, DA, PM), pp. 85–94.
GPCE-2009-VillazonBAM09a #adaptation #aspect-oriented #named #programming #tool support: HotWave: creating adaptive tools with dynamic aspect-oriented programming in Java (AV, WB, DA, PM), pp. 95–98.
SLE-2009-HeidenreichJSW #modelling: Closing the Gap between Modelling and Java (FH, JJ, MS, CW), pp. 374–383.
CC-2009-WarburtonK #architecture #bytecode #optimisation #specification: From Specification to Optimisation: An Architecture for Optimisation of Java Bytecode (RW, SK), pp. 17–31.
PDP-2009-MallonTTD #benchmark #implementation #message passing #metric #named #parallel: NPB-MPJ: NAS Parallel Benchmarks Implementation for Message-Passing in Java (DAM, GLT, JT, RD), pp. 181–190.
FASE-2009-ChatterjeeJS #named #query #using: SNIFF: A Search Engine for Java Using Free-Form Queries (SC, SJ, KS), pp. 385–400.
CAV-2009-CernyA #analysis #automation: Automated Analysis of Java Methods for Confidentiality (PC, RA), pp. 173–187.
ICST-2009-GligoricGLMK #generative #graph #optimisation: Optimizing Generation of Object Graphs in Java PathFinder (MG, TG, SL, DM, SK), pp. 51–60.
ICST-2009-NodlerNG #assurance #flexibility #framework #quality #specification #uml: A Flexible Framework for Quality Assurance of Software Artefacts with Applications to Java, UML, and TTCN-3 Test Specifications (JN, HN, JG), pp. 101–110.
ICST-2009-ZhouF #database #mutation testing #testing: Mutation Testing for Java Database Applications (CZ, PGF), pp. 396–405.
ISSTA-2009-SinhaSGJKH #exception #fault #locality #runtime: Fault localization and repair for Java runtime exceptions (SS, HS, CG, SJ, MK, MJH), pp. 153–164.
VMCAI-2009-BentonF #behaviour #source code: Mostly-Functional Behavior in Java Programs (WCB, CNF), pp. 29–43.
CBSE-2008-ParrendF #classification #component #platform #programming: Classification of Component Vulnerabilities in Java Service Oriented Programming (SOP) Platforms (PP, SF), pp. 80–96.
ITiCSE-2008-CrossHUB: Exploring accessibility and visibility relationships in java (JHCI, TDH, DAU, LAB), pp. 103–108.
ITiCSE-2008-Djordjevic #motivation #student: Java projects motivated by student interests (MD), p. 321.
ITiCSE-2008-EscribanoGST: Digital topology java applet (CE, AG, MAS, MT), p. 329.
ITiCSE-2008-Fekete #education #student #thread: Teaching students to develop thread-safe java classes (ADF), pp. 119–123.
ITiCSE-2008-ReyesM #combinator #education #game studies: Games developed in Java for teaching “Combinatorial Game Theory” (MR, ÁM), p. 359.
CSMR-2008-CeccatoTM #goto #legacy #migration: Goto Elimination Strategies in the Migration of Legacy Code to Java (MC, PT, CM), pp. 53–62.
ICSM-2008-KinneerR #algorithm #control flow #maintenance #representation #type inference: Assessing the usefulness of type inference algorithms in representing Java control flow to support software maintenance tasks (AK, GR), pp. 127–136.
PASTE-2008-DeRD #memory management #validation: Java memory model aware software validation (AD, AR, DD), pp. 8–14.
PASTE-2008-Hubert #bytecode: A non-null annotation inferencer for Java bytecode (LH), pp. 36–42.
SCAM-2008-ClarkSW: Beyond Annotations: A Proposal for Extensible Java (XJ) (TC, PS, JSW), pp. 229–238.
SCAM-2008-GiffhornH #analysis #precise #source code #using: Precise Analysis of Java Programs Using JOANA (DG, CH), pp. 267–268.
WCRE-2008-CeccatoDTM #legacy #migration #reverse engineering: Data Model Reverse Engineering in Migrating a Legacy System to Java (MC, TRD, PT, DM), pp. 177–186.
WCRE-2008-GhanbariCA #analysis #aspectj #hybrid #query #source code: A Hybrid Query Engine for the Structural Analysis of Java and AspectJ Programs (HG, CC, VA), pp. 133–137.
WCRE-2008-IshioDMI #detection #mining #source code: Mining Coding Patterns to Detect Crosscutting Concerns in Java Programs (TI, HD, TM, KI), pp. 123–132.
SEFM-2008-PhamTTC #algorithm #bound #memory management #performance: A Fast Algorithm to Compute Heap Memory Bounds of Java Card Applets (THP, AHT, NTT, WNC), pp. 259–267.
SOFTVIS-2008-DietrichYMJD #analysis #clustering #dependence #graph: Cluster analysis of Java dependency graphs (JD, VY, CM, GJ, MD), pp. 91–94.
SOFTVIS-2008-SundararamanB #c #c++ #interactive #named #runtime #visualisation: HDPV: interactive, faithful, in-vivo runtime state visualization for C/C++ and Java (JS, GB), pp. 47–56.
ICEIS-DISI-2008-BedlaS #multi: A Store of Java Objects on a Multicomputer (MB, KS), pp. 374–379.
SEKE-2008-HuS #design pattern #detection #dynamic analysis #source code: Dynamic Analysis and Design Pattern Detection in Java Programs (LH, KS), pp. 842–846.
SEKE-2008-SandersZ #contract #design #execution: Object-Z to Java/OO-Perl: A Conversion from Object-Z to Executable Skeletal Code with Dynamically Checkable Design Contracts (SMS, CZ), pp. 824–829.
SEKE-2008-TinkhamTP #assessment #comprehension #reverse engineering #source code #testing #tool support: A Qualitative Assessment of the Reverse Engineering Capabilities of Unit Testing Tools for Understanding Java Programs (AT, SRT, TP), pp. 111–116.
MoDELS-2008-Gessenharter #code generation #semantics #uml: Mapping the UML2 Semantics of Associations to a Java Code Generation Model (DG), pp. 813–827.
MoDELS-2008-Gessenharter #code generation #semantics #uml: Mapping the UML2 Semantics of Associations to a Java Code Generation Model (DG), pp. 813–827.
ECOOP-2008-CameronDE: A Model for Java with Wildcards (NRC, SD, EE), pp. 2–26.
ECOOP-2008-HuYH #distributed #programming: Session-Based Distributed Programming in Java (RH, NY, KH), pp. 516–541.
ECOOP-2008-SevcikA #memory management #on the #program transformation: On Validity of Program Transformations in the Java Memory Model (JS, DA), pp. 27–51.
ECOOP-2008-SrinivasanM #named: Kilim: Isolation-Typed Actors for Java (SS, AM), pp. 104–128.
ECOOP-2008-TemperoNM #empirical #how #inheritance #source code: How Do Java Programs Use Inheritance? An Empirical Study of Inheritance in Java Software (EDT, JN, HM), pp. 667–691.
ECOOP-2008-ZhangJ #concurrent: Externalizing Java Server Concurrency with CAL (CZ, HAJ), pp. 362–386.
ECOOP-2008-ZiarekWAMSJ #execution #transaction: A Uniform Transactional Execution Environment for Java (LZ, AW, ARAT, VM, TS, SJ), pp. 129–154.
OOPSLA-2008-DagenaisH #source code #static analysis: Enabling static analysis for partial java programs (BD, LJH), pp. 313–328.
OOPSLA-2008-DistefanoP #named #towards #verification: jStar: towards practical verification for java (DD, MJP), pp. 213–226.
OOPSLA-2008-GeorgesEB #compilation #evaluation #performance: Java performance evaluation through rigorous replay compilation (AG, LE, DB), pp. 367–384.
OOPSLA-2008-GilM #named #type system: Whiteoak: introducing structural typing into java (JYG, IM), pp. 73–90.
OOPSLA-2008-KawachiyaOO #analysis #memory management #reduction #string: Analysis and reduction of memory inefficiencies in Java strings (KK, KO, TO), pp. 385–402.
OOPSLA-2008-SchaferEM: Sound and extensible renaming for java (MS, TE, OdM), pp. 277–294.
OOPSLA-2008-SmithC #question #type inference: Java type inference is broken: can we fix it? (DS, RC), pp. 505–524.
OOPSLA-2008-WillisPN #query: Caching and incrementalisation in the java query language (DW, DJP, JN), pp. 1–18.
OOPSLA-2008-XianSJ #execution #parallel #source code #thread: Contention-aware scheduler: unlocking execution parallelism in multithreaded java programs (FX, WSa, HJ), pp. 163–180.
TOOLS-EUROPE-2008-BettiniBV #composition: Object Incompleteness and Dynamic Composition in Java-Like Languages (LB, VB, BV), pp. 198–217.
AdaEurope-2008-Brosgol #ada #comparison #object-oriented: A Comparison of the Object-Oriented Features of Ada 2005 and JavaTM (BMB), pp. 115–129.
POPL-2008-UnkelL #automation: Automatic inference of stationary fields: a generalization of java’s final fields (CU, MSL), pp. 183–195.
QAPL-2008-LambertP #bytecode #framework #independence #platform #virtual machine: Platform Independent Timing of Java Virtual Machine Bytecode Instructions (JML, JFP), pp. 97–113.
SAS-2008-PrabhuS #analysis #array #pointer #using: Field Flow Sensitive Pointer and Escape Analysis for Java Using Heap Array SSA (PP, PS), pp. 110–127.
ASE-2008-JoshiS #parallel #predict #source code #thread #type system: Predictive Typestate Checking of Multithreaded Java Programs (PJ, KS), pp. 288–296.
FSE-2008-DufourRS #scalability: A scalable technique for characterizing the usage of temporaries in framework-intensive Java applications (BD, BGR, GS), pp. 59–70.
ICSE-2008-ChenSR #analysis #named #predict #runtime: jPredictor: a predictive runtime analysis tool for java (FC, TFS, GR), pp. 221–230.
ICSE-2008-GveroGL: State extensions for java pathfinder (TG, MG, SL, Md, DM, SK), pp. 863–866.
ICSE-2008-KegelS #inheritance #refactoring: Systematically refactoring inheritance to delegation in java (HK, FS), pp. 431–440.
ICSE-2008-LanzaMRLB #approach #programming #smalltalk: A teamwork-based approach to programming fundamentals with scheme, smalltalk & java (ML, ALM, RR, ML, PB), pp. 787–790.
ICSE-2008-XuR #detection #memory management #precise #profiling #using: Precise memory leak detection for java software using container profiling (G(X, AR), pp. 151–160.
SAC-2008-AlbertAGPZ #bytecode #cost analysis: Removing useless variables in cost analysis of Java bytecode (EA, PA, SG, GP, DZ), pp. 368–375.
SAC-2008-CimadamoreV #prolog #type inference: Integrating Java and Prolog through generic methods and type inference (MC, MV), pp. 198–205.
SAC-2008-GruianW #architecture #case study #embedded: VHDL vs. Bluespec system verilog: a case study on a Java embedded architecture (FG, MW), pp. 1492–1497.
SAC-2008-KaegiD #composition #web: Modular Java web applications (SRK, DD), pp. 688–693.
SAC-2008-LiQWLW #consistency #diagrams #interactive #runtime #source code #state machine #uml #verification: UML state machine diagram driven runtime verification of Java programs for message interaction consistency (XL, XQ, LW, BL, WEW), pp. 384–389.
SAC-2008-MeloNX #source code #testing #towards #verification: Towards verification and testing of Java programs (ACVdM, PRFN, KSX), pp. 730–734.
SAC-2008-NishizawaC #refinement: A small extension to Java for class refinement (MN, SC), pp. 160–165.
SAC-2008-RebeloSLFC #aspectj #contract #implementation #modelling: Implementing Java modeling language contracts with AspectJ (HR, SS, RMFL, LF, MC), pp. 228–233.
GPCE-2008-ApelKL #calculus #feature model #programming #refinement: Feature featherweight java: a calculus for feature-oriented programming and stepwise refinement (SA, CK, CL), pp. 101–112.
SLE-2008-HostO: The Java Programmer’s Phrase Book (EWH, BMØ), pp. 322–341.
CC-2008-MalePPD #bytecode #verification: Java Bytecode Verification for @NonNull Types (CM, DJP, AP, CD), pp. 229–244.
CGO-2008-WimmerM #array #automation #virtual machine: Automatic array inlining in java virtual machines (CW, HM), pp. 14–23.
ISMM-2008-DilligDYC #automation #resource management: The CLOSER: automating resource management in java (ID, TD, EY, SC), pp. 1–10.
ISMM-2008-JonesR #case study: A study of java object demographics (REJ, CR), pp. 121–130.
LCTES-2008-AuerbachBGSV #concurrent #flexibility #graph #programming #strict #thread: Flexible task graphs: a unified restricted thread programming model for java (JSA, DFB, RG, JHS, JV), pp. 1–11.
LCTES-2008-LeeMK #compilation #detection #embedded #heuristic: Enhanced hot spot detection heuristics for embedded java just-in-time compilers (SWL, SMM, SMK), pp. 13–22.
PDP-2008-HutterM #distributed #locality #optimisation #runtime: Runtime Locality Optimizations of Distributed Java Applications (CH, TM), pp. 149–156.
PPoPP-2008-BrevnovDKYSCMS #case study #experience #memory management #transaction: Practical experiences with Java software transactional memory (EB, YD, BK, DY, VS, DyC, VM, SS), pp. 287–288.
FASE-2008-SmansJPS #automation #source code #verification: An Automatic Verifier for Java-Like Programs Based on Dynamic Frames (JS, BJ, FP, WS), pp. 261–275.
ICST-2008-LeiWL #concurrent #consistency #diagrams #nondeterminism #process #source code #testing #uml: UML Activity Diagram Based Testing of Java Concurrent Programs for Data Race and Inconsistency (BL, LW, XL), pp. 200–209.
ICST-2008-WagnerDAWS #debugging #evaluation #tool support: An Evaluation of Two Bug Pattern Tools for Java (SW, FD, MA, JW, MS), pp. 248–257.
ICST-2008-YuKZZ #algebra #component #specification #testing: Testing Java Components based on Algebraic Specifications (BY, LK, YZ, HZ), pp. 190–199.
IJCAR-2008-BartheGP #proving #virtual machine: Preservation of Proof Obligations from Java to the Java Virtual Machine (GB, BG, MP), pp. 83–99.
ISSTA-2008-KondohO #debugging #interface #source code: Finding bugs in java native interface programs (GK, TO), pp. 109–118.
ISSTA-2008-PapiACPE: Practical pluggable types for java (MMP, MA, TLCJ, JHP, MDE), pp. 201–212.
MBT-2008-FalconeMFR #named #testing: j-POST: a Java Toolchain for Property-Oriented Software Testing (YF, LM, JCF, JLR), pp. 29–41.
ITiCSE-2007-BagleyC #collaboration #learning #programming: Collaboration and the importance for novices in learning java computer programming (CAB, CCC), pp. 211–215.
ITiCSE-2007-BenayaZ #comprehension #thread: Understanding threads in an advanced java course (TB, EZ), p. 323.
ITiCSE-2007-Helmick #automation #interface #programming #source code: Interface-based programming assignments and automatic grading of java programs (MTH), pp. 63–67.
ITiCSE-2007-XinogalosSD #education #experience: Teaching java with BlueJ: a two-year experience (SX, MS, VD), p. 345.
CSMR-2007-Leitao #approach #framework #lisp #migration #platform #source code: Migration of Common Lisp Programs to the Java Platform — The Linj Approach (AML), pp. 243–251.
CSMR-2007-SzegediGBGT #concept #slicing #source code #verification: Verifying the Concept of Union Slices on Java Programs (AS, TG, ÁB, TG, GT), pp. 233–242.
ICSM-2007-KhatchadourianSR #automation #legacy #refactoring: Automated Refactoring of Legacy Java Software to Enumerated Types (RK, JS, AR), pp. 224–233.
PASTE-2007-Milanova #analysis #points-to: Light context-sensitive points-to analysis for java (AM), pp. 25–30.
PASTE-2007-XuPV #analysis #source code: Dynamic purity analysis for java programs (HX, CJFP, CV), pp. 75–82.
SCAM-2007-BinderHM #bytecode #re-engineering #runtime #standard: Reengineering Standard Java Runtime Systems through Dynamic Bytecode Instrumentation (WB, JH, PM), pp. 91–100.
SCAM-2007-SawinR: Improved Static Resolution of Dynamic Class Loading in Java (JS, AR), pp. 143–154.
RTA-2007-BallandBKMR #named: Tom: Piggybacking Rewriting on Java (EB, PB, RK, PEM, AR), pp. 36–47.
HCI-IDU-2007-CortierdA #user interface #validation: Formal Validation of Java/Swing User Interfaces with the Event B Method (AC, Bd, YAA), pp. 1062–1071.
EDOC-2007-WhiteSCWLWF #automation #enterprise #modelling: Automated Model-Based Configuration of Enterprise Java Applications (JW, DCS, KC, CW, GL, EW, LF), pp. 301–312.
SEKE-2007-FuDASH #approach #correctness #validation: An Approach to Validating Translation Correctness From SAM to Java (YF, ZD, GAG, LS, XH), p. 45–?.
SEKE-2007-ShiN #component #named #security #static analysis: SAFES: A Static Analysis for Field Security in Java Components (AS, GN), pp. 302–307.
ECOOP-2007-CabralM #case study #dot-net #exception: Exception Handling: A Field Study in Java and .NET (BC, PM), pp. 151–175.
ECOOP-2007-ChalinJ: Non-null References by Default in Java: Alleviating the Nullity Annotation Burden (PC, PRJ), pp. 227–247.
ECOOP-2007-DegenTW #linear: Tracking Linear and Affine Resources with Java(X) (MD, PT, SW), pp. 550–574.
ECOOP-2007-VenstermansEB #pointer #virtual machine: Object-Relative Addressing: Compressed Pointers in 64-Bit Java Virtual Machines (KV, LE, KDB), pp. 79–100.
ECOOP-2007-WehrLT #interface: JavaGI : Generalized Interfaces for Java (SW, RL, PT), pp. 347–372.
ECOOP-2007-WykKBS #attribute grammar #grammarware: Attribute Grammar-Based Language Extensions for Java (EVW, LK, DB, AS), pp. 575–599.
ECOOP-2007-XianSJJ #garbage collection #named #performance: AS-GC: An Efficient Generational Garbage Collector for Java Application Servers (FX, WSa, CJ, HJ), pp. 126–150.
OOPSLA-2007-EkmanH #compilation #jastadd: The jastadd extensible java compiler (TE, GH), pp. 1–18.
OOPSLA-2007-GeorgesBE #evaluation #performance #statistics: Statistically rigorous java performance evaluation (AG, DB, LE), pp. 57–76.
OOPSLA-2007-GreenfieldboyceF: Type qualifier inference for java (DG, JSF), pp. 321–336.
OOPSLA-2007-HirzelG #developer #interface #named: Jeannie: granting java native interface developers their wishes (MH, RG), pp. 19–38.
OOPSLA-2007-MaF #alias #encapsulation: Inferring aliasing and encapsulation properties for java (KKM, JSF), pp. 423–440.
OOPSLA-2007-SasitornC #component #framework: Component nextgen: a sound and expressive component framework for java (JS, RC), pp. 153–170.
OOPSLA-2007-SpringPGV #named #programming: Streamflex: high-throughput stream programming in java (JHS, JP, RG, JV), pp. 211–228.
OOPSLA-2007-StrniaaSP #design #semantics: The java module system: core design and semantic definition (RS, PS, MJP), pp. 499–514.
OOPSLA-2007-TanM #analysis #c #named: Ilea: inter-language analysis across java and c (GT, GM), pp. 39–56.
TOOLS-EUROPE-2007-EkmanH: Pluggable checking and inferencing of nonnull types for Java (TE, GH), pp. 455–475.
PADL-2007-AlbertGHP #analysis #bytecode #logic programming #source code #using #verification: Verification of Java Bytecode Using Analysis and Transformation of Logic Programs (EA, MGZ, LH, GP), pp. 124–139.
PLDI-2007-ElmasQT #named #runtime #transaction: Goldilocks: a race and transaction-aware java runtime (TE, SQ, ST), pp. 245–255.
PLDI-2007-ShankarB #automation #data type #invariant #named: DITTO: automatic incrementalization of data structure invariant checks (in Java) (AS, RB), pp. 310–319.
SAS-2007-PayetS #analysis #bytecode: Magic-Sets Transformation for the Analysis of Java Bytecode (ÉP, FS), pp. 452–467.
SAC-OOPS-J-2006-BaldoniBT07 #interactive: Interaction between Objects in powerJava (MB, GB, LWNvdT), pp. 5–30.
SAC-OOPS-J-2006-LagorioZ07 #named: Just: Safe Unknown Types in Java-like Languages (GL, EZ), pp. 69–98.
ASE-2007-BarlasB #distributed #framework #named #verification: Netstub: a framework for verification of distributed java applications (EB, TB), pp. 24–33.
ASE-2007-Leavens #ml #modelling #tutorial: Tutorial on JML, the java modeling language (GTL), p. 573.
ASE-2007-LittleM #keyword #programming: Keyword programming in java (GL, RCM), pp. 84–93.
ASE-2007-SchulerDL: A dynamic birthmark for java (DS, VD, CL), pp. 274–283.
ESEC-FSE-2007-XuRTQ #performance #using: Efficient checkpointing of java software using context-sensitive capture and replay (G(X, AR, YT, FQ), pp. 85–94.
ESEC-FSE-2007-ZibinPAAKE #using: Object and reference immutability using java generics (YZ, AP, MA, SA, AK, MDE), pp. 75–84.
GTTSE-2007-WykM #analysis #composition: Adding Dimension Analysis to Java as a Composable Language Extension (EVW, YM), pp. 442–456.
ICSE-2007-ChesleyRRT #fault #locality #source code: Crisp- A Fault Localization Tool for Java Programs (OCC, XR, BGR, FT), pp. 775–779.
ICSE-2007-FroihoferGOG #constraints #evaluation #overview #validation: Overview and Evaluation of Constraint Validation Approaches in Java (LF, GG, JO, KMG), pp. 313–322.
ICSE-2007-FuR #analysis #architecture #exception: Exception-Chain Analysis: Revealing Exception Handling Architecture in Java Server Applications (CF, BGR), pp. 230–239.
ICSE-2007-KiezunETF #refactoring: Refactoring for Parameterizing Java Classes (AK, MDE, FT, RMF), pp. 437–446.
SAC-2007-BettiniCG: Featherweight wrap Java (LB, SC, EG), pp. 1094–1100.
SAC-2007-ChaiZX #realtime: Real-time Java processor optimized for RTSJ (ZC, WZ, WX), pp. 1540–1544.
SAC-2007-CimadamoreV #approach #using: Reifying wildcards in Java using the EGO approach (MC, MV), pp. 1315–1322.
SAC-2007-FerreiraLO #approach #model checking: A Java code annotation approach for model checking software systems (GF, EL, EASO), pp. 1536–1537.
GPCE-2007-WinterM #generative #library #migration #programming: Generative programming techniques for Java library migration (VLW, AM), pp. 185–196.
CC-2007-BatchelderH #obfuscation: Obfuscating Java: The Most Pain for the Least Gain (MB, LJH), pp. 96–110.
CGO-2007-FultonS #compilation #realtime #source code: Compilation Techniques for Real-Time Java Programs (MF, MGS), pp. 221–231.
COCV-2007-FangS #bidirectional #compilation #generative #using: Generating Java Compiler Optimizers Using Bidirectional CTL (LF, MS), pp. 49–63.
ISMM-2007-AlbertGG #analysis #bytecode: Heap space analysis for java bytecode (EA, SG, MGZ), pp. 105–116.
ISMM-2007-MarionJR: Decrypting the Java gene pool (SM, REJ, CR), pp. 67–78.
LCTES-2007-AuerbachBIKRRT #programming #realtime: Java takes flight: time-portable real-time programming with exotasks (JSA, DFB, DTI, CMK, VTR, HR, RT), pp. 51–62.
LCTES-2007-HongKSMOLC #compilation #embedded: Java client ahead-of-time compiler for embedded systems (SH, JCK, JWS, SMM, HSO, JL, HKC), pp. 63–72.
LCTES-2007-PermandlaRB #type system #virtual machine: A type system for preventing data races and deadlocks in the java virtual machine language: 1 (PP, MR, CB), p. 10.
PDP-2007-ChongHF #memory management #using: Pretenuring in Java by Object Lifetime and Reference Density Using Scratch-Pad Memory (KFC, CYH, ASF), pp. 205–212.
WRLA-2006-SasseM07 #algebra #hoare #logic #semantics #verification: Java+ITP: A Verification Tool Based on Hoare Logic and Algebraic Semantics (RS, JM), pp. 29–46.
ESOP-2007-AlbertAGPZ #bytecode #cost analysis: Cost Analysis of Java Bytecode (EA, PA, SG, GP, DZ), pp. 157–172.
ESOP-2007-BarthePR #bytecode #lightweight #verification: A Certified Lightweight Non-interference Java Bytecode Verifier (GB, DP, TR), pp. 125–140.
ESOP-2007-CenciarelliKS #axiom #memory management: The Java Memory Model: Operationally, Denotationally, Axiomatically (PC, AK, ES), pp. 331–346.
ESOP-2007-HaackPSS: Immutable Objects for a Java-Like Language (CH, EP, JS, AS), pp. 347–362.
FASE-2007-BurdyHP #behaviour #bytecode #design #interface #specification: Preliminary Design of BML: A Behavioral Interface Specification Language for Java Bytecode (LB, MH, MP), pp. 215–229.
TACAS-2007-AnandPV #execution #named #symbolic computation: JPF-SE: A Symbolic Execution Extension to Java PathFinder (SA, CSP, WV), pp. 134–138.
CAV-2007-LeavensKP #behaviour #composition #functional #ml #specification #tutorial #verification: A JML Tutorial: Modular Specification and Verification of Functional Behavior for Java (GTL, JRK, EP), p. 37.
CAV-2007-SuwimonteerabuthBSE #named #source code #testing: jMoped: A Test Environment for Java Programs (DS, FB, SS, JE), pp. 164–167.
ISSTA-2007-RenR #fault #heuristic #locality #ranking: Heuristic ranking of java program edits for fault localization (XR, BGR), pp. 239–249.
MBT-2007-DadeauLB #ml #specification #testing #using: Measuring a Java Test Suite Coverage Using JML Specifications (FD, YL, LdB), pp. 21–32.
TAP-2007-RummerS #calculus #logic #proving #source code #using: Proving Programs Incorrect Using a Sequent Calculus for Java Dynamic Logic (PR, MAS), pp. 41–60.
VMCAI-2007-Logozzo #abstract interpretation #analysis #composition #named #verification: Cibai: An Abstract Interpretation-Based Static Analyzer for Modular Analysis and Verification of Java Classes (FL), pp. 283–298.
CBSE-2006-Barbier #composition #enterprise: An Enhanced Composition Model for Conversational Enterprise JavaBeans (FB), pp. 344–351.
ITiCSE-2006-CrescenziLP #experience: Assessing CS1 java skills: a three-year experience (PC, ML, RP), p. 348.
ITiCSE-2006-Utting #education #problem #programming #using: Problems in the initial teaching of programming using Java: the case for replacing J2SE with J2ME (IU), pp. 193–196.
ITiCSE-2006-Wise #development #named: GoJava: a java development tool for beginners (JW), p. 359.
ICPC-2006-LiT #component #framework #named: JComp: A Reuse-Driven Componentization Framework for Java Applications (SL, LT), pp. 264–267.
ICPC-2006-NaeemH: Programmer-friendly Decompiled Java (NAN, LJH), pp. 327–336.
ICPC-2006-PhengV #analysis #data type #source code: Dynamic Data Structure Analysis for Java Programs (SP, CV), pp. 191–201.
MSR-2006-SagerBPK #algorithm #detection #using: Detecting similar Java classes using tree algorithms (TS, AB, MP, CK), pp. 65–71.
SCAM-2006-NogueraP #named #programming #validation: AVal: an Extensible Attribute-Oriented Programming Validator for Java (CN, RP), pp. 175–183.
SCAM-2006-WykKBJSR #c #compilation #composition #framework #tool support: Tool Demonstration: Silver Extensible Compiler Frameworks and Modular Language Extensions for Java and C (EVW, LK, DB, EJ, AS, PR), p. 161.
SCAM-2006-ZhangR #graph #library: Constructing Accurate Application Call Graphs For Java To Model Library Callbacks (WZ, BGR), pp. 63–74.
WCRE-2006-Bodhuin #delivery #named: PODoJA: Packaging Optimizer for Downloadable Java Applications (TB), pp. 295–296.
WCRE-2006-LiT #component #framework: A Service-Oriented Componentization Framework for Java Software Systems (SL, LT), pp. 115–124.
FM-2006-FreitasC #automation: Automatic Translation from Circus to Java (AF, AC), pp. 115–130.
FM-2006-Mostowski #logic #reasoning: Formal Reasoning About Non-atomic Java Card Methods in Dynamic Logic (WM), pp. 444–459.
SEFM-2006-MarcheR #behaviour #transaction #verification: Verification of JAVA CARD Applets Behavior with Respect to Transactions and Card Tears (CM, NR), pp. 137–146.
SOFTVIS-2006-FronkBK #3d #visualisation: 3D visualisation of code structures in Java software systems (AF, AB, MK), pp. 145–146.
SOFTVIS-2006-JainCHB #evaluation: Experimental evaluation of animated-verifying object viewers for Java (JJ, JHCI, TDH, LAB), pp. 27–36.
ICEIS-AIDSS-2006-HefkeZAWBB #framework #ontology: An Extendable Java Framework for Instance Similarities in Ontologies (MH, VZ, AA, QW, EB, MB), pp. 263–269.
SEKE-2006-BabichCC #named: TaxTOOLJ: A Tool to Catalog Java Classes (DB, KC, PJC), pp. 375–380.
SEKE-2006-Merz #approach #security #using: Using the Dynamic Proxy Approach to Introduce Role-Based Security to Java Data Objects (MM), pp. 404–409.
SEKE-2006-SadaouiS #implementation #specification: Implementation of CafeOBJ Specifications to Java Code (SS, SS), pp. 446–449.
MoDELS-2006-AkehurstBEHM #named: SiTra: Simple Transformations in Java (DHA, BB, MJE, WGJH, KDMM), pp. 351–364.
MoDELS-2006-AkehurstBEHM #named: SiTra: Simple Transformations in Java (DHA, BB, MJE, WGJH, KDMM), pp. 351–364.
ECOOP-2006-AndreaeCGNVZ #aspect-oriented #realtime: Scoped Types and Aspects for Real-Time Java (CA, YC, CG, JN, JV, TZ), pp. 124–147.
ECOOP-2006-WelcHJ #transaction: Transparently Reconciling Transactions with Locking for Java Synchronization (AW, ALH, SJ), pp. 148–173.
ECOOP-2006-WillisPN #performance #query: Efficient Object Querying for Java (DW, DJP, JN), pp. 28–49.
OOPSLA-2006-BaxterFNRSVMT #comprehension: Understanding the shape of Java software (GB, MRF, JN, MR, HS, MV, HM, EDT), pp. 397–412.
OOPSLA-2006-BlackburnGHKMBDFFGHHJLMPSVDW #analysis #benchmark #development #metric: The DaCapo benchmarks: java benchmarking development and analysis (SMB, RG, CH, AMK, KSM, RB, AD, DF, DF, SZG, MH, ALH, MJ, HBL, JEBM, AP, DS, TV, DvD, BW), pp. 169–190.
OOPSLA-2006-CohenGM #named #tool support: JTL: the Java tools language (TC, JYG, IM), pp. 89–108.
OOPSLA-2006-Eugster: Uniform proxies for Java (PTE), pp. 139–152.
OOPSLA-2006-MaebeBEB #named #program analysis #tool support: Javana: a system for building customized Java program analysis tools (JM, DB, LE, KDB), pp. 153–168.
OOPSLA-2006-PotaninNCB: Generic ownership for generic Java (AP, JN, DC, RB), pp. 311–324.
AdaEurope-2006-BrosgolW #ada #comparison #realtime #safety: A Comparison of Ada and Real-Time JavaTM for Safety-Critical Applications (BMB, AJW), pp. 13–26.
AdaEurope-2006-LiWQLYZZ #runtime #source code #specification #verification: Runtime Verification of Java Programs for Scenario-Based Specifications (XL, LW, XQ, BL, JY, JZ, GZ), pp. 94–105.
PADL-2006-GouraudG #functional #testing #using #virtual machine: Using CHRs to Generate Functional Test Cases for the Java Card Virtual Machine (SDG, AG), pp. 1–15.
PLDI-2006-NaikAW #concurrent #detection #effectiveness: Effective static race detection for Java (MN, AA, JW), pp. 308–319.
PLDI-2006-SridharanB #analysis #points-to: Refinement-based context-sensitive points-to analysis for Java (MS, RB), pp. 387–400.
QAPL-2006-SotinCJ #behaviour #static analysis: Quantitative Static Analysis Over Semirings: Analysing Cache Behaviour for Java Card (PS, DC, TPJ), pp. 153–167.
SAS-2006-KirkegaardM #static analysis: Static Analysis for Java Servlets and JSP (CK, AM), pp. 336–352.
RE-2006-GrauFA #named #process #re-engineering: J-PRiM: A Java Tool for a Process Reengineering i* Methodology (GG, XF, SÁ), pp. 352–353.
ASE-2006-Jurjens #analysis #automation #proving #security #source code #theorem proving #using: Security Analysis of Crypto-based Java Programs using Automated Theorem Provers (JJ), pp. 167–176.
ASE-2006-ShiO #design pattern #reverse engineering #source code: Reverse Engineering of Design Patterns from Java Source Code (NS, RAO), pp. 123–134.
FSE-2006-StorzerRRT #classification #source code #using: Finding failure-inducing changes in java programs using change classification (MS, BGR, XR, FT), pp. 57–68.
ICSE-2006-BoshernitsanG #eclipse #interactive #source code: Interactive transformation of java programs in eclipse (MB, SLG), pp. 791–794.
ICSE-2006-CanforaSZ: Developing and executing java AWT applications on limited devices with TCPTE (GC, GDS, EZ), pp. 787–790.
ICSE-2006-MaOK #named: MuJava: a mutation system for java (YSM, JO, YRK), pp. 827–830.
ICSE-2006-StrooperW #component #concurrent #testing: Testing concurrent java components (PAS, LW), pp. 1075–1076.
SAC-2006-BaldoniBT #named #object-oriented #programming language: powerJava: ontologically founded roles in object oriented programming languages (MB, GB, LWNvdT), pp. 1414–1418.
SAC-2006-BurdyP #bytecode #specification #verification: Java bytecode specification and verification (LB, MP), pp. 1835–1839.
SAC-2006-LagorioZ: Introducing safe unknown types in Java-like languages (GL, EZ), pp. 1429–1434.
SAC-2006-PuppinS #network #social: The social network of Java classes (DP, FS), pp. 1409–1413.
SAC-2006-SasitornC #performance #virtual machine: Efficient first-class generics on stock Java virtual machines (JS, RC), pp. 1621–1628.
SAC-2006-Zanardini #bytecode: Abstract non-interference in a fragment of Java bytecode (DZ), pp. 1822–1826.
CC-2006-HammondL #bytecode #optimisation: Loop Transformations in the Ahead-of-Time Optimization of Java Bytecode (SH, DL), pp. 109–123.
CGO-2006-ChenGSUWZLZ #execution #framework: Java JNI Bridge: A Framework for Mixed Native ISA Execution (MC, SG, SS, VU, YW, QZ, EL, YZ), pp. 65–75.
CGO-2006-SundaresanMRS #case study #compilation #experience #multi #thread: Experiences with Multi-threading and Dynamic Class Loading in a Java Just-In-Time Compiler (VS, DM, PR, MGS), pp. 87–97.
CGO-2006-VenstermansEB: Space-Efficient 64-bit Java Objects through Selective Typed Virtual Addressing (KV, LE, KDB), pp. 76–86.
DATE-2006-Schoeberl #predict: A time predictable Java processor (MS), pp. 800–805.
DATE-2006-WehrmeisterPB #embedded #generative #object-oriented #optimisation #realtime #specification: Optimizing the generation of object-oriented real-time embedded applications based on the real-time specification for Java (MAW, CEP, LBB), pp. 806–811.
ISMM-2006-Corry #stack: Optimistic stack allocation for java-like languages (EC), pp. 162–173.
PDP-2006-HartikainenLM #memory management #mobile #on the: On Mobile Java Memory Consumption (VMH, PPL, TM), pp. 333–339.
PDP-2006-VassilopoulosPT #comparative #corba #distributed #enterprise #web #web service: Distributed Technologies CORBA, Enterprise JavaBeans, Web Services — A Comparative Presentation (DV, TP, AT), pp. 280–284.
ISSTA-2006-VisserPP #generative #using: Test input generation for java containers using state matching (WV, CSP, RP), pp. 37–48.
CBSE-2005-MeyerhoferV #enterprise #framework #memory management #named #profiling: EJBMemProf — A Memory Profiling Framework for Enterprise JavaBeans (MM, BV), pp. 17–32.
ITiCSE-2005-BenayaZ #education #programming: Advanced programming in java workshop: teaching methodology (TB, EZ), p. 348.
ITiCSE-2005-ChenM #programming: Iconic programming for flowcharts, java, turing, etc (SC, SM), pp. 104–107.
ITiCSE-2005-Christensen05a #architecture #complexity #named: TS-05: 150 lines of java with high architectural complexity (HBC), p. 396.
ITiCSE-2005-EckerdalT #concept: Novice Java programmers’ conceptions of “object” and “class”, and variation theory (AE, MT), pp. 89–93.
ITiCSE-2005-Kumar #online #programming: Online tutors for C++/Java programming (ANK), p. 387.
ITiCSE-2005-WeirVMN #education #how: Difficulties teaching Java in CS1 and how we aim to solve them (GRSW, TV, AJM, MN), pp. 344–345.
SIGITE-2005-AthaudaKWSREGS #dot-net #education #industrial #platform #tool support: Integrating industrial technologies, tools and practices to the IT curriculum: an innovative course with .NET and java platforms (RIA, NK, JW, PS, LR, AE, AG, DDS), pp. 125–132.
CSMR-2005-RousidisT #case study #clustering #maintenance #source code: Clustering Data Retrieved from Java Source Code to Support Software Maintenance: A Case Study (DR, CT), pp. 276–279.
ICSM-2005-ChesleyRR #debugging #named #source code: Crisp: A Debugging Tool for Java Programs (OCC, XR, BGR), pp. 401–410.
ICSM-2005-LeeJ #empirical #maintenance: An Empirical Study of Software Maintenance of a Web-Based Java Application (MGL, TLJ), pp. 571–576.
ICSM-2005-MonteiroF #aspectj #refactoring: Refactoring a Java Code Base to AspectJ: An Illustrative Example (MPM, JMF), pp. 17–26.
ICSM-2005-SharpR #static analysis: Static Analysis of Object References in RMI-Based Java Software (MS, AR), pp. 101–110.
ICSM-2005-TilevichSH #legacy #named #web: Appletizing: Running Legacy Java Code Remotely from a Web Browser (ET, YS, MH), pp. 91–100.
ICSM-IT-2005-Goschl #refactoring: Continuous Refactoring of a Java Server Application (SG), pp. 11–15.
ICSM-IT-2005-VittekBM #c++ #comprehension #plugin #refactoring: A collection of C, C++ and Java code understanding and refactoring plugins (MV, PB, PEM), pp. 61–64.
IWPC-2005-OSheaE #abstraction: An Investigation of Java Abstraction Usage for Program Modifications (PO, CE), pp. 65–74.
IWPC-2005-Reiss #specification #tool support: Tool Demonstration: CHET: Checking Specifications in Java Systems (SPR), pp. 165–168.
IWPC-2005-Reiss05a #concurrent #monitoring #performance #thread: Efficient Monitoring and Display of Thread State in Java (SPR), pp. 247–256.
IWPC-2005-ReissR #tool support: Tool Demonstration: JIVE and JOVE: Java as it Happens (SPR, MR), pp. 169–172.
PASTE-2005-LiangPH #algorithm #context-sensitive grammar #source code: Evaluating the impact of context-sensitivity on Andersen’s algorithm for Java programs (DL, MP, MJH), pp. 6–12.
PASTE-2005-PickettV #framework #multi #named #thread: SableSpMT: a software framework for analysing speculative multithreading in Java (CJFP, CV), pp. 59–66.
SCAM-2005-PowerH #classification #named #source code: Declassification: Transforming Java Programs to Remove Intermediate Classes (BP, GWH), pp. 183–192.
SCAM-2005-ShiN #component #static analysis: Static Analysis for Computing Escapability and Mutability for Java Components (AS, GN), pp. 119–128.
SCAM-2005-SzegediG #bytecode #slicing #source code: Dynamic Slicing of Java Bytecode Programs (AS, TG), pp. 35–44.
SEFM-2005-GrandySR #kernel #object-oriented #verification: Object Oriented Verification Kernels for Secure Java Applications (HG, KS, WR), pp. 170–179.
SOFTVIS-2005-ReissR #named: Jove: java as it happens (SPR, MR), pp. 115–124.
VISSOFT-2005-SmithM #identification #interactive #runtime #source code: Identifying Structural Features of Java Programs by Analysing the Interaction of Classes at Runtime (MPS, MM), pp. 108–113.
ICEIS-v1-2005-Srinivas #enterprise #game studies: The Java Revolution : From Enterprise to Gaming (RNS), p. 17.
SEKE-2005-SenachakSOF: Provably Correct Translation from CafeOBJ into Java (JS, TS, KO, KF), pp. 614–619.
SEKE-2005-TsunodaKOMM #collaboration #named #recommendation: Javawock: A Java Class Recommender System Based on Collaborative Filtering (MT, TK, NO, AM, KiM), pp. 491–497.
SEKE-2005-VoP #concurrent #detection: A Deadlock Detector for Synchronous Java (DDV, CP), pp. 537–542.
MoDELS-2005-WhiteSG #case study #development #enterprise #modelling: Simplifying Autonomic Enterprise Java Bean Applications Via Model-Driven Development: A Case Study (JW, DCS, ASG), pp. 601–615.
MoDELS-2005-WhiteSG #case study #development #enterprise #modelling: Simplifying Autonomic Enterprise Java Bean Applications Via Model-Driven Development: A Case Study (JW, DCS, ASG), pp. 601–615.
ECOOP-2005-DallmeierLZ #fault #lightweight #locality: Lightweight Defect Localization for Java (VD, CL, AZ), pp. 528–550.
ECOOP-2005-FuhrerTKDK #library #refactoring: Efficiently Refactoring Java Applications to Use Generic Libraries (RMF, FT, AK, JD, MK), pp. 71–96.
ECOOP-2005-SatoC: Loosely-Separated “Sister” Namespaces in Java (YS, SC), pp. 49–70.
ECOOP-2005-SmithD #named: Chai: Traits for Java-Like Languages (CS, SD), pp. 453–478.
ECOOP-2005-WilliamsTE #concurrent #detection #library: Static Deadlock Detection for Java Libraries (AW, WT, MDE), pp. 602–629.
OOPSLA-2005-AhernY #formal method: Formalising Java RMI with explicit code mobility (AA, NY), pp. 403–422.
OOPSLA-2005-BergelDN #named: Classbox/J: controlling the scope of change in Java (AB, SD, ON), pp. 177–189.
OOPSLA-2005-GilM: Micro patterns in Java code (JYG, IM), pp. 97–116.
OOPSLA-2005-SridharanGSB #analysis #points-to: Demand-driven points-to analysis for Java (MS, DG, LS, RB), pp. 59–76.
OOPSLA-2005-TschantzE #named: Javari: adding reference immutability to Java (MST, MDE), pp. 211–230.
OOPSLA-2005-WelcJH: Safe futures for Java (AW, SJ, ALH), pp. 439–453.
AdaEurope-2005-Brosgol #ada #comparison #realtime #specification: A Comparison of the Mutual Exclusion Features in Ada and the Real-Time Specification for Java TM (BMB), pp. 129–143.
POPL-2005-AlurCMN #interface #specification #synthesis: Synthesis of interface specifications for Java classes (RA, PC, PM, WN), pp. 98–109.
POPL-2005-AnconaDDZ #bytecode #compilation #composition #polymorphism: Polymorphic bytecode: compositional compilation for Java-like languages (DA, FD, SD, EZ), pp. 26–37.
POPL-2005-MansonPA #memory management: The Java memory model (JM, WP, SVA), pp. 378–391.
ASE-2005-BlewittBS #automation #design pattern #verification: Automatic verification of design patterns in Java (AB, AB, IS), pp. 224–232.
ASE-2005-SaffAPE #automation: Automatic test factoring for java (DS, SA, JHP, MDE), pp. 114–123.
GTTSE-2005-BenavidesSMC #analysis #automation #csp #feature model #modelling #using: Using Java CSP Solvers in the Automated Analyses of Feature Models (DB, SS, PTMA, ARC), pp. 399–408.
GTTSE-2005-EkmanH #analysis #composition #jastadd #using: Modular Name Analysis for Java Using JastAdd (TE, GH), pp. 422–436.
ICSE-2005-ReissR: Demonstration of JIVE and JOVE: Java as it happens (SPR, MR), pp. 662–663.
ICSE-2005-RenRST #impact analysis #named #source code: Chianti: a change impact analysis tool for java programs (XR, BGR, MS, FT), pp. 664–665.
SAC-2005-DebbabiMT #compilation #embedded #virtual machine: Armed E-Bunny: a selective dynamic compiler for embedded Java virtual machine targeting ARM processors (MD, AM, NT), pp. 874–878.
SAC-2005-ForaxDR #implementation: Reflection-based implementation of Java extensions: the double-dispatch use-case (RF, ÉD, GR), pp. 1409–1413.
SAC-2005-GriffinSC #case study #design #embedded #garbage collection #on the #power management: On designing a low-power garbage collector for java embedded devices: a case study (PAG, WSa, JMC), pp. 868–873.
SAC-2005-GruianAKS #automation #generative: Automatic generation of application-specific systems based on a micro-programmed Java core (FG, PA, KK, MS), pp. 879–884.
SAC-2005-RimassaV #comprehension #parametricity #strict: Understanding access restriction of variant parametric types and Java wildcards (GR, MV), pp. 1390–1397.
SAC-2005-TrentiniM #framework #petri net #realtime #validation: Plan validation via petri nets in the real-time performers Java framework (AT, DM), pp. 1534–1538.
SAC-OOPS-J-2005-ForaxDR #implementation: Reflection-based implementation of Java extensions: the double-dispatch use-case (RF, ÉD, GR), pp. 49–69.
SAC-OOPS-J-2005-ViroliR #on the #strict: On Access Restriction with Java Wildcards (MV, GR), pp. 117–139.
CGO-2005-StoodleyS #automation #compilation: Automatically Reducing Repetitive Synchronization with a Just-in-Time Compiler for Java (MGS, VS), pp. 27–36.
DAC-2005-ChenK #embedded #reliability #virtual machine: Improving java virtual machine reliability for memory-constrained embedded systems (GC, MTK), pp. 690–695.
LCTES-2005-GriffinSC #embedded #energy #garbage collection #performance: An energy efficient garbage collector for java embedded devices (PAG, WSa, JMC), pp. 230–238.
LCTES-2005-Oi #design #hardware #on the #virtual machine: On the design of the local variable cache in a hardware translation-based java virtual machine (HO), pp. 87–94.
PDP-2005-LujanMGF #framework #named #network: DIFOJO: A Java Fork/Join Framework for Heterogeneous Networks (ML, GM, JRG, TLF), pp. 297–304.
PPoPP-2005-SuraFWMLP #compilation #consistency #performance #source code: Compiler techniques for high performance sequentially consistent java programs (ZS, XF, CLW, SPM, JL, DAP), pp. 2–13.
WRLA-2004-CirsteaMR05 #programming #protocol #rule-based #verification: Rule-based Programming in Java For Protocol Verification (HC, PEM, AR), pp. 209–227.
ESOP-2005-JeffreyR #semantics: Java Jr: Fully Abstract Trace Semantics for a Core Java Language (AJ, JR), pp. 423–438.
FASE-2005-JayaramanRH #delivery #eclipse #named #slicing: Kaveri: Delivering the Indus Java Program Slicer to Eclipse (GJ, VPR, JH), pp. 269–272.
FASE-2005-Mostowski #formal method #logic #security #verification: Formalisation and Verification of Java Card Security Properties in Dynamic Logic (WM), pp. 357–371.
TACAS-2005-ChenR #monitoring #named #programming: Java-MOP: A Monitoring Oriented Programming Environment for Java (FC, GR), pp. 546–550.
TACAS-2005-SuwimonteerabuthSE #bytecode #named: jMoped: A Java Bytecode Checker Based on Moped (DS, SS, JE), pp. 541–545.
CAV-2005-ChanderEILN #named #verification: JVer: A Java Verifier (AC, DE, NI, PL, GCN), pp. 144–147.
VMCAI-2005-GenaimS #analysis #bytecode #data flow: Information Flow Analysis for Java Bytecode (SG, FS), pp. 346–362.
VMCAI-2005-SalcianuR #analysis #source code: Purity and Side Effect Analysis for Java Programs (AS, MCR), pp. 199–215.
CBSE-2004-BrunetonCLQS #component: An Open Component Model and Its Support in Java (EB, TC, ML, VQ, JBS), pp. 7–22.
CSEET-2004-SmithLL #question #re-engineering #realtime: Can Real-Time Software Engineering be Taught to Java Programmers? (SS, SWL, AL), pp. 124–129.
ITiCSE-2004-Kumar #learning #programming: Web-based tutors for learning programming in C++/Java (AK), p. 266.
ITiCSE-2004-Lopez-HerrejonS #case study #experience #interactive #using: Using interactive technology in a short java course: an experience report (RELH, MS), pp. 203–207.
ITiCSE-2004-PatersonH #persistent: Approaches to object persistence in java projects (JHP, JH), p. 256.
SIGITE-2004-BierreP #programming #using: The use of MUPPETS in an introductory java programming course (KJB, AMP), pp. 122–127.
SIGITE-2004-WhittingtonB #sequence: Alternative pacing in an introductory java sequence (KJW, DPB), pp. 118–121.
CSMR-2004-ItkonenHL #analysis: Application of Relation Analysis to a Small Java Software (JI, MH, VL), pp. 233–242.
ICSM-2004-Rountev #identification #precise: Precise Identification of Side-Effect-Free Methods in Java (AR), pp. 82–91.
PASTE-2004-HammerS #slicing: An improved slicer for Java (CH, GS), pp. 17–22.
SCAM-2004-MaruyamaY #automation #framework #platform #representation #source code #using #xml: A CASE Tool Platform Using an XML Representation of Java Source Code (KM, SY), pp. 158–167.
WCRE-2004-CanforaSZ #migration #towards: Toward Seamless Migration of Java AWT-Based Applications to Personal Wireless Devices (GC, GDS, EZ), pp. 38–47.
IFM-2004-MollerORW #case study #uml: Linking CSP-OZ with UML and Java: A Case Study (MM, ERO, HR, HW), pp. 267–286.
ICGT-2004-CorradiniDFR #graph transformation: Translating Java Code to Graph Transformation Systems (AC, FLD, LF, LR), pp. 383–398.
SEKE-2004-KalyanpurPBP #automation #ontology #owl: Automatic Mapping of OWL Ontologies into Java (AK, DJP, SB, JAP), pp. 98–103.
SEKE-2004-SetiadiNKM #invariant: Analyzing Invariant Condition of Running Java Program (TES, KN, YK, MM), pp. 350–353.
ECOOP-2004-AliaCDHL #framework #middleware #persistent #query: A Middleware Framework for the Persistence and Querying of Java Objects (MA, SCB, PD, CH, AL), pp. 291–315.
ECOOP-2004-BruceF #named #weaving: LOOJ: Weaving LOOM into Java (KBB, JNF), pp. 389–413.
ECOOP-2004-OnoderaKK: Lock Reservation for Java Reconsidered (TO, KK, AK), pp. 559–583.
ECOOP-2004-SutterTD #constraints #library #using: Customization of Java Library Classes Using Type Constraints and Profile Information (BDS, FT, JD), pp. 585–610.
OOPSLA-2004-DincklageD: Converting Java classes to use generics (DvD, AD), pp. 1–14.
OOPSLA-2004-DonovanKTE #library #source code: Converting java programs to use generic libraries (AD, AK, MST, MDE), pp. 15–34.
OOPSLA-2004-GeorgesBEB #behaviour: Method-level phase behavior in java workloads (AG, DB, LE, KDB), pp. 270–287.
OOPSLA-2004-PratikakisSH: Transparent proxies for java futures (PP, JS, MWH), pp. 206–223.
OOPSLA-2004-RenSTRC #impact analysis #named #source code: Chianti: a tool for change impact analysis of java programs (XR, FS, FT, BGR, OCC), pp. 432–448.
PEPM-2004-HulaasB #cpu #program transformation: Program transformations for portable CPU accounting and control in Java (JH, WB), pp. 169–177.
PLDI-2004-LhotakH #named #relational: Jedd: a BDD-based relational extension of Java (OL, LJH), pp. 158–169.
POPL-2004-AnconaZ: Principal typings for Java-like languages (DA, EZ), pp. 306–317.
SAC-J-2003-MeloM04 #composition #framework #on the: On the composition of Java frameworks control-flows (ACVdM, BMM), pp. 301–307.
ICSE-2004-BlackburnCM #garbage collection #performance: Oil and Water? High Performance Garbage Collection in Java with MMTk (SMB, PC, KSM), pp. 137–146.
ICSE-2004-WangR #bytecode #slicing #source code #using: Using Compressed Bytecode Traces for Slicing Java Programs (TW, AR), pp. 512–521.
SAC-2004-BarbutiC #bytecode #verification: Java bytecode verification on Java cards (RB, SC), pp. 431–438.
SAC-2004-GossnerMS #development #interface: Interface utilization in the Java Development Kit (JG, PM, FS), pp. 1310–1315.
SAC-2004-Hamie #constraints #modelling #ocl: Translating the Object Constraint Language into the Java Modelling Language (AH), pp. 1531–1535.
SAC-2004-Jorgensen #component #incremental #independence #integration: Language support for incremental integration of independently developed components in Java (BNJ), pp. 1316–1322.
SAC-2004-Lagorio #compilation #towards: Another step towards a smart compilation manager for Java (GL), pp. 1275–1280.
SAC-2004-TorgersenHEABG #programming language: Adding wildcards to the Java programming language (MT, CPH, EE, PvdA, GB, NMG), pp. 1289–1296.
SAC-PL-J-2004-Cazzola #named #performance: SmartReflection: Efficient Introspection in Java (WC), pp. 117–132.
SAC-PL-J-2004-Lagorio #dependence: Capturing ghost dependencies in Java sources (GL), pp. 77–96.
SAC-PL-J-2004-TorgersenEHABG #programming language: Adding Wildcards to the Java Programming Language (MT, EE, CPH, PvdA, GB, NMG), pp. 97–116.
CC-2004-RanganathH #concurrent #dependence #slicing #source code: Pruning Interference and Ready Dependence for Slicing Concurrent Java Programs (VPR, JH), pp. 39–56.
CGO-2004-Adl-TabatabaiBCEFLMS #performance: Improving 64-Bit Java IPF Performance by Compressing Heap References (ARAT, JB, MC, ME, JF, BTL, BRM, JMS), pp. 100–110.
DATE-DF-2004-VarmaB #compilation #embedded: Java-through-C Compilation: An Enabling Technology for Java in Embedded Systems (AV, SSB), pp. 161–167.
ISMM-2004-ChenKVI #analysis #embedded #optimisation: Field level analysis for heap space optimization in embedded java environments (GC, MTK, NV, MJI), pp. 131–142.
ISMM-2004-CheremR #analysis #source code: Region analysis and transformation for Java programs (SC, RR), pp. 85–96.
LCTES-2004-LiZ #control flow #programming: Advanced control flow in Java card programming (PL, SZ), pp. 165–174.
PDP-2004-BahiDM #distributed #named: Jace: A Java Environment for Distributed Asynchronous Iterative Computations (JMB, SD, KM), pp. 350–357.
PDP-2004-FeleaT #adaptation #distributed #execution: Adaptive Distributed Execution of Java Applications (VF, BT), pp. 16–31.
FASE-2004-HubbersP #reasoning #transaction: Reasoning about Card Tears and Transactions in Java Card (EH, EP), pp. 114–128.
CAV-2004-ArthoSBEBZ #dynamic analysis #named #performance: JNuke: Efficient Dynamic Analysis for Java (CA, VS, AB, PE, MB, BZ), pp. 462–465.
CAV-2004-FarzanCMR #analysis #formal method #source code: Formal Analysis of Java Programs in JavaFAN (AF, FC, JM, GR), pp. 501–505.
ICLP-2004-RamirezM #constraints #distributed #source code #verification: Constraint-Based Synchronization and Verification of Distributed Java Programs (RR, JM), pp. 473–474.
ICLP-2004-Schrijvers #generative #memory management #named #prolog: JmmSolve: A Generative Java Memory Model Implemented in Prolog and CHR (TS), pp. 475–476.
VMCAI-2004-AgarwalS #type inference: Type Inference for Parameterized Race-Free Java (RA, SDS), pp. 149–160.
ITiCSE-2003-Leska #learning #user interface #using: Learning to develop GUIs in Java using closed labs (CL), p. 228.
ITiCSE-2003-MurrayHKMWST #case study #education #experience #ide #what: Experiences with IDEs and Java teaching: what works and what doesn’t (KAM, JMH, MK, TM, PJW, NCS, JAT), pp. 215–216.
ITiCSE-2003-NevisonW #case study #design pattern #education #using: Teaching objects early and design patterns in Java using case studies (CN, BW), pp. 94–98.
ITiCSE-2003-PatersonH #database #education #ide #object-oriented #using: Teaching Java: using an object-oriented database and the BlueJ IDE (JHP, JH), p. 273.
ITiCSE-2003-Scott #education #game studies #interface #programming #visual notation: Teaching graphical interface programming in Java with the game of wari (KS), p. 254.
CSMR-2003-GwizdalaJR #co-evolution #named: JTracker — A Tool for Change Propagation in Java (SG, YJ, VR), pp. 223–229.
CSMR-2003-Mossienko #automation #cobol: Automated Cobol to Java Recycling (MM), p. 40–?.
ICSM-2003-Gustavsson #classification #runtime: A Classification of Unanticipated Runtime Software Changes in Java (JG), pp. 4–12.
IWPC-2003-BawaG #distributed #interactive #visualisation: Visualizing Interactions in Distributed Java Applications (NB, SG), pp. 292–293.
SCAM-2003-GuoCD #using: Unique Renaming of Java Using Source Transformation (XG, JRC, TRD), pp. 151–160.
SCAM-2003-UmemoriKYI #design #implementation #slicing: Design and Implementation of Bytecode-based Java Slicing System (FU, KK, RY, KI), pp. 108–117.
SCAM-2003-WalkinshawRW #dependence #graph: The Java System Dependence Graph (NW, MR, MW), pp. 55–64.
WCRE-2003-VinciguerraWKMV #c++ #decompiler #framework #tool support: An Experimentation Framework for Evaluating Disassembly and Decompilation Tools for C++ and Java (LV, LMW, NK, PM, RLV), pp. 14–23.
FME-2003-BouquetL #case study #execution #generative #testing #transaction: Reification of Executable Test Scripts in Formal Specicifation-Based Test Generation: The Java Card Transaction Mechanism Case Study (FB, BL), pp. 778–795.
FME-2003-BurdyRL #approach #correctness #developer: Java Applet Correctness: A Developer-Oriented Approach (LB, AR, JLL), pp. 422–439.
SEFM-2003-DukeWL #concurrent #modelling: Modelling Java Concurrency with Object-Z (RD, LW, BL), pp. 173–181.
SOFTVIS-2003-Reiss #visualisation: Visualizing Java in Action (SPR), pp. 57–65.
ECOOP-2003-HenkelD #algebra #specification: Discovering Algebraic Specifications from Java Classes (JH, AD), pp. 431–456.
ECOOP-2003-MitchellS #automation #lightweight #memory management #named #scalability: LeakBot: An Automated and Lightweight Tool for Diagnosing Memory Leaks in Large Java Applications (NM, GS), pp. 351–377.
ECOOP-2003-PalaczV #realtime #testing #type system: Java Subtype Tests in Real-Time (KP, JV), pp. 378–404.
OOPSLA-2003-ChenKVIMW: Heap compression for memory-constrained Java environments (GC, MTK, NV, MJI, BM, MW), pp. 282–301.
OOPSLA-2003-CorwinBGM #named: MJ: a rational module system for Java and its applications (JC, DFB, DG, CM), pp. 241–254.
OOPSLA-2003-DufourDHV #metric: Dynamic metrics for java (BD, KD, LJH, CV), pp. 149–168.
OOPSLA-2003-EeckhoutGB #architecture #how #source code #virtual machine: How java programs interact with virtual machines at the microarchitectural level (LE, AG, KDB), pp. 169–186.
OOPSLA-2003-IshizakiTKSGIKOKYOOKN #compilation #effectiveness #optimisation #platform: Effectiveness of cross-platform optimizations for a java just-in-time compiler (KI, MT, KK, TS, OG, TI, AK, KO, MK, TY, TO, TO, HK, TN), pp. 187–204.
OOPSLA-2003-ZhaoPV #lightweight: Lightweight confinement for featherweight Java (TZ, JP, JV), pp. 135–148.
AdaEurope-2003-BrosgolW #ada #comparison #realtime: A Comparison of the Asynchronous Transfer of Control Features in Ada and the Real-Time Speci.cation for Java (BMB, AJW), pp. 113–128.
AdaEurope-2003-Lamm #ada #design #education: Booch’s Ada vs. Liskov’s Java: Two Approaches to Teaching Software Design (EL), pp. 102–112.
PADL-2003-LiuM #named #pattern matching: JMatch: Iterable Abstract Pattern Matching for Java (JL, ACM), pp. 110–127.
PEPM-2003-AllenH #exception #slicing #source code: Slicing java programs that throw and catch exceptions (MA, SH), pp. 44–54.
PLDI-2003-BoyapatiSBR #memory management #realtime: Ownership types for safe region-based memory management in real-time Java (CB, AS, WSB, MCR), pp. 324–337.
PLDI-2003-SuganumaYN #compilation: A region-based compilation technique for a Java just-in-time compiler (TS, TY, TN), pp. 312–323.
SIGAda-2003-Potratz #ada #comparison #embedded #implementation #realtime: A practical comparison between Java and Ada in implementing a real-time embedded system (EP), pp. 71–83.
RE-2003-KaiyaSMK #analysis #mobile #policy #requirements #security #trade-off: Trade-off Analysis between Security Policies for Java Mobile Codes and Requirements for Java Application (HK, KS, YM, KK), pp. 357–358.
ASE-2003-SilvaGR #component #evolution: A Java Component Model for Evolving Software Systems (MCdSJ, PAdCG, CMFR), pp. 327–330.
ICSE-2003-Reiss #named #visualisation: JIVE: Visualizing Java in Action Demonstration Description (SPR), pp. 820–821.
ICSE-2003-RountevMR #analysis #morphism #polymorphism #testing: Fragment Class Analysis for Testing of Polymorphism in Java Software (AR, AM, BGR), pp. 210–220.
ICSE-2003-YokomoriIYMKI #component #program analysis #slicing: Java Program Analysis Projects in Osaka University: Aspect-Based Slicing System ADAS and Ranked-Component Search System SPARS-J (RY, TI, TY, MM, SK, KI), pp. 828–829.
SAC-2003-BeattyCGN #embedded #interpreter: An Optimized Java Interpreter for Connected Devices and Embedded Systems (AB, KC, DG, AN), pp. 692–697.
SAC-2003-CanWWS #3d #named #performance #using #visualisation: FPV: Fast Protein Visualization Using Java 3D (TC, YW, YFW, JS), pp. 88–95.
SAC-2003-MeloM #composition #framework #on the: On the Composition of Java Frameworks Control-flows (ACVdM, BMM), pp. 1099–1103.
SAC-2003-NandaR #analysis #parallel #pointer #source code #thread: Pointer Analysis of Multithreaded Java Programs (MGN, SR), pp. 1068–1075.
SAC-2003-SterckMPR #framework #lightweight: A Lightweight Java Taskspaces Framework for Scientific Computing on Computational Grids (HDS, RSM, TP, UR), pp. 1024–1030.
GPCE-2003-ChibaN #bytecode #performance #tool support: An Easy-to-Use Toolkit for Efficient Java Bytecode Translators (SC, MN), pp. 364–376.
CC-2003-GagnonH #bytecode #effectiveness #sequence #thread #using: Effective Inline-Threaded Interpretation of Java Bytecode Using Preparation Sequences (EG, LJH), pp. 170–184.
CC-2003-LeagueST #compilation #precise: Precision in Practice: A Type-Preserving Java Compiler (CL, ZS, VT), pp. 106–120.
CC-2003-LhotakH #analysis #points-to #scalability #using: Scaling Java Points-to Analysis Using SPARK (OL, LJH), pp. 153–169.
CC-2003-NystromCM #compilation #framework #named: Polyglot: An Extensible Compiler Framework for Java (NN, MRC, ACM), pp. 138–152.
CGO-2003-InagakiKN #architecture #compilation #scheduling: Integrated Prepass Scheduling for a Java Just-In-Time Compiler on the IA-64 Architecture (TI, HK, TN), pp. 159–168.
CGO-2003-KaminCJ #code generation #named #runtime: Jumbo: Run-Time Code Generation for Java and Its Applications (SK, LC, AJ), pp. 48–58.
LCTES-2003-AnanianR #optimisation #source code: Data size optimizations for java programs (CSA, MCR), pp. 59–68.
LCTES-2003-BaconCR #garbage collection #realtime: Controlling fragmentation and space consumption in the metronome, a real-time garbage collector for Java (DFB, PC, VTR), pp. 81–92.
LCTES-2003-CorsaroC #performance #realtime: Efficient memory-reference checks for real-time java (AC, RC), pp. 51–58.
LCTES-2003-SchultzBCK #compilation #embedded: Compiling java for low-end embedded systems (UPS, KB, FGC, JLK), pp. 42–50.
LCTES-2003-ShaylorSB #architecture #virtual machine: A java virtual machine architecture for very small devices (NS, DNS, WRB), pp. 34–41.
PDP-2003-Bal #distributed: Distributed Supercomputing in Java (HEB), pp. 2–3.
PDP-2003-PortigliattiP #automation #component #constraints #execution: Java Components with constraints and preferences in automatic administration of execution and placement (VP, LP), pp. 266–273.
PDP-2003-StraussT #framework #integration #replication: Integration of a Dynamic Object Replication Framework in Java (TS, OET), pp. 258–265.
FASE-2003-BeckertM #logic #transaction: A Program Logic for Handling JAVA CARD’s Transaction Mechanism (BB, WM), pp. 246–260.
ICLP-2003-DrejhammarSBH #concurrent #declarative: Flow Java: Declarative Concurrency for Java (FD, CS, PB, SH), pp. 346–360.
ITiCSE-2002-Reges #c# #question: Can C# replace java in CS1 and CS2? (SR), pp. 4–8.
ITiCSE-2002-Schreiner #algorithm #distributed #education #tool support: A java toolkit for teaching distributed algorithms (WS), pp. 111–115.
CSMR-2002-MartinM #c #case study #experience #migration: C to Java Migration Experiences (JM, HAM), pp. 143–153.
CSMR-2002-MolnarBS #aspectj #xml: Function Call Trap of Java Codes with the Help of AspectJ and XML (BM, IB, BS), pp. 207–210.
ICSM-2002-LauCKL #e-commerce #enterprise #legacy #re-engineering: Re-Engineering of E-commerce Legacy Applications for Enterprise Java^TM Environment (TCL, YC, RK, JL), p. 573.
ICSM-2002-OrsoRH: A Technique for Dynamic Updating of Java Software (AO, AR, MJH), pp. 649–658.
ICSM-2002-Torchiano #source code: Documenting Pattern Use in Java Programs (MT), pp. 230–233.
SCAM-2002-ChangJH #exception #static analysis #using #visualisation: Visualization of Exception Propagation for Java Using Static Analysis (BMC, JWJ, SHH), p. 173–?.
WCRE-2002-BarowskiC #dependence #using: Extraction and Use of Class Dependency Information for Java (LAB, JHCI), p. 309–?.
WCRE-2002-EmdenM #assurance #detection #quality #smell: Java Quality Assurance by Detecting Code Smells (EVE, LM), p. 97–?.
FME-2002-Casset #development #embedded #formal method #using #verification: Development of an Embedded Verifier for Java Card Byte Code Using Formal Methods (LC), pp. 290–309.
FME-2002-CatanoH #specification #static analysis #using: Formal Specification and Static Checking of Gemplus’ Electronic Purse Using ESC/Java (NC, MH), pp. 272–289.
ICEIS-2002-GarveyJR #persistent #using: Using Persistent Java to Construct a GIS (MG, MJ, MR), pp. 257–262.
ICEIS-2002-Mahmoud #enterprise #using: Developing Enterprise Applications Using Java (QHM), p. 21.
ICEIS-2002-Srinivas #concept #network #security: Network Security Concepts and Java (RS), p. 23.
SEKE-2002-BarbutiTBF #bytecode #verification: Fixing the Java bytecode verifier by a suitable type domain (RB, LT, CB, NDF), pp. 377–382.
SEKE-2002-ErikssonBN #documentation #information management #using: Using knowledge engineering support for a Java documentation viewer (HE, EB, PN), pp. 57–64.
SEKE-2002-SantoneV #bytecode #model checking: Local model checking of Java bytecode (AS, GV), pp. 383–389.
ECOOP-2002-AnconaLZ #compilation #framework: A Formal Framework for Java Separate Compilation (DA, GL, EZ), pp. 609–636.
ECOOP-2002-BaconFG #implementation: Space- and Time-Efficient Implementation of the Java Object Model (DFB, SJF, DG), pp. 111–132.
ECOOP-2002-HovemeyerPS: Atomic Instructions in Java (DH, WP, JS), pp. 133–154.
ECOOP-2002-TilevichS #automation #clustering #named: J-Orchestra: Automatic Java Application Partitioning (ET, YS), pp. 178–204.
OOPSLA-2002-ArnoldHR #online #optimisation: Online feedback-directed optimization of Java (MA, MH, BGR), pp. 111–129.
OOPSLA-2002-Dmitriev #programming language: Language-specific make technology for the Java programming language (MD), pp. 373–385.
OOPSLA-2002-HannemannK #aspectj #design pattern #implementation: Design pattern implementation in Java and aspectJ (JH, GK), pp. 161–173.
OOPSLA-2002-KawachiyaKO: Lock reservation: Java locks can mostly do without atomic operations (KK, AK, TO), pp. 130–141.
OOPSLA-2002-KovedPK #analysis: Access rights analysis for Java (LK, MP, AK), pp. 359–372.
OOPSLA-2002-ShufGFAS #garbage collection #locality: Creating and preserving locality of java applications at allocation and garbage collection times (YS, MG, HF, AWA, JPS), pp. 13–25.
TOOLS-USA-2002-LacknerKP #contract #design: Supporting Design by Contract in Java (ML, AK, FP), pp. 57–76.
TOOLS-USA-2002-Plosch #evaluation #programming language: Evaluation of Assertion Support for the Java Programming Language (RP), pp. 5–17.
AdaEurope-2002-BinderL #embedded #execution #kernel #reliability #using: Using a Secure Java Micro-kernel on Embedded Devices for the Reliable Execution of Dynamically Uploaded Applications (WB, BL), pp. 125–135.
PLDI-2002-BakerH #multi #named #syntax: Maya: Multiple-Dispatch Syntax Extension in Java (JB, WCH), pp. 270–281.
PLDI-2002-FlanaganLLNSS #static analysis: Extended Static Checking for Java (CF, KRML, ML, GN, JBS, RS), pp. 234–245.
PPDP-2002-AnconaLZ #compilation: True separate compilation of Java classes (DA, GL, EZ), pp. 189–200.
PPDP-2002-HiguchiO #bytecode #calculus: Java bytecode as a typed term calculus (TH, AO), pp. 201–211.
SIGAda-2002-KorochkinK #ada #analysis #parallel #performance: Experimental performance analysis of the Ada95 and Java parallel program on SMP systems (DK, SK), pp. 53–56.
ASE-2002-GueheneucDJ #dynamic analysis #source code: No Java without Caffeine: A Tool for Dynamic Analysis of Java Programs (YGG, RD, NJ), p. 117–?.
ASE-2002-Hall #concurrent #multi #named #profiling #thread: CPPROFJ: Aspect-Capable Call Path Profiling of Multi-Threaded Java Applications (RJH), pp. 107–116.
ICSE-2002-EmmerichK #component #corba: Component technologies: Java beans, COM, CORBA, RMI, EJB and the CORBA component model (WE, NK), pp. 691–692.
ICSE-2002-GouveiaKWAF #contract #coordination: Coordination contracts for Java applications (JG, GK, MW, LFA, JLF), p. 714.
ICSE-2002-KusumotoIIMMT #metric #source code: Function point measurement from Java programs (SK, MI, KI, SM, KM, MT), pp. 576–582.
ICSE-2002-RoychoudhuryM #parallel #semantics #specification #thread #verification: Specifying multithreaded Java semantics for program verification (AR, TM), pp. 489–499.
ICSE-2002-TarrOS #multi #named: Hyper/J: multi-dimensional separation of concerns for Java (PLT, HO, SMSJ), pp. 689–690.
SAC-2002-BarbutiBF #abstract interpretation #bytecode #security: Checking security of Java bytecode by abstract interpretation (RB, CB, NDF), pp. 229–236.
SAC-2002-BinderR #mobile #question #using: Secure mobile agent systems using Java: where are we heading? (WB, VR), pp. 115–119.
SAC-2002-SinghP #compilation #data-driven #distributed #optimisation: Compiler optimizations for Java aglets in distributed data intensive applications (AS, SP), pp. 87–92.
SAC-2002-VuorimaaRKH #xml: A Java based XML browser for consumer devices (PV, TR, NvK, MH), pp. 1094–1099.
GPCE-2002-TanterSNP #bytecode #semantics: Altering Java Semantics via Bytecode Manipulation (ÉT, MSD, JN, JMP), pp. 283–298.
ASPLOS-2002-OgataKN #bytecode #interpreter #optimisation: Bytecode fetch optimization for a Java interpreter (KO, HK, TN), pp. 58–67.
CC-2002-MiecznikowskiH #bytecode #problem: Decompiling Java Bytecode: Problems, Traps and Pitfalls (JM, LJH), pp. 111–127.
CC-2002-MikheevFSL #effectiveness #version control: Effective Enhancement of Loop Versioning in Java (VVM, SAF, VVS, NVL), pp. 293–306.
CC-2002-QianHV #approach #array #bound: A Comprehensive Approach to Array Bounds Check Elimination for Java (FQ, LJH, CV), pp. 325–342.
HPCA-2002-ChenSKVIW #embedded #garbage collection: Tuning Garbage Collection in an Embedded Java Environment (GC, RS, MTK, NV, MJI, MW), pp. 92–103.
ISMM-2002-DetersC #automation #memory management #realtime: Automated discovery of scoped memory regions for real-time Java (MD, RC), pp. 132–142.
ISMM-2002-DomaniGKLPS #thread: Thread-local heaps for Java (TD, GG, EKK, EL, EP, DS), pp. 183–194.
ISMM-2002-QianH #adaptation: An adaptive, region-based allocator for java (FQ, LJH), pp. 233–244.
ISMM-2002-ShahamKS #impact analysis #liveness: Estimating the impact of heap liveness information on space consumption in Java (RS, EKK, SS), pp. 171–182.
LCTES-SCOPES-2002-NewsomeW #compilation: Proxy compilation of dynamically loaded Java classes with MoJo (MN, DW), pp. 204–212.
OSDI-2002-HawblitzelE #flexibility #named: Luna: A Flexible Java Protection System (CH, TvE), pp. 391–401.
PDP-2002-BouchiOT #distributed: An Observation Mechanism of Distributed Objects in Java (AB, RO, BT), pp. 117–122.
FoSSaCS-2002-Abraham-MummBRS #concept #multi #thread #verification: Verification for Java’s Reentrant Multithreading Concept (EÁM, FSdB, WPdR, MS), pp. 5–20.
TACAS-2002-DelzannoRB #automation #parallel #source code #thread #towards #verification: Towards the Automated Verification of Multithreaded Java Programs (GD, JFR, LVB), pp. 173–187.
CADE-2002-Strecker #compilation #verification: Formal Verification of a Java Compiler in Isabelle (MS), pp. 63–77.
ISSTA-2002-BoyapatiKM #automation #named #testing: Korat: automated testing based on Java predicates (CB, SK, DM), pp. 123–133.
ISSTA-2002-GroceV #heuristic #model checking #source code #using: Model checking Java programs using structural heuristics (AG, WV), pp. 12–21.
ISSTA-2002-MilanovaRR #analysis #points-to: Parameterized object sensitivity for points-to and side-effect analyses for Java (AM, AR, BGR), pp. 1–11.
ISSTA-2002-Naumovich #algorithm #source code: A conservative algorithm for computing the flow of permissions in Java programs (GN), pp. 33–43.
VMCAI-2002-BernardeschiF #abstract interpretation #bytecode #model checking #security: Combining Abstract Interpretation and Model Checking for Analysing Security Properties of Java Bytecode (CB, NDF), pp. 1–15.
CSEET-2001-Cowling01a #algorithm #data type #education #experience #re-engineering: Teaching Data Structures and Algorithms in a Software Engineering Degree: Some Experience with Java (AJC), pp. 247–257.
ITiCSE-2001-KollingR #education #guidelines #object-oriented: Guidelines for teaching object orientation with Java (MK, JR), pp. 33–36.
ITiCSE-2001-Sooriamurthi01a: Prelude to the Java event model (RS), p. 193.
CSMR-2001-MartinM #c #migration: Strategies for Migration from C to Java (JM, HAM), pp. 200–209.
ICSM-2001-EisenbachS #source code: Changing Java Programs (SE, CS), pp. 479–487.
ICSM-2001-MichaudSM #source code #visualisation: Integrating Information Sources for Visualizing Java Programs (JM, MADS, HAM), p. 250–?.
IWPC-2001-StoreyBM #interactive #source code: SHriMP Views: An Interactive Environment for Exploring Java Programs (MADS, CB, JM), pp. 111–112.
PASTE-2001-LiangPH #analysis #points-to: Extending and evaluating flow-insenstitive and context-insensitive points-to analyses for Java (DL, MP, MJH), pp. 73–79.
PASTE-2001-MaessenSG #program analysis #safety #virtual machine: Program analysis for safety guarantees in a Java virtual machine written in Java (JWM, VS, DG), pp. 62–65.
SCAM-2001-HorganPW #analysis #metric #profiling #runtime #source code: Measurement and Analysis of Runtime Profiling Data for Java Programs (JH, JFP, JW), pp. 124–132.
SCAM-2001-KnieselCA #framework #named: Jmangler — A Framework for Load-Time Transformation of Java Class Files (GK, PC, MA), pp. 100–110.
SCAM-2001-Knight #analysis #exclamation #smell: Smell the Coffee! Uncovering Java Analysis Issues (CK), pp. 163–169.
SCAM-2001-MaggiS #analysis #bytecode #data flow #using: Using Data Flow Analysis to Infer Type Information in Java Bytecode (PM, RS), p. 213–?.
WCRE-2001-MiecznikowskiH #encapsulation #staged #using: Decompiling Java Using Staged Encapsulation (JM, LJH), pp. 368–374.
FME-2001-FlanaganL: Houdini, an Annotation Assistant for ESC/Java (CF, KRML), pp. 500–517.
FLOPS-2001-ChoiLH #compilation #functional #lazy evaluation #source code #virtual machine: Compiling Lazy Functional Programs Based on the Spineless Tagless G-Machine for the Java Virtual Machine (KC, HiL, TH), pp. 92–107.
SVIS-2001-EichelbergerG #on the #source code #visualisation: On the Visualization of Java Programs (HE, JWvG), pp. 295–306.
SVIS-2001-Mehner #concurrent #debugging #named #source code #uml #visualisation: JaVis: A UML-Based Visualization and Debugging Environment for Concurrent Java Programs (KM), pp. 163–175.
SVIS-2001-OechsleS #automation #debugging #diagrams #interface #named #sequence chart #using #visualisation: JAVAVIS: Automatic Program Visualization with Object and Sequence Diagrams Using the Java Debug Interface (JDI) (RO, TS), pp. 176–190.
SVIS-2001-PauwJMSVY #execution #source code #visualisation: Visualizing the Execution of Java Programs (WDP, EJ, NM, GS, JMV, JY), pp. 151–162.
ICEIS-v1-2001-FatoohiS #corba #legacy: Integrating Legacy Applications within a JAVA/CORBA Environment (RF, LS), pp. 157–162.
SEKE-2001-GargiuloM #named #source code: Gadget: A Tool for Extracting the Dynamic Structure of Java Programs (JG, SM), pp. 244–251.
SEKE-2001-IosifS #logic: Temporal Logic Properties of Java Objects (RI, RS), pp. 120–127.
ECOOP-2001-AnconaZ: True Modules for Java-like Languages (DA, EZ), pp. 354–380.
ECOOP-2001-CaromelV #component #security: Reflections on MOPs, Components, and Java Security (DC, JV), pp. 256–274.
ECOOP-2001-PolletCC #source code #static analysis: Distinctness and Sharing Domains for Static Analysis of Java Programs (IP, BLC, AC), pp. 77–98.
ECOOP-2001-TatsuboriSCI #bytecode #distributed #execution #legacy: A Bytecode Translator for Distributed Execution of “Legacy” Java Software (MT, TS, SC, KI), pp. 236–255.
ECOOP-2001-WangS #constraints #precise #type inference: Precise Constraint-Based Type Inference for Java (TW, SFS), pp. 99–117.
OOPSLA-2001-AlpernCFGL #harmful #implementation #interface #performance: Efficient Implementation of Java Interfaces: Invokeinterface Considered Harmless (BA, AC, SJF, DG, DL), pp. 108–124.
OOPSLA-2001-AnconaLZ #calculus #exception: A Core Calculus for Java Exceptions (DA, GL, EZ), pp. 16–30.
OOPSLA-2001-BachrachP: The Java Syntactic Extender (JB, KP), pp. 31–42.
OOPSLA-2001-BinderHV #approach: Portable Resource Control in Java: The J-SEAL2 Approach (WB, JH, AV), pp. 139–155.
OOPSLA-2001-BlackburnSHMM: Pretenuring for Java (SB, SS, MH, KSM, JEBM), pp. 342–352.
OOPSLA-2001-BoyapatiR #source code #type system: A Parameterized Type System for Race-Free Java Programs (CB, MCR), pp. 56–69.
OOPSLA-2001-BrechtALP #execution #garbage collection: Controlling Garbage Collection and Heap Growth to Reduce the Execution Time of Java Applications (TB, EA, CL, HP), pp. 353–366.
OOPSLA-2001-HarroldJLLOPSSG #testing: Regression Test Selection for Java Software (MJH, JAJ, TL, DL, AO, MP, SS, SAS, AG), pp. 312–326.
OOPSLA-2001-LevanoniP #garbage collection #on the fly: An On-the-Fly Reference Counting Garbage Collector for Java (YL, EP), pp. 367–380.
OOPSLA-2001-McDirmidFH #component #named: Jiazzi: New-Age Components for Old-Fashioned Java (SM, MF, WCH), pp. 211–222.
OOPSLA-2001-OgasawaraKN #case study #exception #optimisation: A Study of Exception Handling and Its Dynamic Optimization in Java (TO, HK, TN), pp. 83–95.
OOPSLA-2001-RountevMR #analysis #constraints #points-to #using: Points-To Analysis for Java using Annotated Constraints (AR, AM, BGR), pp. 43–55.
OOPSLA-2001-SuganumaYKKN #compilation #framework #optimisation: A Dynamic Optimization Framework for a Java Just-In-Time Compiler (TS, TY, MK, HK, TN), pp. 180–194.
TOOLS-EUROPE-2001-Langer #programming: Java Programming Idioms (AL), pp. 197–198.
TOOLS-EUROPE-2001-Mahmoud01a #programming: Wireless Application Programming with Java (QHM), p. 202.
TOOLS-EUROPE-2001-SevitskyPK #analysis #performance #source code: An Information Exploration Tool for Performance Analysis of Java Programs (GS, WDP, RK), pp. 85–101.
TOOLS-USA-2001-Breuel #code generation #implementation #using: Implementing Dynamic Language Features in Java Using Dynamic Code Generation (TMB), pp. 143–152.
TOOLS-USA-2001-Brosgol #ada #comparison #concurrent #overview #programming #realtime: A Survey and Comparison of Concurrency and Real-Time Programming Support in Java, Ada, and Posix (BMB), p. 362.
TOOLS-USA-2001-Holmes #concurrent #programming: Concurrent O-O Programming in Java (DH), p. 359.
TOOLS-USA-2001-Pour #enterprise #framework #platform: Java 2 Platform Enterprise Edition (J2EE) for Building Web-Based Enterprise Applications (GP), p. 336.
TOOLS-USA-2001-Wu #enterprise #using #web: Building Web Applications Using Java 2 Enterprise Edition (CTW), pp. 355–356.
AdaEurope-2001-BrosgolD #question #realtime: Can Java Meet Its Real-Time Deadlines? (BMB, BD), pp. 68–87.
GCSE-2001-HakalaHKPVV #development #framework #generative: Generating Application Development Environments for Java Frameworks (MH, JH, KK, JP, AV, JV), pp. 163–176.
PADL-2001-Courtney #functional #named #programming: Frappé: Functional Reactive Programming in Java (AC), pp. 29–44.
PLDI-2001-BaconALRS #garbage collection #multi: Java without the Coffee Breaks: A Nonintrusive Multiprocessor Garbage Collector (DFB, CRA, HBL, VTR, SES), pp. 92–103.
PLDI-2001-ShahamKS #profiling: Heap Profiling for Space-Efficient Java (RS, EKK, SS), pp. 104–113.
POPL-2001-Yahav #concurrent #logic #safety #source code #using #verification: Verifying safety properties of concurrent Java programs using 3-valued logic (EY), pp. 27–40.
PPDP-2001-ChangJ #analysis #constraints: Granularity of Constraint-Based Analysis for Java (BMC, JWJ), pp. 94–102.
ASE-2001-BiemanGA: A Technique for Mutation of Java Objects (JMB, SG, RTA), pp. 337–340.
ASE-2001-BlewittBS #automation #design pattern #verification: Automatic Verification of Java Design Patterns (AB, AB, IS), pp. 324–327.
ASE-2001-Denney #algorithm #synthesis: The Synthesis of a Java Card Tokenization Algorithm (ED), pp. 43–50.
ASE-2001-LongHS #concurrent #monitoring: A Concurrency Test Tool for Java Monitors (BL, DH, PAS), pp. 421–425.
ASE-2001-MarinovK #automation #framework #named #novel #source code #testing: TestEra: A Novel Framework for Automated Testing of Java Programs (DM, SK), p. 22–?.
ESEC-FSE-2001-EmmerichK #component #corba: Component technologies: Java Beans, COM, CORBA, RMI, EJB and the CORBA Component Model (WE, NK), pp. 311–312.
ICSE-2001-KamiyaOKKI #maintenance #source code #tool support: Maintenance Support Tools for JAVA Programs: CCFinder and JAAT (TK, FO, KK, SK, KI), pp. 837–838.
ICSE-2001-Korson #architecture #case study #uml: From UML to Java, Building a 3-Tier Architecture: Case Study (TDK), pp. 735–736.
ICSE-2001-OssherT #multi #named: Hyper/J^TM: Multi-Dimensional Separation of Concerns for Java^TM (HO, PLT), pp. 821–822.
ICSE-2001-TarrO #multi #named: Hyper/J^TM: Multi-Dimensional Separation of Concerns for Java^TM (PLT, HO), pp. 729–730.
ICSE-2001-White: An Introduction to Java 2 Micro Edition (J2ME); Java in Small Things (JW), pp. 724–725.
SAC-2001-ChangJYC #analysis #exception #interprocedural: Interprocedural exception analysis for Java (BMC, JWJ, KY, KMC), pp. 620–625.
SAC-2001-Viroli #implementation #morphism #parametricity #performance #polymorphism: Parametric polymorphism in Java: an efficient implementation for parametric methods (MV), pp. 610–619.
CC-2001-PominvilleQVHV #framework #optimisation #using: A Framework for Optimizing Java Using Attributes (PP, FQ, RVR, LJH, CV), pp. 334–354.
HPCA-2001-CainRML #architecture #evaluation: An Architectural Evaluation of Java TPC-W (HWC, RR, MM, MHL), pp. 229–240.
PDP-2001-CourtraiMR #communication #network #performance: Java Objects Communication on a High Performance Network (LC, YM, FR), pp. 203–210.
PDP-2001-GetovWLT #evaluation #message passing #performance: Message-Passing Computing with Java: Performance Evaluation and Comparisons (VG, MW, QL, MT), pp. 173–177.
PDP-2001-SageMB #multi: Dynamic Code Management on a Java Multicomputer (PS, PM, AB), p. 97–?.
ESOP-2001-Jacobs #exception #formal method: A Formalisation of Java’s Exception Mechanism (BJ), pp. 284–301.
FASE-2001-JacobsP #logic #ml #modelling: A Logic for the Java Modeling Language JML (BJ, EP), pp. 284–299.
FASE-2001-ReusWH #calculus #design #hoare #modelling #ocl #verification: A Hoare Calculus for Verifying Java Realizations of OCL-Constrained Design Models (BR, MW, RH), pp. 300–317.
TACAS-2001-BergJ #compilation #ml: The LOOP Compiler for Java and JML (JvdB, BJ), pp. 299–312.
TACAS-2001-PasareanuDV #model checking #source code: Finding Feasible Counter-examples when Model Checking Abstracted Java Programs (CSP, MBD, WV), pp. 284–298.
CAV-2001-Leroy #bytecode #overview #perspective #verification: Java Bytecode Verification: An Overview (XL), pp. 265–285.
ITiCSE-2000-Culwin #named #web: Lecturelets: web based Java enabled lectures (FC), pp. 5–8.
ITiCSE-2000-Ellis #multi #programming: Toolbook multimedia demonstrations for Java programming (AE), p. 181.
ITiCSE-2000-OdekirkJJ #case study #experience #using: Three semesters of CSO using Java: assignments and experiences (EO, DJ, PJ), pp. 144–147.
ITiCSE-2000-RaabRP #education #tool support: Pedagogical power tools for teaching Java (JR, RR, VKP), pp. 156–159.
CSMR-2000-SystaYM #metric #visualisation: Analyzing Java Software by Combining Metrics and Program Visualization (TS, PY, HAM), pp. 199–208.
WCRE-2000-HoltHLLL: E/R Schema for the Datrix C/C++/Java Exchange Format (RCH, AEH, BL, SL, CL), pp. 284–286.
WCRE-2000-Systa #behaviour #comprehension #source code: Understanding the Behavior of Java Programs (TS), pp. 214–223.
EDOC-2000-CampadelloKRH: Wireless Java RMI (SC, OK, KEER, HH), pp. 114–123.
EDOC-2000-Choi #aspect-oriented #enterprise #programming: Aspect-Oriented Programming with Enterprise JavaBeans (JPC), p. 252–?.
ICEIS-2000-Barn #component #enterprise #modelling #using #web: Modelling and Building Component Based Web Applications Using Enterprise Java Beans (BB), p. XXXI-XXXII.
ECOOP-2000-AnconaLZ #mixin #named: Jam — A Smooth Extension of Java with Mixins (DA, GL, EZ), pp. 154–178.
ECOOP-2000-Chiba: Load-Time Structural Reflection in Java (SC), pp. 313–336.
ECOOP-2000-GuptaCH #exception #optimisation #source code: Optimizing Java Programs in the Presence of Exceptions (MG, JDC, MH), pp. 422–446.
ECOOP-2000-MalabarbaPGBB #runtime #type safety: Runtime Support for Type-Safe Dynamic Java Classes (SM, RP, JG, ETB, JFB), pp. 337–361.
ECOOP-2000-OgawaSMMSK #compilation #framework #jit #named: OpenJIT: An Open-Ended, Reflective JIT Compiler Framework for Java (HO, KS, SM, FM, YS, YK), pp. 362–387.
ECOOP-2000-Renaud #component #process: HERCULE : Non-invasively Tracking Java^TM Component-Based Application Activity (KR), pp. 447–471.
OOPSLA-2000-BaconST #named: Guava: a dialect of Java without data races (DFB, RES, AT), pp. 382–400.
OOPSLA-2000-CliftonLCM #composition #multi #named #symmetry: MultiJava: modular open classes and symmetric multiple dispatch for Java (CC, GTL, CC, TDM), pp. 130–145.
OOPSLA-2000-Czajkowski #virtual machine: Application isolation in the Java^TM Virtual Machine (GC), pp. 354–366.
OOPSLA-2000-HarrisonBR #design #uml: Mapping UML designs to Java (WH, CB, MR), pp. 178–187.
OOPSLA-2000-IshizakiKYKN #case study #compilation: A study of devirtualization techniques for a Java^TM Just-In-Time compiler (KI, MK, TY, HK, TN), pp. 294–310.
OOPSLA-2000-MaessenAS #memory management #using: Improving the Java memory model using CRF (JWM, A, XS), pp. 1–12.
OOPSLA-2000-QianGC #specification: A formal specification of Java^TM class loading (ZQ, AG, AC), pp. 325–336.
OOPSLA-2000-SerranoBMG #compilation #named: Quicksilver: a quasi-static compiler for Java (MJS, RB, SPM, MG), pp. 66–82.
OOPSLA-2000-SundaresanHRVLGG: Practical virtual method call resolution for Java (VS, LJH, CR, RVR, PL, EG, CG), pp. 264–280.
OOPSLA-2000-ViroliN #approach #morphism #parametricity #polymorphism: Parametric polymorphism in Java: an approach to translation based on reflective features (MV, AN), pp. 146–165.
OOPSLA-2000-ZaksFA: Sealed calls in Java packages (AZ, VF, NA), pp. 83–92.
TOOLS-ASIA-2000-LinaLX #using: An Agent-Based Load Balancing Mechanism: PLRM Using Java (LL, LL, YX), pp. 176–181.
TOOLS-ASIA-2000-ZhengZYW #compilation #concurrent #design #hybrid #virtual machine: A Java Virtual Machine Design Based on Hybrid Concurrent Compilation Model (WZ, FZ, BY, YW), pp. 18–23.
TOOLS-EUROPE-2000-BouchenakH #thread: Pickling Threads State in the Java System (SB, DH), pp. 22–32.
TOOLS-EUROPE-2000-HolmesL #concurrent #object-oriented #programming: Introduction to Concurrent Object-Oriented Programming in Java (DH, DL), p. 457.
TOOLS-EUROPE-2000-HolmesL00a #concurrent #design #object-oriented #source code: Designing Concurrent Object-Oriented Programs in Java (DH, DL), p. 461.
TOOLS-EUROPE-2000-Lauinger #design: Java Design Traps and Pitfalls (TL), p. 465.
TOOLS-EUROPE-2000-Pour #component #development #enterprise: Enterprise JavaBeans (EJB): New Opportunities for Component-Based Development of Web-Based Enterprise Solutions (GP), p. 473.
TOOLS-PACIFIC-2000-CohenG #metric #self: Self-Calibration of Metrics of Java Methods (TC, JYG), pp. 94–107.
TOOLS-PACIFIC-2000-ForaxDR #framework #multi: Java Multi-Method Framework (RF, ÉD, GR), pp. 45–56.
TOOLS-PACIFIC-2000-Silva-LepeCNF #architecture #component #message passing: Container-Managed Messaging: An Architecture for Integrating Java Components and Message-Oriented Applications (ISL, CFC, PN, DFF), pp. 228–241.
TOOLS-PACIFIC-2000-SkevoulisJ #detection #fault #invariant #runtime #source code #static analysis: Generic Invariant-Based Static Analysis Tool for Detection of Runtime Errors in Java Programs (SS, XJ), pp. 36–44.
TOOLS-USA-2000-Brosgol #programming #realtime: Real-Time Programming in Java (BMB), pp. 487–488.
TOOLS-USA-2000-Ege #database #scalability: Reading Large Volumes of Java Objects from Database (RKE), pp. 117–124.
TOOLS-USA-2000-Ege00a #database #object-oriented #programming: Object-Oriented Database Programming in Java (RKE), pp. 441–442.
TOOLS-USA-2000-Griss #component #e-commerce #game studies #uml #workflow #xml: Agent-Mediated E-Commerce Agents, Components, Services, Workflow, UML, Java, XML and Games (MLG), p. 3–?.
TOOLS-USA-2000-Langer: Idiomatic Java (AL), pp. 483–484.
AdaEurope-2000-FlintD #ada #api #compilation #using: Using JavaTM APIs with Native Ada Compilers (SF, BD), pp. 41–55.
AdaEurope-2000-Weiss #ada #monitoring: Kingcat MCAS — Monitoring, Control and Alarm System for a Luxury Motor Yacht Implemented in Ada and Java (RW), pp. 2–3.
GCSE-2000-Veldhuizen: Just When You Thought Your Little Language Was Safe: “Expression Templates” in Java (TLV), pp. 188–202.
PEPM-2000-BrauxN #towards: Towards Partially Evaluating Reflection in Java (MB, JN), pp. 2–11.
PLDI-2000-CierniakLS #optimisation: Practicing JUDO: Java under dynamic optimizations (MC, GYL, JMS), pp. 13–26.
PLDI-2000-ColbyLNBPC #compilation: A certifying compiler for Java (CC, PL, GCN, FB, MP, KC), pp. 95–107.
PLDI-2000-DomaniKP #garbage collection #on the fly: A generational on-the-fly garbage collector for Java (TD, EKK, EP), pp. 274–284.
PLDI-2000-FlanaganF #concurrent #detection #type system: Type-based race detection for Java (CF, SNF), pp. 219–232.
PLDI-2000-Ruf #effectiveness: Effective synchronization removal for Java (ER), pp. 208–218.
POPL-2000-KnoblockR #bytecode #type system: Type Elaboration and Subtype Completion for Java Bytecode (TBK, JR), pp. 228–242.
SAS-2000-GagnonHM #bytecode #performance #static typing: Efficient Inference of Static Types for Java Bytecode (EG, LJH, GM), pp. 199–219.
SAS-2000-UngureanuJ #analysis #concurrent: Concurrency Analysis for Java (CU, SJ), pp. 413–432.
ASE-2000-HuchardL #interface: Computing Interfaces in Java (MH, HL), pp. 317–320.
ASE-2000-ParkSSD #model checking: Java Model Checking (DYWP, US, JUS, DLD), pp. 253–256.
FSE-2000-RobillardM #design #exception #robust #source code: Designing robust Java programs with exceptions (MPR, GCM), pp. 2–10.
ICSE-2000-CorbettDHLPRZ #finite #modelling #named #source code: Bandera: extracting finite-state models from Java source code (JCC, MBD, JH, SL, CSP, R, HZ), pp. 439–448.
ICSE-2000-CorbettDHR #interface #model checking #named #source code: Bandera: a source-level interface for model checking Java programs (JCC, MBD, JH, R), pp. 762–765.
ICSE-2000-Iosif #concurrent #verification: Formal verification applied to Java concurrent software (RI), pp. 707–709.
ICSE-2000-OssherT #multi #named: Hyper/J: multi-dimensional separation of concerns for Java (HO, PLT), pp. 734–737.
SAC-2000-BoujarwahSA #analysis #data flow #source code #testing #using: Testing Java Programs Using Dynamic Data Flow Analysis (ASB, KS, JAD), pp. 725–727.
SAC-2000-DenehyJ #c++ #parallel #virtual machine: Parallel C++ for the Java Virtual Machine (TED, CHJ), pp. 843–848.
SAC-2000-DoyonD #bytecode #verification: Verifying Object Initialization in the Java Bytecode Language (SD, MD), pp. 821–830.
CC-2000-HoogerbruggeA #pipes and filters #virtual machine: Pipelined Java Virtual Machine Interpreters (JH, LA), pp. 35–49.
CC-2000-RyderSKGS #exception #using: A Static Study of Java Exceptions Using JESP (BGR, DS, UK, MG, NS), pp. 67–81.
CC-2000-ShahamKS #array #automation #memory management: Automatic Removal of Array Memory Leaks in Java (RS, EKK, SS), pp. 50–66.
CC-2000-Vallee-RaiGHLPS #bytecode #framework #optimisation #question #using: Optimizing Java Bytecode Using the Soot Framework: Is It Feasible? (RVR, EG, LJH, PL, PP, VS), pp. 18–34.
DATE-2000-ItoCJ #design: System Design Based on Single Language and Single-Chip Java ASIP Microcontroller (SAI, LC, RPJ), pp. 703–707.
HPCA-2000-RadhakrishnanVJS #architecture #runtime: Architectural Issues in Java Runtime Systems (RR, NV, LKJ, AS), pp. 387–398.
ISMM-2000-DomaniKLSBLLPY #garbage collection #implementation #on the fly: Implementing an On-the-Fly Garbage Collector for Java (TD, EKK, EL, EES, KB, IL, YL, EP, IY), pp. 155–166.
ISMM-2000-ShahamKS #effectiveness #garbage collection #on the: On the Effectiveness of GC in Java (RS, EKK, SS), pp. 12–17.
OSDI-2000-BackHL #process #resource management: Processes in KaffeOS: Isolation, Resource Management, and Sharing in Java (GB, WCH, JL), pp. 333–346.
ESOP-2000-DenneyJ #correctness #logic: Correctness of Java Card Method Lookup via Logical Relations (ED, TPJ), pp. 104–118.
FASE-2000-HuismanJ #hoare #logic #termination #verification: Java Program Verification via a Hoare Logic with Abrupt Termination (MH, BJ), pp. 284–303.
CAV-2000-ColbyLN #architecture: A Proof-Carrying Code Architecture for Java (CC, PL, GCN), pp. 557–560.
ISSTA-2000-Dill #model checking #source code: Model checking Java programs (DLD), p. 179.
WICSA-1999-Stuurman #architecture: Software Architecture, Java Beans (SS), pp. 183–200.
VLDB-1999-ZirintsisKM: Hyper-Programming in Java (EZ, GNCK, RM), pp. 734–737.
ITiCSE-1999-Armentrout #design #source code #uml: A tool for designing Java programs with UML (AA), p. 180.
ITiCSE-1999-EllisHSLDCRT #collaboration #education #programming: A collaborative strategy for developing shared Java teaching resources to support first year programming (AE, DH, JS, JL, WD, AC, JR, ST), pp. 84–87.
ITiCSE-1999-KoffmanW #using: CS1 using Java language features gently (EBK, UW), pp. 40–43.
ITiCSE-1999-WolzK #interactive #named #programming: simpleIO: a Java package for novice interactive and graphics programming (UW, EBK), pp. 139–142.
ITiCSE-1999-WolzK99a #interactive #named #programming: simpleIO: a Java package for novice interactive and graphics programming (UW, EBK), p. 212.
ITiCSE-1999-YangB #education #interface #programming #using: Using Java and the socket interface in teaching client/server programming (AY, YB), p. 206.
CSMR-1999-RaysideK #deployment #embedded #library #set: Extracting Java Library Subsets for Deployment on Embedded Systems (DR, KK), pp. 102–110.
ICSM-1999-SinhaH #source code #testing: Criteria for Testing Exception-Handling Constructs in Java Programs (SS, MJH), p. 265–?.
IWPC-1999-PatenaudeMDL #assessment #quality: Extending Software Quality Assessment Techniques to Java Systems (JFP, EM, MD, BL), pp. 49–56.
IWPC-1999-Zhao #concurrent #slicing #source code: Slicing Concurrent Java Programs (JZ), pp. 126–133.
PASTE-1999-ChoiGHS #analysis #exception #modelling #performance #precise #source code: Efficient and Precise Modeling of Exceptions for the Analysis of Java Programs (JDC, DG, MH, VS), pp. 21–31.
WCRE-1999-BalazinskaMDLK #analysis: Partial Redesign of Java Software Systems Based on Clone Analysis (MB, EM, MD, BL, KK), pp. 326–336.
WCRE-1999-KornCK #named #reverse engineering: Chava: Reverse Engineering and Tracking of Java Applets (JLK, YFC, EK), pp. 314–325.
WCRE-1999-Systa #modelling #on the #reverse engineering: On the Relationships between Static and Dynamic Models in Reverse Engineering Java Software (TS), pp. 304–313.
ICFP-1999-BentonK: Interlanguage Working Without Tears: Blending SML with Java (NB, AK), pp. 126–137.
ICFP-1999-LeagueST #representation: Representing Java Classes in a Typed Intermediate Language (CL, ZS, VT), pp. 183–196.
HCI-EI-1999-Stelovsky #architecture #eye tracking #integration #interactive #source code #user interface: An Extendible Architecture for the Integration of Eye Tracking and User Interaction Events of Java Programs with Complex User Interfaces (JS), pp. 861–865.
EDOC-1999-KellerR #case study #internet: Dynamic management of Internet telephony servers: a case study based on JavaBeans and JDMK (AK, HR), pp. 135–146.
ICEIS-1999-ArribiC #architecture #automation #distributed: A Java Distributed Architecture for Remote and Automatic Management of Telephonic Communications (JA, VC), pp. 572–576.
ICEIS-1999-CarvalhoPJ #logic programming #prolog #virtual machine: NETPROLOG-A Logic Programming System for the Java Virtual Machine (CLdC, ECP, RMdSJ), pp. 591–598.
ICEIS-1999-CorreiaL: Combining Graphic and Alphanumeric Information in Java Applications (RJCC, JPL), pp. 606–611.
ICEIS-1999-DuartennBACGS #implementation: 3270 Webclient — A Java Implementation of Dynamic Revamping (CJD, BB, JA, JC, RG, MSdS), p. 791.
UML-1999-EngelsHSW #collaboration #diagrams #uml: UML Collaboration Diagrams and their Transformation to Java (GE, RH, SS, AW), pp. 473–488.
ECOOP-1999-DieckmannH #behaviour #benchmark #case study #metric: A Study of the Allocation Behavior of the SPECjvm98 Java Benchmark (SD, UH), pp. 92–115.
ECOOP-1999-PandeyH #data access #fine-grained #source code: Providing Fine-grained Access Control for Java Programs (RP, BH), pp. 449–473.
ECOOP-1999-PauwS #memory management #visualisation: Visualizing Reference Patterns for Solving Memory Leaks in Java (WDP, GS), pp. 116–134.
ECOOP-1999-SchultzLCM #automation #source code #towards: Towards Automatic Specialization of Java Programs (UPS, JLL, CC, GM), pp. 367–390.
OOPSLA-1999-AlpernABCHLNMSS #implementation: Implementing Jalapeño in Java (BA, CRA, JJB, AC, SFH, DL, TN, MFM, JCS, SES), pp. 314–324.
OOPSLA-1999-Blanchet #analysis #object-oriented: Escape Analysis for Object-Oriented Languages: Application to Java (BB), pp. 20–34.
OOPSLA-1999-BogdaH: Removing Unnecessary Synchronization in Java (JB, UH), pp. 35–46.
OOPSLA-1999-ChoiGSSM #analysis: Escape Analysis for Java (JDC, MG, MJS, VCS, SPM), pp. 1–19.
OOPSLA-1999-Duggan #composition #reverse engineering #type system: Modular Type-Based Reverse Engineering of Parameterized Types in Java Code (DD), pp. 97–113.
OOPSLA-1999-FreundM #bytecode #framework #verification: A Formal Framework for the Java Bytecode Language and Verifier (SNF, JCM), pp. 147–166.
OOPSLA-1999-IgarashiPW #calculus: Featherweight Java: A Minimal Core Calculus for Java and GJ (AI, BCP, PW), pp. 132–146.
OOPSLA-1999-KrintzCH #using: Reducing Transfer Delay Using Java Class File Splitting and Prefetching (CK, BC, UH), pp. 276–291.
OOPSLA-1999-TipLSS #experience: Practical Experience with an Application Extractor for Java (FT, CL, PFS, DS), pp. 292–305.
OOPSLA-1999-WhaleyR #analysis #composition #pointer #source code: Compositional Pointer and Escape Analysis for Java Programs (JW, MCR), pp. 187–206.
TOOLS-ASIA-1999-AnLWJCWC #corba #framework #ide: A Java/CORBA Based Universal Framework for Super Server User-End Integrated Environments (HA, HL, MW, YJ, ZC, FW, GC), pp. 336–341.
TOOLS-ASIA-1999-HuangCCP #api #network: A Java Networking API for ATM Networks (ZH, SC, KMVC, MKP), pp. 306–315.
TOOLS-ASIA-1999-KatribFP #thread #using: Synchronizing Java Threads Using Assertions (MK, DF, EP), pp. 51–60.
TOOLS-ASIA-1999-Newmarch #testing: Testing Java Swing-Based Applications (JN), pp. 156–165.
TOOLS-ASIA-1999-Pour99b #development #enterprise #xml: Enterprise JavaBeans, JavaBeans & XML Expanding the Possibilities for Web-Based Enterprise Application Development (GP), pp. 282–291.
TOOLS-ASIA-1999-SunJW #navigation: Personal Intelligent Navigation System Based on Java (YS, HJ, KW), pp. 477–483.
TOOLS-ASIA-1999-WangZAC #debugging #distributed #parallel: A Parallel and Distributed Debugger Implemented with Java (FW, QZ, HA, GC), pp. 342–347.
TOOLS-EUROPE-1999-BogerWL #concurrent #distributed #named: Dejay: Unifying Concurrency and Distribution to Achive a Distributed Java (MB, FW, WL), pp. 285–294.
TOOLS-EUROPE-1999-Edwards #programming #using #visual notation: Visual Programming: Tips and Techniques 3/4 Using VisualAge for Java (SE), p. 413.
TOOLS-EUROPE-1999-Pour99a #component #comprehension: Understanding Software Component Technologies: JavaBeans and ActiveX (GP), p. 398.
TOOLS-EUROPE-1999-Waldron #bytecode #object-oriented #source code: Dynamic Bytecode Usage by Object Oriented Java Programs (JW), pp. 384–395.
TOOLS-PACIFIC-1999-HildebrandtH #corba #image #using: Dynamic Geospatial Image Mosaics Using JAVA, JAI, RMI and CORBA (JH, RH), pp. 254–264.
TOOLS-USA-1999-Arsanjani #analysis #design #distributed #framework #implementation #using: Analysis, Design and Implementation of Distributed Java Business Frameworks Using Domain Patterns (AA), pp. 490–500.
TOOLS-USA-1999-Ege #database: Storing Java Objects in Any Database (RKE), pp. 312–321.
TOOLS-USA-1999-EgeRLL #database #using: Using Java to Add “Stored Procedures” to Databases (RKE, NR, JL, VL), pp. 322–331.
TOOLS-USA-1999-Joyner #c++ #comparison #eiffel: Java, Eiffel and C++: The Language Comparison (IJ), p. 441.
TOOLS-USA-1999-MajoulPB #component #concurrent #coordination: A Concurrent Object-Based Model and its Use for Coordinating Java Components (SM, CP, JPB), p. 332–?.
TOOLS-USA-1999-MeziniPDB #detection #evolution: Detecting Evolution Incompatibilities by Analyzing Java Binaries (MM, JUP, TD, WB), pp. 126–135.
TOOLS-USA-1999-Mikhajlova #framework #source code #specification #using: Specifying Java Frameworks Using Abstract Programs (AM), p. 136–?.
TOOLS-USA-1999-Pour #component #development #enterprise #quality: Quality Component Development: Making the Most of JavaBeans and Enterprise JavaBeans Features (GP), pp. 427–437.
AdaEurope-1999-MillanLM #ada #adaptation #persistent #using: An Adaptation of our Ada95/O2 Binding to Provide Persistence to the Java Language: Sharing and Handling of Data between Heterogenous Applications using Persistence (TM, ML, FM), pp. 320–331.
GCSE-1999-ForaxR #pattern matching #recursion: Recursive Types and Pattern-Matching in Java (RF, GR), pp. 147–164.
PLDI-1999-Pugh: Compressing Java Class Files (WP), pp. 247–258.
PLDI-1999-StichnothLC #compilation #garbage collection: Support for Garbage Collection at Every Instruction in a Java Compiler (JMS, GYL, MC), pp. 118–127.
POPL-1999-OCallahn #bytecode #type system: A Simple, Comprehensive Type System for Java Bytecode Subroutines (RO), pp. 70–78.
POPL-1999-Yelland #composition #virtual machine: A Compositional Account of the Java Virtual Machine (PMY), pp. 57–69.
SAS-1999-AldrichCSE #analysis #source code: Static Analyses for Eliminating Unnecessary Synchronization from Java Programs (JA, CC, EGS, SJE), pp. 19–38.
SIGAda-1999-BuhlerF #ada #corba #framework #independence #information management #platform: Applying Ada, Java and CORBA for making a command and control information system platform independent (GB, HF), pp. 83–88.
ESEC-FSE-1999-Bokowski #constraints #named #using: CoffeeStrainer: Statically-Checked Constraints on the Definition and Use of Types in Java (BB), pp. 355–374.
ESEC-FSE-1999-NaumovichAC #algorithm #concurrent #performance #source code: An Efficient Algorithm for Computing MHP Information for Concurrent Java Programs (GN, GSA, LAC), pp. 338–354.
ESEC-FSE-1999-RobillardM #exception #source code: Analyzing Exception Flow in Java Programs (MPR, GCM), pp. 322–327.
ICSE-1999-MalabarbaDS #c++ #named: MoHCA-Java: A Tool for C++ to Java Conversion Support (SM, PTD, AS), pp. 650–653.
ICSE-1999-NaumovichAC #analysis #concurrent #data flow #source code: Data Flow Analysis for Checking Properties of Concurrent Java Programs (GN, GSA, LAC), pp. 399–410.
ICSE-1999-SchaferZ #c++ #design pattern #uml: Round-Trip Engineering with Design Patterns, UML, Java and C++ (WS, AZ), pp. 683–684.
DAC-1999-FleischmannBK #embedded #prototype: Java Driven Codesign and Prototyping of Networked Embedded Systems (JF, KB, RK), pp. 794–797.
DAC-1999-KuhnRK #hardware #simulation: Description and Simulation of Hardware/Software Systems with Java (TK, WR, UK), pp. 790–793.
DATE-1999-FleischmannBK #component #configuration management #embedded #hardware: Codesign of Embedded Systems Based on Java and Reconfigurable Hardware Components (JF, KB, RK), pp. 768–769.
DATE-1999-NebelM #ada #c #question #specification: Java, VHDL-AMS, ADA or C for System Level Specifications? (WN, EM), p. 720.
PPoPP-1999-MaassenNVBP #implementation #performance: An Efficient Implementation of Java’s Remote Method Invocation (JM, RvN, RV, HEB, AP), pp. 173–182.
ESOP-1999-Poetzsch-HeffterM #logic #programming: A Programming Logic for Sequential Java (APH, PM), pp. 162–176.
TACAS-1999-Pusch #bytecode #higher-order #proving #specification #verification: Proving the Soundness of a Java Bytecode Verifier Specification in Isabelle/HOL (CP), pp. 89–103.
CAV-1999-BasinFPV #bytecode #model checking #verification: Java Bytecode Verification by Model Checking (DAB, SF, JP, HV), pp. 491–494.
SIGMOD-1998-ClossmanSHKPB #database #relational: Java and Relational Databases: SQLJ (GC, PS, MH, JK, RP, BB), p. 500.
SIGMOD-1998-WhiteCF #data access #enterprise #framework #platform: Enterprise Java Platform Data Access (SJW, RGGC, SJF), pp. 504–505.
ITiCSE-1998-BerginN #development #internet: Group 3 (working group): curricular opportunities of Java based Internet software development (JB, TLN), p. 270.
ITiCSE-1998-CallaghanH #3d #design pattern #education #source code #visualisation: 3-D visualisation of design patterns and Java programs in computer science education (MC, HH), pp. 37–40.
ITiCSE-1998-GrayBS #learning: A constructivist learning environment implemented in Java (JG, TB, CS), pp. 94–97.
ITiCSE-1998-Hadjerrouit #education #framework #paradigm: A constructivist framework for integrating the Java paradigm into the undergraduate curriculum (SH), pp. 105–107.
ITiCSE-1998-KluitSW #evaluation #programming #visual notation: Visual programming with Java: evaluation of an introductory programming course (PGK, MS, FW), pp. 143–147.
ITiCSE-1998-Naps #algorithm #source code #student #visualisation: A Java visualiser class: incorporating algorithm visualisations into students’ programs (TLN), pp. 181–184.
ITiCSE-1998-RobertsP #design #library: Designing a Java graphics library for CS 1 (ER, AP), pp. 213–218.
IWPC-1998-BechiniT #concurrent #design #dynamic analysis #tool support: Design of a Toolset for Dynamic Analysis of Concurrent Java Program (AB, KCT), pp. 190–197.
WCRE-1998-RaysideKK #adaptation #maintenance: Change And Adaptive Maintenance in Java Software Systems (DR, SK, KK), pp. 10–19.
ICFP-1998-BentonKR #compilation #ml #standard: Compiling Standard ML to Java Bytecodes (NB, AK, GR), pp. 129–140.
IFL-1998-Reinke #haskell #towards: Towards a Haskell/Java Connection (CR), pp. 200–215.
TAGT-1998-FischerNTZ #diagrams #graph grammar #modelling: Story Diagrams: A New Graph Rewrite Language Based on the Unified Modeling Language and Java (TF, JN, LT, AZ), pp. 296–309.
CAiSE-1998-SteinerKN #named: OMS/Java: Model Extensibility of OODBMS for Advanced Application Domains (AS, AK, MCN), pp. 115–138.
EDOC-1998-GoldschmidtHL #enterprise: Exploiting Enterprise JavaBeans in the NIIIP virtual enterprise (AG, PH, JL), pp. 124–135.
ECOOP-1998-AlagicSG #imperative #orthogonal: Orthogonal to the Java Imperative (SA, JS, DG), pp. 212–233.
ECOOP-1998-AtkinsonJ #orthogonal #persistent: Providing Orthogonal Persistence for Java (MPA, MJJ), pp. 383–395.
ECOOP-1998-VijaykrishnanRG #architecture #object-oriented: Object-Oriented Architectural Support for a Java Processor (NV, NR, RG), pp. 330–354.
OOPSLA-1998-BrachaOSW #programming language: Making the Future Safe for the Past: Adding Genericity to the Java Programming Language (GB, MO, DS, PW), pp. 183–200.
OOPSLA-1998-BuchiW: Compound Types for Java (MB, WW), pp. 362–373.
OOPSLA-1998-CartwrightS #programming language #runtime: Compatible Genericity with Run-Time Types for the Java Programming Language (RC, GLSJ), pp. 201–215.
OOPSLA-1998-CzajkowskiE #interface #named: JRes: A Resource Accounting Interface for Java (GC, TvE), pp. 21–35.
OOPSLA-1998-DrossopoulouWE #question #what: What is Java Binary Compatibility? (SD, DW, SE), pp. 341–361.
OOPSLA-1998-FreundM #bytecode #type system: A Type System for Object Initialization in the Java Bytecode Language (SNF, JCM), pp. 310–327.
OOPSLA-1998-JacobsBHB #reasoning: Reasoning about Java Classes (BJ, JvdB, MH, MvB), pp. 329–340.
OOPSLA-1998-LiangB #virtual machine: Dynamics Class Loading in the Java Virtual Machine (SL, GB), pp. 36–44.
OOPSLA-1998-SolorzanoA #morphism #parametricity #polymorphism: Parametric Polymorphism for Java: A Reflective Solution (JS, SA), pp. 216–225.
TOOLS-ASIA-1998-CoddingtonHKMWWIGJT #corba #implementation #library #using: Implementation of a Geospatial Imagery Digital Library Using Java and CORBA (PDC, KAH, KEK, JAM, AJS, DLW, PJW, CGI, MWG, RJ, KT), pp. 280–289.
TOOLS-ASIA-1998-Newmarch #contract: Adding Contracts to Java (JN), pp. 2–7.
TOOLS-ASIA-1998-NiZ #automation #constraints #dynamic analysis #semantics: An Automatically Dynamic Checking Tool for Java Beans Semantic Constraints (BN, ZZ), pp. 164–172.
TOOLS-ASIA-1998-WangZ: Primary-Backup Object Replications in Java (LW, WZ), pp. 78–82.
TOOLS-PACIFIC-1998-MathewSH #bytecode #performance: Inter-Server Transport Performance of Java Bytecode in a Metacomputing Environment (JAM, AJS, KAH), p. 264–?.
TOOLS-PACIFIC-1998-SonYK #component #development #using: A Component-Based Client/Server Application Development Environment using Java (SS, IY, CK), pp. 168–179.
TOOLS-USA-1998-Joyner #c++ #comparison #eiffel #object-oriented: OO Language Comparison: Java, Eiffel and C++ (IJ), p. 405.
TOOLS-USA-1998-Kramer #contract #design #named: iContract — The Java(tm) Design by Contract(tm) Tool (RK), pp. 295–307.
TOOLS-USA-1998-Li #virtual machine: Java Virtual Machine — Present and Near Future (QL), p. 480.
TOOLS-USA-1998-Pour #component: Software Component Technologies: JavaBeans and ActiveX (GP), pp. 375–383.
AdaEurope-1998-MilletB #migration #runtime #virtual machine: Porting the GNAT Tasking Runtime System to the Java Virtual Machine (LM, TB), pp. 19–28.
ALP-PLILP-1998-Wakeling #compilation #functional #haskell #lazy evaluation #mobile #source code #virtual machine: Mobile Haskell: Compiling Lazy Functional Programs for the Java Virtual Machine (DW), pp. 335–352.
PLDI-1998-Adl-TabatabaiCLPS #code generation #compilation #effectiveness #performance: Fast, Effective Code Generation in a Just-In-Time Java Compiler (ARAT, MC, GYL, VMP, JMS), pp. 280–290.
PLDI-1998-AgesenDM #garbage collection #liveness #virtual machine: Garbage Collection and Local Variable Type-Precision and Liveness in Java Virtual Machines (OA, DD, JEBM), pp. 269–279.
PLDI-1998-BaconKMS: Thin Locks: Featherweight Synchronization for Java (DFB, RBK, CM, MJS), pp. 258–268.
POPL-1998-NipkowO #type safety: JavaNone is Type-Safe — Definitely (TN, DvO), pp. 161–170.
POPL-1998-StataA #bytecode #type system: A Type System for Java Bytecode Subroutines (RS, MA), pp. 149–160.
SAS-1998-HagiyaT #analysis #data flow #on the #virtual machine: On a New Method for Dataflow Analysis of Java Virtual Machine Subroutines (MH, AT), pp. 17–32.
SIGAda-1998-Brosgol #ada #comparison #concurrent: A Comparison of the Concurrency Features of Ada 95 and Java (BMB), pp. 175–192.
SIGAda-1998-Flint #ada #api #compilation #using: Using Java APIs with Native Ada Compilers (SF), pp. 193–203.
SIGAda-1998-TzruyaB #distributed #implementation: A Portable Implementation of the Distributed Systems Annex in Java (YT, MBA), pp. 204–211.
Best-of-PLDI-1998-BaconKMS98a: Thin locks: featherweight Synchronization for Java (with retrospective) (DFB, RBK, CM, MJS), pp. 583–595.
ASE-1998-HarmerB #automation #empirical #legacy #lisp #reverse engineering: Brewing Fresh JAVA from Legacy Lisp — An Experiment in Automated Reverse Engineering (TJH, JMB), pp. 318–332.
FSE-1998-SeemannG #design: Pattern-Based Design Recovery of Java Software (JS, JWvG), pp. 10–16.
SAC-1998-BuddrusS #c++ #named: Cappuccino — A C++ to Java translator (FB, JS), pp. 660–665.
SAC-1998-CiancariniR #coordination #distributed: Coordinating distributed applets with Shade/Java (PC, DR), pp. 130–138.
CC-1998-EngelbrechtK #smalltalk: Issues in Translating Smalltalk into Java (RLE, DGK), pp. 249–263.
DAC-1998-YoungMSTHN #design #embedded #refinement #specification #using: Design and Specification of Embedded Systems in Java Using Successive, Formal Refinement (JSY, JM, MS, AT, PNH, ARN), pp. 70–75.
DATE-1998-MrvaBK #architecture #concurrent #multi #scalability #thread: A Scalable Architecture for Multi-threaded JAVA Applications (MM, KB, RK), pp. 868–874.
HPDC-1998-ForslundGG #collaboration #corba #named: TeleMed: Wide-Area, Secure, Collaborative Object Computing with Java and CORBA for Healthcare (DWF, JEG, EMG), pp. 30–33.
LCTES-1998-WeissFDFHJJRSS #compilation: TurboJ, a Java Bytecode-to-Native Compiler (MW, FdF, BD, CF, FH, EAJ, VJ, FR, FS, XS), pp. 119–130.
LCTES-1998-YurkoskiRE #using: Using InfernoTM to Execute JavaTM on Small Devices (CFY, LRR, BKE), pp. 108–118.
ISSTA-1998-Corbett #concurrent #modelling #source code: Constructing Compact Models of Concurrent Java Programs (JCC), pp. 1–10.
ITiCSE-1997-Ben-Ari #algorithm #distributed: Distributed algorithms in Java (MBA), pp. 62–64.
ITiCSE-1997-Naps #algorithm #difference #exclamation #visualisation #web: Algorithm visualization on the World Wide Web — the difference Java makes! (TLN), pp. 59–61.
ITiCSE-1997-WesterSK #approach #programming #visual notation: Visual programming with Java; an alternative approach to introductory programming (FW, MS, PGK), pp. 57–58.
IFL-1997-Wakeling #compilation #haskell #virtual machine: A Haskell to Java Virtual Machine Code Compiler (DW), pp. 39–52.
HCI-SEC-1997-StelovskyC #interactive #visualisation: A WWW Environment for Visualizing User Interactions with Java Applets (JS, MEC), pp. 755–758.
KDD-1997-StolfoPTLFC #database #distributed #named: JAM: Java Agents for Meta-Learning over Distributed Databases (SJS, ALP, ST, WL, DWF, PKC), pp. 74–81.
UML-1997-SchaderK #modelling #thread #uml: Modeling Java Threads in UML (MS, AK), pp. 122–143.
ECOOP-1997-DrossopoulouE #type safety: Java is Type Safe — Probably (SD, SE), pp. 389–418.
ECOOP-1997-Thorup: Genericity in Java with Virtual Types (KKT), pp. 444–471.
OOPSLA-1997-AgesenFM: Adding Type Parameterization to the Java Language (OA, SNF, JCM), pp. 49–65.
OOPSLA-1997-BoylandC #implementation #multi: Parasitic Methods: An Implementation of Multi-Methods for Java (JB, GC), pp. 66–76.
TOOLS-PACIFIC-1997-BrosLS: Java Does not Distribute (GB, KPL, AS), pp. 144–152.
TOOLS-PACIFIC-1997-EveredKMS #named: Genja — A New Proposal for Parameterised Types in Java (ME, JLK, GM, AS), pp. 181–195.
TOOLS-PACIFIC-1997-Holmes #concurrent #library #programming: Concurrent Programming in Java: Language and Libraries (DH), p. 371.
TOOLS-PACIFIC-1997-KoutsoumbosA #enterprise: Enterprise Java (AK, RA), p. 369.
TOOLS-PACIFIC-1997-LakosL #specification #using: Animating Formal Specifications Using Java Applets (CL, GL), pp. 196–209.
TOOLS-PACIFIC-1997-Schade #automation #c++ #generative: Automatic Generation of Bridging Code for Accessing C++ from Java (AS), pp. 165–180.
TOOLS-PACIFIC-1997-WabenhorstP #modelling #multi #thread: Modelling Multi-Threading in Java (AW, JP), pp. 153–164.
TOOLS-USA-1997-BencomoLMM #framework #implementation #interface: Java Implementations of User-Interface Frameworks (NB, FL, FM, AM), pp. 232–246.
TOOLS-USA-1997-Philips97a: Applying O-O Principles of Java (RP), p. 370.
TOOLS-USA-1997-PotterS #eiffel #named #question: Keynotes: Java and Eiffel: A de facto relationship? (JP, RS), p. 3.
POPL-1997-BankLM: Parameterized Types for Java (ACM, JAB, BL), pp. 132–145.
POPL-1997-OderskyW: Pizza into Java: Translating Theory into Practice (MO, PW), pp. 146–159.
TRI-Ada-1997-Balfour #ada #distributed: Combining Ada 95, Java Byte Code, and the Distributed Systems Annex (BB), pp. 247–260.
TRI-Ada-1997-Brosgol #ada #comparison #object-oriented: A Comparison of the Object-Oriented Features of Ada 95 and Java (BMB), pp. 213–229.
TRI-Ada-1997-ComarDG #virtual machine: Targeting GNAT to the Java Virtual Machine (CC, GD, FG), pp. 149–161.
ICSE-1997-LieberherrO #maintenance: Preventive Program Maintenance in Demeter/Java (KJL, DO), pp. 604–605.
ICSE-1997-SeiterLO #evolution #source code: Simplifying the Evolution of Java Programs (LMS, KJL, DO), pp. 655–656.
ICSE-1997-Steele #evolution #web: Java and the Evolution of Web Software (GLSJ), p. 538.
ICSE-1997-Waldo #named #re-engineering: Java: A Language for Software Engineering (JW), p. 630.
SOSP-1997-WallachBDF #architecture #security: Extensible Security Architecture for Java (DSW, DB, DD, EWF), pp. 116–128.
ITiCSE-1996-Jones96a #education #operating system: RCOS.java: an animated operating system for computer science education (DJ), p. 233.
CSCW-1996-Waldo #collaboration #programming #using: Using the Java Programming Environment to Build Collaborative Applications (JW), p. 3.
HPDC-1996-ChandyRSMRTW #distributed #internet #using: A World-Wide Distributed System Using Java and the Internet (KMC, AR, PAGS, JM, MR, WT, LW), pp. 11–18.