@Preamble{"\input bibnames.sty " #
"\input path.sty " #
"\ifx \undefined \booktitle \def \booktitle #1{{{\em #1}}} \fi" #
"\ifx \undefined \circled \def \circled #1{(#1)} \fi" #
"\ifx \undefined \Dbar \def \Dbar {\leavevmode\raise0.2ex\hbox{--}\kern-0.5emD} \fi" #
"\ifx \undefined \k \let \k = \c \fi" #
"\ifx \undefined \pkg \def \pkg #1{{{\tt #1}}} \fi" #
"\ifx \undefined \reg \def \reg {\circled{R}} \fi" #
"\ifx \undefined \TM \def \TM {${}^{\sc TM}$} \fi" #
"\hyphenation{
Aero-space
Gur-e-wich
Horst-mann
ROAST-ER
Rich-ard
Sep-tem-ber
data-bases
roast-er
}"
}
@String{ack-nhfb = "Nelson H. F. Beebe,
University of Utah,
Department of Mathematics, 110 LCB,
155 S 1400 E RM 233,
Salt Lake City, UT 84112-0090, USA,
Tel: +1 801 581 5254,
e-mail: \path|beebe@math.utah.edu|,
\path|beebe@acm.org|,
\path|beebe@computer.org| (Internet),
URL: \path|https://www.math.utah.edu/~beebe/|"}
@String{inst-CSC = "Center for Scientific Computing, Department
of Mathematics, University of Utah"}
@String{inst-CSC:adr = "Salt Lake City, UT 84112, USA"}
@String{j-ACM-COMM-COMP-ALGEBRA = "ACM Communications in Computer Algebra"}
@String{j-ADA-USER-J = "Ada User Journal"}
@String{j-ADV-ENG-SOFTWARE = "Advances in Engineering Software"}
@String{j-ADV-EXP-MED-BIO = "Advances in experimental medicine and
biology"}
@String{j-ADV-IMAGING = "Advanced Imaging"}
@String{j-ALGORITHMS-BASEL = "Algorithms ({Basel})"}
@String{j-AMER-STAT = "The American Statistician"}
@String{j-APL-QUOTE-QUAD = "APL Quote Quad"}
@String{j-APPL-MATH-COMP = "Applied Mathematics and Computation"}
@String{j-BIOINFORMATICS = "Bioinformatics"}
@String{j-BUSINESS-WEEK = "Business week"}
@String{j-CACM = "Communications of the ACM"}
@String{j-CCCUJ = "C/C++ Users Journal"}
@String{j-CCPE = "Concurrency and Computation: Prac\-tice and
Experience"}
@String{j-CHEMO-INTELL-LAB = "Chemometrics and Intelligent Laboratory
Systems"}
@String{j-COMP-ARCH-NEWS = "ACM SIGARCH Computer Architecture News"}
@String{j-COMP-CIVIL-ENG = "Journal of Computing in Civil Engineering"}
@String{j-COMP-EDU-J = "Computers in education journal"}
@String{j-COMP-GEOSCI = "Computers and Geosciences"}
@String{j-COMP-J = "The Computer Journal"}
@String{j-COMP-LANGS = "Computer Languages"}
@String{j-COMP-LANGS-SYS-STRUCT = "Computer Languages, Systems and Structures"}
@String{j-COMP-MATH-APPL = "Computers and Mathematics with
Applications"}
@String{j-COMP-NET-AMSTERDAM = "Computer Networks (Amsterdam, Netherlands:
1999)"}
@String{j-COMP-PHYS-COMM = "Computer Physics Communications"}
@String{j-COMP-STANDARDS-INTERFACES = "Computer Standards and Interfaces"}
@String{j-COMP-STAT = "Computational Statistics"}
@String{j-COMP-STRUCTURES = "Computers and Structures"}
@String{j-COMP-SURV = "ACM Computing Surveys"}
@String{j-COMPUT-APPL-ENG-EDUC = "Computer Applications in Engineering
Education"}
@String{j-COMPUT-MATH-APPL = "Computers and Mathematics with Applications"}
@String{j-COMPUT-BULL = "The Computer Bulletin"}
@String{j-COMPUT-HUM-BEHAV = "Computers in Human Behavior"}
@String{j-COMPUT-METH-PROG-BIOMED = "Computer Methods and Programs in
Biomedicine"}
@String{j-COMPUT-SCI-ENG = "Computing in Science and Engineering"}
@String{j-COMPUT-SECUR = "Computers and Security"}
@String{j-COMPUTER = "Computer"}
@String{j-COMPUTERS-AND-GRAPHICS = "Computers and Graphics"}
@String{j-COMPUTING = "Computing"}
@String{j-CONTROL-ENG = "Control Engineering"}
@String{j-CPE = "Concurrency: Prac\-tice and Experience"}
@String{j-DDJ = "Dr. Dobb's Journal of Software Tools"}
@String{j-EDN = "EDN"}
@String{j-ELECT-NOTES-THEOR-COMP-SCI = "Electronic Notes in Theoretical
Computer Science"}
@String{j-ELECTRONIC-DESIGN = "Electronic Design"}
@String{j-ELECTRONIC-ENG-TIMES = "Electronic Engineering Times"}
@String{j-ELECTRONIC-LIBRARY = "Electronic Library"}
@String{j-ELECTRONIK = "Elektronik"}
@String{j-ELETTRONICA-OGGI = "Elettronica Oggi"}
@String{j-EMBED-SYS-PROG = "Embedded Systems Programming"}
@String{j-EMBEDDED-LINUX-J = "Embedded Linux Journal"}
@String{j-EMPIR-SOFTWARE-ENG = "Empirical Software Engineering"}
@String{j-FORM-METHODS-SYST-DES = "Formal Methods in System Design"}
@String{j-FORM-ASP-COMPUT = "Formal Aspects of Computing"}
@String{j-FRONTIERS-EDU-CONF = "Frontiers in Education Conference"}
@String{j-FUND-INFO = "Fundamenta Informaticae"}
@String{j-FUT-GEN-COMP-SYS = "Future Generation Computer Systems"}
@String{j-FUTURE-INTERNET = "Future Internet"}
@String{j-HIGHER-ORDER-SYMB-COMPUT = "Higher-Order and Symbolic Computation"}
@String{j-IBM-JRD = "IBM Journal of Research and Development"}
@String{j-IBM-SYS-J = "IBM Systems Journal"}
@String{j-IEE-PROC-COMPUT-DIGIT-TECH = "IEE Proceedings. Computers and Digital
Techniques"}
@String{j-IEEE-CGA = "IEEE Computer Graphics and Applications"}
@String{j-IEEE-COMPUT-ARCHIT-LETT = "IEEE Computer Architecture Letters"}
@String{j-IEEE-CONCURR = "IEEE Concurrency"}
@String{j-IEEE-DISTRIB-SYST-ONLINE = "IEEE Distributed Systems Online"}
@String{j-IEEE-MICRO = "IEEE Micro"}
@String{j-IEEE-MULTIMEDIA = "IEEE MultiMedia"}
@String{j-IEEE-SEC-PRIV = "IEEE Security \& Privacy"}
@String{j-IEEE-SIGNAL-PROCESS-MAG = "IEEE signal processing magazine"}
@String{j-IEEE-SOFTWARE = "IEEE Software"}
@String{j-IEEE-SPECTRUM = "IEEE Spectrum"}
@String{j-IEEE-TRANS-BIG-DATA = "IEEE Transactions on Big Data"}
@String{j-IEEE-TRANS-CONSUMER-ELECTRONICS = "IEEE Transactions on Consumer
Electronics"}
@String{j-IEEE-TRANS-COMPUT = "IEEE Transactions on Computers"}
@String{j-IEEE-TRANS-EDUC = "IEEE transactions on education"}
@String{j-IEEE-TRANS-PAR-DIST-SYS = "IEEE Transactions on Parallel and
Distributed Systems"}
@String{j-IEEE-TRANS-SOFTW-ENG = "IEEE Transactions on Software Engineering"}
@String{j-IEEE-TRANS-VIS-COMPUT-GRAPH = "IEEE Transactions on Visualization
and Computer Graphics"}
@String{j-IETE-TECH-REV = "IETE Technical Review"}
@String{j-IJHPCA = "The International Journal of High Performance
Computing Applications"}
@String{j-INF-CONTROL = "Information and Control"}
@String{j-INFO-PROC-LETT = "Information Processing Letters"}
@String{j-INFO-RETRIEVAL-LIB-AUTO = "Information Retrieval and Library
Automation"}
@String{j-INFO-SOFTWARE-TECH = "Information and Software Technology"}
@String{j-INFORMATION-WEEK = "Information Week"}
@String{j-INFOWORLD = "InfoWorld"}
@String{j-INT-J-COMPUT-SYST-SCI-ENG = "International Journal of Computer Systems
Science and Engineering"}
@String{j-INT-J-ENG-EDUC = "International Journal of Engineering
Education"}
@String{j-INT-J-IMAGE-GRAPHICS = "International Journal of Image and Graphics
(IJIG)"}
@String{j-INT-J-INFO-SEC = "International Journal of Information
Security"}
@String{j-INT-J-PARALLEL-PROG = "International Journal of Parallel
Programming"}
@String{j-INT-J-ROBOTICS-AUTOMATION = "International Journal of Robotics and
Automation"}
@String{j-INT-J-SOFTW-TOOLS-TECHNOL-TRANSFER = "International Journal on
Software Tools for Technology Transfer
(STTT)"}
@String{j-INT-J-SYST-SCI = "International Journal of Systems Science"}
@String{j-INTEL-TECH-J = "Intel Technology Journal"}
@String{j-J-ACM = "Journal of the ACM"}
@String{j-J-AUTOM-REASON = "Journal of Automated Reasoning"}
@String{j-J-COMP-INFO-SYS = "The Journal of Computer Information
Systems"}
@String{j-J-COMP-SCI-TECH = "Journal of Computer Science and Technology"}
@String{j-J-COMP-SECUR = "Journal of Computer Security"}
@String{j-J-COMP-SYS-SCI = "Journal of Computer and System Sciences"}
@String{j-J-COMPUT-APPL-MATH = "Journal of Computational and Applied
Mathematics"}
@String{j-J-COMPUT-BIOL = "Journal of Computational Biology"}
@String{j-J-COMPUT-GRAPH-STAT = "Journal of Computational and Graphical
Statistics"}
@String{j-COMPUT-SECUR = "Computers \& Security"}
@String{j-J-CRYPTO-ENG = "Journal of Cryptographic Engineering"}
@String{j-J-DIGITAL-IMAGING = "Journal of Digital Imaging"}
@String{j-J-FUNCT-PROGRAM = "Journal of Functional Programming"}
@String{j-J-GEOPHYS-RES = "Journal of Geophysical Research"}
@String{j-J-GRID-COMP = "Journal of Grid Computing"}
@String{j-J-INFO-SCI-ENG = "Journal of Information Science and
Engineering"}
@String{j-J-INFO-SEC-APPL = "Journal of Information Security and
Applications (JISA)"}
@String{j-J-LOGIC-ALG-PROG = "Journal of Logic and Algebraic Programming"}
@String{j-J-NETW-COMPUT-APPL = "Journal of Network and Computer
Applications"}
@String{j-J-OPEN-RES-SOFT = "Journal of Open Research Software"}
@String{j-J-OPEN-SOURCE-SOFT = "Journal of Open Source Software"}
@String{j-J-OPER-RES-SOC = "OR: the journal of the Operational Research
Society"}
@String{j-J-PAR-DIST-COMP = "Journal of Parallel and Distributed
Computing"}
@String{j-J-SOFTW-EVOL-PROC = "Journal of Software: Evolution and Process"}
@String{j-J-SOFTW-MAINT-EVOL = "Journal of Software Maintenance and
Evolution: Research and Practice"}
@String{j-J-STAT-SOFT = "Journal of Statistical Software"}
@String{j-J-SUPERCOMPUTING = "The Journal of Supercomputing"}
@String{j-J-SYST-SOFTW = "The Journal of Systems and Software"}
@String{j-J-UCS = "J.UCS: Journal of Universal Computer
Science"}
@String{j-JERIC = "ACM Journal on Educational Resources in
Computing (JERIC)"}
@String{j-LECT-NOTES-COMP-SCI = "Lecture Notes in Computer Science"}
@String{j-LINUX-J = "Linux Journal"}
@String{j-LIT-LING-COMP = "Literary and Linguistic Computing"}
@String{j-LOGIN = ";login: the USENIX Association newsletter"}
@String{j-LOPLAS = "ACM Letters on Programming Languages and
Systems"}
@String{j-MAGMA = "Magma"}
@String{j-MARKUP-LANG = "Markup languages: theory \& practice"}
@String{j-MATH-COMP-EDU = "Mathematics and computer education"}
@String{j-MICROPROC-MICROSYS = "Microprocessors and Microsystems"}
@String{j-MICROPROC-REP = "Microprocessor report"}
@String{j-MINI-MICRO-SYSTEMS = "Mini-Micro Systems"}
@String{j-MOL-SIM = "Molecular simulation"}
@String{j-MULTIMEDIA-SYSTEMS = "Multimedia Systems"}
@String{j-MULTIMEDIA-TOOLS-APPLIC = "Multimedia Tools and Applications"}
@String{j-NETWORK-COMPUTING = "Network Computing"}
@String{j-NETWORK-SECURITY = "Network Security"}
@String{j-NEUROIMAGE = "NeuroImage"}
@String{j-NORDIC-J-COMPUT = "Nordic Journal of Computing"}
@String{j-OPER-SYS-REV = "Operating Systems Review"}
@String{j-PACMPL = "Proceedings of the ACM on Programming
Languages (PACMPL)"}
@String{j-PARALLEL-ALGORITHMS-APPL = "Parallel Algorithms and Applications"}
@String{j-PARALLEL-COMPUTING = "Parallel Computing"}
@String{j-PARALLEL-DIST-COMP-PRACT = "Parallel and Distributed Computing
Practices"}
@String{j-PARALLEL-PROCESS-LETT = "Parallel Processing Letters"}
@String{j-PC-MAGAZINE = "PC Magazine"}
@String{j-PERF-EVAL = "Performance evaluation"}
@String{j-PERS-COMPUT-WORLD = "Personal computer world"}
@String{j-POMACS = "Proceedings of the ACM on Measurement and
Analysis of Computing Systems (POMACS)"}
@String{j-PRIMUS = "PRIMUS (Problems Resources and Issues in
Mathematics Undergraduate Studies)"}
@String{j-PROC-AM-CONTROL-CONF = "Proceedings of the American Control
Conference"}
@String{j-PROC-IEEE = "Proceedings of the IEEE"}
@String{j-PROC-SPIE = "Proceedings of the SPIE --- The
International Society for Optical
Engineering"}
@String{j-PROC-VLDB-ENDOWMENT = "Proceedings of the VLDB Endowment"}
@String{j-PROG-COMP-SOFT = "Programming and Computer Software;
translation of Programmirovaniye (Moscow,
USSR) Plenum"}
@String{j-QUEUE = "ACM Queue: Tomorrow's Computing Today"}
@String{j-REAL-TIME-SYST = "Real-Time Systems"}
@String{j-REV-ESP-ELECT = "Revista espa{\~n}ola de electronica"}
@String{j-SCI-COMPUT-PROGRAM = "Science of Computer Programming"}
@String{j-SCI-PROG = "Scientific Programming"}
@String{j-SCPE = "Scalable Computing: Practice and Experience"}
@String{j-SIGADA-LETTERS = "ACM SIGADA Ada Letters"}
@String{j-SIGCSE = "SIGCSE Bulletin (ACM Special Interest Group
on Computer Science Education)"}
@String{j-SIGMETRICS = "ACM SIGMETRICS Perform. Eval. Rev."}
@String{j-SIGMOD = "SIGMOD Record (ACM Special Interest Group
on Management of Data)"}
@String{j-SIGPLAN = "ACM SIG{\-}PLAN Notices"}
@String{j-SIGSAM = "SIGSAM Bulletin (ACM Special Interest Group
on Symbolic and Algebraic Manipulation)"}
@String{j-SIGSOFT = "ACM SIGSOFT Software Engineering Notes"}
@String{j-SIM-SERIES = "Simulation series"}
@String{j-SIMULATION = "Simulation"}
@String{j-SOFTWAREX = "SoftwareX"}
@String{j-SPE = "Soft\-ware\emdash Prac\-tice and
Experience"}
@String{j-SYS-ADMIN = "SysAdmin"}
@String{j-SYS-COMP-JAPAN = "Systems and computers in Japan"}
@String{j-SYST-CONTROL-INFO = "Systems, Control and Information =
Shisutemu Seigyo Joho Gakkai shi"}
@String{j-TAAS = "ACM Transactions on Autonomous and
Adaptive Systems (TAAS)"}
@String{j-TACO = "ACM Transactions on Architecture and Code
Optimization"}
@String{j-TALG = "ACM Transactions on Algorithms"}
@String{j-TAP = "ACM Transactions on Applied Perception"}
@String{j-TCBB = "IEEE/ACM Transactions on Computational
Biology and Bioinformatics"}
@String{j-TECHNIQUE-SCI-INFORMATIQUES = "Technique et science informatiques :
TSI"}
@String{j-TECS = "ACM Transactions on Embedded Computing
Systems"}
@String{j-THEOR-COMP-SCI = "Theoretical Computer Science"}
@String{j-TISSEC = "ACM Transactions on Information and System
Security"}
@String{j-TIST = "ACM Transactions on Intelligent Systems and
Technology (TIST)"}
@String{j-TMIS = "ACM Transactions on Management Information
Systems (TMIS)"}
@String{j-TOCE = "ACM Transactions on Computing Education"}
@String{j-TOCHI = "ACM Transactions on Computer-Human
Interaction"}
@String{j-TOCL = "ACM Transactions on Computational Logic"}
@String{j-TOCS = "ACM Transactions on Computer Systems"}
@String{j-TODAES = "ACM Transactions on Design Automation of
Electronic Systems"}
@String{j-TOIT = "ACM Transactions on Internet Technology (TOIT)"}
@String{j-TOMACS = "ACM Transactions on Modeling and
Computer Simulation"}
@String{j-TOMPECS = "ACM Transactions on Modeling and Performance
Evaluation of Computing Systems (TOMPECS)"}
@String{j-TOMS = "ACM Transactions on Mathematical Software"}
@String{j-TOPC = "ACM Transactions on Parallel Computing
(TOPC)"}
@String{j-TOPLAS = "ACM Transactions on Programming Languages
and Systems"}
@String{j-TOPS = "ACM Transactions on Privacy and Security
(TOPS)"}
@String{j-TOS = "ACM Transactions on Storage"}
@String{j-TOSEM = "ACM Transactions on Software Engineering
and Methodology"}
@String{j-TWEB = "ACM Transactions on the Web (TWEB)"}
@String{j-VLDB-J = "VLDB Journal: Very Large Data Bases"}
@String{j-WIRTSCHAFTSINFORMATIK = "Wirtschaftsinformatik"}
@String{pub-ACM = "ACM Press"}
@String{pub-ACM:adr = "New York, NY 10036, USA"}
@String{pub-AIP = "American Institute of Physics"}
@String{pub-AIP:adr = "Woodbury, NY, USA"}
@String{pub-APRESS = "Apress"}
@String{pub-APRESS:adr = "Berkeley, CA, USA"}
@String{pub-ARTECH = "Artech House Inc."}
@String{pub-ARTECH:adr = "Norwood, MA, USA"}
@String{pub-AW = "Ad{\-d}i{\-s}on-Wes{\-l}ey"}
@String{pub-AW:adr = "Reading, MA, USA"}
@String{pub-AW-LONGMAN = "Ad{\-d}i{\-s}on-Wes{\-l}ey Longman"}
@String{pub-AW-LONGMAN:adr = "Reading, MA, USA"}
@String{pub-BIRKHAUSER = "Birkh{\"a}user Verlag"}
@String{pub-BIRKHAUSER:adr = "Basel, Switzerland"}
@String{pub-BROOKS-COLE = "Brooks\slash Cole"}
@String{pub-BROOKS-COLE:adr = "Pacific Grove, CA, USA"}
@String{pub-CAMBRIDGE = "Cambridge University Press"}
@String{pub-CAMBRIDGE:adr = "Cambridge, UK"}
@String{pub-CHAPMAN-HALL-CRC = "Chapman and Hall/CRC"}
@String{pub-CHAPMAN-HALL-CRC:adr = "Boca Raton, FL, USA"}
@String{pub-CHARLES-RIVER-MEDIA = "Charles River Media, Inc."}
@String{pub-CHARLES-RIVER-MEDIA:adr = "403 VFW Drive, PO Box 417, Rockland, MA
02370, USA"}
@String{pub-CORIOLIS = "Coriolis Group Books"}
@String{pub-CORIOLIS:adr = "Scottsdale, AZ, USA"}
@String{pub-COURSE-TECHNOLOGY = "Course Technology"}
@String{pub-COURSE-TECHNOLOGY:adr = "Cambridge, MA, USA"}
@String{pub-CRC = "CRC Press"}
@String{pub-CRC:adr = "2000 N.W. Corporate Blvd., Boca Raton, FL
33431-9868, USA"}
@String{pub-HUNGRY-MINDS = "Hungry Minds"}
@String{pub-HUNGRY-MINDS:adr = "909 Third Avenue, New York, NY 10022, USA"}
@String{pub-HUNGRY-MINDS-IN = "Hungry Minds"}
@String{pub-HUNGRY-MINDS-IN:adr = "Indianapolis, IN, USA"}
@String{pub-IBM-PRESS = "IBM Press"}
@String{pub-IBM-PRESS:adr = ""}
@String{pub-IDG = "IDG Books"}
@String{pub-IDG:adr = "San Mateo, CA, USA"}
@String{pub-IDG-WORLDWIDE = "I D G Books Worldwide"}
@String{pub-IDG-WORLDWIDE:adr = "Indianapolis, IN, USA"}
@String{pub-IEEE = "IEEE Computer Society Press"}
@String{pub-IEEE:adr = "1109 Spring Street, Suite 300, Silver
Spring, MD 20910, USA"}
@String{pub-IOS = "IOS Press"}
@String{pub-IOS:adr = "Amsterdam, The Netherlands"}
@String{pub-IRWIN-MCGRAW-HILL = "Irwin\slash McGraw Hill"}
@String{pub-IRWIN-MCGRAW-HILL:adr = "Boston, MA, USA"}
@String{pub-ISO = "International Organization for Standardization"}
@String{pub-ISO:adr = "Geneva, Switzerland"}
@String{pub-ITP = "International Thomson Publishing"}
@String{pub-ITP:adr = "London, New York, Boston, Madrid,
\\ldots{}"}
@String{pub-JONES-BARTLETT = "Jones and Bartlett"}
@String{pub-JONES-BARTLETT:adr = "Boston, MA, USA"}
@String{pub-KLUWER = "Kluwer Academic Publishers Group"}
@String{pub-KLUWER:adr = "Norwell, MA, USA, and Dordrecht, The
Netherlands"}
@String{pub-MANNING = "Manning Publications"}
@String{pub-MANNING:adr = "Greenwich, CT, USA"}
@String{pub-MCGRAW-HILL = "Mc{\-}Graw-Hill"}
@String{pub-MCGRAW-HILL:adr = "New York, NY, USA"}
@String{pub-MIT = "MIT Press"}
@String{pub-MIT:adr = "Cambridge, MA, USA"}
@String{pub-MORGAN-KAUFMANN = "Morgan Kaufmann Publishers"}
@String{pub-MORGAN-KAUFMANN:adr = "Los Altos, CA 94022, USA"}
@String{pub-MT = "M\&T Books"}
@String{pub-MT:adr = "M\&T Publishing, Inc., 501 Galveston Drive,
Redwood City, CA 94063, USA"}
@String{pub-NASA = "National Aeronautics and Space
Administration"}
@String{pub-NASA:adr = "Washington, DC, USA"}
@String{pub-NEW-RIDERS = "New Riders Publishing"}
@String{pub-NEW-RIDERS:adr = "Carmel, IN, USA"}
@String{pub-NIST = "National Institute for Standards and
Technology"}
@String{pub-NIST:adr = "Gaithersburg, MD, USA"}
@String{pub-NO-STARCH = "No Starch Press"}
@String{pub-NO-STARCH:adr = "San Francisco, CA, USA"}
@String{pub-NORTON = "W. W. Norton \& Co."}
@String{pub-NORTON:adr = "New York, NY, USA"}
@String{pub-ORA = "O'Reilly \& {Associates, Inc.}"}
@String{pub-ORA:adr = "981 Chestnut Street, Newton, MA 02164, USA"}
@String{pub-ORA-MEDIA = "O'Reilly Media, Inc."}
@String{pub-ORA-MEDIA:adr = "1005 Gravenstein Highway North, Sebastopol,
CA 95472, USA"}
@String{pub-OSBORNE = "Osborne/McGraw-Hill"}
@String{pub-OSBORNE:adr = "Berkeley, CA, USA"}
@String{pub-PEACHPIT = "Peachpit Press, Inc."}
@String{pub-PEACHPIT:adr = "1085 Keith Avenue, Berkeley, CA 94708, USA"}
@String{pub-PEARSON-EDUCATION = "Pearson Education"}
@String{pub-PEARSON-EDUCATION:adr = "Upper Saddle River, NJ, USA"}
@String{pub-PH = "Pren{\-}tice-Hall"}
@String{pub-PH:adr = "Englewood Cliffs, NJ 07632, USA"}
@String{pub-PHPTR = "P T R Pren{\-}tice-Hall"}
@String{pub-PHPTR:adr = "Englewood Cliffs, NJ 07632, USA"}
@String{pub-PRAGMATIC-BOOKSHELF = "Pragmatic Bookshelf"}
@String{pub-PRAGMATIC-BOOKSHELF:adr = "Raleigh, NC, USA"}
@String{pub-PRINCETON = "Princeton University Press"}
@String{pub-PRINCETON:adr = "Princeton, NJ, USA"}
@String{pub-QUE = "Que Corporation"}
@String{pub-QUE:adr = "Indianapolis, IN, USA"}
@String{pub-R-D-BOOKS = "R\&D Books"}
@String{pub-R-D-BOOKS:adr = "Lawrence, KS, USA; Berkeley, CA, USA"}
@String{pub-SAE = "Society of Automotive Engineers"}
@String{pub-SAE:adr = "Warrendale, PA, USA"}
@String{pub-SAMS = "Howard W. Sams"}
@String{pub-SAMS:adr = "Indianapolis, IN 46268, USA"}
@String{pub-SCOTT-JONES = "Scott\slash Jones"}
@String{pub-SCOTT-JONES:adr = "El Granada, CA, USA"}
@String{pub-SIAM = "SIAM Press"}
@String{pub-SIAM:adr = "Philadelphia, PA, USA"}
@String{pub-SITEPOINT = "SitePoint Pty. Ltd."}
@String{pub-SITEPOINT:adr = "Collingwood, VIC, Australia"}
@String{pub-SPIE = "SPIE Optical Engineering Press"}
@String{pub-SPIE:adr = "Bellingham, WA, USA"}
@String{pub-SUN-MICROSYSTEMS-PRESS = "Sun Microsystems Press"}
@String{pub-SUN-MICROSYSTEMS-PRESS:adr = "Palo Alto, CA, USA"}
@String{pub-SUNSOFT = "SunSoft Press"}
@String{pub-SUNSOFT:adr = "2550 Garcia Avenue, Mountain View, CA
94043-1100, USA"}
@String{pub-SV = "Spring{\-}er-Ver{\-}lag"}
@String{pub-SV:adr = "Berlin, Germany~/ Heidelberg, Germany~/
London, UK~/ etc."}
@String{pub-SYBEX = "Sybex, Inc."}
@String{pub-SYBEX:adr = "2021 Challenger Driver, Suite 100, Alameda,
CA 94501, USA"}
@String{pub-USENIX = "USENIX Association"}
@String{pub-USENIX:adr = "Berkeley, CA, USA"}
@String{pub-WILEY = "John Wiley and Sons"}
@String{pub-WILEY:adr = "New York, NY, USA; London, UK; Sydney,
Australia"}
@String{pub-WILEY-COMPUTER = "Wiley Computer Publishers"}
@String{pub-WILEY-COMPUTER:adr = "New York, NY, USA"}
@String{pub-WROX = "Wrox Press"}
@String{pub-WROX:adr = "Chicago, IL, USA"}
@String{ser-LNCS = "Lecture Notes in Computer Science"}
@String{ser-LNCSE = "Lecture Notes in Computational
Science and Engineering"}
@Article{Aman:2020:ESA,
author = "Hirohisa Aman and Sousuke Amasaki and Tomoyuki
Yokogawa and Minoru Kawahara",
title = "Empirical study of abnormality in local variables and
its application to fault-prone {Java} method analysis",
journal = j-J-SOFTW-EVOL-PROC,
volume = "32",
number = "4",
pages = "e2220:1--e2220:??",
month = apr,
year = "2020",
CODEN = "????",
DOI = "https://doi.org/10.1002/smr.2220",
ISSN = "2047-7473 (print), 2047-7481 (electronic)",
ISSN-L = "2047-7473",
bibdate = "Mon May 17 08:20:28 MDT 2021",
bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib;
https://www.math.utah.edu/pub/tex/bib/jsoftwevolproc.bib",
acknowledgement = ack-nhfb,
ajournal = "",
fjournal = "Journal of Software: Evolution and Process",
journal-URL = "http://onlinelibrary.wiley.com/journal/10.1002/(ISSN)2047-7481",
onlinedate = "24 October 2019",
}
@Article{Anonymous:2020:SWS,
author = "Anonymous",
title = "Skills wanted: {Sql}, {Java}, {Python}, and {AWS} top
employers' wish lists --- [Careers]",
journal = j-IEEE-SPECTRUM,
volume = "57",
number = "1",
pages = "59--59",
month = jan,
year = "2020",
CODEN = "IEESAM",
DOI = "https://doi.org/10.1109/MSPEC.2020.8946316",
ISSN = "0018-9235 (print), 1939-9340 (electronic)",
ISSN-L = "0018-9235",
bibdate = "Fri Jan 17 09:23:28 2020",
bibsource = "https://www.math.utah.edu/pub/tex/bib/ieeespectrum2020.bib;
https://www.math.utah.edu/pub/tex/bib/java2020.bib;
https://www.math.utah.edu/pub/tex/bib/python.bib",
acknowledgement = ack-nhfb,
fjournal = "IEEE Spectrum",
journal-URL = "http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=6",
}
@Article{Artho:2020:JPW,
author = "Cyrille Artho and Quoc-Sang Phan and Peter Aldous and
Alyas Almaawi and Lucas Bang and Lasse Berglund and
Tevfik Bultan and Zhenbang Chen and Hayes Converse and
Wei Dong and William Eiers and Milos Gligoric and Simon
Goldsmith and Lars Grunske and Joshua Hooker and Ismet
Burak Kadron and Timo Kehrer and Sarfraz Khurshid and
Xuan-Bach D. Le and David Lo and Eric Mercer and Sasa
Misailovic and Egor Namakonov and Hoang Lam Nguyen and
Yannic Noller and Benjamin Ogles and Rohan Padhye and
Pavel Parizek and Corina S. Pasareanu and S. Jacob
Powell and Seemanta Saha and Koushik Sen and Elena
Sherman and Kyle Storey and Minxing Tang and Willem
Visser and Ji Wang and Hengbiao Yu",
title = "The {Java Pathfinder Workshop 2019}",
journal = j-SIGSOFT,
volume = "45",
number = "2",
pages = "20--22",
month = apr,
year = "2020",
DOI = "https://doi.org/10.1145/3385678.3385685",
bibdate = "Wed Mar 24 14:24:57 MDT 2021",
bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib;
https://www.math.utah.edu/pub/tex/bib/sigsoft2020.bib",
URL = "https://dl.acm.org/doi/10.1145/3385678.3385685",
abstract = "Java Path nder (JPF) was originally developed as an
explicit-state software model checker, and subsequently
evolved into an extensible Java bytecode analysis
framework that has been successfully used to implement
techniques such as symbolic and \ldots{}",
acknowledgement = ack-nhfb,
fjournal = "ACM SIGSOFT Software Engineering Notes",
journal-URL = "https://dl.acm.org/loi/sigsoft",
}
@Article{Basin:2020:KKV,
author = "Dmitry Basin and Edward Bortnikov and Anastasia
Braginsky and Guy Golan-Gueta and Eshcar Hillel and
Idit Keidar and Moshe Sulamy",
title = "{KiWi}: a Key--value Map for Scalable Real-time
Analytics",
journal = j-TOPC,
volume = "7",
number = "3",
pages = "16:1--16:28",
month = aug,
year = "2020",
CODEN = "????",
DOI = "https://doi.org/10.1145/3399718",
ISSN = "2329-4949 (print), 2329-4957 (electronic)",
ISSN-L = "2329-4949",
bibdate = "Thu Aug 6 08:56:07 MDT 2020",
bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib;
https://www.math.utah.edu/pub/tex/bib/topc.bib",
URL = "https://dl.acm.org/doi/abs/10.1145/3399718",
abstract = "We present KiWi, the first atomic KV-map to
efficiently support simultaneous large scans and
real-time access. The key to achieving this is treating
scans as first class citizens and organizing the data
structure around them. KiWi provides wait-free scans,
whereas its put operations are lightweight and
lock-free. It optimizes memory management jointly with
data structure access. We implement KiWi and compare it
to state-of-the-art solutions. Compared to other
KV-maps providing atomic scans, KiWi performs either
long scans or concurrent puts an order of magnitude
faster. Its scans are twice as fast as non-atomic ones
implemented via iterators in the Java skiplist.",
acknowledgement = ack-nhfb,
articleno = "16",
fjournal = "ACM Transactions on Parallel Computing",
journal-URL = "https://dl.acm.org/loi/topc",
}
@Article{Blanco:2020:USE,
author = "Guillermo Blanco and Roi P{\'e}rez-L{\'o}pez and
Florentino Fdez-Riverola and An{\'a}lia Maria Garcia
Louren{\c{c}}o",
title = "Understanding the social evolution of the {Java}
community in {Stack Overflow}: a 10-year study of
developer interactions",
journal = j-FUT-GEN-COMP-SYS,
volume = "105",
number = "??",
pages = "446--454",
month = apr,
year = "2020",
CODEN = "FGSEVI",
DOI = "https://doi.org/10.1016/j.future.2019.12.021",
ISSN = "0167-739X (print), 1872-7115 (electronic)",
ISSN-L = "0167-739X",
bibdate = "Mon Feb 10 12:55:07 MST 2020",
bibsource = "https://www.math.utah.edu/pub/tex/bib/futgencompsys.bib;
https://www.math.utah.edu/pub/tex/bib/java2020.bib",
URL = "http://www.sciencedirect.com/science/article/pii/S0167739X19311884",
acknowledgement = ack-nhfb,
fjournal = "Future Generation Computer Systems",
journal-URL = "http://www.sciencedirect.com/science/journal/0167739X",
}
@Article{Bright:2020:ODP,
author = "Walter Bright and Andrei Alexandrescu and Michael
Parker",
title = "Origins of the {D} programming language",
journal = j-PACMPL,
volume = "4",
number = "HOPL",
pages = "73:1--73:38",
month = jun,
year = "2020",
DOI = "https://doi.org/10.1145/3386323",
bibdate = "Fri Aug 7 17:39:13 MDT 2020",
bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib;
https://www.math.utah.edu/pub/tex/bib/pacmpl.bib;
https://www.math.utah.edu/pub/tex/bib/unicode.bib",
URL = "https://dl.acm.org/doi/abs/10.1145/3386323",
abstract = "As its name suggests, the initial motivation for the D
programming language was to improve on C and C++ while
keeping their spirit. The D language was to preserve
those languages' efficiency, low-level access, and
Algol-style syntax. The areas D set out o improve
focused initially on rapid development, convenience,
and simplifying the syntax without hampering
expressiveness.\par
The genesis of D has its peculiarities, as is the case
with many other languages. Walter Bright, D's creator,
is a mechanical engineer by education who started out
working for Boeing designing gearboxes for the 757. He
was programming games on the side, and in trying to
make his game Empire run faster, became interested in
compilers. Despite having no experience, Bright set out
in 1982 to implement a compiler that produced better
code than those on the market at the time.\par
This interest materialized into a C compiler, followed
by compilers for C++, Java, and JavaScript. Best known
of these would be the Zortech C++ compiler, the first
(and to date only) C++-to-native compiler developed by
a single person. The D programming language began in
1999 as an effort to pull the best features of these
languages into a new one. Fittingly, D would use the by
that time mature C/C++ back end (optimizer and code
generator) that had been under continued development
and maintenance since 1982.\par
Between 1999 and 2006, Bright worked alone on the D
language definition and its implementation, although a
steadily increasing volume of patches from users was
incorporated. The new language would be based on the
past successes of the languages he'd used and
implemented, but would be clearly looking to the
future. D started with choices that are obvious today
but were less clear winners back in the 1990s: full
support for Unicode, IEEE floating point, 2s complement
arithmetic, and flat memory addressing (memory is
treated as a linear address space with no
segmentation). It would do away with certain
compromises from past languages imposed by shortages of
memory (for example, forward declarations would not be
required). It would primarily appeal to C and C++
users, as expertise with those languages would be
readily transferrable. The interface with C was
designed to be zero cost.\par
The language design was begun in late 1999. An alpha
version appeared in 2001 and the initial language was
completed, somewhat arbitrarily, at version 1.0 in
January 2007. During that time, the language evolved
considerably, both in capability and in the accretion
of a substantial worldwide community that became
increasingly involved with contributing. The front end
was open-sourced in April 2002, and the back end was
donated by Symantec to the open source community in
2017. Meanwhile, two additional open-source back ends
became mature in the 2010s: `gdc` (using the same back
end as the GNU C++ compiler) and `ldc` (using the LLVM
back end).\par
The increasing use of the D language in the 2010s
created an impetus for formalization and development
management. To that end, the D Language Foundation was
created in September 2015 as a nonprofit corporation
overseeing work on D's definition and implementation,
publications, conferences, and collaborations with
universities.",
acknowledgement = ack-nhfb,
articleno = "73",
fjournal = "Proceedings of the ACM on Programming Languages",
journal-URL = "https://pacmpl.acm.org/",
}
@Article{Capiluppi:2020:EMD,
author = "Andrea Capiluppi and Nemitari Ajienka and Steve
Counsell",
title = "The effect of multiple developers on structural
attributes: a study based on {Java} software",
journal = j-J-SYST-SOFTW,
volume = "167",
number = "??",
pages = "??--??",
month = sep,
year = "2020",
CODEN = "JSSODM",
DOI = "https://doi.org/10.1016/j.jss.2020.110593",
ISSN = "0164-1212 (print), 1873-1228 (electronic)",
ISSN-L = "0164-1212",
bibdate = "Mon May 24 20:13:53 MDT 2021",
bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib;
https://www.math.utah.edu/pub/tex/bib/jsystsoftw2020.bib",
URL = "http://www.sciencedirect.com/science/article/pii/S016412122030073X",
acknowledgement = ack-nhfb,
articleno = "110593",
fjournal = "Journal of Systems and Software",
journal-URL = "http://www.sciencedirect.com/science/journal/01641212",
}
@Article{Capiluppi:2020:LCC,
author = "Andrea Capiluppi and Nemitari Ajienka",
title = "Lexical content as a cooperation aide: a study based
on {Java} software",
journal = j-J-SYST-SOFTW,
volume = "164",
number = "??",
pages = "??--??",
month = jun,
year = "2020",
CODEN = "JSSODM",
DOI = "https://doi.org/10.1016/j.jss.2020.110543",
ISSN = "0164-1212 (print), 1873-1228 (electronic)",
ISSN-L = "0164-1212",
bibdate = "Mon May 24 20:13:52 MDT 2021",
bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib;
https://www.math.utah.edu/pub/tex/bib/jsystsoftw2020.bib",
URL = "http://www.sciencedirect.com/science/article/pii/S016412122030025X",
acknowledgement = ack-nhfb,
articleno = "110543",
fjournal = "Journal of Systems and Software",
journal-URL = "http://www.sciencedirect.com/science/journal/01641212",
}
@Article{Cirani:2020:ZNC,
author = "Simone Cirani and Marco Picone and Luca Veltri and
Luca Zaccomer and Francesco Zanichelli",
title = "\pkg{ZWT}: a new cross-platform graphical interface
framework for {Java} applications",
journal = j-SOFTWAREX,
volume = "12",
number = "??",
pages = "Article 100599",
month = jul # "\slash " # dec,
year = "2020",
CODEN = "????",
DOI = "https://doi.org/10.1016/j.softx.2020.100599",
ISSN = "2352-7110",
ISSN-L = "2352-7110",
bibdate = "Fri Apr 9 16:04:40 MDT 2021",
bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib;
https://www.math.utah.edu/pub/tex/bib/softwarex.bib",
URL = "http://www.sciencedirect.com/science/article/pii/S2352711020303125",
acknowledgement = ack-nhfb,
fjournal = "SoftwareX",
journal-URL = "https://www.sciencedirect.com/journal/softwarex/issues",
}
@Article{Daoud:2020:MAJ,
author = "Houssem Daoud and Michel Dagenais",
title = "Multilevel analysis of the {Java Virtual Machine}
based on kernel and userspace traces",
journal = j-J-SYST-SOFTW,
volume = "167",
number = "??",
pages = "??--??",
month = sep,
year = "2020",
CODEN = "JSSODM",
DOI = "https://doi.org/10.1016/j.jss.2020.110589",
ISSN = "0164-1212 (print), 1873-1228 (electronic)",
ISSN-L = "0164-1212",
bibdate = "Mon May 24 20:13:53 MDT 2021",
bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib;
https://www.math.utah.edu/pub/tex/bib/jsystsoftw2020.bib",
URL = "http://www.sciencedirect.com/science/article/pii/S0164121220300698",
acknowledgement = ack-nhfb,
articleno = "110589",
fjournal = "Journal of Systems and Software",
journal-URL = "http://www.sciencedirect.com/science/journal/01641212",
}
@Article{Darabkh:2020:JIC,
author = "Khalid A. Darabkh and Oswa M. Amro and Raed T. Al-Zubi
and Haythem Bany Salameh and Ramzi Saifan",
title = "{JavaSim-IBFD-CRNs}: Novel {Java} simulator for
in-band full-duplex cognitive radio networks over
{Internet of Things} environment",
journal = j-J-NETW-COMPUT-APPL,
volume = "172",
number = "??",
pages = "??--??",
day = "15",
month = dec,
year = "2020",
CODEN = "JNCAF3",
DOI = "https://doi.org/10.1016/j.jnca.2020.102833",
ISSN = "1084-8045 (print), 1095-8592 (electronic)",
ISSN-L = "1084-8045",
bibdate = "Mon May 24 15:12:40 MDT 2021",
bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib;
https://www.math.utah.edu/pub/tex/bib/jnetwcomputappl.bib",
URL = "http://www.sciencedirect.com/science/article/pii/S1084804520303039",
acknowledgement = ack-nhfb,
articleno = "102833",
fjournal = "Journal of Network and Computer Applications",
journal-URL = "http://www.sciencedirect.com/science/journal/10848045",
}
@Article{Fang:2020:DMJ,
author = "Yong Fang and Cheng Huang and Yu Su and Yaoyao Qiu",
title = "Detecting malicious {JavaScript} code based on
semantic analysis",
journal = j-COMPUT-SECUR,
volume = "93",
number = "??",
pages = "Article 101764",
month = jun,
year = "2020",
CODEN = "CPSEDU",
DOI = "https://doi.org/10.1016/j.cose.2020.101764",
ISSN = "0167-4048 (print), 1872-6208 (electronic)",
ISSN-L = "0167-4048",
bibdate = "Wed Mar 10 08:25:03 MST 2021",
bibsource = "https://www.math.utah.edu/pub/tex/bib/computsecur2020.bib;
https://www.math.utah.edu/pub/tex/bib/java2020.bib",
URL = "http://www.sciencedirect.com/science/article/pii/S0167404820300481",
acknowledgement = ack-nhfb,
fjournal = "Computers \& Security",
journal-URL = "http://www.sciencedirect.com/science/journal/01674048",
}
@Article{Feitosa:2020:TDA,
author = "Samuel Feitosa and Rodrigo Ribeiro and Andre {Du
Bois}",
title = "A type-directed algorithm to generate random
well-typed {Java 8} programs",
journal = j-SCI-COMPUT-PROGRAM,
volume = "196",
number = "??",
pages = "??--??",
day = "15",
month = sep,
year = "2020",
CODEN = "SCPGD4",
DOI = "https://doi.org/10.1016/j.scico.2020.102494",
ISSN = "0167-6423 (print), 1872-7964 (electronic)",
ISSN-L = "0167-6423",
bibdate = "Wed May 26 13:33:22 MDT 2021",
bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib;
https://www.math.utah.edu/pub/tex/bib/scicomputprogram.bib",
URL = "http://www.sciencedirect.com/science/article/pii/S0167642320301039",
acknowledgement = ack-nhfb,
articleno = "102494",
fjournal = "Science of Computer Programming",
journal-URL = "http://www.sciencedirect.com/science/journal/01676423",
}
@Article{Ferrara:2020:CJB,
author = "Pietro Ferrara and Agostino Cortesi and Fausto Spoto",
title = "From {CIL} to {Java} bytecode: {Semantics}-based
translation for static analysis leveraging",
journal = j-SCI-COMPUT-PROGRAM,
volume = "191",
number = "??",
pages = "??--??",
day = "1",
month = jun,
year = "2020",
CODEN = "SCPGD4",
DOI = "https://doi.org/10.1016/j.scico.2020.102392",
ISSN = "0167-6423 (print), 1872-7964 (electronic)",
ISSN-L = "0167-6423",
bibdate = "Wed May 26 13:33:20 MDT 2021",
bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib;
https://www.math.utah.edu/pub/tex/bib/scicomputprogram.bib",
URL = "http://www.sciencedirect.com/science/article/pii/S0167642320300034",
acknowledgement = ack-nhfb,
articleno = "102392",
fjournal = "Science of Computer Programming",
journal-URL = "http://www.sciencedirect.com/science/journal/01676423",
}
@Article{Foket:2020:EEJ,
author = "Christophe Foket and Koen {De Bosschere} and Bjorn {De
Sutter}",
title = "Effective and efficient {Java}-type obfuscation",
journal = j-SPE,
volume = "50",
number = "2",
pages = "136--160",
month = feb,
year = "2020",
CODEN = "SPEXBL",
DOI = "https://doi.org/10.1002/spe.2773",
ISSN = "0038-0644 (print), 1097-024X (electronic)",
ISSN-L = "0038-0644",
bibdate = "Fri Aug 14 11:05:21 MDT 2020",
bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib;
https://www.math.utah.edu/pub/tex/bib/spe.bib",
acknowledgement = ack-nhfb,
ajournal = "Softw. Pract. Exp.",
fjournal = "Software --- Practice and Experience",
journal-URL = "http://onlinelibrary.wiley.com/journal/10.1002/(ISSN)1097-024X",
onlinedate = "29 November 2019",
}
@Article{Frison:2020:BAB,
author = "Gianluca Frison and Tommaso Sartor and Andrea Zanelli
and Moritz Diehl",
title = "The {BLAS API} of {BLASFEO}: Optimizing Performance
for Small Matrices",
journal = j-TOMS,
volume = "46",
number = "2",
pages = "15:1--15:36",
month = jun,
year = "2020",
CODEN = "ACMSCU",
DOI = "https://doi.org/10.1145/3378671",
ISSN = "0098-3500 (print), 1557-7295 (electronic)",
ISSN-L = "0098-3500",
bibdate = "Fri Jun 12 07:37:53 MDT 2020",
bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib;
https://www.math.utah.edu/pub/tex/bib/matlab.bib;
https://www.math.utah.edu/pub/tex/bib/python.bib;
https://www.math.utah.edu/pub/tex/bib/toms.bib",
URL = "https://dl.acm.org/doi/abs/10.1145/3378671",
abstract = "Basic Linear Algebra Subroutines For Embedded
Optimization (BLASFEO) is a dense linear algebra
library providing high-performance implementations of
BLAS- and LAPACK-like routines for use in embedded
optimization and other applications targeting
relatively small matrices. BLASFEO defines an
application programming interface (API) which uses a
packed matrix format as its native format. This format
is analogous to the internal memory buffers of
optimized BLAS, but it is exposed to the user and it
removes the packing cost from the routine call. For
matrices fitting in cache, BLASFEO outperforms
optimized BLAS implementations, both open source and
proprietary. This article investigates the addition of
a standard BLAS API to the BLASFEO framework, and
proposes an implementation switching between two or
more algorithms optimized for different matrix sizes.
Thanks to the modular assembly framework in BLASFEO,
tailored linear algebra kernels with mixed column- and
panel-major arguments are easily developed. This BLAS
API has lower performance than the BLASFEO API, but it
nonetheless outperforms optimized BLAS and especially
LAPACK libraries for matrices fitting in cache.
Therefore, it can boost a wide range of applications,
where standard BLAS and LAPACK libraries are employed
and the matrix size is moderate. In particular, this
article investigates the benefits in scientific
programming languages such as Octave, SciPy, and
Julia.",
acknowledgement = ack-nhfb,
articleno = "15",
fjournal = "ACM Transactions on Mathematical Software (TOMS)",
journal-URL = "https://dl.acm.org/loi/toms",
}
@Article{Gavidia-Calderon:2020:IJF,
author = "Carlos Gavidia-Calderon and C{\'e}sar Beltr{\'a}n
Casta{\~n}on",
title = "\pkg{Isula}: a {Java} framework for ant colony
algorithms",
journal = j-SOFTWAREX,
volume = "11",
number = "??",
pages = "Article 100400",
month = jan # "\slash " # jun,
year = "2020",
CODEN = "????",
DOI = "https://doi.org/10.1016/j.softx.2020.100400",
ISSN = "2352-7110",
ISSN-L = "2352-7110",
bibdate = "Fri Apr 9 16:04:39 MDT 2021",
bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib;
https://www.math.utah.edu/pub/tex/bib/softwarex.bib",
URL = "http://www.sciencedirect.com/science/article/pii/S2352711019300639",
acknowledgement = ack-nhfb,
fjournal = "SoftwareX",
journal-URL = "https://www.sciencedirect.com/journal/softwarex/issues",
}
@Article{Ghanavati:2020:MRL,
author = "Mohammadreza Ghanavati and Diego Costa and Janos
Seboek and David Lo and Artur Andrzejak",
title = "Memory and resource leak defects and their repairs in
{Java} projects",
journal = j-EMPIR-SOFTWARE-ENG,
volume = "25",
number = "1",
pages = "678--718",
month = jan,
year = "2020",
CODEN = "ESENFW",
DOI = "https://doi.org/10.1007/s10664-019-09731-8",
ISSN = "1382-3256 (print), 1573-7616 (electronic)",
ISSN-L = "1382-3256",
bibdate = "Wed Apr 29 09:48:41 MDT 2020",
bibsource = "https://www.math.utah.edu/pub/tex/bib/empir-software-eng.bib;
https://www.math.utah.edu/pub/tex/bib/java2020.bib",
URL = "http://link.springer.com/article/10.1007/s10664-019-09731-8",
acknowledgement = ack-nhfb,
fjournal = "Empirical Software Engineering",
journal-URL = "http://link.springer.com/journal/10664",
}
@Article{Ghiotto:2020:NMC,
author = "G. Ghiotto and L. Murta and M. Barros and A. {van der
Hoek}",
title = "On the Nature of Merge Conflicts: A Study of 2,731
Open Source {Java} Projects Hosted by {GitHub}",
journal = j-IEEE-TRANS-SOFTW-ENG,
volume = "46",
number = "8",
pages = "892--915",
year = "2020",
CODEN = "IESEDJ",
ISSN = "0098-5589 (print), 1939-3520 (electronic)",
ISSN-L = "0098-5589",
bibdate = "Thu Sep 17 07:36:32 2020",
bibsource = "https://www.math.utah.edu/pub/tex/bib/gnu.bib;
https://www.math.utah.edu/pub/tex/bib/ieeetranssoftweng2020.bib;
https://www.math.utah.edu/pub/tex/bib/java2020.bib",
acknowledgement = ack-nhfb,
fjournal = "IEEE Transactions on Software Engineering",
journal-URL = "http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=32",
}
@Article{Griesemer:2020:FG,
author = "Robert Griesemer and Raymond Hu and Wen Kokke and
Julien Lange and Ian Lance Taylor and Bernardo Toninho
and Philip Wadler and Nobuko Yoshida",
title = "Featherweight {Go}",
journal = j-PACMPL,
volume = "4",
number = "OOPSLA",
pages = "149:1--149:29",
month = nov,
year = "2020",
DOI = "https://doi.org/10.1145/3428217",
bibdate = "Tue Mar 30 08:10:50 MDT 2021",
bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib;
https://www.math.utah.edu/pub/tex/bib/pacmpl.bib",
URL = "https://dl.acm.org/doi/10.1145/3428217",
abstract = "We describe a design for generics in Go inspired by
previous work on Featherweight Java by Igarashi,
Pierce, and Wadler. Whereas subtyping in Java is
nominal, in Go it is structural, and whereas generics
in Java are defined via erasure, in Go we use
\ldots{}",
acknowledgement = ack-nhfb,
articleno = "149",
fjournal = "Proceedings of the ACM on Programming Languages",
journal-URL = "https://pacmpl.acm.org/",
}
@Article{Harlander:2020:F,
author = "R. V. Harlander and S. Y. Klein and M. Lipp",
title = "{FeynGame}",
journal = j-COMP-PHYS-COMM,
volume = "256",
number = "??",
pages = "Article 107465",
month = nov,
year = "2020",
CODEN = "CPHCBZ",
DOI = "https://doi.org/10.1016/j.cpc.2020.107465",
ISSN = "0010-4655 (print), 1879-2944 (electronic)",
ISSN-L = "0010-4655",
bibdate = "Sat Mar 13 08:21:39 MST 2021",
bibsource = "https://www.math.utah.edu/pub/tex/bib/compphyscomm2020.bib;
https://www.math.utah.edu/pub/tex/bib/java2020.bib",
URL = "http://www.sciencedirect.com/science/article/pii/S0010465520302186",
acknowledgement = ack-nhfb,
fjournal = "Computer Physics Communications",
journal-URL = "http://www.sciencedirect.com/science/journal/00104655",
keywords = "Java-based graphical tool for drawing Feynman
diagrams",
}
@Article{Harrand:2020:JDD,
author = "Nicolas Harrand and C{\'e}sar Soto-Valero and Martin
Monperrus and Benoit Baudry",
title = "{Java} decompiler diversity and its application to
meta-decompilation",
journal = j-J-SYST-SOFTW,
volume = "168",
number = "??",
pages = "??--??",
month = oct,
year = "2020",
CODEN = "JSSODM",
DOI = "https://doi.org/10.1016/j.jss.2020.110645",
ISSN = "0164-1212 (print), 1873-1228 (electronic)",
ISSN-L = "0164-1212",
bibdate = "Mon May 24 20:13:54 MDT 2021",
bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib;
https://www.math.utah.edu/pub/tex/bib/jsystsoftw2020.bib",
URL = "http://www.sciencedirect.com/science/article/pii/S0164121220301151",
acknowledgement = ack-nhfb,
articleno = "110645",
fjournal = "Journal of Systems and Software",
journal-URL = "http://www.sciencedirect.com/science/journal/01641212",
}
@Article{Hickey:2020:HC,
author = "Rich Hickey",
title = "A history of {Clojure}",
journal = j-PACMPL,
volume = "4",
number = "HOPL",
pages = "71:1--71:46",
month = jun,
year = "2020",
DOI = "https://doi.org/10.1145/3386321",
bibdate = "Fri Aug 7 17:39:13 MDT 2020",
bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib;
https://www.math.utah.edu/pub/tex/bib/pacmpl.bib",
URL = "https://dl.acm.org/doi/abs/10.1145/3386321",
abstract = "Clojure was designed to be a general-purpose,
practical functional language, suitable for use by
professionals wherever its host language, e.g., Java,
would be. Initially designed in 2005 and released in
2007, Clojure is a dialect of Lisp, but is not a direct
descendant of any prior Lisp. It complements
programming with pure functions of immutable data with
concurrency-safe state management constructs that
support writing correct multithreaded programs without
the complexity of mutex locks.\par
Clojure is intentionally hosted, in that it compiles to
and runs on the runtime of another language, such as
the JVM. This is more than an implementation strategy;
numerous features ensure that programs written in
Clojure can leverage and interoperate with the
libraries of the host language directly and
efficiently.\par
In spite of combining two (at the time) rather
unpopular ideas, functional programming and Lisp,
Clojure has since seen adoption in industries as
diverse as finance, climate science, retail, databases,
analytics, publishing, healthcare, advertising and
genomics, and by consultancies and startups worldwide,
much to the career-altering surprise of its
author.\par
Most of the ideas in Clojure were not novel, but their
combination puts Clojure in a unique spot in language
design (functional, hosted, Lisp). This paper recounts
the motivation behind the initial development of
Clojure and the rationale for various design decisions
and language constructs. It then covers its evolution
subsequent to release and adoption.",
acknowledgement = ack-nhfb,
articleno = "71",
fjournal = "Proceedings of the ACM on Programming Languages",
journal-URL = "https://pacmpl.acm.org/",
}
@Article{Higo:2020:TJM,
author = "Yoshiki Higo and Shinpei Hayashi and Shinji Kusumoto",
title = "On tracking {Java} methods with {Git} mechanisms",
journal = j-J-SYST-SOFTW,
volume = "165",
number = "??",
pages = "??--??",
month = jul,
year = "2020",
CODEN = "JSSODM",
DOI = "https://doi.org/10.1016/j.jss.2020.110571",
ISSN = "0164-1212 (print), 1873-1228 (electronic)",
ISSN-L = "0164-1212",
bibdate = "Mon May 24 20:13:53 MDT 2021",
bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib;
https://www.math.utah.edu/pub/tex/bib/jsystsoftw2020.bib",
URL = "http://www.sciencedirect.com/science/article/pii/S0164121220300522",
acknowledgement = ack-nhfb,
articleno = "110571",
fjournal = "Journal of Systems and Software",
journal-URL = "http://www.sciencedirect.com/science/journal/01641212",
}
@Article{Hora:2020:CME,
author = "Andre Hora and Romain Robbes",
title = "Characteristics of method extractions in {Java}: a
large scale empirical study",
journal = j-EMPIR-SOFTWARE-ENG,
volume = "25",
number = "3",
pages = "1798--1833",
month = may,
year = "2020",
CODEN = "ESENFW",
DOI = "https://doi.org/10.1007/s10664-020-09809-8",
ISSN = "1382-3256 (print), 1573-7616 (electronic)",
ISSN-L = "1382-3256",
bibdate = "Fri Jun 19 07:35:07 MDT 2020",
bibsource = "https://www.math.utah.edu/pub/tex/bib/empir-software-eng.bib;
https://www.math.utah.edu/pub/tex/bib/java2020.bib",
URL = "http://link.springer.com/article/10.1007/s10664-020-09809-8",
acknowledgement = ack-nhfb,
fjournal = "Empirical Software Engineering",
journal-URL = "http://link.springer.com/journal/10664",
}
@Article{Jiang:2020:SSI,
author = "Lin Jiang and Junqiao Qiu and Zhijia Zhao",
title = "Scalable structural index construction for {JSON}
analytics",
journal = j-PROC-VLDB-ENDOWMENT,
volume = "14",
number = "4",
pages = "694--707",
month = dec,
year = "2020",
CODEN = "????",
DOI = "https://doi.org/10.14778/3436905.3436926",
ISSN = "2150-8097",
bibdate = "Tue Feb 23 08:32:42 MST 2021",
bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib;
https://www.math.utah.edu/pub/tex/bib/vldbe.bib",
URL = "https://dl.acm.org/doi/10.14778/3436905.3436926",
abstract = "JavaScript Object Notation (JSON) and its variants
have gained great popularity in recent years.
Unfortunately, the performance of their analytics is
often dragged down by the expensive JSON parsing. To
address this, recent work has shown that building
\ldots{}",
acknowledgement = ack-nhfb,
fjournal = "Proceedings of the VLDB Endowment",
journal-URL = "https://dl.acm.org/loi/pvldb",
}
@Article{Karim:2020:PID,
author = "R. Karim and F. Tip and A. {Soch rkov{\'a}} and K.
Sen",
title = "Platform-Independent Dynamic Taint Analysis for
{JavaScript}",
journal = j-IEEE-TRANS-SOFTW-ENG,
volume = "46",
number = "12",
pages = "1364--1379",
month = dec,
year = "2020",
CODEN = "IESEDJ",
DOI = "https://doi.org/10.1109/TSE.2018.2878020",
ISSN = "0098-5589 (print), 1939-3520 (electronic)",
ISSN-L = "0098-5589",
bibdate = "Fri Dec 18 09:01:37 2020",
bibsource = "https://www.math.utah.edu/pub/tex/bib/ieeetranssoftweng2020.bib;
https://www.math.utah.edu/pub/tex/bib/java2020.bib",
acknowledgement = ack-nhfb,
fjournal = "IEEE Transactions on Software Engineering",
journal-URL = "http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=32",
}
@Article{Khatchadourian:2020:SAR,
author = "Raffi Khatchadourian and Yiming Tang and Mehdi
Bagherzadeh",
title = "Safe automated refactoring for intelligent
parallelization of {Java 8} streams",
journal = j-SCI-COMPUT-PROGRAM,
volume = "195",
number = "??",
pages = "??--??",
day = "1",
month = sep,
year = "2020",
CODEN = "SCPGD4",
DOI = "https://doi.org/10.1016/j.scico.2020.102476",
ISSN = "0167-6423 (print), 1872-7964 (electronic)",
ISSN-L = "0167-6423",
bibdate = "Wed May 26 13:33:22 MDT 2021",
bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib;
https://www.math.utah.edu/pub/tex/bib/scicomputprogram.bib",
URL = "http://www.sciencedirect.com/science/article/pii/S0167642320300861",
acknowledgement = ack-nhfb,
articleno = "102476",
fjournal = "Science of Computer Programming",
journal-URL = "http://www.sciencedirect.com/science/journal/01676423",
}
@Article{King:2020:HGP,
author = "Paul King",
title = "A history of the {Groovy} programming language",
journal = j-PACMPL,
volume = "4",
number = "HOPL",
pages = "76:1--76:53",
month = jun,
year = "2020",
DOI = "https://doi.org/10.1145/3386326",
bibdate = "Fri Aug 7 17:39:13 MDT 2020",
bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib;
https://www.math.utah.edu/pub/tex/bib/pacmpl.bib",
URL = "https://dl.acm.org/doi/abs/10.1145/3386326",
abstract = "This paper describes the history of the Groovy
programming language. At the time of Groovy's
inception, Java was a dominant programming language
with a wealth of useful libraries. Despite this, it was
perceived by some to be evolving slowing and to have
\ldots{}",
acknowledgement = ack-nhfb,
articleno = "76",
fjournal = "Proceedings of the ACM on Programming Languages",
journal-URL = "https://pacmpl.acm.org/",
}
@Article{Michail:2020:JJL,
author = "Dimitrios Michail and Joris Kinable and Barak Naveh
and John V. Sichi",
title = "{JGraphT} --- a {Java} Library for Graph Data
Structures and Algorithms",
journal = j-TOMS,
volume = "46",
number = "2",
pages = "16:1--16:29",
month = jun,
year = "2020",
CODEN = "ACMSCU",
DOI = "https://doi.org/10.1145/3381449",
ISSN = "0098-3500 (print), 1557-7295 (electronic)",
ISSN-L = "0098-3500",
bibdate = "Fri Jun 12 07:37:53 MDT 2020",
bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib;
https://www.math.utah.edu/pub/tex/bib/toms.bib",
URL = "https://dl.acm.org/doi/abs/10.1145/3381449",
abstract = "Mathematical software and graph-theoretical
algorithmic packages to efficiently model, analyze, and
query graphs are crucial in an era where large-scale
spatial, societal, and economic network data are
abundantly available. One such package is JGraphT,
programming library that contains very efficient and
generic graph data structures along with a large
collection of state-of-the-art algorithms. The library
is written in Java with stability, interoperability,
and performance in mind. A distinctive feature of this
library is its ability to model vertices and edges as
arbitrary objects, thereby permitting natural
representations of many common networks, including
transportation, social, and biological networks.
Besides classic graph algorithms such as shortest-paths
and spanning-tree algorithms, the library contains
numerous advanced algorithms: graph and subgraph
isomorphism, matching and flow problems, approximation
algorithms for NP-hard problems such as independent set
and the traveling salesman problem, and several more
exotic algorithms such as Berge graph detection. Due to
its versatility and generic design, JGraphT is
currently used in large-scale commercial products, as
well as noncommercial and academic research
projects.\par
In this work, we describe in detail the design and
underlying structure of the library, and discuss its
most important features and algorithms. A computational
study is conducted to evaluate the performance of
JGraphT versus several similar libraries. Experiments
on a large number of graphs over a variety of popular
algorithms show that JGraphT is highly competitive with
other established libraries such as NetworkX or the
BGL.",
acknowledgement = ack-nhfb,
articleno = "16",
fjournal = "ACM Transactions on Mathematical Software (TOMS)",
journal-URL = "https://dl.acm.org/loi/toms",
}
@Article{Moller:2020:DLJ,
author = "Anders M{\o}ller and Benjamin Barslev Nielsen and
Martin Toldam Torp",
title = "Detecting locations in {JavaScript} programs affected
by breaking library changes",
journal = j-PACMPL,
volume = "4",
number = "OOPSLA",
pages = "187:1--187:25",
month = nov,
year = "2020",
DOI = "https://doi.org/10.1145/3428255",
bibdate = "Tue Mar 30 08:10:50 MDT 2021",
bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib;
https://www.math.utah.edu/pub/tex/bib/pacmpl.bib",
URL = "https://dl.acm.org/doi/10.1145/3428255",
abstract = "JavaScript libraries are widely used and evolve
rapidly. When adapting client code to non-backwards
compatible changes in libraries, a major challenge is
how to locate affected API uses in client code, which
is currently a difficult manual task. In this
\ldots{}",
acknowledgement = ack-nhfb,
articleno = "187",
fjournal = "Proceedings of the ACM on Programming Languages",
journal-URL = "https://pacmpl.acm.org/",
}
@Article{Moller:2020:EAO,
author = "Anders M{\o}ller and Oskar Haarklou Veileborg",
title = "Eliminating abstraction overhead of {Java} stream
pipelines using ahead-of-time program optimization",
journal = j-PACMPL,
volume = "4",
number = "OOPSLA",
pages = "168:1--168:29",
month = nov,
year = "2020",
DOI = "https://doi.org/10.1145/3428236",
bibdate = "Tue Mar 30 08:10:50 MDT 2021",
bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib;
https://www.math.utah.edu/pub/tex/bib/pacmpl.bib",
URL = "https://dl.acm.org/doi/10.1145/3428236",
abstract = "Java 8 introduced streams that allow developers to
work with collections of data using functional-style
operations. Streams are often used in pipelines of
operations for processing the data elements, which
leads to concise and elegant program code. \ldots{}",
acknowledgement = ack-nhfb,
articleno = "168",
fjournal = "Proceedings of the ACM on Programming Languages",
journal-URL = "https://pacmpl.acm.org/",
}
@Article{Nie:2020:UEI,
author = "Pengyu Nie and Marinela Parovic and Zhiqiang Zang and
Sarfraz Khurshid and Aleksandar Milicevic and Milos
Gligoric",
title = "Unifying execution of imperative generators and
declarative specifications",
journal = j-PACMPL,
volume = "4",
number = "OOPSLA",
pages = "217:1--217:26",
month = nov,
year = "2020",
DOI = "https://doi.org/10.1145/3428285",
bibdate = "Tue Mar 30 08:10:50 MDT 2021",
bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib;
https://www.math.utah.edu/pub/tex/bib/pacmpl.bib",
URL = "https://dl.acm.org/doi/10.1145/3428285",
abstract = "We present Deuterium---a framework for implementing
Java methods as executable contracts. Deuterium
introduces a novel, type-safe way to write method
contracts entirely in Java, as a combination of
imperative generators and declarative specifications
\ldots{}",
acknowledgement = ack-nhfb,
articleno = "217",
fjournal = "Proceedings of the ACM on Programming Languages",
journal-URL = "https://pacmpl.acm.org/",
}
@Article{Ortin:2020:HTS,
author = "Francisco Ortin and Oscar Rodriguez-Prieto and Nicolas
Pascual and Miguel Garcia",
title = "Heterogeneous tree structure classification to label
{Java} programmers according to their expertise level",
journal = j-FUT-GEN-COMP-SYS,
volume = "105",
number = "??",
pages = "380--394",
month = apr,
year = "2020",
CODEN = "FGSEVI",
DOI = "https://doi.org/10.1016/j.future.2019.12.016",
ISSN = "0167-739X (print), 1872-7115 (electronic)",
ISSN-L = "0167-739X",
bibdate = "Mon Feb 10 12:55:07 MST 2020",
bibsource = "https://www.math.utah.edu/pub/tex/bib/futgencompsys.bib;
https://www.math.utah.edu/pub/tex/bib/java2020.bib",
URL = "http://www.sciencedirect.com/science/article/pii/S0167739X1931516X",
acknowledgement = ack-nhfb,
fjournal = "Future Generation Computer Systems",
journal-URL = "http://www.sciencedirect.com/science/journal/0167739X",
}
@Article{Perez:2020:OPN,
author = "Taciano D. Perez and Marcelo V. Neves and Diego
Medaglia and Pedro H. G. Monteiro and C{\'e}sar A. F.
{De Rose}",
title = "Orthogonal persistence in nonvolatile memory
architectures: a persistent heap design and its
implementation for a {Java Virtual Machine}",
journal = j-SPE,
volume = "50",
number = "4",
pages = "368--387",
month = apr,
year = "2020",
CODEN = "SPEXBL",
DOI = "https://doi.org/10.1002/spe.2781",
ISSN = "0038-0644 (print), 1097-024X (electronic)",
ISSN-L = "0038-0644",
bibdate = "Fri Aug 14 11:05:22 MDT 2020",
bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib;
https://www.math.utah.edu/pub/tex/bib/spe.bib;
https://www.math.utah.edu/pub/tex/bib/virtual-machines.bib",
acknowledgement = ack-nhfb,
ajournal = "Softw. Pract. Exp.",
fjournal = "Software --- Practice and Experience",
journal-URL = "http://onlinelibrary.wiley.com/journal/10.1002/(ISSN)1097-024X",
onlinedate = "17 December 2019",
}
@Article{Pinheiro:2020:MCA,
author = "Pedro Pinheiro and Jos{\'e} Carlos Viana and
M{\'a}rcio Ribeiro and Leo Fernandes and Fabiano
Ferrari and Rohit Gheyi and Baldoino Fonseca",
title = "Mutating code annotations: an empirical evaluation on
{Java} and {C\#} programs",
journal = j-SCI-COMPUT-PROGRAM,
volume = "191",
number = "??",
pages = "??--??",
day = "1",
month = jun,
year = "2020",
CODEN = "SCPGD4",
DOI = "https://doi.org/10.1016/j.scico.2020.102418",
ISSN = "0167-6423 (print), 1872-7964 (electronic)",
ISSN-L = "0167-6423",
bibdate = "Wed May 26 13:33:20 MDT 2021",
bibsource = "https://www.math.utah.edu/pub/tex/bib/csharp.bib;
https://www.math.utah.edu/pub/tex/bib/java2020.bib;
https://www.math.utah.edu/pub/tex/bib/scicomputprogram.bib",
URL = "http://www.sciencedirect.com/science/article/pii/S0167642320300290",
acknowledgement = ack-nhfb,
articleno = "102418",
fjournal = "Science of Computer Programming",
journal-URL = "http://www.sciencedirect.com/science/journal/01676423",
}
@Article{Robillard:2020:LLW,
author = "M. P. Robillard and K. Kutschera",
title = "Lessons Learned While Migrating From {Swing} to
{JavaFX}",
journal = j-IEEE-SOFTWARE,
volume = "37",
number = "3",
pages = "78--85",
month = may # "\slash " # jun,
year = "2020",
CODEN = "IESOEG",
ISSN = "0740-7459 (print), 1937-4194 (electronic)",
ISSN-L = "0740-7459",
bibdate = "Wed Jun 3 14:56:06 2020",
bibsource = "https://www.math.utah.edu/pub/tex/bib/ieeesoft.bib;
https://www.math.utah.edu/pub/tex/bib/java2020.bib",
acknowledgement = ack-nhfb,
fjournal = "IEEE Software",
journal-URL = "http://www.computer.org/portal/web/csdl/magazines/software",
}
@InProceedings{Romano:2020:WVT,
author = "A. Romano and W. Wang",
booktitle = "{2020 IEEE\slash ACM 42nd International Conference on
Software Engineering: Companion Proceedings
(ICSE-Companion)}",
title = "{WasmView}: Visual Testing for {WebAssembly}
Applications",
publisher = pub-IEEE,
address = pub-IEEE:adr,
pages = "13--16",
year = "2020",
bibdate = "Thu Apr 8 06:41:17 2021",
bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib;
https://www.math.utah.edu/pub/tex/bib/rust.bib",
URL = "https://ieeexplore.ieee.org/document/9270402",
abstract = "WebAssembly is the newest language to arrive on the
web. It features a binary code format to serve as a
compilation target for native languages such as C, C++,
and Rust and allows native applications to be ported
for web usage. In the current implementation,
WebAssembly requires interaction with JavaScript at a
minimum to initialize and additionally to interact with
Web APIs. As a result, understanding the function calls
between WebAssembly and JavaScript is crucial for
testing, debugging, and maintaining applications
utilizing this new language. To this end, we develop a
tool, WasmView, to visualize function calls made
between WebAssembly and JavaScript in a web
application. WasmView also records the stack traces and
screenshots of applications. This tool can help in
supporting visual testing for interactive applications
and assisting refactoring for code updates. The demo
video for WasmView can be viewed at
https://youtu.be/kjKxL7L7zxI and the source code can be
found at
https://github.com/wasmview/wasmview.github.io.",
acknowledgement = ack-nhfb,
keywords = "Rust programming language",
}
@Article{Thome:2020:IAE,
author = "J. Thom{\'e} and L. K. Shar and D. Bianculli and L.
Briand",
title = "An Integrated Approach for Effective Injection
Vulnerability Analysis of {Web} Applications Through
Security Slicing and Hybrid Constraint Solving",
journal = j-IEEE-TRANS-SOFTW-ENG,
volume = "46",
number = "2",
pages = "163--195",
month = feb,
year = "2020",
CODEN = "IESEDJ",
DOI = "https://doi.org/10.1109/TSE.2018.2844343",
ISSN = "2326-3881",
ISSN-L = "0098-5589",
bibdate = "Thu Mar 05 14:23:20 2020",
bibsource = "https://www.math.utah.edu/pub/tex/bib/ieeetranssoftweng2020.bib;
https://www.math.utah.edu/pub/tex/bib/java2020.bib",
acknowledgement = ack-nhfb,
fjournal = "IEEE Transactions on Software Engineering",
journal-URL = "http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=32",
keywords = "Benchmark testing; constraint solving; Explosions;
Java; Reliability; search-based software engineering;
Security; static analysis; Static analysis; Tools;
Vulnerability detection",
}
@Article{Tomasdottir:2020:AJL,
author = "K. F. T{\'o}masd{\'o}ttir and M. Aniche and A. {Van
Deursen}",
title = "The Adoption of {JavaScript} Linters in Practice: A
Case Study on {ESLint}",
journal = j-IEEE-TRANS-SOFTW-ENG,
volume = "46",
number = "8",
pages = "863--891",
year = "2020",
CODEN = "IESEDJ",
ISSN = "0098-5589 (print), 1939-3520 (electronic)",
ISSN-L = "0098-5589",
bibdate = "Thu Sep 17 07:36:32 2020",
bibsource = "https://www.math.utah.edu/pub/tex/bib/ieeetranssoftweng2020.bib;
https://www.math.utah.edu/pub/tex/bib/java2020.bib",
acknowledgement = ack-nhfb,
fjournal = "IEEE Transactions on Software Engineering",
journal-URL = "http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=32",
}
@Article{Trautsch:2020:UIT,
author = "Fabian Trautsch and Steffen Herbold and Jens
Grabowski",
title = "Are unit and integration test definitions still valid
for modern {Java} projects? {An} empirical study on
open-source projects",
journal = j-J-SYST-SOFTW,
volume = "159",
number = "??",
pages = "??--??",
month = jan,
year = "2020",
CODEN = "JSSODM",
DOI = "https://doi.org/10.1016/j.jss.2019.110421",
ISSN = "0164-1212 (print), 1873-1228 (electronic)",
ISSN-L = "0164-1212",
bibdate = "Mon May 24 20:13:50 MDT 2021",
bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib;
https://www.math.utah.edu/pub/tex/bib/jsystsoftw2020.bib",
URL = "http://www.sciencedirect.com/science/article/pii/S0164121219301955",
acknowledgement = ack-nhfb,
articleno = "110421",
fjournal = "Journal of Systems and Software",
journal-URL = "http://www.sciencedirect.com/science/journal/01641212",
}
@Article{Wirfs-Brock:2020:JFY,
author = "Allen Wirfs-Brock and Brendan Eich",
title = "{JavaScript}: the first 20 years",
journal = j-PACMPL,
volume = "4",
number = "HOPL",
pages = "77:1--77:189",
month = jun,
year = "2020",
DOI = "https://doi.org/10.1145/3386327",
bibdate = "Fri Aug 7 17:39:13 MDT 2020",
bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib;
https://www.math.utah.edu/pub/tex/bib/pacmpl.bib",
URL = "https://dl.acm.org/doi/abs/10.1145/3386327",
abstract = "How a sidekick scripting language for Java, created at
Netscape in a ten-day hack, ships first as a de facto
Web standard and eventually becomes the world's most
widely used programming language. This paper tells the
story of the creation, design, evolution, and
standardization of the JavaScript language over the
period of 1995--2015. But the story is not only about
the technical details of the language. It is also the
story of how people and organizations competed and
collaborated to shape the JavaScript language which
dominates the Web of 2020.",
acknowledgement = ack-nhfb,
articleno = "77",
fjournal = "Proceedings of the ACM on Programming Languages",
journal-URL = "https://pacmpl.acm.org/",
}
@Article{Yuan:2020:AAR,
author = "Y. Yuan and W. Banzhaf",
title = "{ARJA}: Automated Repair of {Java} Programs via
Multi-Objective Genetic Programming",
journal = j-IEEE-TRANS-SOFTW-ENG,
volume = "46",
number = "10",
pages = "1040--1067",
month = oct,
year = "2020",
CODEN = "IESEDJ",
DOI = "https://doi.org/10.1109/TSE.2018.2874648",
ISSN = "0098-5589 (print), 1939-3520 (electronic)",
ISSN-L = "0098-5589",
bibdate = "Fri Dec 18 09:01:37 2020",
bibsource = "https://www.math.utah.edu/pub/tex/bib/ieeetranssoftweng2020.bib;
https://www.math.utah.edu/pub/tex/bib/java2020.bib",
acknowledgement = ack-nhfb,
fjournal = "IEEE Transactions on Software Engineering",
journal-URL = "http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=32",
}
@Article{Zhou:2020:ADR,
author = "Y. Zhou and C. Wang and X. Yan and T. Chen and S.
Panichella and H. Gall",
title = "Automatic Detection and Repair Recommendation of
Directive Defects in {Java API} Documentation",
journal = j-IEEE-TRANS-SOFTW-ENG,
volume = "46",
number = "9",
pages = "1004--1023",
month = sep,
year = "2020",
CODEN = "IESEDJ",
DOI = "https://doi.org/10.1109/TSE.2018.2872971",
ISSN = "0098-5589 (print), 1939-3520 (electronic)",
ISSN-L = "0098-5589",
bibdate = "Fri Dec 18 09:01:37 2020",
bibsource = "https://www.math.utah.edu/pub/tex/bib/ieeetranssoftweng2020.bib;
https://www.math.utah.edu/pub/tex/bib/java2020.bib",
acknowledgement = ack-nhfb,
fjournal = "IEEE Transactions on Software Engineering",
journal-URL = "http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=32",
}
@Article{Zhuo:2020:TEP,
author = "Xilong Zhuo and Chenyi Zhang",
title = "{TFA}: an efficient and precise virtual method call
resolution for {Java}",
journal = j-FORM-ASP-COMPUT,
volume = "32",
number = "4--6",
pages = "395--416",
month = nov,
year = "2020",
CODEN = "FACME5",
DOI = "https://doi.org/10.1007/s00165-020-00518-z",
ISSN = "0934-5043 (print), 1433-299X (electronic)",
ISSN-L = "0934-5043",
bibdate = "Tue Mar 30 14:36:49 MDT 2021",
bibsource = "https://www.math.utah.edu/pub/tex/bib/formaspcomput.bib;
https://www.math.utah.edu/pub/tex/bib/java2020.bib",
URL = "https://link.springer.com/article/10.1007/s00165-020-00518-z",
acknowledgement = ack-nhfb,
fjournal = "Formal Aspects of Computing",
journal-URL = "http://link.springer.com/journal/165",
online-date = "Published: 06 October 2020 Pages: 395 - 416",
}
@Article{Ciomek:2021:PJL,
author = "Krzysztof Ciomek and Mi{\l}osz Kadzi{\'n}ski",
title = "\pkg{Polyrun}: a {Java} library for sampling from the
bounded convex polytopes",
journal = j-SOFTWAREX,
volume = "13",
number = "??",
pages = "Article 100659",
month = jan,
year = "2021",
CODEN = "????",
DOI = "https://doi.org/10.1016/j.softx.2021.100659",
ISSN = "2352-7110",
ISSN-L = "2352-7110",
bibdate = "Fri Apr 30 07:51:12 MDT 2021",
bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib;
https://www.math.utah.edu/pub/tex/bib/softwarex.bib",
URL = "http://www.sciencedirect.com/science/article/pii/S2352711021000042",
acknowledgement = ack-nhfb,
fjournal = "SoftwareX",
journal-URL = "https://www.sciencedirect.com/journal/softwarex/issues",
}
@Misc{Darcy:2021:FPA,
author = "Joseph D. Darcy",
title = "Floating-Point Arithmetic: What Every {Java}
Programmer Should Know!",
howpublished = "Web site 29m37s video.",
year = "2021",
bibdate = "Tue Feb 27 11:53:09 2024",
bibsource = "https://www.math.utah.edu/pub/tex/bib/fparith.bib;
https://www.math.utah.edu/pub/tex/bib/java2020.bib",
URL = "https://youtu.be/ajaHQ9S4uTA",
acknowledgement = ack-nhfb,
}
@Article{Hermans:2021:TTE,
author = "Felienne Hermans",
title = "Two Things Every {Java} Developer Should Know",
journal = j-IEEE-SOFTWARE,
volume = "38",
number = "6",
pages = "110--112",
month = nov # "\slash " # dec,
year = "2021",
CODEN = "IESOEG",
DOI = "https://doi.org/10.1109/MS.2021.3105875",
ISSN = "0740-7459 (print), 1937-4194 (electronic)",
ISSN-L = "0740-7459",
bibdate = "Thu Apr 7 14:13:47 2022",
bibsource = "https://www.math.utah.edu/pub/tex/bib/ieeesoft.bib;
https://www.math.utah.edu/pub/tex/bib/java2020.bib",
acknowledgement = ack-nhfb,
fjournal = "IEEE Software",
journal-URL = "http://www.computer.org/portal/web/csdl/magazines/software",
}
@Article{Huang:2021:JMJ,
author = "Yunhua Huang and Tao Li and Lijia Zhang and Beibei Li
and Xiaojie Liu",
title = "{JSContana}: Malicious {JavaScript} detection using
adaptable context analysis and key feature extraction",
journal = j-COMPUT-SECUR,
volume = "104",
number = "??",
pages = "Article 102218",
month = may,
year = "2021",
CODEN = "CPSEDU",
DOI = "https://doi.org/10.1016/j.cose.2021.102218",
ISSN = "0167-4048 (print), 1872-6208 (electronic)",
ISSN-L = "0167-4048",
bibdate = "Wed Mar 10 08:25:10 MST 2021",
bibsource = "https://www.math.utah.edu/pub/tex/bib/computsecur2020.bib;
https://www.math.utah.edu/pub/tex/bib/java2020.bib",
URL = "http://www.sciencedirect.com/science/article/pii/S0167404821000420",
acknowledgement = ack-nhfb,
fjournal = "Computers \& Security",
journal-URL = "http://www.sciencedirect.com/science/journal/01674048",
}
@Article{Jung:2021:TPI,
author = "Kumseok Jung and Julien Gascon-Samson and Shivanshu
Goyal and Armin Rezaiean-Asel and Karthik
Pattabiraman",
title = "{ThingsMigrate}: Platform-independent migration of
stateful {JavaScript Internet of Things} applications",
journal = j-SPE,
volume = "51",
number = "1",
pages = "117--155",
month = jan,
year = "2021",
CODEN = "SPEXBL",
DOI = "https://doi.org/10.1002/spe.2936",
ISSN = "0038-0644 (print), 1097-024X (electronic)",
ISSN-L = "0038-0644",
bibdate = "Fri Feb 26 08:59:24 MST 2021",
bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib;
https://www.math.utah.edu/pub/tex/bib/spe.bib",
acknowledgement = ack-nhfb,
ajournal = "Softw. Pract. Exp.",
fjournal = "Software --- Practice and Experience",
journal-URL = "http://onlinelibrary.wiley.com/journal/10.1002/(ISSN)1097-024X",
onlinedate = "05 December 2020",
}
@Article{Liu:2021:SDC,
author = "Lun Liu and Todd Millstein and Madanlal Musuvathi",
title = "Safe-by-default Concurrency for Modern Programming
Languages",
journal = j-TOPLAS,
volume = "43",
number = "3",
pages = "10:1--10:50",
month = sep,
year = "2021",
CODEN = "ATPSDT",
DOI = "https://doi.org/10.1145/3462206",
ISSN = "0164-0925 (print), 1558-4593 (electronic)",
ISSN-L = "0164-0925",
bibdate = "Tue Sep 14 07:20:02 MDT 2021",
bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib;
https://www.math.utah.edu/pub/tex/bib/julia.bib;
https://www.math.utah.edu/pub/tex/bib/toplas.bib",
URL = "https://dl.acm.org/doi/10.1145/3462206",
abstract = "Modern ``safe'' programming languages follow a design
principle that we call safety by default and
performance by choice. By default, these languages
enforce important programming abstractions, such as
memory and type safety, but they also provide
mechanisms that allow expert programmers to explicitly
trade some safety guarantees for increased performance.
However, these same languages have adopted the inverse
design principle in their support for multithreading.
By default, multithreaded programs violate important
abstractions, such as program order and atomic access
to individual memory locations to admit compiler and
hardware optimizations that would otherwise need to be
restricted. Not only does this approach conflict with
the design philosophy of safe languages, but very
little is known about the practical performance cost of
providing a stronger default semantics.
In this article, we propose a safe-by-default and
performance-by-choice multithreading semantics for safe
languages, which we call volatile-by-default. Under
this semantics, programs have sequential consistency
(SC) by default, which is the natural ``interleaving''
semantics of threads. However, the volatile-by-default
design also includes annotations that allow expert
programmers to avoid the associated overheads in
performance-critical code. We describe the design,
implementation, optimization, and evaluation of the
volatile-by-default semantics for two different safe
languages: Java and Julia. First, we present
VBD-HotSpot and VBDA-HotSpot, modifications of Oracle's
HotSpot JVM that enforce the volatile-by-default
semantics on Intel x86-64 hardware and ARM-v8 hardware.
Second, we present SC-Julia, a modification to the
just-in-time compiler within the standard Julia
implementation that provides best-effort enforcement of
the volatile-by-default semantics on x86-64 hardware
for the purpose of performance evaluation. We also
detail two different implementation techniques: a
baseline approach that simply reuses existing
mechanisms in the compilers for handling atomic
accesses, and a speculative approach that avoids the
overhead of enforcing the volatile-by-default semantics
until there is the possibility of an SC violation. Our
results show that the cost of enforcing SC is
significant but arguably still acceptable for some use
cases today. Further, we demonstrate that compiler
optimizations as well as programmer annotations can
reduce the overhead considerably.",
acknowledgement = ack-nhfb,
articleno = "10",
fjournal = "ACM Transactions on Programming Languages and
Systems",
journal-URL = "https://dl.acm.org/loi/toplas",
}
@Article{Moraes:2021:OHM,
author = "Jo{\~a}o Pedro Moraes and Ivanilton Polato and Igor
Wiese and Filipe Saraiva and Gustavo Pinto",
title = "From one to hundreds: multi-licensing in the
{JavaScript} ecosystem",
journal = j-EMPIR-SOFTWARE-ENG,
volume = "26",
number = "3",
pages = "??--??",
month = may,
year = "2021",
CODEN = "ESENFW",
DOI = "https://doi.org/10.1007/s10664-020-09936-2",
ISSN = "1382-3256 (print), 1573-7616 (electronic)",
ISSN-L = "1382-3256",
bibdate = "Tue Mar 30 15:09:48 MDT 2021",
bibsource = "https://www.math.utah.edu/pub/tex/bib/empir-software-eng.bib;
https://www.math.utah.edu/pub/tex/bib/java2020.bib",
URL = "http://link.springer.com/article/10.1007/s10664-020-09936-2",
acknowledgement = ack-nhfb,
articleno = "39",
fjournal = "Empirical Software Engineering",
journal-URL = "http://link.springer.com/journal/10664",
}
@Article{Moseler:2021:DFC,
author = "Oliver Moseler and Felix Lemmer and Sebastian Baltes
and Stephan Diehl",
title = "On the diversity and frequency of code related to
mathematical formulas in real-world {Java} projects",
journal = j-J-SYST-SOFTW,
volume = "172",
number = "??",
pages = "??--??",
month = feb,
year = "2021",
CODEN = "JSSODM",
DOI = "https://doi.org/10.1016/j.jss.2020.110863",
ISSN = "0164-1212 (print), 1873-1228 (electronic)",
ISSN-L = "0164-1212",
bibdate = "Mon May 24 20:13:55 MDT 2021",
bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib;
https://www.math.utah.edu/pub/tex/bib/jsystsoftw2020.bib",
URL = "http://www.sciencedirect.com/science/article/pii/S0164121220302533",
acknowledgement = ack-nhfb,
articleno = "110863",
fjournal = "Journal of Systems and Software",
journal-URL = "http://www.sciencedirect.com/science/journal/01641212",
}
@Article{Murawski:2021:GSI,
author = "Andrzej S. Murawski and Nikos Tzevelekos",
title = "Game Semantics for Interface Middleweight {Java}",
journal = j-J-ACM,
volume = "68",
number = "1",
pages = "4:1--4:51",
month = feb,
year = "2021",
CODEN = "JACOAH",
DOI = "https://doi.org/10.1145/3428676",
ISSN = "0004-5411 (print), 1557-735X (electronic)",
ISSN-L = "0004-5411",
bibdate = "Tue Feb 23 11:03:25 MST 2021",
bibsource = "https://www.math.utah.edu/pub/tex/bib/jacm.bib;
https://www.math.utah.edu/pub/tex/bib/java2020.bib",
URL = "https://dl.acm.org/doi/10.1145/3428676",
abstract = "We consider an object calculus in which open terms
interact with the environment through interfaces. The
calculus is intended to capture the essence of
contextual interactions of Middleweight Java code.
Using game semantics, we provide fully abstract
\ldots{}",
acknowledgement = ack-nhfb,
articleno = "4",
fjournal = "Journal of the ACM",
journal-URL = "https://dl.acm.org/loi/jacm",
}
@Article{Ntantogian:2021:NNJ,
author = "Christoforos Ntantogian and Panagiotis Bountakas and
Dimitris Antonaropoulos and Constantinos Patsakis and
Christos Xenakis",
title = "{NodeXP}: {NOde.js} server-side {JavaScript} injection
vulnerability {DEtection} and {eXPloitation}",
journal = j-J-INFO-SEC-APPL,
volume = "58",
number = "??",
pages = "??--??",
month = may,
year = "2021",
CODEN = "????",
DOI = "https://doi.org/10.1016/j.jisa.2021.102752",
ISSN = "2214-2126",
ISSN-L = "2214-2126",
bibdate = "Sun May 8 11:59:35 MDT 2022",
bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib;
https://www.math.utah.edu/pub/tex/bib/jinfosecappl.bib",
URL = "http://www.sciencedirect.com/science/article/pii/S221421262100003X",
acknowledgement = ack-nhfb,
ajournal = "J. Info. Sec. Appl.",
articleno = "102752",
fjournal = "Journal of Information Security and Applications
(JISA)",
journal-URL = "http://www.sciencedirect.com/science/journal/22142126",
}
@Article{P:2021:FSM,
author = "Jevitha K. P. and Swaminathan Jayaraman and Bharat
Jayaraman and Sethumadhavan M",
title = "Finite-state model extraction and visualization from
{Java} program execution",
journal = j-SPE,
volume = "51",
number = "2",
pages = "409--437",
month = feb,
year = "2021",
CODEN = "SPEXBL",
DOI = "https://doi.org/10.1002/spe.2910",
ISSN = "0038-0644 (print), 1097-024X (electronic)",
ISSN-L = "0038-0644",
bibdate = "Fri Feb 26 08:59:24 MST 2021",
bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib;
https://www.math.utah.edu/pub/tex/bib/spe.bib",
acknowledgement = ack-nhfb,
ajournal = "Softw. Pract. Exp.",
fjournal = "Software --- Practice and Experience",
journal-URL = "http://onlinelibrary.wiley.com/journal/10.1002/(ISSN)1097-024X",
onlinedate = "11 October 2020",
}
@Article{Shimari:2021:NNO,
author = "Kazumasa Shimari and Takashi Ishio and Tetsuya Kanda
and Naoto Ishida and Katsuro Inoue",
title = "{NOD4J}: Near-omniscient debugging tool for {Java}
using size-limited execution trace",
journal = j-SCI-COMPUT-PROGRAM,
volume = "206",
number = "??",
pages = "??--??",
day = "1",
month = jun,
year = "2021",
CODEN = "SCPGD4",
DOI = "https://doi.org/10.1016/j.scico.2021.102630",
ISSN = "0167-6423 (print), 1872-7964 (electronic)",
ISSN-L = "0167-6423",
bibdate = "Wed May 26 13:33:26 MDT 2021",
bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib;
https://www.math.utah.edu/pub/tex/bib/scicomputprogram.bib",
URL = "http://www.sciencedirect.com/science/article/pii/S016764232100023X",
acknowledgement = ack-nhfb,
articleno = "102630",
fjournal = "Science of Computer Programming",
journal-URL = "http://www.sciencedirect.com/science/journal/01676423",
}
@Article{Sultana:2021:USM,
author = "Kazi Zakia Sultana and Vaibhav Anu and Tai-Yin Chong",
title = "Using software metrics for predicting vulnerable
classes and methods in {Java} projects: a machine
learning approach",
journal = j-J-SOFTW-EVOL-PROC,
volume = "33",
number = "3",
pages = "e2303:1--e2303:??",
month = mar,
year = "2021",
CODEN = "????",
DOI = "https://doi.org/10.1002/smr.2303",
ISSN = "2047-7473 (print), 2047-7481 (electronic)",
ISSN-L = "2047-7473",
bibdate = "Mon May 17 08:20:32 MDT 2021",
bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib;
https://www.math.utah.edu/pub/tex/bib/jsoftwevolproc.bib",
acknowledgement = ack-nhfb,
ajournal = "",
fjournal = "Journal of Software: Evolution and Process",
journal-URL = "http://onlinelibrary.wiley.com/journal/10.1002/(ISSN)2047-7481",
onlinedate = "07 August 2020",
}
@Article{Yu:2021:CUE,
author = "Zhongxing Yu and Chenggang Bai and Lionel Seinturier
and Martin Monperrus",
title = "Characterizing the Usage, Evolution and Impact of
{Java} Annotations in Practice",
journal = j-IEEE-TRANS-SOFTW-ENG,
volume = "47",
number = "5",
pages = "969--986",
year = "2021",
CODEN = "IESEDJ",
DOI = "https://doi.org/10.1109/TSE.2019.2910516",
ISSN = "0098-5589 (print), 1939-3520 (electronic)",
ISSN-L = "0098-5589",
bibdate = "Thu May 20 08:34:04 2021",
bibsource = "https://www.math.utah.edu/pub/tex/bib/ieeetranssoftweng2020.bib;
https://www.math.utah.edu/pub/tex/bib/java2020.bib",
acknowledgement = ack-nhfb,
fjournal = "IEEE Transactions on Software Engineering",
journal-URL = "http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=32",
}
@Article{Zerouali:2021:UJP,
author = "Ahmed Zerouali and Tom Mens and Coen {De Roover}",
title = "On the usage of {\em {JavaScript}}, {{\em Python}} and
{{\em Ruby}} packages in {Docker Hub} images",
journal = j-SCI-COMPUT-PROGRAM,
volume = "207",
number = "??",
pages = "??--??",
day = "1",
month = jul,
year = "2021",
CODEN = "SCPGD4",
DOI = "https://doi.org/10.1016/j.scico.2021.102653",
ISSN = "0167-6423 (print), 1872-7964 (electronic)",
ISSN-L = "0167-6423",
bibdate = "Wed May 26 13:33:26 MDT 2021",
bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib;
https://www.math.utah.edu/pub/tex/bib/python.bib;
https://www.math.utah.edu/pub/tex/bib/scicomputprogram.bib",
URL = "http://www.sciencedirect.com/science/article/pii/S0167642321000460",
acknowledgement = ack-nhfb,
articleno = "102653",
fjournal = "Science of Computer Programming",
journal-URL = "http://www.sciencedirect.com/science/journal/01676423",
}
@Article{Alazab:2022:DOM,
author = "Ammar Alazab and Ansam Khraisat and Moutaz Alazab and
Sarabjot Singh",
title = "Detection of Obfuscated Malicious {JavaScript} Code",
journal = j-FUTURE-INTERNET,
volume = "14",
number = "8",
pages = "217",
day = "22",
month = jul,
year = "2022",
CODEN = "????",
DOI = "https://doi.org/10.3390/fi14080217",
ISSN = "1999-5903",
bibdate = "Fri Sep 2 12:13:30 MDT 2022",
bibsource = "https://www.math.utah.edu/pub/tex/bib/future-internet.bib;
https://www.math.utah.edu/pub/tex/bib/java2020.bib",
URL = "https://www.mdpi.com/1999-5903/14/8/217",
abstract = "Websites on the Internet are becoming increasingly
vulnerable to malicious JavaScript code because of its
strong impact and dramatic effect. Numerous recent
cyberattacks use JavaScript vulnerabilities, and in
some cases employ obfuscation to conceal their malice
and elude detection. To secure Internet users, an
adequate intrusion-detection system (IDS) for malicious
JavaScript must be developed. This paper proposes an
automatic IDS of obfuscated JavaScript that employs
several features and machine-learning techniques that
effectively distinguish malicious and benign JavaScript
codes. We also present a new set of features, which can
detect obfuscation in JavaScript. The features are
selected based on identifying obfuscation, a popular
method to bypass conventional malware detection
systems. The performance of the suggested approach has
been tested on JavaScript obfuscation attacks. The
studies have shown that IDS based on selected features
has a detection rate of 94\% for malicious samples and
81\% for benign samples within the dimension of the
feature vector of 60.",
acknowledgement = ack-nhfb,
journal-URL = "https://www.mdpi.com/journal/futureinternet",
}
@Article{Amalfitano:2022:HDJ,
author = "Domenico Amalfitano and Ana C. R. Paiva and Alexis
Inquel and Lu{\'\i}s Pinto and Anna Rita Fasolino and
Ren{\'e} Just",
title = "How do {Java} mutation tools differ?",
journal = j-CACM,
volume = "65",
number = "12",
pages = "74--89",
month = dec,
year = "2022",
CODEN = "CACMA2",
DOI = "https://doi.org/10.1145/3526099",
ISSN = "0001-0782 (print), 1557-7317 (electronic)",
ISSN-L = "0001-0782",
bibdate = "Thu Dec 8 15:33:46 MST 2022",
bibsource = "https://www.math.utah.edu/pub/tex/bib/cacm2020.bib;
https://www.math.utah.edu/pub/tex/bib/java2020.bib",
URL = "https://dl.acm.org/doi/10.1145/3526099",
abstract = "A framework for aiding future Java mutation tool
comparisons.",
acknowledgement = ack-nhfb,
fjournal = "Communications of the ACM",
journal-URL = "https://dl.acm.org/loi/cacm",
}
@Article{Bacchiani:2022:JTC,
author = "Lorenzo Bacchiani and Mario Bravetti and Marco Giunti
and Jo{\~a}o Mota and Ant{\'o}nio Ravara",
title = "A {Java} typestate checker supporting inheritance",
journal = j-SCI-COMPUT-PROGRAM,
volume = "221",
number = "??",
pages = "??--??",
day = "1",
month = sep,
year = "2022",
CODEN = "SCPGD4",
DOI = "https://doi.org/10.1016/j.scico.2022.102844",
ISSN = "0167-6423 (print), 1872-7964 (electronic)",
ISSN-L = "0167-6423",
bibdate = "Wed Aug 3 07:49:11 MDT 2022",
bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib;
https://www.math.utah.edu/pub/tex/bib/scicomputprogram.bib",
URL = "http://www.sciencedirect.com/science/article/pii/S0167642322000776",
acknowledgement = ack-nhfb,
articleno = "102844",
fjournal = "Science of Computer Programming",
journal-URL = "http://www.sciencedirect.com/science/journal/01676423",
}
@Article{Bierhoff:2022:WNW,
author = "Kevin Bierhoff",
title = "Wildcards need witness protection",
journal = j-PACMPL,
volume = "6",
number = "OOPSLA2",
pages = "138:1--138:??",
month = oct,
year = "2022",
CODEN = "????",
DOI = "https://doi.org/10.1145/3563301",
ISSN = "2475-1421 (electronic)",
ISSN-L = "2475-1421",
bibdate = "Sat Mar 11 09:08:36 MST 2023",
bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib;
https://www.math.utah.edu/pub/tex/bib/pacmpl.bib",
URL = "https://dl.acm.org/doi/10.1145/3563301",
abstract = "In this paper, we show that the unsoundness discovered
by Amin and Tate (2016) in Java's wildcards is
avoidable, even in the absence of a nullness-aware type
system. \ldots{}",
acknowledgement = ack-nhfb,
articleno = "138",
fjournal = "Proceedings of the ACM on Programming Languages
(PACMPL)",
journal-URL = "https://dl.acm.org/loi/pacmpl",
}
@Article{Bijlsma:2022:EDP,
author = "Lex A. Bijlsma and Arjan J. F. Kok and Harrie J. M.
Passier and Harold J. Pootjes and Sylvia Stuurman",
title = "Evaluation of design pattern alternatives in {Java}",
journal = j-SPE,
volume = "52",
number = "5",
pages = "1305--1315",
month = may,
year = "2022",
CODEN = "SPEXBL",
DOI = "https://doi.org/10.1002/spe.3061",
ISSN = "0038-0644 (print), 1097-024X (electronic)",
ISSN-L = "0038-0644",
bibdate = "Tue Feb 28 12:16:31 MST 2023",
bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib;
https://www.math.utah.edu/pub/tex/bib/spe.bib",
acknowledgement = ack-nhfb,
ajournal = "Softw. Pract. Exp.",
fjournal = "Software --- Practice and Experience",
journal-URL = "http://onlinelibrary.wiley.com/journal/10.1002/(ISSN)1097-024X",
onlinedate = "31 December 2021",
}
@Article{Chaqfeh:2022:JWD,
author = "Moumena Chaqfeh and Russell Coke and Jacinta Hu and
Waleed Hashmi and Lakshmi Subramanian and Talal Rahwan
and Yasir Zaki",
title = "\pkg{JSAnalyzer}: a {Web} Developer Tool for
Simplifying Mobile {Web} Pages through Non-critical
{JavaScript} Elimination",
journal = j-TWEB,
volume = "16",
number = "4",
pages = "17:1--17:??",
month = nov,
year = "2022",
CODEN = "????",
DOI = "https://doi.org/10.1145/3550358",
ISSN = "1559-1131 (print), 1559-114X (electronic)",
ISSN-L = "1559-1131",
bibdate = "Fri Dec 9 06:51:15 MST 2022",
bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib;
https://www.math.utah.edu/pub/tex/bib/tweb.bib",
URL = "https://dl.acm.org/doi/10.1145/3550358",
abstract = "The amount of JavaScript used in web pages has
substantially grown in the past decade, leading to
large and complex pages that are computationally
intensive for handheld mobile devices. Due to the
increasing usage of these devices to access today's
web, \ldots{}",
acknowledgement = ack-nhfb,
articleno = "17",
fjournal = "ACM Transactions on the Web (TWEB)",
journal-URL = "https://dl.acm.org/loi/tweb",
}
@Article{Chen:2022:SSC,
author = "Taolue Chen and Alejandro Flores-Lamas and Matthew
Hague and Zhilei Han and Denghang Hu and Shuanglong Kan
and Anthony W. Lin and Philipp R{\"u}mmer and Zhilin
Wu",
title = "Solving string constraints with Regex-dependent
functions through transducers with priorities and
variables",
journal = j-PACMPL,
volume = "6",
number = "POPL",
pages = "45:1--45:31",
month = jan,
year = "2022",
CODEN = "????",
DOI = "https://doi.org/10.1145/3498707",
ISSN = "2475-1421 (electronic)",
ISSN-L = "2475-1421",
bibdate = "Thu May 26 06:32:48 MDT 2022",
bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib;
https://www.math.utah.edu/pub/tex/bib/pacmpl.bib;
https://www.math.utah.edu/pub/tex/bib/string-matching.bib",
URL = "https://dl.acm.org/doi/10.1145/3498707",
abstract = "Regular expressions are a classical concept in formal
language theory. Regular expressions in programming
languages (RegEx) such as JavaScript, feature
non-standard semantics of operators (e.g. greedy/lazy
Kleene star), as well as additional features \ldots{}",
acknowledgement = ack-nhfb,
articleno = "45",
fjournal = "Proceedings of the ACM on Programming Languages
(PACMPL)",
journal-URL = "https://dl.acm.org/loi/pacmpl",
}
@Article{Chowdhury:2022:UTP,
author = "Md Atique Reza Chowdhury and Rabe Abdalkareem and Emad
Shihab and Bram Adams",
title = "On the Untriviality of Trivial Packages: an Empirical
Study of npm {JavaScript} Packages",
journal = j-IEEE-TRANS-SOFTW-ENG,
volume = "48",
number = "8",
pages = "2695--2708",
month = aug,
year = "2022",
CODEN = "IESEDJ",
DOI = "https://doi.org/10.1109/TSE.2021.3068901",
ISSN = "0098-5589 (print), 1939-3520 (electronic)",
ISSN-L = "0098-5589",
bibdate = "Thu Sep 22 07:51:46 2022",
bibsource = "https://www.math.utah.edu/pub/tex/bib/gnu.bib;
https://www.math.utah.edu/pub/tex/bib/ieeetranssoftweng2020.bib;
https://www.math.utah.edu/pub/tex/bib/java2020.bib;
https://www.math.utah.edu/pub/tex/bib/python.bib",
acknowledgement = ack-nhfb,
fjournal = "IEEE Transactions on Software Engineering",
journal-URL = "http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=32",
keywords = "Node Package Manager (npm); Python Package Index
(PyPI)",
}
@Article{Cobbs:2022:PPW,
author = "Archie L. Cobbs",
title = "Persistence Programming: Are we doing this right?",
journal = j-QUEUE,
volume = "20",
number = "1",
pages = "24--39",
month = jan,
year = "2022",
CODEN = "AQCUAE",
DOI = "https://doi.org/10.1145/3526210",
ISSN = "1542-7730 (print), 1542-7749 (electronic)",
ISSN-L = "1542-7730",
bibdate = "Wed Apr 20 08:20:07 MDT 2022",
bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib;
https://www.math.utah.edu/pub/tex/bib/queue.bib",
URL = "https://dl.acm.org/doi/10.1145/3526210",
abstract = "A few years ago, my team was working on a commercial
Java development project for Enhanced 911 (E911)
emergency call centers. We were frustrated by trying to
meet the data-storage requirements of this project
using the traditional model of Java over an SQL
database. After some reflection about the particular
requirements (and nonrequirements) of the project, we
took a deep breath and decided to create our own custom
persistence layer from scratch.",
acknowledgement = ack-nhfb,
fjournal = "ACM Queue: Tomorrow's Computing Today",
journal-URL = "https://dl.acm.org/loi/queue",
}
@Article{DaSilva:2022:BCW,
author = "L{\'e}uson {Da Silva} and Paulo Borba and Arthur
Pires",
title = "Build conflicts in the wild",
journal = j-J-SOFTW-EVOL-PROC,
volume = "34",
number = "4",
pages = "e2441:1--e2441:??",
month = apr,
year = "2022",
CODEN = "????",
DOI = "https://doi.org/10.1002/smr.2441",
ISSN = "2047-7473 (print), 2047-7481 (electronic)",
ISSN-L = "2047-7473",
bibdate = "Wed Apr 13 09:42:14 MDT 2022",
bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib;
https://www.math.utah.edu/pub/tex/bib/jsoftwevolproc.bib",
acknowledgement = ack-nhfb,
ajournal = "J. Softw. Evol. Proc.",
fjournal = "Journal of Software: Evolution and Process",
journal-URL = "http://onlinelibrary.wiley.com/journal/10.1002/(ISSN)2047-7481",
keywords = "open-source projects in Java",
onlinedate = "07 March 2022",
}
@Article{Fang:2022:JMJ,
author = "Yong Fang and Chaoyi Huang and Minchuan Zeng and
Zhiying Zhao and Cheng Huang",
title = "{JStrong}: Malicious {JavaScript} detection based on
code semantic representation and graph neural network",
journal = j-COMPUT-SECUR,
volume = "118",
number = "??",
pages = "Article 102715",
month = jul,
year = "2022",
CODEN = "CPSEDU",
DOI = "https://doi.org/10.1016/j.cose.2022.102715",
ISSN = "0167-4048 (print), 1872-6208 (electronic)",
ISSN-L = "0167-4048",
bibdate = "Mon May 23 10:57:57 MDT 2022",
bibsource = "https://www.math.utah.edu/pub/tex/bib/computsecur2020.bib;
https://www.math.utah.edu/pub/tex/bib/java2020.bib",
URL = "http://www.sciencedirect.com/science/article/pii/S0167404822001110",
acknowledgement = ack-nhfb,
fjournal = "Computers \& Security",
journal-URL = "http://www.sciencedirect.com/science/journal/01674048",
}
@Book{Feigenbaum:2022:GJP,
author = "Barry Feigenbaum",
title = "{Go} for {Java} Programmers Learn the {Google Go}
Programming Language",
publisher = pub-APRESS,
address = pub-APRESS:adr,
pages = "xxxv + 582 + 61 + 1",
year = "2022",
DOI = "https://doi.org/10.1007/978-1-4842-7199-5",
ISBN = "1-4842-7199-8",
ISBN-13 = "978-1-4842-7199-5",
LCCN = "QA76.73.G63 F45 2022",
bibdate = "Wed Feb 16 12:54:41 MST 2022",
bibsource = "fsz3950.oclc.org:210/WorldCat;
https://www.math.utah.edu/pub/tex/bib/go.bib;
https://www.math.utah.edu/pub/tex/bib/java2020.bib",
abstract = "Get an in-depth introduction to the Go programming
language and its associated standard runtime libraries.
This book is targeted towards programmers that already
know the Java programming language and uses that Java
knowledge to direct the learning of Go. You will get a
deep understanding of the Go language and obtain a good
introduction to the extensive Go standard libraries.
This book teaches Go through clear descriptions of Go
features, contrasting them with similar Java features
and via providing extensive code examples. After
reading this book you will be knowledgeable enough
about Go and its libraries to begin doing effective
programming using the Go language. Go for Java
Programmers is structured more like a tutorial than a
reference document. It covers key features of Go, but
not every little detail as a reference might. Its goal
is to get you competent enough in Go and its runtime
that you can begin to effectively write Go programs.
What You Will Learn Examine the key Go Runtime
libraries and how they compare to Java libraries See
when it is appropriate to use the Go language instead
of the Java language Read and understand programs
written in Go Write many programs in Go Determine when
Go is an appropriate language to develop applications
in Discover how the Go and Java languages and
development experience compare and contrast Who This
Book Is For Primarily existing professional Java
programmers or students that already know something
about Java. A basic understanding of Java is expected.
Some basic programming experience with imperative
languages is expected.",
acknowledgement = ack-nhfb,
subject = "Go (Computer program language); Java (Computer program
language)",
tableofcontents = "Intro \\
Table of Contents \\
About the Author \\
About the Technical Reviewer \\
Acknowledgments \\
Introduction \\
Assessments \\
Part I: First Look at Go \\
1: A Brief Look at Go vs. Java \\
Go Is a Compiled (vs. Interpreted, As Java Is) Language
\\
Go and Java Share Similar Program Structure \\
Go and Java Have Some Code Style Differences That
Influence How Code Is Structured \\
Both Go and Java Are Procedural Languages \\
Java Is an Object-Oriented (OO) Language, While Go Is
Not Fully OO \\
Java Is a Highly Functional Language, Go Is Less So \\
Java Is a Highly Declarative Language, Go Is Less So
\\
Many Java Features Are Annotation Driven \\
Go Does Not Support Exceptions \\
Both Java and Go Use Managed Memory (Garbage
Collectors) \\
Go and Java Both Support Concurrency but in Different
Ways \\
Go's Runtime Is Simpler Than the JRE \\
The Go Program Build Process Is Different \\
Go and Java Have Similar Release Cycles \\
2: What Java Has That Go Does Not \\
Multiple Assignments \\
Statements and Operators \\
Assert Statement \\
While and Do Statements \\
Throw Statement/Throws Clause \\
Strictfp, transient, volatile, synchronized, abstract,
static \\
Objects and Classes (OOP) and Inner Classes, Lambdas,
this, super, Explicit Constructors \\
Generic Types and Methods \\
Extensive Functional Programming Capabilities \\
Boxing of Primitive Values \\
Source Annotations \\
Multiple Visibilities \\
Overloaded/Overridden Functions \\
Formal Enums \\
Built-in Binary Data Self-Serialization \\
Concurrent Collections \\
3: A Deeper Comparison of Go and Java \\
Part II: The Go Language \\
4: Key Go Aspects \\
Simple Go Program Example \\
Go Packages \\
Go Comments \\
Go Build/Run Process \\
Go Playground \\
Go Integrated Development Environments \\
Running Go Programs \\
Building Go Programs \\
Bytecode vs. Real Code \\
Go Command-Line Tools \\
Tools Bundled in the Go Command \\
Other Tools \\
Go Runs Programs Instead of Classes \\
Go Memory Management \\
Go Identifiers \\
Go Scopes \\
Go Scopes vs. Go Source Files \\
Initializing Go Variables \\
Lifetimes of Go Identifiers \\
Go Module Summary \\
Go Assignments and Expressions \\
Text Formatting in Go \\
Goroutines \\
Issues with Concurrency \\
Go Concurrency \\
Goroutines by Example \\
5: Go Basic Features \\
Language Keywords \\
Operators and Punctuation \\
Go Operator Precedence \\
Go Built-in Functions \\
6: Go Types \\
Primitive/Built-in Types \\
Numbers \\
Characters and Strings \\
Reference vs. Pointer Types \\
Drill Down on Basic Data Types \\
Boolean Type \\
Integer Types \\
Floating-Point Types \\
When nil Can Go Wrong \\
Programmer-Defined Types \\
Arrays \\
Slices \\
Maps \\
Functions \\
Methods As Functions \\
Any Declared Type Can Have Custom Functions \\
Functions As Values \\
Structs \\
Structure Fields \\
Structure Literals \\
Nested Structures",
}
@Article{Ferreira:2022:AJF,
author = "Fabio Ferreira and Hudson Silva Borges and Marco Tulio
Valente",
title = "On the (un-)adoption of {JavaScript} front-end
frameworks",
journal = j-SPE,
volume = "52",
number = "4",
pages = "947--966",
month = apr,
year = "2022",
CODEN = "SPEXBL",
DOI = "https://doi.org/10.1002/spe.3044",
ISSN = "0038-0644 (print), 1097-024X (electronic)",
ISSN-L = "0038-0644",
bibdate = "Fri Apr 1 16:34:33 MDT 2022",
bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib;
https://www.math.utah.edu/pub/tex/bib/spe.bib",
acknowledgement = ack-nhfb,
ajournal = "Softw. Pract. Exp.",
fjournal = "Software --- Practice and Experience",
journal-URL = "http://onlinelibrary.wiley.com/journal/10.1002/(ISSN)1097-024X",
onlinedate = "18 October 2021",
}
@Article{Hartley:2022:JTC,
author = "Tim Hartley and Foivos S. Zakkak and Andy Nisbet and
Christos Kotselidis and Mikel Luj{\'a}n",
title = "Just-In-Time Compilation on {ARM} --- a Closer Look at
Call-Site Code Consistency",
journal = j-TACO,
volume = "19",
number = "4",
pages = "54:1--54:??",
month = dec,
year = "2022",
CODEN = "????",
DOI = "https://doi.org/10.1145/3546568",
ISSN = "1544-3566 (print), 1544-3973 (electronic)",
ISSN-L = "1544-3566",
bibdate = "Thu Dec 8 06:39:05 MST 2022",
bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib;
https://www.math.utah.edu/pub/tex/bib/taco.bib",
URL = "https://dl.acm.org/doi/10.1145/3546568",
abstract = "The increase in computational capability of low-power
Arm architectures has seen them diversify from their
more traditional domain of portable battery powered
devices into data center servers, personal computers,
and even Supercomputers. Thus, managed languages (Java,
Javascript, etc.) that require a managed runtime
environment (MRE) need to be ported to the Arm
architecture, requiring an understanding of different
design tradeoffs.
This article studies how the lack of strong hardware
support for Self Modifying Code (SMC) in low-power
architectures (e.g., absence of cache coherence between
instruction cache and data caches), affects
Just-In-Time (JIT) compilation and runtime behavior in
MREs. Specifically, we focus on the implementation and
treatment of call-sites, that must maintain code
consistency in the face of concurrent execution and
modification to redirect control (patching) by the MRE.
The lack of coherence, is compounded with the maximum
distance (reach of) a call-site can jump to as the
reach is more constrained (smaller distance) in Arm
when compared with Intel/AMD. We present four different
robust implementations for call-sites and discuss their
advantages and disadvantages in the absence of strong
hardware support for SMC. Finally, we evaluate each
approach using a microbenchmark, further evaluating the
best three techniques using three JVM benchmark suites
and the open source MaxineVM showcasing performance
differences up to 12\%. Based on these observations, we
propose extending code-cache partitioning strategies
for JIT compiled code to encourage more efficient local
branching for architectures with limited direct branch
ranges.",
acknowledgement = ack-nhfb,
articleno = "54",
fjournal = "ACM Transactions on Architecture and Code Optimization
(TACO)",
journal-URL = "https://dl.acm.org/loi/taco",
}
@Article{Hoeflich:2022:HIK,
author = "Joshua Hoeflich and Robert Bruce Findler and Manuel
Serrano",
title = "Highly illogical, {Kirk}: spotting type mismatches in
the large despite broken contracts, unsound types, and
too many linters",
journal = j-PACMPL,
volume = "6",
number = "OOPSLA2",
pages = "142:1--142:??",
month = oct,
year = "2022",
CODEN = "????",
DOI = "https://doi.org/10.1145/3563305",
ISSN = "2475-1421 (electronic)",
ISSN-L = "2475-1421",
bibdate = "Sat Mar 11 09:08:36 MST 2023",
bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib;
https://www.math.utah.edu/pub/tex/bib/pacmpl.bib",
URL = "https://dl.acm.org/doi/10.1145/3563305",
abstract = "The DefinitelyTyped repository hosts type declarations
for thousands of JavaScript libraries. Given the lack
of formal connection between the types and the
\ldots{}",
acknowledgement = ack-nhfb,
articleno = "142",
fjournal = "Proceedings of the ACM on Programming Languages
(PACMPL)",
journal-URL = "https://dl.acm.org/loi/pacmpl",
}
@Article{Huang:2022:CUU,
author = "Kaifeng Huang and Bihuan Chen and Yang Liu",
title = "Characterizing usages, updates and risks of
third-party libraries in {Java} projects",
journal = j-EMPIR-SOFTWARE-ENG,
volume = "27",
number = "4",
pages = "??--??",
month = jul,
year = "2022",
CODEN = "ESENFW",
DOI = "https://doi.org/10.1007/s10664-022-10131-8",
ISSN = "1382-3256 (print), 1573-7616 (electronic)",
ISSN-L = "1382-3256",
bibdate = "Tue Jun 7 16:08:33 MDT 2022",
bibsource = "https://www.math.utah.edu/pub/tex/bib/empir-software-eng.bib;
https://www.math.utah.edu/pub/tex/bib/java2020.bib",
URL = "https://link.springer.com/article/10.1007/s10664-022-10131-8",
acknowledgement = ack-nhfb,
ajournal = "Empir. Software. Eng.",
fjournal = "Empirical Software Engineering",
journal-URL = "http://link.springer.com/journal/10664",
}
@Article{Huang:2022:HSA,
author = "Zijie Huang and Zhiqing Shao and Guisheng Fan and
Huiqun Yu and Kang Yang and Ziyi Zhou",
title = "{HBSniff}: a static analysis tool for {Java Hibernate}
object-relational mapping code smell detection",
journal = j-SCI-COMPUT-PROGRAM,
volume = "217",
number = "??",
pages = "??--??",
day = "1",
month = may,
year = "2022",
CODEN = "SCPGD4",
DOI = "https://doi.org/10.1016/j.scico.2022.102778",
ISSN = "0167-6423 (print), 1872-7964 (electronic)",
ISSN-L = "0167-6423",
bibdate = "Wed Mar 9 17:23:38 MST 2022",
bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib;
https://www.math.utah.edu/pub/tex/bib/scicomputprogram.bib",
URL = "http://www.sciencedirect.com/science/article/pii/S0167642322000119",
acknowledgement = ack-nhfb,
articleno = "102778",
fjournal = "Science of Computer Programming",
journal-URL = "http://www.sciencedirect.com/science/journal/01676423",
}
@Article{Jafari:2022:DSJ,
author = "Abbas Javan Jafari and Diego Elias Costa and Rabe
Abdalkareem and Emad Shihab and Nikolaos Tsantalis",
title = "Dependency Smells in {JavaScript} Projects",
journal = j-IEEE-TRANS-SOFTW-ENG,
volume = "48",
number = "10",
pages = "3790--3807",
month = oct,
year = "2022",
CODEN = "IESEDJ",
DOI = "https://doi.org/10.1109/TSE.2021.3106247",
ISSN = "0098-5589 (print), 1939-3520 (electronic)",
ISSN-L = "0098-5589",
bibdate = "Thu Oct 27 16:05:31 2022",
bibsource = "https://www.math.utah.edu/pub/tex/bib/ieeetranssoftweng2020.bib;
https://www.math.utah.edu/pub/tex/bib/java2020.bib",
acknowledgement = ack-nhfb,
fjournal = "IEEE Transactions on Software Engineering",
journal-URL = "http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=32",
}
@Article{Kechagia:2022:EAP,
author = "Maria Kechagia and Sergey Mechtaev and Federica Sarro
and Mark Harman",
title = "Evaluating Automatic Program Repair Capabilities to
Repair {API} Misuses",
journal = j-IEEE-TRANS-SOFTW-ENG,
volume = "48",
number = "7",
pages = "2658--2679",
month = jul,
year = "2022",
CODEN = "IESEDJ",
DOI = "https://doi.org/10.1109/TSE.2021.3067156",
ISSN = "0098-5589 (print), 1939-3520 (electronic)",
ISSN-L = "0098-5589",
bibdate = "Thu Jul 21 10:20:56 2022",
bibsource = "https://www.math.utah.edu/pub/tex/bib/ieeetranssoftweng2020.bib;
https://www.math.utah.edu/pub/tex/bib/java2020.bib",
acknowledgement = ack-nhfb,
fjournal = "IEEE Transactions on Software Engineering",
journal-URL = "http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=32",
}
@Article{Liu:2022:SFI,
author = "Bozhen Liu and Jeff Huang",
title = "{SHARP}: fast incremental context-sensitive pointer
analysis for {Java}",
journal = j-PACMPL,
volume = "6",
number = "OOPSLA1",
pages = "88:1--88:28",
month = apr,
year = "2022",
CODEN = "????",
DOI = "https://doi.org/10.1145/3527332",
ISSN = "2475-1421 (electronic)",
ISSN-L = "2475-1421",
bibdate = "Thu May 26 06:32:46 MDT 2022",
bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib;
https://www.math.utah.edu/pub/tex/bib/pacmpl.bib",
URL = "https://dl.acm.org/doi/10.1145/3527332",
abstract = "We present SHARP, an incremental context-sensitive
pointer analysis algorithm that scales to real-world
large complex Java programs and can also be efficiently
parallelized. To our knowledge, SHARP is the first
algorithm to tackle context-sensitivity in \ldots{}",
acknowledgement = ack-nhfb,
articleno = "88",
fjournal = "Proceedings of the ACM on Programming Languages
(PACMPL)",
journal-URL = "https://dl.acm.org/loi/pacmpl",
}
@Article{Mariano:2022:ATI,
author = "Benjamin Mariano and Yanju Chen and Yu Feng and Greg
Durrett and Isil Dillig",
title = "Automated transpilation of imperative to functional
code using neural-guided program synthesis",
journal = j-PACMPL,
volume = "6",
number = "OOPSLA1",
pages = "71:1--71:27",
month = apr,
year = "2022",
CODEN = "????",
DOI = "https://doi.org/10.1145/3527315",
ISSN = "2475-1421 (electronic)",
ISSN-L = "2475-1421",
bibdate = "Thu May 26 06:32:46 MDT 2022",
bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib;
https://www.math.utah.edu/pub/tex/bib/pacmpl.bib",
URL = "https://dl.acm.org/doi/10.1145/3527315",
abstract = "While many mainstream languages such as Java, Python,
and C\# increasingly incorporate functional APIs to
simplify programming and improve
parallelization/performance, there are no effective
techniques that can be used to automatically translate
existing \ldots{}",
acknowledgement = ack-nhfb,
articleno = "71",
fjournal = "Proceedings of the ACM on Programming Languages
(PACMPL)",
journal-URL = "https://dl.acm.org/loi/pacmpl",
}
@Article{Martinez:2022:WDD,
author = "Matias Martinez and Bruno Gois Mateus",
title = "Why Did Developers Migrate {Android} Applications From
{Java} to {Kotlin}?",
journal = j-IEEE-TRANS-SOFTW-ENG,
volume = "48",
number = "11",
pages = "4521--4534",
month = nov,
year = "2022",
CODEN = "IESEDJ",
DOI = "https://doi.org/10.1109/TSE.2021.3120367",
ISSN = "0098-5589 (print), 1939-3520 (electronic)",
ISSN-L = "0098-5589",
bibdate = "Thu Nov 17 09:56:58 2022",
bibsource = "https://www.math.utah.edu/pub/tex/bib/ieeetranssoftweng2020.bib;
https://www.math.utah.edu/pub/tex/bib/java2020.bib",
acknowledgement = ack-nhfb,
fjournal = "IEEE Transactions on Software Engineering",
journal-URL = "http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=32",
}
@Article{Nascimento:2022:JAD,
author = "Romulo Nascimento and Eduardo Figueiredo and Andre
Hora",
title = "{JavaScript} {API} Deprecation Landscape: a Survey and
Mining Study",
journal = j-IEEE-SOFTWARE,
volume = "39",
number = "3",
pages = "96--105",
month = may # "\slash " # jun,
year = "2022",
CODEN = "IESOEG",
DOI = "https://doi.org/10.1109/MS.2021.3103134",
ISSN = "0740-7459 (print), 1937-4194 (electronic)",
ISSN-L = "0740-7459",
bibdate = "Tue May 2 07:37:09 2023",
bibsource = "https://www.math.utah.edu/pub/tex/bib/ieeesoft2020.bib;
https://www.math.utah.edu/pub/tex/bib/java2020.bib",
acknowledgement = ack-nhfb,
fjournal = "IEEE Software",
journal-URL = "https://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=52",
}
@Article{Ni:2022:JTD,
author = "Chao Ni and Xin Xia and David Lo and Xiaohu Yang and
Ahmed E. Hassan",
title = "Just-In-Time Defect Prediction on {JavaScript}
Projects: a Replication Study",
journal = j-TOSEM,
volume = "31",
number = "4",
pages = "76:1--76:??",
month = oct,
year = "2022",
CODEN = "ATSMER",
DOI = "https://doi.org/10.1145/3508479",
ISSN = "1049-331X (print), 1557-7392 (electronic)",
ISSN-L = "1049-331X",
bibdate = "Wed Nov 16 08:26:42 MST 2022",
bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib;
https://www.math.utah.edu/pub/tex/bib/tosem.bib",
URL = "https://dl.acm.org/doi/10.1145/3508479",
abstract = "Change-level defect prediction is widely referred to
as just-in-time (JIT) defect prediction since it
identifies a defect-inducing change at the check-in
time, and researchers have proposed many approaches
based on the language-independent change-level
\ldots{}",
acknowledgement = ack-nhfb,
articleno = "76",
fjournal = "ACM Transactions on Software Engineering and
Methodology",
journal-URL = "https://dl.acm.org/loi/tosem",
}
@Article{Nigro:2022:PPK,
author = "Libero Nigro",
title = "Performance of Parallel {$K$}-Means Algorithms in
{Java}",
journal = j-ALGORITHMS-BASEL,
volume = "15",
number = "4",
month = apr,
year = "2022",
CODEN = "ALGOCH",
DOI = "https://doi.org/10.3390/a15040117",
ISSN = "1999-4893 (electronic)",
ISSN-L = "1999-4893",
bibdate = "Fri Apr 22 10:29:44 MDT 2022",
bibsource = "https://www.math.utah.edu/pub/tex/bib/algorithms.bib;
https://www.math.utah.edu/pub/tex/bib/java2020.bib",
URL = "https://www.mdpi.com/1999-4893/15/4/117",
acknowledgement = ack-nhfb,
articleno = "117",
fjournal = "Algorithms (Basel)",
journal-URL = "https://www.mdpi.com/journal/algorithms",
pagecount = "??",
}
@Article{Ramsey:2022:BRR,
author = "Norman Ramsey",
title = "Beyond Relooper: recursive translation of unstructured
control flow to structured control flow (functional
pearl)",
journal = j-PACMPL,
volume = "6",
number = "ICFP",
pages = "90:1--90:??",
month = aug,
year = "2022",
CODEN = "????",
DOI = "https://doi.org/10.1145/3547621",
ISSN = "2475-1421 (electronic)",
ISSN-L = "2475-1421",
bibdate = "Sat Mar 11 09:08:35 MST 2023",
bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib;
https://www.math.utah.edu/pub/tex/bib/pacmpl.bib",
URL = "https://dl.acm.org/doi/10.1145/3547621",
abstract = "In many compilers, control flow is represented using
an arbitrary directed graph. But in some interesting
target languages, including JavaScript \ldots{}",
acknowledgement = ack-nhfb,
articleno = "90",
fjournal = "Proceedings of the ACM on Programming Languages
(PACMPL)",
journal-URL = "https://dl.acm.org/loi/pacmpl",
}
@Article{Sasikumar:2022:CAD,
author = "K. Sasikumar and B. Vijayakumar",
title = "Comparative Analysis of Different Data Replication
Strategies in Cloud Environment",
journal = j-INT-J-IMAGE-GRAPHICS,
volume = "22",
number = "05",
pages = "??--??",
month = oct,
year = "2022",
DOI = "https://doi.org/10.1142/S0219467822500425",
ISSN = "0219-4678",
ISSN-L = "0219-4678",
bibdate = "Tue Nov 8 11:46:54 MST 2022",
bibsource = "https://www.math.utah.edu/pub/tex/bib/ijig.bib;
https://www.math.utah.edu/pub/tex/bib/java2020.bib",
URL = "https://www.worldscientific.com/doi/10.1142/S0219467822500425",
abstract = "In this paper, we performed a comparative study of the
different data replication strategies such as Adaptive
Data Replication Strategy (ADRS), Dynamic Cost Aware
Re-Replication and Rebalancing Strategy (DCR2S) and
Efficient Placement Algorithm (EPA) in the cloud
environment. The implementation of these three
techniques is done in JAVA and the performance analysis
is conducted to study the performance of those
replication techniques by various parameters. The
parameters used for the performance analysis of these
three techniques are Load Variance, Response Time,
Probability of File Availability, System Byte Effective
Rate (SBER), Latency, and Fault Ratio. From the
analysis, it is evaluated that by varying the number of
file replicas, it shows deviations in the outcomes of
these parameters. The comparative results were also
analyzed.",
acknowledgement = ack-nhfb,
articleno = "2250042",
fjournal = "International Journal of Image and Graphics (IJIG)",
journal-URL = "http://www.worldscientific.com/worldscinet/ijig",
}
@Article{Turcotte:2022:SDD,
author = "Alexi Turcotte and Ellen Arteca and Ashish Mishra and
Saba Alimadadi and Frank Tip",
title = "{Stubbifier}: debloating dynamic server-side
{JavaScript} applications",
journal = j-EMPIR-SOFTWARE-ENG,
volume = "27",
number = "7",
pages = "??--??",
month = dec,
year = "2022",
CODEN = "ESENFW",
DOI = "https://doi.org/10.1007/s10664-022-10195-6",
ISSN = "1382-3256 (print), 1573-7616 (electronic)",
ISSN-L = "1382-3256",
bibdate = "Tue May 2 16:12:39 MDT 2023",
bibsource = "https://www.math.utah.edu/pub/tex/bib/empir-software-eng.bib;
https://www.math.utah.edu/pub/tex/bib/java2020.bib",
URL = "https://link.springer.com/article/10.1007/s10664-022-10195-6",
acknowledgement = ack-nhfb,
ajournal = "Empir. Software. Eng.",
articleno = "161",
fjournal = "Empirical Software Engineering",
journal-URL = "http://link.springer.com/journal/10664",
}
@Article{Wang:2022:WDC,
author = "Ying Wang and Rongxin Wu and Chao Wang and Ming Wen
and Yepang Liu and Shing-Chi Cheung and Hai Yu and
Chang Xu and Zhiliang Zhu",
title = "Will Dependency Conflicts Affect My Program's
Semantics?",
journal = j-IEEE-TRANS-SOFTW-ENG,
volume = "48",
number = "7",
pages = "2295--2316",
month = jul,
year = "2022",
CODEN = "IESEDJ",
DOI = "https://doi.org/10.1109/TSE.2021.3057767",
ISSN = "0098-5589 (print), 1939-3520 (electronic)",
ISSN-L = "0098-5589",
bibdate = "Thu Jul 21 10:20:56 2022",
bibsource = "https://www.math.utah.edu/pub/tex/bib/ieeetranssoftweng2020.bib;
https://www.math.utah.edu/pub/tex/bib/java2020.bib",
acknowledgement = ack-nhfb,
fjournal = "IEEE Transactions on Software Engineering",
journal-URL = "http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=32",
}
@Article{Abbasi:2023:CRS,
author = "Rosa Abbasi and Jonas Schiffl and Eva Darulova and
Mattias Ulbrich and Wolfgang Ahrendt",
title = "Combining rule- and {SMT}-based reasoning for
verifying floating-point {Java} programs in {KeY}",
journal = j-INT-J-SOFTW-TOOLS-TECHNOL-TRANSFER,
volume = "25",
number = "2",
pages = "185--204",
month = apr,
year = "2023",
CODEN = "????",
DOI = "https://doi.org/10.1007/s10009-022-00691-x",
ISSN = "1433-2779 (print), 1433-2787 (electronic)",
ISSN-L = "1433-2779",
bibdate = "Sat Jun 3 14:59:07 MDT 2023",
bibsource = "https://www.math.utah.edu/pub/tex/bib/fparith.bib;
https://www.math.utah.edu/pub/tex/bib/java2020.bib;
https://www.math.utah.edu/pub/tex/bib/sttt.bib",
URL = "https://link.springer.com/article/10.1007/s10009-022-00691-x",
abstract = "Deductive verification has been successful in
verifying interesting properties of real-world
programs. One notable gap is the limited support for
floating-point reasoning. This is unfortunate, as
floating-point arithmetic is particularly unintuitive
to reason about due to rounding as well as the presence
of the special values infinity and Not a Number (NaN).
In this article, we present the first floating-point
support in a deductive verification tool for the Java
programming language. Our support in the KeY verifier
handles floating-point arithmetics, transcendental
functions, and potentially rounding-type casts. We
achieve this with a combination of delegation to
external SMT solvers on the one hand, and KeY-internal,
rule-based reasoning on the other hand, exploiting the
complementary strengths of both worlds. We evaluate
this integration on new benchmarks and show that this
approach is powerful enough to prove the absence of
floating-point special values --- often a prerequisite
for correct programs --- as well as functional
properties, for realistic benchmarks.",
acknowledgement = ack-nhfb,
ajournal = "Int. J. Softw. Tools Technol. Transfer",
fjournal = "International Journal on Software Tools for Technology
Transfer",
journal-URL = "http://link.springer.com/journal/10009",
}
@Article{Afrose:2023:ESV,
author = "Sharmin Afrose and Ya Xiao and Sazzadur Rahaman and
Barton P. Miller and Danfeng Yao",
title = "Evaluation of Static Vulnerability Detection Tools
With {Java} Cryptographic {API} Benchmarks",
journal = j-IEEE-TRANS-SOFTW-ENG,
volume = "49",
number = "2",
pages = "485--497",
month = feb,
year = "2023",
CODEN = "IESEDJ",
DOI = "https://doi.org/10.1109/TSE.2022.3154717",
ISSN = "0098-5589 (print), 1939-3520 (electronic)",
ISSN-L = "0098-5589",
bibdate = "Sat Feb 18 16:46:58 2023",
bibsource = "https://www.math.utah.edu/pub/tex/bib/ieeetranssoftweng2020.bib;
https://www.math.utah.edu/pub/tex/bib/java2020.bib",
acknowledgement = ack-nhfb,
fjournal = "IEEE Transactions on Software Engineering",
journal-URL = "http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=32",
}
@Article{Agun:2023:WLR,
author = "Hayri Volkan Agun",
title = "\pkg{WebCollectives}: a light regular expression based
web content extractor in {Java}",
journal = j-SOFTWAREX,
volume = "24",
number = "??",
pages = "??--??",
month = dec,
year = "2023",
CODEN = "????",
DOI = "https://doi.org/10.1016/j.softx.2023.101569",
ISSN = "2352-7110",
ISSN-L = "2352-7110",
bibdate = "Sat Dec 16 07:45:56 MST 2023",
bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib;
https://www.math.utah.edu/pub/tex/bib/softwarex.bib;
https://www.math.utah.edu/pub/tex/bib/string-matching.bib",
URL = "http://www.sciencedirect.com/science/article/pii/S2352711023002650",
acknowledgement = ack-nhfb,
articleno = "101569",
fjournal = "SoftwareX",
journal-URL = "https://www.sciencedirect.com/journal/softwarex/issues",
}
@Article{Aman:2023:ADC,
author = "Hirohisa Aman and Sousuke Amasaki and Tomoyuki
Yokogawa and Minoru Kawahara",
title = "An automated detection of confusing variable pairs
with highly similar compound names in {Java} and
{Python} programs",
journal = j-EMPIR-SOFTWARE-ENG,
volume = "28",
number = "5",
pages = "??--??",
month = sep,
year = "2023",
CODEN = "ESENFW",
DOI = "https://doi.org/10.1007/s10664-023-10339-2",
ISSN = "1382-3256 (print), 1573-7616 (electronic)",
ISSN-L = "1382-3256",
bibdate = "Thu Aug 10 15:49:42 MDT 2023",
bibsource = "https://www.math.utah.edu/pub/tex/bib/empir-software-eng.bib;
https://www.math.utah.edu/pub/tex/bib/java2020.bib;
https://www.math.utah.edu/pub/tex/bib/python.bib",
URL = "https://link.springer.com/article/10.1007/s10664-023-10339-2",
acknowledgement = ack-nhfb,
ajournal = "Empir. Software. Eng.",
articleno = "108",
fjournal = "Empirical Software Engineering",
journal-URL = "http://link.springer.com/journal/10664",
}
@Article{Amankwah:2023:BDJ,
author = "Richard Amankwah and Jinfu Chen and Heping Song and
Patrick Kwaku Kudjo",
title = "Bug detection in {Java} code: an extensive evaluation
of static analysis tools using {Juliet Test Suites}",
journal = j-SPE,
volume = "53",
number = "5",
pages = "1125--1143",
month = may,
year = "2023",
CODEN = "SPEXBL",
DOI = "https://doi.org/10.1002/spe.3181",
ISSN = "0038-0644 (print), 1097-024X (electronic)",
ISSN-L = "0038-0644",
bibdate = "Thu Jun 29 14:46:13 MDT 2023",
bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib;
https://www.math.utah.edu/pub/tex/bib/spe.bib",
acknowledgement = ack-nhfb,
ajournal = "Softw. Pract. Exp.",
fjournal = "Software --- Practice and Experience",
journal-URL = "http://onlinelibrary.wiley.com/journal/10.1002/(ISSN)1097-024X",
onlinedate = "29 December 2022",
}
@Article{Amato:2023:JJB,
author = "Gianluca Amato and Francesca Scozzari",
title = "\pkg{JGMP}: {Java} bindings and wrappers for the
\pkg{GMP} library",
journal = j-SOFTWAREX,
volume = "23",
number = "??",
pages = "??--??",
month = jul,
year = "2023",
CODEN = "????",
DOI = "https://doi.org/10.1016/j.softx.2023.101428",
ISSN = "2352-7110",
ISSN-L = "2352-7110",
bibdate = "Thu Oct 5 12:03:02 MDT 2023",
bibsource = "https://www.math.utah.edu/pub/tex/bib/fparith.bib;
https://www.math.utah.edu/pub/tex/bib/java2020.bib;
https://www.math.utah.edu/pub/tex/bib/softwarex.bib",
URL = "http://www.sciencedirect.com/science/article/pii/S2352711023001243",
acknowledgement = ack-nhfb,
articleno = "101428",
fjournal = "SoftwareX",
journal-URL = "https://www.sciencedirect.com/journal/softwarex/issues",
}
@Article{Arteca:2023:LHL,
author = "Ellen Arteca and Max Sch{\"a}fer and Frank Tip",
title = "Learning How to Listen: Automatically Finding Bug
Patterns in Event-Driven {JavaScript} {APIs}",
journal = j-IEEE-TRANS-SOFTW-ENG,
volume = "49",
number = "1",
pages = "166--184",
month = jan,
year = "2023",
CODEN = "IESEDJ",
DOI = "https://doi.org/10.1109/TSE.2022.3147975",
ISSN = "0098-5589 (print), 1939-3520 (electronic)",
ISSN-L = "0098-5589",
bibdate = "Sat Feb 18 16:46:58 2023",
bibsource = "https://www.math.utah.edu/pub/tex/bib/ieeetranssoftweng2020.bib;
https://www.math.utah.edu/pub/tex/bib/java2020.bib",
acknowledgement = ack-nhfb,
fjournal = "IEEE Transactions on Software Engineering",
journal-URL = "http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=32",
}
@Article{Balliu:2023:CPS,
author = "Musard Balliu and Benoit Baudry and Sofia Bobadilla
and Mathias Ekstedt and Martin Monperrus and Javier Ron
and Aman Sharma and Gabriel Skoglund and C{\'e}sar
Soto-Valero and Martin Wittlinger",
title = "Challenges of Producing Software Bill of Materials for
{Java}",
journal = j-IEEE-SEC-PRIV,
volume = "21",
number = "6",
pages = "12--23",
month = nov # "\slash " # dec,
year = "2023",
DOI = "https://doi.org/10.1109/MSEC.2023.3302956",
ISSN = "1540-7993 (print), 1558-4046 (electronic)",
ISSN-L = "1540-7993",
bibdate = "Wed Apr 10 08:11:06 2024",
bibsource = "https://www.math.utah.edu/pub/tex/bib/ieeesecpriv.bib;
https://www.math.utah.edu/pub/tex/bib/java2020.bib",
acknowledgement = ack-nhfb,
fjournal = "IEEE Security \& Privacy",
journal-URL = "https://publications.computer.org/security-and-privacy/",
keywords = "Bills of materials; Java; Production; Software;
Software reliability; Standards; Supply chain
management",
}
@Article{Besseling:2023:UTT,
author = "Johan Besseling and Cyrille Artho",
title = "Using {Theia} Trace Viewer to Visualize {JPF} Traces",
journal = j-SIGSOFT,
volume = "48",
number = "1",
pages = "22--26",
month = jan,
year = "2023",
CODEN = "SFENDP",
DOI = "https://doi.org/10.1145/3573074.3573081",
ISSN = "0163-5948 (print), 1943-5843 (electronic)",
ISSN-L = "0163-5948",
bibdate = "Mon Mar 25 12:02:24 MDT 2024",
bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib;
https://www.math.utah.edu/pub/tex/bib/sigsoft2020.bib",
URL = "https://dl.acm.org/doi/10.1145/3573074.3573081",
abstract = "Java Pathfinder (JPF) is currently the most
feature-rich platform for an in-depth analysis of
programs that run on the Java Virtual Machine (JVM).
However, using JPF and interpreting its results is a
challenge. Dependencies on specific Java versions
\ldots{}",
acknowledgement = ack-nhfb,
fjournal = "ACM SIGSOFT Software Engineering Notes",
journal-URL = "https://dl.acm.org/loi/sigsoft",
}
@Article{Bianchini:2023:JLC,
author = "Riccardo Bianchini and Francesco Dagnino and Paola
Giannini and Elena Zucca",
title = "A {Java}-like calculus with heterogeneous coeffects",
journal = j-THEOR-COMP-SCI,
volume = "971",
number = "??",
pages = "??--??",
day = "6",
month = sep,
year = "2023",
CODEN = "TCSCDI",
DOI = "https://doi.org/10.1016/j.tcs.2023.114063",
ISSN = "0304-3975 (print), 1879-2294 (electronic)",
ISSN-L = "0304-3975",
bibdate = "Fri Aug 11 08:34:09 MDT 2023",
bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib;
https://www.math.utah.edu/pub/tex/bib/tcs2020.bib",
URL = "http://www.sciencedirect.com/science/article/pii/S0304397523003766",
acknowledgement = ack-nhfb,
articleno = "114063",
fjournal = "Theoretical Computer Science",
journal-URL = "http://www.sciencedirect.com/science/journal/03043975",
}
@Article{Brown:2023:NUJ,
author = "Neil C. C. Brown and Pierre Weill-Tessier and
Maksymilian Sekula and Alexandra-Lucia Costache and
Michael K{\"o}lling",
title = "Novice Use of the {Java} Programming Language",
journal = j-TOCE,
volume = "23",
number = "1",
pages = "10:1--10:??",
month = mar,
year = "2023",
CODEN = "????",
DOI = "https://doi.org/10.1145/3551393",
ISSN = "1946-6226",
ISSN-L = "1946-6226",
bibdate = "Fri Jun 23 11:01:30 MDT 2023",
bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib;
https://www.math.utah.edu/pub/tex/bib/toce.bib",
URL = "https://dl.acm.org/doi/10.1145/3551393",
abstract = "Objectives. Java is a popular programming language for
use in computing education, but it is difficult to get
a wide picture of the issues that it presents for
novices; most studies look only at the types or
frequency of errors. In this observational \ldots{}",
acknowledgement = ack-nhfb,
articleno = "10",
fjournal = "ACM Transactions on Computing Education",
journal-URL = "https://dl.acm.org/loi/toce",
}
@Article{Brun:2023:BPJ,
author = "Yuriy Brun and Tian Lin and Jessie Elise Somerville
and Elisha M. Myers and Natalie Ebner",
title = "Blindspots in {Python} and {Java} {APIs} Result in
Vulnerable Code",
journal = j-TOSEM,
volume = "32",
number = "3",
pages = "76:1--76:??",
month = jul,
year = "2023",
CODEN = "ATSMER",
DOI = "https://doi.org/10.1145/3571850",
ISSN = "1049-331X (print), 1557-7392 (electronic)",
ISSN-L = "1049-331X",
bibdate = "Fri Jun 9 06:39:39 MDT 2023",
bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib;
https://www.math.utah.edu/pub/tex/bib/python.bib;
https://www.math.utah.edu/pub/tex/bib/tosem.bib",
URL = "https://dl.acm.org/doi/10.1145/3571850",
abstract = "Blindspots in APIs can cause software engineers to
introduce vulnerabilities, but such blindspots are,
unfortunately, common. We study the effect APIs with
blindspots have on developers in two languages by
replicating a 109-developer, 24-Java-API \ldots{}",
acknowledgement = ack-nhfb,
articleno = "76",
fjournal = "ACM Transactions on Software Engineering and
Methodology",
journal-URL = "https://dl.acm.org/loi/tosem",
}
@Article{Bucur:2023:EMJ,
author = "Vlad Bucur and and Liviu-Cristian Miclea",
title = "Entering the Metaverse from the {JVM}: The State of
the Art, Challenges, and Research Areas of {JVM}-Based
{Web 3.0} Tools and Libraries",
journal = j-FUTURE-INTERNET,
volume = "15",
number = "9",
pages = "305",
day = "07",
month = sep,
year = "2023",
CODEN = "????",
DOI = "https://doi.org/10.3390/fi15090305",
ISSN = "1999-5903",
bibdate = "Thu Sep 28 13:55:47 MDT 2023",
bibsource = "https://www.math.utah.edu/pub/tex/bib/future-internet.bib;
https://www.math.utah.edu/pub/tex/bib/java2020.bib",
URL = "https://www.mdpi.com/1999-5903/15/9/305",
abstract = "Web 3.0 is the basis on which the proposed metaverse,
a seamless virtual world enabled by computers and
interconnected devices, hopes to interact with its
users, but beyond the high-level project overview of
what Web 3.0 applications try to achieve, the
implementation is still down to low-level coding
details. This article aims to analyze the low-level
implementations of key components of Web 3.0 using a
variety of frameworks and tools as well as several
JVM-based languages. This paper breaks down the
low-level implementation of smart contracts and
semantic web principles using three frameworks, Corda
and Ethereum for smart contracts and Jeda for semantic
web, using both Scala and Java as implementing
languages all while highlighting differences and
similarities between the frameworks used.",
acknowledgement = ack-nhfb,
journal-URL = "https://www.mdpi.com/journal/futureinternet",
}
@Article{Caivano:2023:SED,
author = "Danilo Caivano and Pietro Cassieri and Simone Romano
and Giuseppe Scanniello",
title = "On the spread and evolution of dead methods in {Java}
desktop applications: an exploratory study",
journal = j-EMPIR-SOFTWARE-ENG,
volume = "28",
number = "3",
pages = "??--??",
month = may,
year = "2023",
CODEN = "ESENFW",
DOI = "https://doi.org/10.1007/s10664-023-10303-0",
ISSN = "1382-3256 (print), 1573-7616 (electronic)",
ISSN-L = "1382-3256",
bibdate = "Wed May 17 06:39:05 MDT 2023",
bibsource = "https://www.math.utah.edu/pub/tex/bib/empir-software-eng.bib;
https://www.math.utah.edu/pub/tex/bib/java2020.bib",
URL = "https://link.springer.com/article/10.1007/s10664-023-10303-0",
acknowledgement = ack-nhfb,
ajournal = "Empir. Software. Eng.",
articleno = "64",
fjournal = "Empirical Software Engineering",
journal-URL = "http://link.springer.com/journal/10664",
}
@Article{Carvalho:2023:DBR,
author = "Tiago Carvalho and Jo{\~a}o Bispo and Pedro Pinto and
Jo{\~a}o M. P. Cardoso",
title = "A {DSL}-based runtime adaptivity framework for
{Java}",
journal = j-SOFTWAREX,
volume = "23",
number = "??",
pages = "??--??",
month = jul,
year = "2023",
CODEN = "????",
DOI = "https://doi.org/10.1016/j.softx.2023.101496",
ISSN = "2352-7110",
ISSN-L = "2352-7110",
bibdate = "Thu Oct 5 12:03:02 MDT 2023",
bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib;
https://www.math.utah.edu/pub/tex/bib/softwarex.bib",
URL = "http://www.sciencedirect.com/science/article/pii/S2352711023001929",
acknowledgement = ack-nhfb,
articleno = "101496",
fjournal = "SoftwareX",
journal-URL = "https://www.sciencedirect.com/journal/softwarex/issues",
}
@Article{Cristia:2023:DPI,
author = "Maximiliano Cristi{\'a} and others",
title = "Declarative Programming with Intensional Sets in
{Java} Using {JSetL}",
journal = j-COMP-J,
volume = "66",
number = "3",
pages = "763--784",
month = mar,
year = "2023",
CODEN = "CMPJA6",
DOI = "https://doi.org/10.1093/comjnl/bxab195",
ISSN = "0010-4620 (print), 1460-2067 (electronic)",
ISSN-L = "0010-4620",
bibdate = "Mon Apr 24 08:51:35 MDT 2023",
bibsource = "https://www.math.utah.edu/pub/tex/bib/compj2020.bib;
https://www.math.utah.edu/pub/tex/bib/java2020.bib",
URL = "http://academic.oup.com/comjnl/article/66/3/763/6521749",
acknowledgement = ack-nhfb,
fjournal = "Computer Journal",
journal-URL = "http://comjnl.oxfordjournals.org/",
}
@Article{Federico:2023:CEA,
author = "Gemma {Di Federico} and Andrea Burattin",
title = "{CvAMoS} --- Event Abstraction Using Contextual
Information",
journal = j-FUTURE-INTERNET,
volume = "15",
number = "3",
pages = "113",
day = "18",
month = mar,
year = "2023",
CODEN = "????",
DOI = "https://doi.org/10.3390/fi15030113",
ISSN = "1999-5903",
bibdate = "Wed Mar 29 11:12:24 MDT 2023",
bibsource = "https://www.math.utah.edu/pub/tex/bib/future-internet.bib;
https://www.math.utah.edu/pub/tex/bib/java2020.bib",
URL = "https://www.mdpi.com/1999-5903/15/3/113",
abstract = "Process mining analyzes events that are logged during
the execution of a process, with the aim of gathering
useful information and knowledge. Process discovery
algorithms derive process models that represent these
processes. The level of abstraction at which the
process model is represented is reflected in the
granularity of the event log. When a process is
captured by the usage of sensor systems, process
activities are recorded at the sensor-level in the form
of sensor readings, and are therefore too fine-grained
and non-explanatory. To increase the understandability
of the process model, events need to be abstracted into
higher-level activities that provide a more meaningful
representation of the process. The abstraction becomes
more relevant and challenging when the process involves
human behavior, as the flexible nature of human~actions
can make it harder to identify and abstract meaningful
activities. This paper proposes CvAMoS, a trace-based
approach for event abstraction, which focuses on
identifying motifs while taking context into account. A
motif is a recurring sequence of events that represents
an activity that took place under specific
circumstances depicted by the context. Context
information is logged in the event log in the form of
environmental sensor readings (e.g., the temperature
and light sensors). The presented algorithm uses a
distance function to deal with the variability in the
execution of activities. The result is a set of
meaningful and interpretable motifs. The algorithm has
been tested on both synthetic and real datasets, and
compared to the state of the art. CvAMoS is implemented
as a Java application and the code is freely
available.",
acknowledgement = ack-nhfb,
journal-URL = "https://www.mdpi.com/journal/futureinternet",
}
@Article{Feng:2023:BBB,
author = "Pengbin Feng and Li Yang and Di Lu and Ning Xi and
Jianfeng Ma",
title = "{BejaGNN}: behavior-based {Java} malware detection via
graph neural network",
journal = j-J-SUPERCOMPUTING,
volume = "79",
number = "14",
pages = "15390--15414",
month = sep,
year = "2023",
CODEN = "JOSUED",
DOI = "https://doi.org/10.1007/s11227-023-05243-x",
ISSN = "0920-8542 (print), 1573-0484 (electronic)",
ISSN-L = "0920-8542",
bibdate = "Tue Aug 15 06:21:43 MDT 2023",
bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib;
https://www.math.utah.edu/pub/tex/bib/jsuper2020.bib",
URL = "https://link.springer.com/article/10.1007/s11227-023-05243-x",
acknowledgement = ack-nhfb,
ajournal = "J. Supercomputing",
fjournal = "The Journal of Supercomputing",
journal-URL = "http://link.springer.com/journal/11227",
}
@Article{Fouquet:2023:BBQ,
author = "Romain Fouquet and Pierre Laperdrix and Romain
Rouvoy",
title = "Breaking Bad: Quantifying the Addiction of {Web}
Elements to {JavaScript}",
journal = j-TOIT,
volume = "23",
number = "1",
pages = "22:1--22:??",
month = feb,
year = "2023",
CODEN = "????",
DOI = "https://doi.org/10.1145/3579846",
ISSN = "1533-5399 (print), 1557-6051 (electronic)",
ISSN-L = "1533-5399",
bibdate = "Thu Apr 6 05:50:04 MDT 2023",
bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib;
https://www.math.utah.edu/pub/tex/bib/toit.bib",
URL = "https://dl.acm.org/doi/10.1145/3579846",
abstract = "While JavaScript established itself as a cornerstone
of the modern web, it also constitutes a major tracking
and security vector, thus raising critical privacy and
security concerns. In this context, some browser
extensions propose to systematically block scripts
reported by crowdsourced trackers lists. However, this
solution heavily depends on the quality of these
built-in lists, which may be deprecated or incomplete,
thus exposing the visitor to unknown trackers. In this
article, we explore a different strategy by
investigating the benefits of disabling JavaScript in
the browser. More specifically, by adopting such a
strict policy, we aim to quantify the JavaScript
addiction of web elements composing a web page through
the observation of web breakages. As there is no
standard mechanism for detecting such breakages, we
introduce a framework to inspect several page features
when blocking JavaScript, that we deploy to analyze
6,384 pages, including landing and internal web pages.
We discover that 43\% of web pages are not strictly
dependent on JavaScript and that more than 67\% of
pages are likely to be usable as long as the visitor
only requires the content from the main section of the
page, for which the user most likely reached the page,
while reducing the number of tracking requests by 85\%
on average. Finally, we discuss the viability of
currently browsing the web without JavaScript and
detail multiple incentives for websites to be kept
usable without JavaScript.",
acknowledgement = ack-nhfb,
articleno = "22",
fjournal = "ACM Transactions on Internet Technology (TOIT)",
journal-URL = "https://dl.acm.org/loi/toit",
}
@Article{He:2023:IBC,
author = "Dongjie He and Jingbo Lu and Jingling Xue",
title = "{IFDS}-based Context Debloating for Object-Sensitive
Pointer Analysis",
journal = j-TOSEM,
volume = "32",
number = "4",
pages = "101:1--101:??",
month = jul,
year = "2023",
CODEN = "ATSMER",
DOI = "https://doi.org/10.1145/3579641",
ISSN = "1049-331X (print), 1557-7392 (electronic)",
ISSN-L = "1049-331X",
bibdate = "Mon Jul 3 08:45:48 MDT 2023",
bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib;
https://www.math.utah.edu/pub/tex/bib/tosem.bib",
URL = "https://dl.acm.org/doi/10.1145/3579641",
abstract = "Object-sensitive pointer analysis, which separates the
calling contexts of a method by its receiver objects,
is known to achieve highly useful precision for
object-oriented languages such as Java. Despite recent
advances, all object-sensitive pointer \ldots{}",
acknowledgement = ack-nhfb,
ajournal = "ACM Trans. Softw. Eng. Methodol.",
articleno = "101",
fjournal = "ACM Transactions on Software Engineering and
Methodology",
journal-URL = "https://dl.acm.org/loi/tosem",
}
@Article{Karmakar:2023:JEJ,
author = "Anjan Karmakar and Miltiadis Allamanis and Romain
Robbes",
title = "{JEMMA}: an extensible {Java} dataset for {ML4Code}
applications",
journal = j-EMPIR-SOFTWARE-ENG,
volume = "28",
number = "2",
pages = "??--??",
month = mar,
year = "2023",
CODEN = "ESENFW",
DOI = "https://doi.org/10.1007/s10664-022-10275-7",
ISSN = "1382-3256 (print), 1573-7616 (electronic)",
ISSN-L = "1382-3256",
bibdate = "Wed May 17 06:39:05 MDT 2023",
bibsource = "https://www.math.utah.edu/pub/tex/bib/empir-software-eng.bib;
https://www.math.utah.edu/pub/tex/bib/java2020.bib",
URL = "https://link.springer.com/article/10.1007/s10664-022-10275-7",
acknowledgement = ack-nhfb,
ajournal = "Empir. Software. Eng.",
articleno = "54",
fjournal = "Empirical Software Engineering",
journal-URL = "http://link.springer.com/journal/10664",
}
@Article{Krasanakis:2023:JGN,
author = "Emmanouil Krasanakis and Symeon Papadopoulos and
Ioannis Kompatsiaris",
title = "\pkg{JGNN}: {Graph Neural Networks} on native
{Java}",
journal = j-SOFTWAREX,
volume = "23",
number = "??",
pages = "??--??",
month = jul,
year = "2023",
CODEN = "????",
DOI = "https://doi.org/10.1016/j.softx.2023.101459",
ISSN = "2352-7110",
ISSN-L = "2352-7110",
bibdate = "Thu Oct 5 12:03:02 MDT 2023",
bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib;
https://www.math.utah.edu/pub/tex/bib/softwarex.bib",
URL = "http://www.sciencedirect.com/science/article/pii/S2352711023001553",
acknowledgement = ack-nhfb,
articleno = "101459",
fjournal = "SoftwareX",
journal-URL = "https://www.sciencedirect.com/journal/softwarex/issues",
}
@Article{Larsen:2023:PSS,
author = "Simon Lars{\'e}n and Jean-R{\'e}my Falleri and Benoit
Baudry and Martin Monperrus",
title = "\pkg{Spork}: Structured Merge for {Java} With
Formatting Preservation",
journal = j-IEEE-TRANS-SOFTW-ENG,
volume = "49",
number = "1",
pages = "64--83",
month = jan,
year = "2023",
CODEN = "IESEDJ",
DOI = "https://doi.org/10.1109/TSE.2022.3143766",
ISSN = "0098-5589 (print), 1939-3520 (electronic)",
ISSN-L = "0098-5589",
bibdate = "Sat Feb 18 16:46:58 2023",
bibsource = "https://www.math.utah.edu/pub/tex/bib/ieeetranssoftweng2020.bib;
https://www.math.utah.edu/pub/tex/bib/java2020.bib",
acknowledgement = ack-nhfb,
fjournal = "IEEE Transactions on Software Engineering",
journal-URL = "http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=32",
}
@Article{Liu:2023:MEX,
author = "Zhonglin Liu and Yong Fang and Cheng Huang and Yijia
Xu",
title = "{MFXSS}: an effective {XSS} vulnerability detection
method in {JavaScript} based on multi-feature model",
journal = j-COMPUT-SECUR,
volume = "124",
number = "??",
pages = "??--??",
month = jan,
year = "2023",
CODEN = "CPSEDU",
DOI = "https://doi.org/10.1016/j.cose.2022.103015",
ISSN = "0167-4048 (print), 1872-6208 (electronic)",
ISSN-L = "0167-4048",
bibdate = "Wed Nov 30 09:08:05 MST 2022",
bibsource = "https://www.math.utah.edu/pub/tex/bib/computsecur2020.bib;
https://www.math.utah.edu/pub/tex/bib/java2020.bib",
URL = "http://www.sciencedirect.com/science/article/pii/S0167404822004072",
acknowledgement = ack-nhfb,
articleno = "103015",
fjournal = "Computers \& Security",
journal-URL = "http://www.sciencedirect.com/science/journal/01674048",
}
@Article{Mahmoudi:2023:OSW,
author = "Amin Mahmoudi and Mahsa Sadeghi and Xiaopeng Deng and
Pengcheng Pan",
title = "\pkg{OPA Solver}: a web-based software for {Ordinal
Priority Approach} in multiple criteria decision
analysis using {JavaScript}",
journal = j-SOFTWAREX,
volume = "24",
number = "??",
pages = "??--??",
month = dec,
year = "2023",
CODEN = "????",
DOI = "https://doi.org/10.1016/j.softx.2023.101546",
ISSN = "2352-7110",
ISSN-L = "2352-7110",
bibdate = "Sat Dec 16 07:45:56 MST 2023",
bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib;
https://www.math.utah.edu/pub/tex/bib/softwarex.bib",
URL = "http://www.sciencedirect.com/science/article/pii/S235271102300242X",
acknowledgement = ack-nhfb,
articleno = "101546",
fjournal = "SoftwareX",
journal-URL = "https://www.sciencedirect.com/journal/softwarex/issues",
}
@Article{Malavolta:2023:JDC,
author = "Ivano Malavolta and Kishan Nirghin and Gian Luca
Scoccia and Simone Romano and Salvatore Lombardi and
Giuseppe Scanniello and Patricia Lago",
title = "{JavaScript} Dead Code Identification, Elimination,
and Empirical Assessment",
journal = j-IEEE-TRANS-SOFTW-ENG,
volume = "49",
number = "7",
pages = "3692--3714",
month = jul,
year = "2023",
CODEN = "IESEDJ",
DOI = "https://doi.org/10.1109/TSE.2023.3267848",
ISSN = "0098-5589 (print), 1939-3520 (electronic)",
ISSN-L = "0098-5589",
bibdate = "Tue Aug 1 15:09:06 2023",
bibsource = "https://www.math.utah.edu/pub/tex/bib/ieeetranssoftweng2020.bib;
https://www.math.utah.edu/pub/tex/bib/java2020.bib",
acknowledgement = ack-nhfb,
fjournal = "IEEE Transactions on Software Engineering",
journal-URL = "http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=32",
}
@Article{Midolo:2023:ATS,
author = "Alessandro Midolo and and Emiliano Tramontana",
title = "An Automatic Transformer from Sequential to Parallel
{Java} Code",
journal = j-FUTURE-INTERNET,
volume = "15",
number = "9",
pages = "306",
day = "08",
month = sep,
year = "2023",
CODEN = "????",
DOI = "https://doi.org/10.3390/fi15090306",
ISSN = "1999-5903",
bibdate = "Thu Sep 28 13:55:47 MDT 2023",
bibsource = "https://www.math.utah.edu/pub/tex/bib/future-internet.bib;
https://www.math.utah.edu/pub/tex/bib/java2020.bib",
URL = "https://www.mdpi.com/1999-5903/15/9/306",
abstract = "Sequential programs can benefit from parallel
execution to improve their performance. When developing
a parallel application, several techniques are employed
to achieve the desired behavior: identifying parts that
can run in parallel, synchronizing access to shared
data, tuning performance, etc. Admittedly, manually
transforming a sequential application to make it
parallel can be tedious due to the large number of
lines of code to inspect, the possibility of errors
arising from inaccurate data dependence analysis
leading to unpredictable behavior, and inefficiencies
when the workload between parallel threads is
unbalanced. This paper proposes an automatic approach
that analyzes Java source code to identify method calls
that are suitable for parallel execution and transforms
them so that they run in another thread. The approach
is based on data dependence and control dependence
analyses to determine the execution flow and data
accessed. Based on the proposed method, a tool has been
developed to enhance applications by incorporating
parallelism, i.e., transforming suitable method calls
to execute on parallel threads, and synchronizing data
access where needed. The developed tool has been
extensively tested to verify the accuracy of its
analysis in finding parallel execution opportunities,
the correctness of the source code alterations, and the
resultant performance gain.",
acknowledgement = ack-nhfb,
journal-URL = "https://www.mdpi.com/journal/futureinternet",
}
@Article{Mumtaz:2023:IRO,
author = "Haris Mumtaz and Paramvir Singh and Kelly Blincoe",
title = "Identifying refactoring opportunities for large
packages by analyzing maintainability characteristics
in {Java} {OSS}",
journal = j-J-SYST-SOFTW,
volume = "202",
number = "??",
pages = "??--??",
month = aug,
year = "2023",
CODEN = "JSSODM",
DOI = "https://doi.org/10.1016/j.jss.2023.111717",
ISSN = "0164-1212 (print), 1873-1228 (electronic)",
ISSN-L = "0164-1212",
bibdate = "Thu Jun 1 10:39:27 MDT 2023",
bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib;
https://www.math.utah.edu/pub/tex/bib/jsystsoftw2020.bib",
URL = "http://www.sciencedirect.com/science/article/pii/S0164121223001127",
acknowledgement = ack-nhfb,
articleno = "111717",
fjournal = "Journal of Systems and Software",
journal-URL = "http://www.sciencedirect.com/science/journal/01641212",
}
@Article{Naseer:2023:JCF,
author = "Usama Naseer and Theophilus A. Benson",
title = "{JS} Capsules: a Framework for Capturing Fine-grained
{JavaScript} Memory Measurements for the Mobile {Web}",
journal = j-POMACS,
volume = "7",
number = "1",
pages = "14:1--14:??",
month = mar,
year = "2023",
CODEN = "????",
DOI = "https://doi.org/10.1145/3579327",
ISSN = "2476-1249",
ISSN-L = "2476-1249",
bibdate = "Tue Aug 20 07:19:51 MDT 2024",
bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib;
https://www.math.utah.edu/pub/tex/bib/pomacs.bib",
URL = "https://dl.acm.org/doi/10.1145/3579327",
abstract = "Understanding the resource consumption of the mobile
web is an important topic that has garnered much
attention in recent years. However, existing works
mostly focus on the networking or computational aspects
of the mobile web and largely ignore memory, \ldots{}",
acknowledgement = ack-nhfb,
articleno = "14",
fjournal = "Proceedings of the ACM on Measurement and Analysis of
Computing Systems (POMACS)",
journal-URL = "https://dl.acm.org/loi/pomacs",
}
@Article{Nowicki:2023:PEJ,
author = "Marek Nowicki and Lukasz G{\'o}rski and Piotr
Ba{\l}a",
title = "Performance evaluation of {Java\slash PCJ}
implementation of parallel algorithms on the cloud
(extended version)",
journal = j-CCPE,
volume = "35",
number = "15",
pages = "e6536:1--e6536:??",
day = "10",
month = jul,
year = "2023",
CODEN = "CCPEBO",
DOI = "https://doi.org/10.1002/cpe.6536",
ISSN = "1532-0626 (print), 1532-0634 (electronic)",
ISSN-L = "1532-0626",
bibdate = "Wed Sep 27 08:16:43 MDT 2023",
bibsource = "https://www.math.utah.edu/pub/tex/bib/ccpe2020.bib;
https://www.math.utah.edu/pub/tex/bib/java2020.bib",
acknowledgement = ack-nhfb,
ajournal = "Concurr. Comput.",
fjournal = "Concurrency and Computation: Practice and Experience",
journal-URL = "http://www.interscience.wiley.com/jpages/1532-0626",
onlinedate = "02 August 2021",
}
@Article{Park:2023:DCC,
author = "Hyukwoo Park and Seonghyun Kim and Boram Bae",
title = "Dynamic code compression for {JavaScript} engine",
journal = j-SPE,
volume = "53",
number = "5",
pages = "1196--1217",
month = may,
year = "2023",
CODEN = "SPEXBL",
DOI = "https://doi.org/10.1002/spe.3186",
ISSN = "0038-0644 (print), 1097-024X (electronic)",
ISSN-L = "0038-0644",
bibdate = "Thu Jun 29 14:46:13 MDT 2023",
bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib;
https://www.math.utah.edu/pub/tex/bib/spe.bib",
acknowledgement = ack-nhfb,
ajournal = "Softw. Pract. Exp.",
fjournal = "Software --- Practice and Experience",
journal-URL = "http://onlinelibrary.wiley.com/journal/10.1002/(ISSN)1097-024X",
onlinedate = "04 February 2023",
}
@Article{Rosales:2023:LSC,
author = "Eduardo Rosales and Matteo Basso and Andrea Ros{\`a}
and Walter Binder",
title = "Large-scale characterization of {Java} streams",
journal = j-SPE,
volume = "53",
number = "9",
pages = "1763--1792",
month = sep,
year = "2023",
CODEN = "SPEXBL",
DOI = "https://doi.org/10.1002/spe.3213",
ISSN = "0038-0644 (print), 1097-024X (electronic)",
ISSN-L = "0038-0644",
bibdate = "Mon Aug 28 14:04:59 MDT 2023",
bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib;
https://www.math.utah.edu/pub/tex/bib/spe.bib",
acknowledgement = ack-nhfb,
ajournal = "Softw. Pract. Exp.",
fjournal = "Software --- Practice and Experience",
journal-URL = "http://onlinelibrary.wiley.com/journal/10.1002/(ISSN)1097-024X",
onlinedate = "05 June 2023",
}
@Article{Sayar:2023:DSJ,
author = "Imen Sayar and Alexandre Bartel and Eric Bodden and
Yves {Le Traon}",
title = "An In-depth Study of {Java} Deserialization
Remote-Code Execution Exploits and Vulnerabilities",
journal = j-TOSEM,
volume = "32",
number = "1",
pages = "25:1--25:??",
month = jan,
year = "2023",
CODEN = "ATSMER",
DOI = "https://doi.org/10.1145/3554732",
ISSN = "1049-331X (print), 1557-7392 (electronic)",
ISSN-L = "1049-331X",
bibdate = "Wed Apr 5 10:29:39 MDT 2023",
bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib;
https://www.math.utah.edu/pub/tex/bib/tosem.bib",
URL = "https://dl.acm.org/doi/10.1145/3554732",
abstract = "Nowadays, an increasing number of applications use
deserialization. This technique, based on rebuilding
the instance of objects from serialized byte streams,
can be dangerous since it can open the application to
attacks such as remote code execution (RCE) \ldots{}",
acknowledgement = ack-nhfb,
articleno = "25",
fjournal = "ACM Transactions on Software Engineering and
Methodology",
journal-URL = "https://dl.acm.org/loi/tosem",
}
@Article{Schneider:2023:AES,
author = "Simon Schneider and Riccardo Scandariato",
title = "Automatic extraction of security-rich dataflow
diagrams for microservice applications written in
{Java}",
journal = j-J-SYST-SOFTW,
volume = "202",
number = "??",
pages = "??--??",
month = aug,
year = "2023",
CODEN = "JSSODM",
DOI = "https://doi.org/10.1016/j.jss.2023.111722",
ISSN = "0164-1212 (print), 1873-1228 (electronic)",
ISSN-L = "0164-1212",
bibdate = "Thu Jun 1 10:39:27 MDT 2023",
bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib;
https://www.math.utah.edu/pub/tex/bib/jsystsoftw2020.bib",
URL = "http://www.sciencedirect.com/science/article/pii/S0164121223001176",
acknowledgement = ack-nhfb,
articleno = "111722",
fjournal = "Journal of Systems and Software",
journal-URL = "http://www.sciencedirect.com/science/journal/01641212",
}
@Article{Shen:2023:CSM,
author = "Bowen Shen and Muhammad Ali Gulzar and Fei He and Na
Meng",
title = "A Characterization Study of Merge Conflicts in {Java}
Projects",
journal = j-TOSEM,
volume = "32",
number = "2",
pages = "40:1--40:??",
month = apr,
year = "2023",
CODEN = "ATSMER",
DOI = "https://doi.org/10.1145/3546944",
ISSN = "1049-331X (print), 1557-7392 (electronic)",
ISSN-L = "1049-331X",
bibdate = "Mon Apr 17 12:10:06 MDT 2023",
bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib;
https://www.math.utah.edu/pub/tex/bib/tosem.bib",
URL = "https://dl.acm.org/doi/10.1145/3546944",
abstract = "In collaborative software development, programmers
create software branches to add features and fix bugs
tentatively, and then merge branches to integrate
edits. When edits from different branches textually
overlap (i.e., textual conflicts ) or lead to
\ldots{}",
acknowledgement = ack-nhfb,
articleno = "40",
fjournal = "ACM Transactions on Software Engineering and
Methodology",
journal-URL = "https://dl.acm.org/loi/tosem",
}
@Article{Sherman:2023:JPW,
author = "Elena Sherman and Yannic Noller and Cyrille Artho and
Franck van Breugel and Anto Nanah Ji and John Kellerman
and Parssa Khazra and Filip Kliber and Gaurang Kudale
and Pavel Par{\'\i}zek and Corina S. Pasareanu and Ron
Pressler and Matt Walker and Hongru Wang and Qiuchen
Yan",
title = "The {Java Pathfinder Workshop 2022}",
journal = j-SIGSOFT,
volume = "48",
number = "1",
pages = "19--21",
month = jan,
year = "2023",
CODEN = "SFENDP",
DOI = "https://doi.org/10.1145/3573074.3573080",
ISSN = "0163-5948 (print), 1943-5843 (electronic)",
ISSN-L = "0163-5948",
bibdate = "Mon Mar 25 12:02:24 MDT 2024",
bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib;
https://www.math.utah.edu/pub/tex/bib/sigsoft2020.bib",
URL = "https://dl.acm.org/doi/10.1145/3573074.3573080",
abstract = "Java Pathfinder (JPF) was originally developed as an
explicit state software model checker and subsequently
evolved into an extensible Java bytecode analysis
framework that has been successfully used to implement
techniques such as symbolic and concolic \ldots{}",
acknowledgement = ack-nhfb,
fjournal = "ACM SIGSOFT Software Engineering Notes",
journal-URL = "https://dl.acm.org/loi/sigsoft",
}
@Article{Silva:2023:EHL,
author = "Rui S. Silva and Jo{\~a}o L. Sobral",
title = "Efficient High-Level Programming in Plain {Java}",
journal = j-INT-J-PARALLEL-PROG,
volume = "51",
number = "1",
pages = "22--42",
month = feb,
year = "2023",
CODEN = "IJPPE5",
DOI = "https://doi.org/10.1007/s10766-022-00747-0",
ISSN = "0885-7458 (print), 1573-7640 (electronic)",
ISSN-L = "0885-7458",
bibdate = "Mon May 1 06:16:39 MDT 2023",
bibsource = "https://www.math.utah.edu/pub/tex/bib/intjparallelprogram.bib;
https://www.math.utah.edu/pub/tex/bib/java2020.bib",
URL = "https://link.springer.com/article/10.1007/s10766-022-00747-0",
acknowledgement = ack-nhfb,
ajournal = "Int. J. Parallel Prog.",
fjournal = "International Journal of Parallel Programming",
journal-URL = "http://link.springer.com/journal/10766",
}
@Article{Soto-Valero:2023:AST,
author = "C{\'e}sar Soto-Valero and Deepika Tiwari and Tim Toady
and Benoit Baudry",
title = "Automatic Specialization of Third-Party {Java}
Dependencies",
journal = j-IEEE-TRANS-SOFTW-ENG,
volume = "49",
number = "11",
pages = "5027--5045",
month = nov,
year = "2023",
CODEN = "IESEDJ",
DOI = "https://doi.org/10.1109/TSE.2023.3324950",
ISSN = "0098-5589 (print), 1939-3520 (electronic)",
ISSN-L = "0098-5589",
bibdate = "Thu Dec 14 15:07:56 2023",
bibsource = "https://www.math.utah.edu/pub/tex/bib/ieeetranssoftweng2020.bib;
https://www.math.utah.edu/pub/tex/bib/java2020.bib",
acknowledgement = ack-nhfb,
fjournal = "IEEE Transactions on Software Engineering",
journal-URL = "https://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=32",
}
@Article{Soto-Valero:2023:CBD,
author = "C{\'e}sar Soto-Valero and Thomas Durieux and Nicolas
Harrand and Benoit Baudry",
title = "Coverage-Based Debloating for {Java} Bytecode",
journal = j-TOSEM,
volume = "32",
number = "2",
pages = "38:1--38:??",
month = apr,
year = "2023",
CODEN = "ATSMER",
DOI = "https://doi.org/10.1145/3546948",
ISSN = "1049-331X (print), 1557-7392 (electronic)",
ISSN-L = "1049-331X",
bibdate = "Mon Apr 17 12:10:06 MDT 2023",
bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib;
https://www.math.utah.edu/pub/tex/bib/tosem.bib",
URL = "https://dl.acm.org/doi/10.1145/3546948",
abstract = "Software bloat is code that is packaged in an
application but is actually not necessary to run the
application. The presence of software bloat is an issue
for security, performance, and for maintenance. In this
article, we introduce a novel technique for \ldots{}",
acknowledgement = ack-nhfb,
articleno = "38",
fjournal = "ACM Transactions on Software Engineering and
Methodology",
journal-URL = "https://dl.acm.org/loi/tosem",
}
@Article{Torres:2023:ICC,
author = "Adriano Torres and Caio Oliveira and M{\'a}rcio
Okimoto and Diego Marc{\'{\i}}lio and Pedro Queiroga
and Fernando Castor and Rodrigo Bonif{\'a}cio and Edna
Dias Canedo and M{\'a}rcio Ribeiro and Eduardo
Monteiro",
title = "An Investigation of confusing code patterns in
{JavaScript}",
journal = j-J-SYST-SOFTW,
volume = "203",
number = "??",
pages = "??--??",
month = sep,
year = "2023",
CODEN = "JSSODM",
DOI = "https://doi.org/10.1016/j.jss.2023.111731",
ISSN = "0164-1212 (print), 1873-1228 (electronic)",
ISSN-L = "0164-1212",
bibdate = "Tue Jun 13 06:08:02 MDT 2023",
bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib;
https://www.math.utah.edu/pub/tex/bib/jsystsoftw2020.bib",
URL = "http://www.sciencedirect.com/science/article/pii/S0164121223001267",
acknowledgement = ack-nhfb,
articleno = "111731",
fjournal = "Journal of Systems and Software",
journal-URL = "http://www.sciencedirect.com/science/journal/01641212",
}
@Article{Traini:2023:TEA,
author = "Luca Traini and Vittorio Cortellessa and Daniele {Di
Pompeo} and Michele Tucci",
title = "Towards effective assessment of steady state
performance in {Java} software: are we there yet?",
journal = j-EMPIR-SOFTWARE-ENG,
volume = "28",
number = "1",
pages = "??--??",
month = jan,
year = "2023",
CODEN = "ESENFW",
DOI = "https://doi.org/10.1007/s10664-022-10247-x",
ISSN = "1382-3256 (print), 1573-7616 (electronic)",
ISSN-L = "1382-3256",
bibdate = "Wed May 17 06:39:04 MDT 2023",
bibsource = "https://www.math.utah.edu/pub/tex/bib/empir-software-eng.bib;
https://www.math.utah.edu/pub/tex/bib/java2020.bib",
URL = "https://link.springer.com/article/10.1007/s10664-022-10247-x",
acknowledgement = ack-nhfb,
ajournal = "Empir. Software. Eng.",
articleno = "13",
fjournal = "Empirical Software Engineering",
journal-URL = "http://link.springer.com/journal/10664",
}
@Article{Trubiani:2023:ADS,
author = "Catia Trubiani and Riccardo Pinciroli and Andrea
Biaggi and Francesca Arcelli Fontana",
title = "Automated Detection of Software Performance
Antipatterns in {Java}-Based Applications",
journal = j-IEEE-TRANS-SOFTW-ENG,
volume = "49",
number = "4",
pages = "2873--2891",
month = apr,
year = "2023",
CODEN = "IESEDJ",
DOI = "https://doi.org/10.1109/TSE.2023.3234321",
ISSN = "0098-5589 (print), 1939-3520 (electronic)",
ISSN-L = "0098-5589",
bibdate = "Fri Apr 21 11:17:27 2023",
bibsource = "https://www.math.utah.edu/pub/tex/bib/ieeetranssoftweng2020.bib;
https://www.math.utah.edu/pub/tex/bib/java2020.bib",
acknowledgement = ack-nhfb,
fjournal = "IEEE Transactions on Software Engineering",
journal-URL = "http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=32",
}
@Article{vanOorschot:2023:MEMb,
author = "Paul C. van Oorschot",
title = "Memory Errors and Memory Safety: a Look at {Java} and
{Rust}",
journal = j-IEEE-SEC-PRIV,
volume = "21",
number = "3",
pages = "62--68",
month = may # "\slash " # jun,
year = "2023",
DOI = "https://doi.org/10.1109/MSEC.2023.3249719",
ISSN = "1540-7993 (print), 1558-4046 (electronic)",
ISSN-L = "1540-7993",
bibdate = "Mon Jun 5 11:33:11 2023",
bibsource = "https://www.math.utah.edu/pub/tex/bib/ieeesecpriv.bib;
https://www.math.utah.edu/pub/tex/bib/java2020.bib;
https://www.math.utah.edu/pub/tex/bib/rust.bib",
acknowledgement = ack-nhfb,
fjournal = "IEEE Security \& Privacy",
journal-URL = "https://publications.computer.org/security-and-privacy/",
}
@Article{Walker:2023:JLF,
author = "Matt Walker and Parssa Khazra and Anto Nanah Ji and
Hongru Wang and Franck van Breugel",
title = "{jpf-logic}: a Framework for Checking Temporal Logic
Properties of {Java} Code",
journal = j-SIGSOFT,
volume = "48",
number = "1",
pages = "32--36",
month = jan,
year = "2023",
CODEN = "SFENDP",
DOI = "https://doi.org/10.1145/3573074.3573083",
ISSN = "0163-5948 (print), 1943-5843 (electronic)",
ISSN-L = "0163-5948",
bibdate = "Mon Mar 25 12:02:24 MDT 2024",
bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib;
https://www.math.utah.edu/pub/tex/bib/sigsoft2020.bib",
URL = "https://dl.acm.org/doi/10.1145/3573074.3573083",
abstract = "We present jpf-logic, an extension of the model
checker Java PathFinder (JPF). Our extension jpf-logic
provides a framework to check properties expressed in
temporal logics such as linear temporal logic (LTL) and
computation tree logic (CTL). To support \ldots{}",
acknowledgement = ack-nhfb,
fjournal = "ACM SIGSOFT Software Engineering Notes",
journal-URL = "https://dl.acm.org/loi/sigsoft",
}
@Article{Wang:2023:SCJ,
author = "Chao Wang and Hao He and Uma Pal and Darko Marinov and
Minghui Zhou",
title = "Suboptimal Comments in {Java} Projects: From
Independent Comment Changes to Commenting Practices",
journal = j-TOSEM,
volume = "32",
number = "2",
pages = "45:1--45:??",
month = apr,
year = "2023",
CODEN = "ATSMER",
DOI = "https://doi.org/10.1145/3546949",
ISSN = "1049-331X (print), 1557-7392 (electronic)",
ISSN-L = "1049-331X",
bibdate = "Mon Apr 17 12:10:06 MDT 2023",
bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib;
https://www.math.utah.edu/pub/tex/bib/tosem.bib",
URL = "https://dl.acm.org/doi/10.1145/3546949",
abstract = "High-quality source code comments are valuable for
software development and maintenance, however, code
often contains low-quality comments or lacks them
altogether. We name such source code comments as
suboptimal comments. Such suboptimal comments create
\ldots{}",
acknowledgement = ack-nhfb,
articleno = "45",
fjournal = "ACM Transactions on Software Engineering and
Methodology",
journal-URL = "https://dl.acm.org/loi/tosem",
}
@Article{Wijaya:2023:NJD,
author = "Agung Danu Wijaya and Dedy Farhamsa and Darmawati
Darwis",
title = "\pkg{netDFT}: {JAVA Density Functional Theory} for
solid",
journal = j-SOFTWAREX,
volume = "23",
number = "??",
pages = "??--??",
month = jul,
year = "2023",
CODEN = "????",
DOI = "https://doi.org/10.1016/j.softx.2023.101445",
ISSN = "2352-7110",
ISSN-L = "2352-7110",
bibdate = "Thu Oct 5 12:03:02 MDT 2023",
bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib;
https://www.math.utah.edu/pub/tex/bib/softwarex.bib",
URL = "http://www.sciencedirect.com/science/article/pii/S2352711023001413",
acknowledgement = ack-nhfb,
articleno = "101445",
fjournal = "SoftwareX",
journal-URL = "https://www.sciencedirect.com/journal/softwarex/issues",
}
@Article{Yan:2023:TWS,
author = "Qiuchen Yan and Cyrille Artho and Pavel Par{\'\i}zek",
title = "Towards Wider Support for {Java} String Functions",
journal = j-SIGSOFT,
volume = "48",
number = "1",
pages = "37",
month = jan,
year = "2023",
CODEN = "SFENDP",
DOI = "https://doi.org/10.1145/3573074.3573084",
ISSN = "0163-5948 (print), 1943-5843 (electronic)",
ISSN-L = "0163-5948",
bibdate = "Mon Mar 25 12:02:24 MDT 2024",
bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib;
https://www.math.utah.edu/pub/tex/bib/sigsoft2020.bib",
URL = "https://dl.acm.org/doi/10.1145/3573074.3573084",
abstract = "We conduct a study about SPF's existing string support
by running tests on a version of SPF with the latest
string support. Based on the results, we then analyze
each string method and identify the major challenges in
supporting them. We categorize \ldots{}",
acknowledgement = ack-nhfb,
fjournal = "ACM SIGSOFT Software Engineering Notes",
journal-URL = "https://dl.acm.org/loi/sigsoft",
}
@Article{Zhang:2023:ADJ,
author = "Ying Zhang and Md Mahir Asef Kabir and Ya Xiao and
Danfeng Yao and Na Meng",
title = "Automatic Detection of {Java} Cryptographic {API}
Misuses: Are We There Yet?",
journal = j-IEEE-TRANS-SOFTW-ENG,
volume = "49",
number = "1",
pages = "288--303",
month = jan,
year = "2023",
CODEN = "IESEDJ",
DOI = "https://doi.org/10.1109/TSE.2022.3150302",
ISSN = "0098-5589 (print), 1939-3520 (electronic)",
ISSN-L = "0098-5589",
bibdate = "Sat Feb 18 16:46:58 2023",
bibsource = "https://www.math.utah.edu/pub/tex/bib/ieeetranssoftweng2020.bib;
https://www.math.utah.edu/pub/tex/bib/java2020.bib",
acknowledgement = ack-nhfb,
fjournal = "IEEE Transactions on Software Engineering",
journal-URL = "http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=32",
}
@Article{Zhang:2023:RRB,
author = "Qiang Zhang and Lei Xu and Baowen Xu",
title = "{RegCPython}: a Register-based {Python} Interpreter
for Better Performance",
journal = j-TACO,
volume = "20",
number = "1",
pages = "14:1--14:??",
month = mar,
year = "2023",
CODEN = "????",
DOI = "https://doi.org/10.1145/3568973",
ISSN = "1544-3566 (print), 1544-3973 (electronic)",
ISSN-L = "1544-3566",
bibdate = "Fri Feb 17 06:54:21 MST 2023",
bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib;
https://www.math.utah.edu/pub/tex/bib/python.bib;
https://www.math.utah.edu/pub/tex/bib/taco.bib",
URL = "https://dl.acm.org/doi/10.1145/3568973",
abstract = "Interpreters are widely used in the implementation of
many programming languages, such as Python, Perl, and
Java. Even though various JIT compilers emerge in an
endless stream, interpretation efficiency still plays a
critical role in program performance. Does a
stack-based interpreter or a register-based interpreter
perform better? The pros and cons of the pair of
architectures have long been discussed. The stack
architecture is attractive for its concise model and
compact bytecode, but our study finds that the
register-based interpreter can also be implemented
easily and that its bytecode size only grows by a small
margin. Moreover, the latter turns out to be
appreciably faster. Specifically, we implemented an
open source Python interpreter named RegCPython based
on CPython v3.10.1. The former is register based, while
the latter is stack based. Without changes in syntax,
Application Programming Interface, and Application
Binary Interface, RegCPython is excellently compatible
with CPython, as it does not break existing syntax or
interfaces. It achieves a speedup of 1.287 on the most
favorable benchmark and 0.977 even on the most
unfavorable benchmark. For all Python-intensive
benchmarks, the average speedup reaches 1.120 on x86
and 1.130 on ARM. Our evaluation work, which also
serves as an empirical study, provides a detailed
performance survey of both interpreters on modern
hardware. It points out that the register-based
interpreters are more efficient mainly due to the
elimination of machine instructions needed, while
changes in branch mispredictions and cache misses have
a limited impact on performance. Additionally, it
confirms that the register-based implementation is also
satisfactory in terms of memory footprint, compilation
cost, and implementation complexity.",
acknowledgement = ack-nhfb,
articleno = "14",
fjournal = "ACM Transactions on Architecture and Code Optimization
(TACO)",
journal-URL = "https://dl.acm.org/loi/taco",
}
@Article{Zhou:2023:RSA,
author = "Litao Zhou and Yaoda Zhou and Bruno C. d. S.
Oliveira",
title = "Recursive Subtyping for All",
journal = j-PACMPL,
volume = "7",
number = "POPL",
pages = "48:1--48:??",
month = jan,
year = "2023",
CODEN = "????",
DOI = "https://doi.org/10.1145/3571241",
ISSN = "2475-1421 (electronic)",
ISSN-L = "2475-1421",
bibdate = "Wed May 17 09:16:16 MDT 2023",
bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib;
https://www.math.utah.edu/pub/tex/bib/pacmpl.bib",
URL = "https://dl.acm.org/doi/10.1145/3571241",
abstract = "Recursive types and bounded quantification are
prominent features in many modern programming
languages, such as Java, C\#, Scala or TypeScript.
Unfortunately, \ldots{}",
acknowledgement = ack-nhfb,
articleno = "48",
fjournal = "Proceedings of the ACM on Programming Languages
(PACMPL)",
journal-URL = "https://dl.acm.org/loi/pacmpl",
}
@Article{Zozas:2023:FPC,
author = "Ioannis Zozas and Stamatia Bibi and Apostolos
Ampatzoglou",
title = "Forecasting the Principal of Code Technical Debt in
{JavaScript} Applications",
journal = j-IEEE-TRANS-SOFTW-ENG,
volume = "49",
number = "4",
pages = "2498--2512",
month = apr,
year = "2023",
CODEN = "IESEDJ",
DOI = "https://doi.org/10.1109/TSE.2022.3222318",
ISSN = "0098-5589 (print), 1939-3520 (electronic)",
ISSN-L = "0098-5589",
bibdate = "Fri Apr 21 11:17:27 2023",
bibsource = "https://www.math.utah.edu/pub/tex/bib/ieeetranssoftweng2020.bib;
https://www.math.utah.edu/pub/tex/bib/java2020.bib",
acknowledgement = ack-nhfb,
fjournal = "IEEE Transactions on Software Engineering",
journal-URL = "http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=32",
}
@Article{Ahmad:2024:EAW,
author = "Zubair Ahmad and Samuele Casarin and Stefano
Calzavara",
title = "An Empirical Analysis of {Web} Storage and Its
Applications to {Web} Tracking",
journal = j-TWEB,
volume = "18",
number = "1",
pages = "7:1--7:28",
month = feb,
year = "2024",
CODEN = "????",
DOI = "https://doi.org/10.1145/3623382",
ISSN = "1559-1131 (print), 1559-114X (electronic)",
ISSN-L = "1559-1131",
bibdate = "Tue Aug 20 07:34:13 MDT 2024",
bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib;
https://www.math.utah.edu/pub/tex/bib/tweb.bib",
URL = "https://dl.acm.org/doi/10.1145/3623382",
abstract = "In this article, we present a large-scale empirical
analysis of the use of web storage in the wild. By
using dynamic taint tracking at the level of JavaScript
and by performing an automated classification of the
detected information flows, we shed light on the key
characteristics of web storage uses in the Tranco Top
10k. Our analysis shows that web storage is routinely
accessed by third parties, including known web
trackers, who are particularly eager to have both read
and write access to persistent web storage information.
We then deep dive in web tracking as a prominent case
study: our analysis shows that web storage is not yet
as popular as cookies for tracking purposes; however,
taint tracking is useful to detect potential new
trackers not included in standard filter lists.
Moreover, we observe that many websites do not comply
with the General Data Protection Regulation directives
when it comes to their use of web storage.",
acknowledgement = ack-nhfb,
ajournal = "ACM Trans. Web",
articleno = "7",
fjournal = "ACM Transactions on the Web (TWEB)",
journal-URL = "https://dl.acm.org/loi/tweb",
}
@Article{Ayerdi:2024:GAG,
author = "Jon Ayerdi and Valerio Terragni and Gunel Jahangirova
and Aitor Arrieta and Paolo Tonella",
title = "{GenMorph}: Automatically Generating Metamorphic
Relations via Genetic Programming",
journal = j-IEEE-TRANS-SOFTW-ENG,
volume = "50",
number = "7",
pages = "1888--1900",
month = jul,
year = "2024",
CODEN = "IESEDJ",
DOI = "https://doi.org/10.1109/TSE.2024.3407840",
ISSN = "0098-5589 (print), 1939-3520 (electronic)",
ISSN-L = "0098-5589",
bibdate = "Sat Aug 24 08:23:19 2024",
bibsource = "https://www.math.utah.edu/pub/tex/bib/ieeetranssoftweng2020.bib;
https://www.math.utah.edu/pub/tex/bib/java2020.bib",
acknowledgement = ack-nhfb,
ajournal = "IEEE Trans. Softw. Eng.",
fjournal = "IEEE Transactions on Software Engineering",
journal-URL = "https://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=32",
keywords = "Filters; Generators; Genetic programming; genetic
programming; Java; Manuals; metamorphic relations;
Metamorphic testing; mutation analysis; oracle problem;
Space exploration; Testing",
}
@Article{Bertolotti:2024:WDD,
author = "Francesco Bertolotti and Walter Cazzola and Dario
Ostuni and Carlo Castoldi",
title = "When the dragons defeat the knight: {Basilisk} an
architectural pattern for platform and language
independent development",
journal = j-J-SYST-SOFTW,
volume = "215",
number = "??",
pages = "??--??",
month = sep,
year = "2024",
CODEN = "JSSODM",
DOI = "https://doi.org/10.1016/j.jss.2024.112088",
ISSN = "0164-1212 (print), 1873-1228 (electronic)",
ISSN-L = "0164-1212",
bibdate = "Tue Jun 11 07:32:57 MDT 2024",
bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib;
https://www.math.utah.edu/pub/tex/bib/jsystsoftw2020.bib;
https://www.math.utah.edu/pub/tex/bib/python.bib",
URL = "http://www.sciencedirect.com/science/article/pii/S016412122400133X",
acknowledgement = ack-nhfb,
ajournal = "J. Syst. Softw.",
articleno = "112088",
fjournal = "Journal of Systems and Software",
journal-URL = "http://www.sciencedirect.com/science/journal/01641212",
}
@Article{Brandt:2024:SSH,
author = "Carolin Brandt and Ali Khatami and Mairieli Wessel and
Andy Zaidman",
title = "Shaken, Not Stirred: How Developers Like Their
Amplified Tests",
journal = j-IEEE-TRANS-SOFTW-ENG,
volume = "50",
number = "5",
pages = "1264--1280",
month = may,
year = "2024",
CODEN = "IESEDJ",
DOI = "https://doi.org/10.1109/TSE.2024.3381015",
ISSN = "0098-5589 (print), 1939-3520 (electronic)",
ISSN-L = "0098-5589",
bibdate = "Sat Aug 24 08:23:19 2024",
bibsource = "https://www.math.utah.edu/pub/tex/bib/ieeetranssoftweng2020.bib;
https://www.math.utah.edu/pub/tex/bib/java2020.bib",
acknowledgement = ack-nhfb,
ajournal = "IEEE Trans. Softw. Eng.",
fjournal = "IEEE Transactions on Software Engineering",
journal-URL = "https://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=32",
keywords = "automatic test generation; Codes; Computer crashes;
developer-centric test amplification; Fuzzing; Java;
Software testing; Test pattern generators; Testing;
Writing",
}
@Article{Chen:2024:CEH,
author = "Bochuan Chen and Xiao Guo and Yuting Chen and Xiaofeng
Yu and Lei Bu",
title = "Constructing exception handling chains for testing
{Java} virtual machine implementations",
journal = j-J-SOFTW-EVOL-PROC,
volume = "36",
number = "4",
pages = "e2562:1--e2562:??",
month = apr,
year = "2024",
CODEN = "????",
DOI = "https://doi.org/10.1002/smr.2562",
ISSN = "2047-7473 (print), 2047-7481 (electronic)",
ISSN-L = "2047-7473",
bibdate = "Sat May 25 07:47:43 MDT 2024",
bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib;
https://www.math.utah.edu/pub/tex/bib/jsoftwevolproc.bib;
https://www.math.utah.edu/pub/tex/bib/virtual-machines.bib",
acknowledgement = ack-nhfb,
ajournal = "J. Softw. Evol. Proc.",
fjournal = "Journal of Software: Evolution and Process",
journal-URL = "http://onlinelibrary.wiley.com/journal/10.1002/(ISSN)2047-7481",
onlinedate = "15 April 2023",
}
@Article{Fatima:2024:FUL,
author = "Sakina Fatima and Hadi Hemmati and Lionel C. Briand",
title = "{FlakyFix}: Using Large Language Models for Predicting
Flaky Test Fix Categories and Test Code Repair",
journal = j-IEEE-TRANS-SOFTW-ENG,
volume = "50",
number = "12",
pages = "3146--3171",
month = dec,
year = "2024",
CODEN = "IESEDJ",
DOI = "https://doi.org/10.1109/TSE.2024.3472476",
ISSN = "0098-5589 (print), 1939-3520 (electronic)",
ISSN-L = "0098-5589",
bibdate = "Fri Mar 14 08:18:57 2025",
bibsource = "https://www.math.utah.edu/pub/tex/bib/ieeetranssoftweng2020.bib;
https://www.math.utah.edu/pub/tex/bib/java2020.bib",
acknowledgement = ack-nhfb,
ajournal = "IEEE Trans. Softw. Eng.",
fjournal = "IEEE Transactions on Software Engineering",
journal-URL = "https://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=32",
keywords = "Analytical models; code models; Codes; Few shot
learning; few shot learning; fix category; Flaky tests;
Java; Large language models; large language models;
Maintenance engineering; Manuals; Predictive models;
Production; Python; software testing; test repair",
}
@Article{Forti:2024:IMR,
author = "Stefano Forti",
title = "An Interview with {Martin Robillard} --- {2024
SIGSOFT} Awardee",
journal = j-SIGSOFT,
volume = "49",
number = "3",
pages = "19--20",
month = jul,
year = "2024",
CODEN = "SFENDP",
DOI = "https://doi.org/10.1145/3672089.3672094",
ISSN = "0163-5948 (print), 1943-5843 (electronic)",
ISSN-L = "0163-5948",
bibdate = "Tue Aug 20 09:04:41 MDT 2024",
bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib;
https://www.math.utah.edu/pub/tex/bib/sigsoft2020.bib",
URL = "https://dl.acm.org/doi/10.1145/3672089.3672094",
abstract = "Martin Robillard received the 2024 SIGSOFT Influential
Educator Award for his significant contributions to
hands-on software design education, including a
textbook (Introduction to Software Design with Java)
and a learner-focused software modeling tool \ldots{}",
acknowledgement = ack-nhfb,
fjournal = "ACM SIGSOFT Software Engineering Notes",
journal-URL = "https://dl.acm.org/loi/sigsoft",
}
@Article{Ghorbani:2024:DAA,
author = "Negar Ghorbani and Tarandeep Singh and Joshua Garcia
and Sam Malek",
title = "{Darcy}: Automatic Architectural Inconsistency
Resolution in {Java}",
journal = j-IEEE-TRANS-SOFTW-ENG,
volume = "50",
number = "6",
pages = "1639--1657",
month = jun,
year = "2024",
CODEN = "IESEDJ",
DOI = "https://doi.org/10.1109/TSE.2024.3396433",
ISSN = "0098-5589 (print), 1939-3520 (electronic)",
ISSN-L = "0098-5589",
bibdate = "Sat Aug 24 08:23:19 2024",
bibsource = "https://www.math.utah.edu/pub/tex/bib/ieeetranssoftweng2020.bib;
https://www.math.utah.edu/pub/tex/bib/java2020.bib",
acknowledgement = ack-nhfb,
ajournal = "IEEE Trans. Softw. Eng.",
fjournal = "IEEE Transactions on Software Engineering",
journal-URL = "https://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=32",
keywords = "Architectural Inconsistency; Computer architecture;
Encapsulation; Java; Java Platform Module System;
Maintenance engineering; Security; Software Analysis;
Software Architecture; Software Repair; Software
systems; Unified modeling language",
}
@Article{Gong:2024:MKM,
author = "Lina Gong and Haoxiang Zhang",
title = "{MR$^2_2$-KG}: a Multi-Relation Multi-Rationale
Knowledge Graph for Modeling Software Engineering
Knowledge on {Stack Overflow}",
journal = j-IEEE-TRANS-SOFTW-ENG,
volume = "50",
number = "7",
pages = "1867--1887",
month = jul,
year = "2024",
CODEN = "IESEDJ",
DOI = "https://doi.org/10.1109/TSE.2024.3403108",
ISSN = "0098-5589 (print), 1939-3520 (electronic)",
ISSN-L = "0098-5589",
bibdate = "Sat Aug 24 08:23:19 2024",
bibsource = "https://www.math.utah.edu/pub/tex/bib/ieeetranssoftweng2020.bib;
https://www.math.utah.edu/pub/tex/bib/java2020.bib",
acknowledgement = ack-nhfb,
ajournal = "IEEE Trans. Softw. Eng.",
fjournal = "IEEE Transactions on Software Engineering",
journal-URL = "https://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=32",
keywords = "Couplings; crowdsourced knowledge sharing; Empirical
software engineering; Java; knowledge graph; Knowledge
graphs; Message systems; Parallel processing; Question
answering (information retrieval); Software
engineering; stack overflow",
}
@Article{Gorski:2024:SJP,
author = "Tomasz G{\'o}rski",
title = "\pkg{SmarTS}: a {Java} package for smart contract test
suite generation and execution",
journal = j-SOFTWAREX,
volume = "26",
number = "??",
pages = "??--??",
month = may,
year = "2024",
CODEN = "????",
DOI = "https://doi.org/10.1016/j.softx.2024.101698",
ISSN = "2352-7110",
ISSN-L = "2352-7110",
bibdate = "Wed May 29 07:44:49 MDT 2024",
bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib;
https://www.math.utah.edu/pub/tex/bib/softwarex.bib",
URL = "http://www.sciencedirect.com/science/article/pii/S2352711024000694",
acknowledgement = ack-nhfb,
articleno = "101698",
fjournal = "SoftwareX",
journal-URL = "https://www.sciencedirect.com/journal/softwarex/issues",
}
@Article{Guerra:2024:HDA,
author = "Eduardo Guerra and Everaldo Gomes and Jeferson
Ferreira and Igor Wiese and Phyllipe Lima and Marco
Gerosa and Paulo Meirelles",
title = "How do annotations affect {Java} code readability?",
journal = j-EMPIR-SOFTWARE-ENG,
volume = "29",
number = "3",
pages = "??--??",
month = may,
year = "2024",
CODEN = "ESENFW",
DOI = "https://doi.org/10.1007/s10664-024-10460-w",
ISSN = "1382-3256 (print), 1573-7616 (electronic)",
ISSN-L = "1382-3256",
bibdate = "Fri May 31 15:48:05 MDT 2024",
bibsource = "https://www.math.utah.edu/pub/tex/bib/empir-software-eng.bib;
https://www.math.utah.edu/pub/tex/bib/java2020.bib",
URL = "https://link.springer.com/article/10.1007/s10664-024-10460-w",
acknowledgement = ack-nhfb,
ajournal = "Empir. Software. Eng.",
articleno = "62",
fjournal = "Empirical Software Engineering",
journal-URL = "http://link.springer.com/journal/10664",
}
@Article{Hasan:2024:RAB,
author = "Mohammed Tayeeb Hasan and Nikolaos Tsantalis and
Pouria Alikhanifard",
title = "Refactoring-Aware Block Tracking in Commit History",
journal = j-IEEE-TRANS-SOFTW-ENG,
volume = "50",
number = "12",
pages = "3330--3350",
month = dec,
year = "2024",
CODEN = "IESEDJ",
DOI = "https://doi.org/10.1109/TSE.2024.3484586",
ISSN = "0098-5589 (print), 1939-3520 (electronic)",
ISSN-L = "0098-5589",
bibdate = "Fri Mar 14 08:18:57 2025",
bibsource = "https://www.math.utah.edu/pub/tex/bib/ieeetranssoftweng2020.bib;
https://www.math.utah.edu/pub/tex/bib/java2020.bib",
acknowledgement = ack-nhfb,
ajournal = "IEEE Trans. Softw. Eng.",
fjournal = "IEEE Transactions on Software Engineering",
journal-URL = "https://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=32",
keywords = "Accuracy; change oracle; Codes; Commit change history;
Computer bugs; Containers; History; Java;
refactoring-aware source code tracking; Software;
Software engineering; Source coding; Target tracking",
}
@Article{Hwang:2024:ESJ,
author = "Sungjae Hwang and Sungho Lee and Sukyoung Ryu",
title = "An Empirical Study of {JVMs}' Behaviors on Erroneous
{JNI} Interoperations",
journal = j-IEEE-TRANS-SOFTW-ENG,
volume = "50",
number = "4",
pages = "979--994",
month = apr,
year = "2024",
CODEN = "IESEDJ",
DOI = "https://doi.org/10.1109/TSE.2024.3373239",
ISSN = "0098-5589 (print), 1939-3520 (electronic)",
ISSN-L = "0098-5589",
bibdate = "Sat Aug 24 08:23:19 2024",
bibsource = "https://www.math.utah.edu/pub/tex/bib/ieeetranssoftweng2020.bib;
https://www.math.utah.edu/pub/tex/bib/java2020.bib",
acknowledgement = ack-nhfb,
ajournal = "IEEE Trans. Softw. Eng.",
fjournal = "IEEE Transactions on Software Engineering",
journal-URL = "https://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=32",
keywords = "Behavioral sciences; Codes; debugging; DSL; empirical
study; Java; Java native interface; Java virtual
machine; Runtime; Semantics; testing; Virtual
machining",
}
@Article{Juge:2024:ASS,
author = "Vincent Jug{\'e}",
title = "Adaptive Shivers Sort: an Alternative Sorting
Algorithm",
journal = j-TALG,
volume = "20",
number = "4",
pages = "31:1--31:55",
month = oct,
year = "2024",
CODEN = "????",
DOI = "https://doi.org/10.1145/3664195",
ISSN = "1549-6325 (print), 1549-6333 (electronic)",
ISSN-L = "1549-6325",
bibdate = "Sat Oct 12 11:56:24 MDT 2024",
bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib;
https://www.math.utah.edu/pub/tex/bib/talg.bib",
URL = "https://dl.acm.org/doi/10.1145/3664195",
abstract = "We present a new sorting algorithm, called adaptive
ShiversSort, that exploits the existence of monotonic
runs for sorting efficiently partially sorted data.
This algorithm is a variant of the well-known algorithm
TimSort, which is the sorting algorithm used in
standard libraries of programming languages, such as
Python or Java (for non-primitive types). More
precisely, adaptive ShiversSort is a so-called
$k$-aware merge-sort algorithm, a class that captures
TimSort-like algorithms and that was introduced by Buss
and Knop.\par
In this article, we prove that, although adaptive
ShiversSort is simple to implement and differs only
slightly from TimSort, its computational cost, in
number of comparisons performed, is optimal within the
class of natural merge-sort algorithms, up to a small
additive linear term. This makes adaptive ShiversSort
the first $k$-aware algorithm to benefit from this
property, which is also a 33\% improvement over
TimSort's worst-case. This suggests that adaptive
ShiversSort could be a strong contender for being used
instead of TimSort.\par
Then, we investigate the optimality of $k$-aware
algorithms. We give lower and upper bounds on the best
approximation factors of such algorithms, compared to
optimal stable natural merge-sort algorithms. In
particular, we design generalisations of adaptive
ShiversSort whose computational costs are optimal up to
arbitrarily small multiplicative factors.",
acknowledgement = ack-nhfb,
ajournal = "ACM Trans. Algorithms",
articleno = "31",
fjournal = "ACM Transactions on Algorithms (TALG)",
journal-URL = "https://dl.acm.org/loi/talg",
}
@Article{Kan:2024:CLT,
author = "Shuangxiang Kan and Yuhao Gao and Zexin Zhong and
Yulei Sui",
title = "Cross-Language Taint Analysis: Generating
Caller-Sensitive Native Code Specification for {Java}",
journal = j-IEEE-TRANS-SOFTW-ENG,
volume = "50",
number = "6",
pages = "1518--1533",
month = jun,
year = "2024",
CODEN = "IESEDJ",
DOI = "https://doi.org/10.1109/TSE.2024.3392254",
ISSN = "0098-5589 (print), 1939-3520 (electronic)",
ISSN-L = "0098-5589",
bibdate = "Sat Aug 24 08:23:19 2024",
bibsource = "https://www.math.utah.edu/pub/tex/bib/ieeetranssoftweng2020.bib;
https://www.math.utah.edu/pub/tex/bib/java2020.bib",
acknowledgement = ack-nhfb,
ajournal = "IEEE Trans. Softw. Eng.",
fjournal = "IEEE Transactions on Software Engineering",
journal-URL = "https://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=32",
keywords = "C++ languages; caller-sensitive specification; Codes;
cross-language program; Java; Libraries; Security;
Source coding; Static analysis; taint analysis",
}
@Article{Kang:2024:EDL,
author = "Sungmin Kang and Juyeon Yoon and Nargiz Askarbekkyzy
and Shin Yoo",
title = "Evaluating Diverse Large Language Models for Automatic
and General Bug Reproduction",
journal = j-IEEE-TRANS-SOFTW-ENG,
volume = "50",
number = "10",
pages = "2677--2694",
month = oct,
year = "2024",
CODEN = "IESEDJ",
DOI = "https://doi.org/10.1109/TSE.2024.3450837",
ISSN = "0098-5589 (print), 1939-3520 (electronic)",
ISSN-L = "0098-5589",
bibdate = "Wed Oct 23 14:46:33 2024",
bibsource = "https://www.math.utah.edu/pub/tex/bib/ieeetranssoftweng2020.bib;
https://www.math.utah.edu/pub/tex/bib/java2020.bib",
acknowledgement = ack-nhfb,
ajournal = "IEEE Trans. Softw. Eng.",
fjournal = "IEEE Transactions on Software Engineering",
journal-URL = "https://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=32",
keywords = "Codes; Computational modeling; Computer bugs;
Debugging; Java; Large language models; natural
language processing; Pipelines; software engineering;
Test generation",
}
@Article{Laaber:2024:ESB,
author = "Christoph Laaber and Tao Yue and Shaukat Ali",
title = "Evaluating Search-Based Software Microbenchmark
Prioritization",
journal = j-IEEE-TRANS-SOFTW-ENG,
volume = "50",
number = "7",
pages = "1687--1703",
month = jul,
year = "2024",
CODEN = "IESEDJ",
DOI = "https://doi.org/10.1109/TSE.2024.3380836",
ISSN = "0098-5589 (print), 1939-3520 (electronic)",
ISSN-L = "0098-5589",
bibdate = "Sat Aug 24 08:23:19 2024",
bibsource = "https://www.math.utah.edu/pub/tex/bib/ieeetranssoftweng2020.bib;
https://www.math.utah.edu/pub/tex/bib/java2020.bib",
acknowledgement = ack-nhfb,
ajournal = "IEEE Trans. Softw. Eng.",
fjournal = "IEEE Transactions on Software Engineering",
journal-URL = "https://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=32",
keywords = "Benchmark testing; Java; JMH; multi-objective
optimization; performance testing; regression testing;
Runtime; Search problems; search-based software
engineering; Software; Software measurement; Software
microbenchmarking; Source coding; test case
prioritization",
}
@Article{Labijak-Kowalska:2024:RJL,
author = "Anna Labijak-Kowalska and Mi{\l}osz Kadzi{\'n}ski",
title = "\pkg{robustDEA}: a {Java} library for robust
efficiency analysis",
journal = j-SOFTWAREX,
volume = "26",
number = "??",
pages = "??--??",
month = may,
year = "2024",
CODEN = "????",
DOI = "https://doi.org/10.1016/j.softx.2024.101749",
ISSN = "2352-7110",
ISSN-L = "2352-7110",
bibdate = "Wed May 29 07:44:49 MDT 2024",
bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib;
https://www.math.utah.edu/pub/tex/bib/softwarex.bib",
URL = "http://www.sciencedirect.com/science/article/pii/S2352711024001201",
acknowledgement = ack-nhfb,
articleno = "101749",
fjournal = "SoftwareX",
journal-URL = "https://www.sciencedirect.com/journal/softwarex/issues",
}
@Article{Li:2024:GSG,
author = "Haofeng Li and Tian Tan and Yue Li and Jie Lu and
Haining Meng and Liqing Cao and Yongheng Huang and Lian
Li and Lin Gao and Peng Di and Liang Lin and ChenXi
Cui",
title = "Generic Sensitivity: Generics-Guided Context
Sensitivity for Pointer Analysis",
journal = j-IEEE-TRANS-SOFTW-ENG,
volume = "50",
number = "5",
pages = "1144--1162",
month = may,
year = "2024",
CODEN = "IESEDJ",
DOI = "https://doi.org/10.1109/TSE.2024.3377645",
ISSN = "0098-5589 (print), 1939-3520 (electronic)",
ISSN-L = "0098-5589",
bibdate = "Sat Aug 24 08:23:19 2024",
bibsource = "https://www.math.utah.edu/pub/tex/bib/ieeetranssoftweng2020.bib;
https://www.math.utah.edu/pub/tex/bib/java2020.bib",
acknowledgement = ack-nhfb,
ajournal = "IEEE Trans. Softw. Eng.",
fjournal = "IEEE Transactions on Software Engineering",
journal-URL = "https://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=32",
keywords = "Benchmark testing; Codes; context sensitivity; generic
programming; Java; Pointer analysis; Receivers;
Resource management; Sensitivity; Software",
}
@Article{Liu:2024:ESC,
author = "Wei Liu and Shouvick Mondal and Tse-Hsun (Peter)
Chen",
title = "An Empirical Study on the Characteristics of Database
Access Bugs in {Java} Applications",
journal = j-TOSEM,
volume = "33",
number = "7",
pages = "181:1--181:??",
month = sep,
year = "2024",
CODEN = "ATSMER",
DOI = "https://doi.org/10.1145/3672449",
ISSN = "1049-331X (print), 1557-7392 (electronic)",
ISSN-L = "1049-331X",
bibdate = "Mon Sep 30 08:52:18 MDT 2024",
bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib;
https://www.math.utah.edu/pub/tex/bib/tosem.bib",
URL = "https://dl.acm.org/doi/10.1145/3672449",
abstract = "Database-backed applications rely on the database
access code to interact with the underlying database
management systems (DBMSs). Although many prior studies
aim at database access issues like SQL anti-patterns or
SQL code smells, there is a lack of \ldots{}",
acknowledgement = ack-nhfb,
ajournal = "ACM Trans. Softw. Eng. Methodol.",
articleno = "181",
fjournal = "ACM Transactions on Software Engineering and
Methodology",
journal-URL = "https://dl.acm.org/loi/tosem",
}
@Article{Maes-Bermejo:2024:TPC,
author = "Michel Maes-Bermejo and Micael Gallego and Francisco
Gort{\'a}zar and Gregorio Robles and Jesus M.
Gonzalez-Barahona",
title = "Testing the past: can we still run tests in past
snapshots for {Java} projects?",
journal = j-EMPIR-SOFTWARE-ENG,
volume = "29",
number = "5",
pages = "??--??",
month = sep,
year = "2024",
CODEN = "ESENFW",
DOI = "https://doi.org/10.1007/s10664-024-10530-z",
ISSN = "1382-3256 (print), 1573-7616 (electronic)",
ISSN-L = "1382-3256",
bibdate = "Tue Sep 17 11:31:37 MDT 2024",
bibsource = "https://www.math.utah.edu/pub/tex/bib/empir-software-eng.bib;
https://www.math.utah.edu/pub/tex/bib/java2020.bib",
URL = "https://link.springer.com/article/10.1007/s10664-024-10530-z",
acknowledgement = ack-nhfb,
ajournal = "Empir. Software. Eng.",
articleno = "127",
fjournal = "Empirical Software Engineering",
journal-URL = "http://link.springer.com/journal/10664",
}
@Article{Martins:2024:DTS,
author = "Luana Martins and Heitor Costa and Ivan Machado",
title = "On the diffusion of test smells and their relationship
with test code quality of {Java} projects",
journal = j-J-SOFTW-EVOL-PROC,
volume = "36",
number = "4",
pages = "e2532:1--e2532:??",
month = apr,
year = "2024",
CODEN = "????",
DOI = "https://doi.org/10.1002/smr.2532",
ISSN = "2047-7473 (print), 2047-7481 (electronic)",
ISSN-L = "2047-7473",
bibdate = "Sat May 25 07:47:43 MDT 2024",
bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib;
https://www.math.utah.edu/pub/tex/bib/jsoftwevolproc.bib",
acknowledgement = ack-nhfb,
ajournal = "J. Softw. Evol. Proc.",
fjournal = "Journal of Software: Evolution and Process",
journal-URL = "http://onlinelibrary.wiley.com/journal/10.1002/(ISSN)2047-7481",
onlinedate = "18 January 2023",
}
@Article{Misu:2024:SJB,
author = "Md Rakib Hossain Misu and Rohan Achar and Cristina V.
Lopes",
title = "{SourcererJBF}: a {Java} Build Framework For
Large-Scale Compilation",
journal = j-TOSEM,
volume = "33",
number = "3",
pages = "71:1--71:??",
month = mar,
year = "2024",
CODEN = "ATSMER",
DOI = "https://doi.org/10.1145/3635710",
ISSN = "1049-331X (print), 1557-7392 (electronic)",
ISSN-L = "1049-331X",
bibdate = "Wed Apr 10 09:12:11 MDT 2024",
bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib;
https://www.math.utah.edu/pub/tex/bib/tosem.bib",
URL = "https://dl.acm.org/doi/10.1145/3635710",
abstract = "Researchers and tool developers working on dynamic
analysis, software testing, automated program repair,
verification, and validation, need large compiled,
compilable, and executable code corpora to test their
ideas. The publicly available corpora are \ldots{}",
acknowledgement = ack-nhfb,
ajournal = "ACM Trans. Softw. Eng. Methodol.",
articleno = "71",
fjournal = "ACM Transactions on Software Engineering and
Methodology",
journal-URL = "https://dl.acm.org/loi/tosem",
}
@Article{Nicolini:2024:UNJb,
author = "Thiago Nicolini and Andre Hora and Eduardo
Figueiredo",
title = "On the Usage of New {JavaScript} Features Through
Transpilers: The {Babel} Case",
journal = j-IEEE-SOFTWARE,
volume = "41",
number = "1",
pages = "105--112",
month = jan # "\slash " # feb,
year = "2024",
CODEN = "IESOEG",
DOI = "https://doi.org/10.1109/MS.2023.3243858",
ISSN = "0740-7459 (print), 1937-4194 (electronic)",
ISSN-L = "0740-7459",
bibdate = "Fri Apr 5 17:15:50 2024",
bibsource = "https://www.math.utah.edu/pub/tex/bib/ieeesoft2020.bib;
https://www.math.utah.edu/pub/tex/bib/java2020.bib",
acknowledgement = ack-nhfb,
fjournal = "IEEE Software",
journal-URL = "https://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=52",
keywords = "Browsers; Codes; Computer languages; Java; Program
processors; Software development management;
Syntactics",
}
@Article{Pizzolotto:2024:MDB,
author = "Davide Pizzolotto and Stefano Berlato and Mariano
Ceccato",
title = "Mitigating Debugger-based Attacks to {Java}
Applications with Self-debugging",
journal = j-TOSEM,
volume = "33",
number = "4",
pages = "107:1--107:??",
month = may,
year = "2024",
CODEN = "ATSMER",
DOI = "https://doi.org/10.1145/3631971",
ISSN = "1049-331X (print), 1557-7392 (electronic)",
ISSN-L = "1049-331X",
bibdate = "Wed Apr 24 13:33:37 MDT 2024",
bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib;
https://www.math.utah.edu/pub/tex/bib/tosem.bib",
URL = "https://dl.acm.org/doi/10.1145/3631971",
abstract = "Java bytecode is a quite high-level language and, as
such, it is fairly easy to analyze and decompile with
malicious intents, e.g., to tamper with code and skip
license checks. Code obfuscation was a first attempt to
mitigate malicious reverse-engineering \ldots{}",
acknowledgement = ack-nhfb,
ajournal = "ACM Trans. Softw. Eng. Methodol.",
articleno = "107",
fjournal = "ACM Transactions on Software Engineering and
Methodology",
journal-URL = "https://dl.acm.org/loi/tosem",
}
@Article{Sanchez:2024:MTP,
author = "Ana B. S{\'a}nchez and Jos{\'e} A. Parejo and Sergio
Segura and Amador Dur{\'a}n and Mike Papadakis",
title = "Mutation Testing in Practice: Insights From
Open-Source Software Developers",
journal = j-IEEE-TRANS-SOFTW-ENG,
volume = "50",
number = "5",
pages = "1130--1143",
month = may,
year = "2024",
CODEN = "IESEDJ",
DOI = "https://doi.org/10.1109/TSE.2024.3377378",
ISSN = "0098-5589 (print), 1939-3520 (electronic)",
ISSN-L = "0098-5589",
bibdate = "Sat Aug 24 08:23:19 2024",
bibsource = "https://www.math.utah.edu/pub/tex/bib/ieeetranssoftweng2020.bib;
https://www.math.utah.edu/pub/tex/bib/java2020.bib",
acknowledgement = ack-nhfb,
ajournal = "IEEE Trans. Softw. Eng.",
fjournal = "IEEE Transactions on Software Engineering",
journal-URL = "https://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=32",
keywords = "Artificial intelligence; Codes; GitHub; Industries;
Java; Mutation testing; mutation tools; qualitative
study; Software development management; Surveys;
Testing",
}
@Article{Silva:2024:ECR,
author = "Denini Silva and Martin Gruber and Satyajit Gokhale
and Ellen Arteca and Alexi Turcotte and Marcelo
d'Amorim and Wing Lam and Stefan Winter and Jonathan
Bell",
title = "The Effects of Computational Resources on Flaky
Tests",
journal = j-IEEE-TRANS-SOFTW-ENG,
volume = "50",
number = "12",
pages = "3104--3121",
month = dec,
year = "2024",
CODEN = "IESEDJ",
DOI = "https://doi.org/10.1109/TSE.2024.3462251",
ISSN = "0098-5589 (print), 1939-3520 (electronic)",
ISSN-L = "0098-5589",
bibdate = "Fri Mar 14 08:18:57 2025",
bibsource = "https://www.math.utah.edu/pub/tex/bib/ieeetranssoftweng2020.bib;
https://www.math.utah.edu/pub/tex/bib/java2020.bib",
acknowledgement = ack-nhfb,
ajournal = "IEEE Trans. Softw. Eng.",
fjournal = "IEEE Transactions on Software Engineering",
journal-URL = "https://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=32",
keywords = "Codes; Continuous integration; Costs; Debugging; flaky
tests; Java; Prevention and mitigation; Python;
regression testing; Servers",
}
@Article{Tiwari:2024:MPB,
author = "Deepika Tiwari and Martin Monperrus and Benoit
Baudry",
title = "Mimicking Production Behavior With Generated Mocks",
journal = j-IEEE-TRANS-SOFTW-ENG,
volume = "50",
number = "11",
pages = "2921--2946",
month = nov,
year = "2024",
CODEN = "IESEDJ",
DOI = "https://doi.org/10.1109/TSE.2024.3458448",
ISSN = "0098-5589 (print), 1939-3520 (electronic)",
ISSN-L = "0098-5589",
bibdate = "Fri Mar 14 08:18:57 2025",
bibsource = "https://www.math.utah.edu/pub/tex/bib/ieeetranssoftweng2020.bib;
https://www.math.utah.edu/pub/tex/bib/java2020.bib",
acknowledgement = ack-nhfb,
ajournal = "IEEE Trans. Softw. Eng.",
fjournal = "IEEE Transactions on Software Engineering",
journal-URL = "https://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=32",
keywords = "Interviews; Java; Libraries; mock-based oracles;
Mocks; Monitoring; Production; production monitoring;
test generation; Test pattern generators; Testing",
}
@Article{Toledo:2024:AUF,
author = "Sivan Toledo",
title = "{Algorithm 1051}: {UltimateKalman}, Flexible {Kalman}
Filtering and Smoothing Using Orthogonal
Transformations",
journal = j-TOMS,
volume = "50",
number = "4",
pages = "27:1--27:??",
month = dec,
year = "2024",
CODEN = "ACMSCU",
DOI = "https://doi.org/10.1145/3699958",
ISSN = "0098-3500 (print), 1557-7295 (electronic)",
ISSN-L = "0098-3500",
bibdate = "Sat Dec 14 17:48:45 MST 2024",
bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib;
https://www.math.utah.edu/pub/tex/bib/toms.bib",
URL = "https://dl.acm.org/doi/10.1145/3699958",
abstract = "UltimateKalman is a flexible linear Kalman filter and
smoother implemented in three popular programming
languages: MATLAB, C, and Java. UltimateKalman is a
slight simplification and slight generalization of an
elegant Kalman filter and smoother that was proposed in
1977 by Paige and Saunders. Their algorithm appears to
be numerically superior and more flexible than other
Kalman filters and smoothers, but curiously has never
been implemented or used before. UltimateKalman is
flexible: it can easily handle time-dependent problems,
problems with state vectors whose dimensions vary from
step to step, problems with varying numbers of
observations in different steps (or no observations at
all in some steps), and problems in which the
expectation of the initial state is unknown. The
programming interface of UltimateKalman is broken into
simple building blocks that can be used to construct
filters, single or multi-step predictors, multi-step or
whole-track smoothers, and combinations. The article
describes the algorithm and its implementation as well
as a test suite of examples and tests.",
acknowledgement = ack-nhfb,
ajournal = "ACM Trans. Math. Softw.",
articleno = "27",
fjournal = "ACM Transactions on Mathematical Software (TOMS)",
journal-URL = "https://dl.acm.org/loi/toms",
}
@Article{Wu:2024:TSF,
author = "Mingyu Wu and Zhe Li and Haibo Chen and Binyu Zang and
Shaojun Wang and Lei Yu and Sanhong Li and Haitao
Song",
title = "Toward an {SGX}-Friendly {Java} Runtime",
journal = j-IEEE-TRANS-COMPUT,
volume = "73",
number = "1",
pages = "44--57",
month = jan,
year = "2024",
CODEN = "ITCOB4",
DOI = "https://doi.org/10.1109/TC.2023.3318400",
ISSN = "0018-9340 (print), 1557-9956 (electronic)",
ISSN-L = "0018-9340",
bibdate = "Wed Dec 27 15:37:27 2023",
bibsource = "https://www.math.utah.edu/pub/tex/bib/ieeetranscomput2020.bib;
https://www.math.utah.edu/pub/tex/bib/java2020.bib",
acknowledgement = ack-nhfb,
ajournal = "IEEE Trans. Comput.",
fjournal = "IEEE Transactions on Computers",
journal-URL = "https://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=12",
}
@Article{Xu:2024:FJE,
author = "Haoran Xu and Yongjun Wang and Zhiyuan Jiang and
Shuhui Fan and Shaojing Fu and Peidai Xie",
title = "Fuzzing {JavaScript} engines with a syntax-aware
neural program model",
journal = j-COMPUT-SECUR,
volume = "144",
number = "??",
pages = "??--??",
month = sep,
year = "2024",
CODEN = "CPSEDU",
DOI = "https://doi.org/10.1016/j.cose.2024.103947",
ISSN = "0167-4048 (print), 1872-6208 (electronic)",
ISSN-L = "0167-4048",
bibdate = "Fri Aug 9 07:17:40 MDT 2024",
bibsource = "https://www.math.utah.edu/pub/tex/bib/computsecur2020.bib;
https://www.math.utah.edu/pub/tex/bib/java2020.bib",
URL = "http://www.sciencedirect.com/science/article/pii/S0167404824002529",
acknowledgement = ack-nhfb,
articleno = "103947",
fjournal = "Computers \& Security",
journal-URL = "http://www.sciencedirect.com/science/journal/01674048",
}
@Article{Xue:2024:ACM,
author = "Pengyu Xue and Linhao Wu and Zhongxing Yu and Zhi Jin
and Zhen Yang and Xinyi Li and Zhenyu Yang and Yue
Tan",
title = "Automated Commit Message Generation With Large
Language Models: an Empirical Study and Beyond",
journal = j-IEEE-TRANS-SOFTW-ENG,
volume = "50",
number = "12",
pages = "3208--3224",
month = dec,
year = "2024",
CODEN = "IESEDJ",
DOI = "https://doi.org/10.1109/TSE.2024.3478317",
ISSN = "0098-5589 (print), 1939-3520 (electronic)",
ISSN-L = "0098-5589",
bibdate = "Fri Mar 14 08:18:57 2025",
bibsource = "https://www.math.utah.edu/pub/tex/bib/ieeetranssoftweng2020.bib;
https://www.math.utah.edu/pub/tex/bib/java2020.bib",
acknowledgement = ack-nhfb,
ajournal = "IEEE Trans. Softw. Eng.",
fjournal = "IEEE Transactions on Software Engineering",
journal-URL = "https://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=32",
keywords = "Codes; Collaboration; Commit message generation; Data
models; empirical study; in-context learning; Java;
large language model; Large language models; Manuals;
Measurement; Python; Solid modeling; Systematics",
}
@Article{Zhang:2024:ARN,
author = "Zejun Zhang and Zhenchang Xing and Dehai Zhao and
Xiwei Xu and Liming Zhu and Qinghua Lu",
title = "Automated Refactoring of Non-Idiomatic {Python} Code
With {Pythonic} Idioms",
journal = j-IEEE-TRANS-SOFTW-ENG,
volume = "50",
number = "11",
pages = "2827--2848",
month = nov,
year = "2024",
CODEN = "IESEDJ",
DOI = "https://doi.org/10.1109/TSE.2024.3420886",
ISSN = "0098-5589 (print), 1939-3520 (electronic)",
ISSN-L = "0098-5589",
bibdate = "Fri Mar 14 08:18:57 2025",
bibsource = "https://www.math.utah.edu/pub/tex/bib/ieeetranssoftweng2020.bib;
https://www.math.utah.edu/pub/tex/bib/java2020.bib;
https://www.math.utah.edu/pub/tex/bib/python.bib",
acknowledgement = ack-nhfb,
ajournal = "IEEE Trans. Softw. Eng.",
fjournal = "IEEE Transactions on Software Engineering",
journal-URL = "https://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=32",
keywords = "abstract syntax grammar; Australia; Benchmark testing;
code refactoring; Codes; Grammar; Java; Programming;
Python; Pythonic idioms; Reliability; Software
development management; Syntactics",
}
@Article{Zhang:2024:DVT,
author = "Fangyuan Zhang and Lingling Fan and Sen Chen and
Miaoying Cai and Sihan Xu and Lida Zhao",
title = "Does the Vulnerability Threaten Our Projects?
{Automated} Vulnerable {API} Detection for Third-Party
Libraries",
journal = j-IEEE-TRANS-SOFTW-ENG,
volume = "50",
number = "11",
pages = "2906--2920",
month = nov,
year = "2024",
CODEN = "IESEDJ",
DOI = "https://doi.org/10.1109/TSE.2024.3454960",
ISSN = "0098-5589 (print), 1939-3520 (electronic)",
ISSN-L = "0098-5589",
bibdate = "Fri Mar 14 08:18:57 2025",
bibsource = "https://www.math.utah.edu/pub/tex/bib/ieeetranssoftweng2020.bib;
https://www.math.utah.edu/pub/tex/bib/java2020.bib",
acknowledgement = ack-nhfb,
ajournal = "IEEE Trans. Softw. Eng.",
fjournal = "IEEE Transactions on Software Engineering",
journal-URL = "https://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=32",
keywords = "Accuracy; Codes; Databases; Java; Libraries; Security;
Software; software composition analysis; static
analysis; Vulnerability detection",
}
@Article{Zhao:2024:GJC,
author = "Zelong Zhao and Nan Zhang and Bin Yu and Zhenhua
Duan",
title = "Generating {Java} code pairing with {ChatGPT}",
journal = j-THEOR-COMP-SCI,
volume = "1021",
number = "??",
pages = "??--??",
day = "21",
month = dec,
year = "2024",
CODEN = "TCSCDI",
DOI = "https://doi.org/10.1016/j.tcs.2024.114879",
ISSN = "0304-3975 (print), 1879-2294 (electronic)",
ISSN-L = "0304-3975",
bibdate = "Mon Nov 18 12:30:48 MST 2024",
bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib;
https://www.math.utah.edu/pub/tex/bib/tcs2020.bib",
URL = "http://www.sciencedirect.com/science/article/pii/S0304397524004961",
acknowledgement = ack-nhfb,
articleno = "114879",
fjournal = "Theoretical Computer Science",
journal-URL = "http://www.sciencedirect.com/science/journal/03043975",
}
@Article{Zhou:2024:CGS,
author = "Zhichao Zhou and Yuming Zhou and Chunrong Fang and
Zhenyu Chen and Xiapu Luo and Jingzhu He and Yutian
Tang",
title = "Coverage Goal Selector for Combining Multiple Criteria
in Search-Based Unit Test Generation",
journal = j-IEEE-TRANS-SOFTW-ENG,
volume = "50",
number = "4",
pages = "854--883",
month = apr,
year = "2024",
CODEN = "IESEDJ",
DOI = "https://doi.org/10.1109/TSE.2024.3366613",
ISSN = "0098-5589 (print), 1939-3520 (electronic)",
ISSN-L = "0098-5589",
bibdate = "Sat Aug 24 08:23:19 2024",
bibsource = "https://www.math.utah.edu/pub/tex/bib/ieeetranssoftweng2020.bib;
https://www.math.utah.edu/pub/tex/bib/java2020.bib",
acknowledgement = ack-nhfb,
ajournal = "IEEE Trans. Softw. Eng.",
fjournal = "IEEE Transactions on Software Engineering",
journal-URL = "https://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=32",
keywords = "Correlation; Diversity reception; Genetic algorithms;
Java; Optimization; SBST; Software testing; software
testing; test generation; Test pattern generators",
}
@Article{Chen:2025:ZEM,
author = "Zixian Chen and Weiping Wang and Yan Qin and Shigeng
Zhang",
title = "{ZipAST}: Enhancing malicious {JavaScript} detection
with sequence compression",
journal = j-COMPUT-SECUR,
volume = "153",
number = "??",
pages = "??--??",
month = jun,
year = "2025",
CODEN = "CPSEDU",
DOI = "https://doi.org/10.1016/j.cose.2025.104390",
ISSN = "0167-4048 (print), 1872-6208 (electronic)",
ISSN-L = "0167-4048",
bibdate = "Thu Mar 13 09:24:40 MDT 2025",
bibsource = "https://www.math.utah.edu/pub/tex/bib/computsecur2020.bib;
https://www.math.utah.edu/pub/tex/bib/java2020.bib",
URL = "https://www.sciencedirect.com/science/article/pii/S0167404825000793",
acknowledgement = ack-nhfb,
ajournal = "Comput. Secur.",
articleno = "104390",
fjournal = "Computers \& Security",
journal-URL = "http://www.sciencedirect.com/science/journal/01674048",
}
@Article{Collet:2025:VEC,
author = "Philippe Collet and Johann Mortara and Yann Brault and
Anne-Marie Dery-Pinna",
title = "The {VariCity} ecosystem: City visualization of
object-oriented variability in {Java} and
{TypeScript}",
journal = j-SCI-COMPUT-PROGRAM,
volume = "240",
number = "??",
pages = "??--??",
month = feb,
year = "2025",
CODEN = "SCPGD4",
DOI = "https://doi.org/10.1016/j.scico.2024.103210",
ISSN = "0167-6423 (print), 1872-7964 (electronic)",
ISSN-L = "0167-6423",
bibdate = "Sat Nov 23 14:16:39 MST 2024",
bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib;
https://www.math.utah.edu/pub/tex/bib/scicomputprogram.bib",
URL = "http://www.sciencedirect.com/science/article/pii/S0167642324001333",
acknowledgement = ack-nhfb,
articleno = "103210",
fjournal = "Science of Computer Programming",
journal-URL = "http://www.sciencedirect.com/science/journal/01676423",
}
@Article{Csuvik:2025:GBS,
author = "Viktor Csuvik and D{\'a}niel Horv{\'a}th and M{\'a}rk
Lajk{\'o} and L{\'a}szl{\'o} Vid{\'a}cs",
title = "{GenProgJS}: a Baseline System for Test-Based
Automated Repair of {JavaScript} Programs",
journal = j-IEEE-TRANS-SOFTW-ENG,
volume = "51",
number = "2",
pages = "325--343",
month = feb,
year = "2025",
CODEN = "IESEDJ",
DOI = "https://doi.org/10.1109/TSE.2024.3497798",
ISSN = "0098-5589 (print), 1939-3520 (electronic)",
ISSN-L = "0098-5589",
bibdate = "Fri Mar 14 08:18:57 2025",
bibsource = "https://www.math.utah.edu/pub/tex/bib/ieeetranssoftweng2020.bib;
https://www.math.utah.edu/pub/tex/bib/java2020.bib",
acknowledgement = ack-nhfb,
ajournal = "IEEE Trans. Softw. Eng.",
fjournal = "IEEE Transactions on Software Engineering",
journal-URL = "https://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=32",
keywords = "Automated program repair (APR); Codes; Computer bugs;
genetic algorithm; Genetic operators; Genetics; Java;
Maintenance engineering; Software; Software algorithms;
software debugging; Software development management;
Source coding",
}
@Article{Fraser:2025:RWT,
author = "Gordon Fraser and Andrea Arcuri",
title = "A Retrospective on Whole Test Suite Generation: On the
Role of {SBST} in the Age of {LLMs}",
journal = j-IEEE-TRANS-SOFTW-ENG,
volume = "51",
number = "3",
pages = "874--878",
month = mar,
year = "2025",
CODEN = "IESEDJ",
DOI = "https://doi.org/10.1109/TSE.2025.3539458",
ISSN = "0098-5589 (print), 1939-3520 (electronic)",
ISSN-L = "0098-5589",
bibdate = "Tue Mar 25 08:57:56 2025",
bibsource = "https://www.math.utah.edu/pub/tex/bib/ieeetranssoftweng2020.bib;
https://www.math.utah.edu/pub/tex/bib/java2020.bib",
acknowledgement = ack-nhfb,
ajournal = "IEEE Trans. Softw. Eng.",
fjournal = "IEEE Transactions on Software Engineering",
journal-URL = "https://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=32",
keywords = "EvoMaster; EvoSuite; Java; LLM; Optimization; Pynguin;
Python; SBST; Search problems; Software; Software
algorithms; Software engineering; Software testing;
System testing; Test pattern generators",
}
@Article{Huang:2025:TIP,
author = "Yuan Huang and Jinbo Huang and Xiangping Chen and
Zibin Zheng",
title = "Towards Improving the Performance of Comment
Generation Models by Using Bytecode Information",
journal = j-IEEE-TRANS-SOFTW-ENG,
volume = "51",
number = "2",
pages = "503--520",
month = feb,
year = "2025",
CODEN = "IESEDJ",
DOI = "https://doi.org/10.1109/TSE.2024.3523713",
ISSN = "0098-5589 (print), 1939-3520 (electronic)",
ISSN-L = "0098-5589",
bibdate = "Fri Mar 14 08:18:57 2025",
bibsource = "https://www.math.utah.edu/pub/tex/bib/ieeetranssoftweng2020.bib;
https://www.math.utah.edu/pub/tex/bib/java2020.bib",
acknowledgement = ack-nhfb,
ajournal = "IEEE Trans. Softw. Eng.",
fjournal = "IEEE Transactions on Software Engineering",
journal-URL = "https://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=32",
keywords = "bytecode; Code comment; Codes; comment generation;
control flow graph; Data mining; Data models; Flow
graphs; Java; Neural networks; Software engineering;
Source coding; Training; Transformers",
}
@Article{Kohler:2025:CLF,
author = "Mirko K{\"o}hler and George Zakhour and Pascal
Weisenburger and Guido Salvaneschi",
title = "Consistent Local-First Software: Enforcing Safety and
Invariants for Local-First Applications",
journal = j-IEEE-TRANS-SOFTW-ENG,
volume = "51",
number = "1",
pages = "53--65",
month = jan,
year = "2025",
CODEN = "IESEDJ",
DOI = "https://doi.org/10.1109/TSE.2024.3477723",
ISSN = "0098-5589 (print), 1939-3520 (electronic)",
ISSN-L = "0098-5589",
bibdate = "Fri Mar 14 08:18:57 2025",
bibsource = "https://www.math.utah.edu/pub/tex/bib/ieeetranssoftweng2020.bib;
https://www.math.utah.edu/pub/tex/bib/java2020.bib",
acknowledgement = ack-nhfb,
ajournal = "IEEE Trans. Softw. Eng.",
fjournal = "IEEE Transactions on Software Engineering",
journal-URL = "https://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=32",
keywords = "consistency; CRDT; Data structures; Java; Libraries;
Logic; Merging; Middleware; Replication; Safety;
Scalability; Software; Synchronization; verification",
}
@Article{Narechania:2025:PLU,
author = "Arpit Narechania and Kaustubh Odak and Mennatallah
El-Assady and Alex Endert",
title = "{ProvenanceWidgets}: a Library of {UI} Control
Elements to Track and Dynamically Overlay Analytic
Provenance",
journal = j-IEEE-TRANS-VIS-COMPUT-GRAPH,
volume = "31",
number = "1",
pages = "1235--1245",
month = jan,
year = "2025",
CODEN = "ITVGEA",
DOI = "https://doi.org/10.1109/TVCG.2024.3456144",
ISSN = "1077-2626",
ISSN-L = "1077-2626",
bibdate = "Thu Jan 9 07:28:30 2025",
bibsource = "https://www.math.utah.edu/pub/tex/bib/ieeetransviscomputgraph2020.bib;
https://www.math.utah.edu/pub/tex/bib/java2020.bib",
acknowledgement = ack-nhfb,
fjournal = "IEEE Transactions on Visualization and Computer
Graphics",
journal-URL = "https://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=2945",
keywords = "Analytic provenance; Data analysis; Data
visualization; Games; GUI elements; History; JavaScript
library; Libraries; Phosphors; Provenance; UI controls;
Visualization",
}
@Article{Palma:2025:FSH,
author = "Marco Edoardo Palma and Alex Wolf and Pasquale Salza
and Harald C. Gall",
title = "On-the-Fly Syntax Highlighting: Generalisation and
Speed-Ups",
journal = j-IEEE-TRANS-SOFTW-ENG,
volume = "51",
number = "2",
pages = "355--370",
month = feb,
year = "2025",
CODEN = "IESEDJ",
DOI = "https://doi.org/10.1109/TSE.2024.3506040",
ISSN = "0098-5589 (print), 1939-3520 (electronic)",
ISSN-L = "0098-5589",
bibdate = "Fri Mar 14 08:18:57 2025",
bibsource = "https://www.math.utah.edu/pub/tex/bib/ieeetranssoftweng2020.bib;
https://www.math.utah.edu/pub/tex/bib/java2020.bib",
acknowledgement = ack-nhfb,
ajournal = "IEEE Trans. Softw. Eng.",
fjournal = "IEEE Transactions on Software Engineering",
journal-URL = "https://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=32",
keywords = "Accuracy; Analytical models; Codes; Computational
modeling; Convolutional neural networks; deep learning;
Grammar; Java; neural networks; Predictive models;
regular expressions; Source coding; Syntactics; Syntax
highlighting",
}
@Article{Tang:2025:DCE,
author = "Yixuan Tang and Jingxuan Zhang and Xiaochen Li and
Zhiqiu Huang and He Jiang",
title = "Detecting Compiler Error Recovery Defects via Program
Mutation Exploration",
journal = j-IEEE-TRANS-SOFTW-ENG,
volume = "51",
number = "2",
pages = "389--412",
month = feb,
year = "2025",
CODEN = "IESEDJ",
DOI = "https://doi.org/10.1109/TSE.2024.3510912",
ISSN = "0098-5589 (print), 1939-3520 (electronic)",
ISSN-L = "0098-5589",
bibdate = "Fri Mar 14 08:18:57 2025",
bibsource = "https://www.math.utah.edu/pub/tex/bib/ieeetranssoftweng2020.bib;
https://www.math.utah.edu/pub/tex/bib/java2020.bib",
acknowledgement = ack-nhfb,
ajournal = "IEEE Trans. Softw. Eng.",
fjournal = "IEEE Transactions on Software Engineering",
journal-URL = "https://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=32",
keywords = "Codes; Compiler testing; Computer languages;
differential testing; Internet; Java; Periodic
structures; program mutation; Program processors;
Programming; Software; Software development management;
test program generation; Testing",
}
@Article{Troussas:2025:RLB,
author = "Christos Troussas and Akrivi Krouska and Phivos
Mylonas and Cleo Sgouropoulou",
title = "Reinforcement Learning-Based Dynamic Fuzzy Weight
Adjustment for Adaptive User Interfaces in Educational
Software",
journal = j-FUTURE-INTERNET,
volume = "17",
number = "4",
pages = "166",
day = "9",
month = apr,
year = "2025",
CODEN = "????",
DOI = "https://doi.org/10.3390/fi17040166",
ISSN = "1999-5903",
bibdate = "Mon Apr 28 09:37:50 MDT 2025",
bibsource = "https://www.math.utah.edu/pub/tex/bib/future-internet.bib;
https://www.math.utah.edu/pub/tex/bib/java2020.bib",
URL = "https://www.mdpi.com/1999-5903/17/4/166",
abstract = "Adaptive educational systems are essential for
addressing the diverse learning needs of students by
dynamically adjusting instructional content and user
interfaces (UI) based on real-time performance.
Traditional adaptive learning environments often rely
on static fuzzy logic rules, which lack the flexibility
to evolve with learners' changing behaviors. To address
this limitation, this paper presents an adaptive UI
system for educational software in Java programming,
integrating fuzzy logic and reinforcement learning (RL)
to personalize learning experiences. The system
consists of two main modules: (a) the Fuzzy Inference
Module, which classifies learners into Fast, Moderate,
or Slow categories based on triangular membership
functions, and (b) the Reinforcement Learning
Optimization Module, which dynamically adjusts the
fuzzy membership function thresholds to enhance
personalization over time. By refining the timing and
necessity of UI modifications, the system optimizes
hints, difficulty levels, and structured guidance,
ensuring interventions are neither premature nor
delayed. The system was evaluated in educational
software for Java programming, with 100 postgraduate
students. The evaluation, based on learning efficiency,
engagement, and usability metrics, demonstrated
promising results, particularly for slow and moderate
learners, confirming that reinforcement learning-driven
fuzzy weight adjustments significantly improve adaptive
UI effectiveness.",
acknowledgement = ack-nhfb,
journal-URL = "https://www.mdpi.com/journal/futureinternet",
}
@Article{Wang:2025:ESB,
author = "Ziyuan Wang and Yun Fang and Nannan Wang",
title = "An empirical study on bugs in {TypeScript} programming
language",
journal = j-J-SYST-SOFTW,
volume = "226",
number = "??",
pages = "??--??",
month = aug,
year = "2025",
CODEN = "JSSODM",
DOI = "https://doi.org/10.1016/j.jss.2025.112445",
ISSN = "0164-1212 (print), 1873-1228 (electronic)",
ISSN-L = "0164-1212",
bibdate = "Sat Apr 19 16:06:18 MDT 2025",
bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib;
https://www.math.utah.edu/pub/tex/bib/jsystsoftw2020.bib",
URL = "https://www.sciencedirect.com/science/article/pii/S016412122500113X",
acknowledgement = ack-nhfb,
ajournal = "J. Syst. Softw.",
articleno = "112445",
fjournal = "Journal of Systems and Software",
journal-URL = "http://www.sciencedirect.com/science/journal/01641212",
}
@Article{Zhong:2025:BCP,
author = "Wenkang Zhong and Chuanyi Li and Kui Liu and Jidong Ge
and Bin Luo and Tegawend{\'e} F. Bissyand{\'e} and
Vincent Ng",
title = "Benchmarking and Categorizing the Performance of
Neural Program Repair Systems for {Java}",
journal = j-TOSEM,
volume = "34",
number = "1",
pages = "11:1--11:??",
month = jan,
year = "2025",
CODEN = "ATSMER",
DOI = "https://doi.org/10.1145/3688834",
ISSN = "1049-331X (print), 1557-7392 (electronic)",
ISSN-L = "1049-331X",
bibdate = "Tue Feb 4 06:23:17 MST 2025",
bibsource = "https://www.math.utah.edu/pub/tex/bib/java2020.bib;
https://www.math.utah.edu/pub/tex/bib/tosem.bib",
URL = "https://dl.acm.org/doi/10.1145/3688834",
abstract = "Recent years have seen a rise in Neural Program Repair
(NPR) systems in the software engineering community,
which adopt advanced deep learning techniques to
automatically fix bugs. Having a comprehensive
understanding of existing systems can facilitate
\ldots{}",
acknowledgement = ack-nhfb,
ajournal = "ACM Trans. Softw. Eng. Methodol.",
articleno = "11",
fjournal = "ACM Transactions on Software Engineering and
Methodology",
journal-URL = "https://dl.acm.org/loi/tosem",
}
