BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
program (234)
use (113)
analysi (107)
base (103)
applic (92)

Stem java$ (all stems)

1193 papers:

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

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