BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Java
java.com
Google Java
Stack Overflow java
Wikidata Q251
WikipediaEnglish Java (programming language)
WikipediaRussian Java

Tag #java

1283 papers:

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

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.