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