default search action
22nd ESEC / 31st SIGSOFT FSE 2023: San Francisco, CA, USA
- Satish Chandra, Kelly Blincoe, Paolo Tonella:
Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/FSE 2023, San Francisco, CA, USA, December 3-9, 2023. ACM 2023
Keynotes
- Eran Yahav
:
Towards AI-Driven Software Development: Challenges and Lessons from the Field (Keynote). 1 - Margaret Burnett
Getting Outside the Bug Boxes (Keynote). 2
Human Aspects I
- Zihan Fang
A Four-Year Study of Student Contributions to OSS vs. OSS4SG with a Lightweight Intervention. 3-15 - Felipe Fronchetti
Do CONTRIBUTING Files Provide Information about OSS Newcomers' Onboarding Barriers? 16-28 - Wenxin Xiao
How Early Participation Determines Long-Term Sustained Activity in GitHub Projects? 29-41 - Hongbo Fang
Matching Skills, Past Collaboration, and Limited Competition: Modeling When Open-Source Projects Attract Contributors. 42-54
Testing I
- Emad Fallahzadeh
Accelerating Continuous Integration with Parallel Batch Testing. 55-67 - Longtian Wang
DistXplore: Distribution-Guided Testing for Evaluating and Enhancing Deep Learning Systems. 68-80 - Qiyuan Zhao
CAmpactor: A Novel and Effective Local Search Algorithm for Optimizing Pairwise Covering Arrays. 81-93
Machine Learning I
- Shibbir Ahmed
Design by Contract for Deep Learning APIs. 94-106 - Jialun Cao
Testing Coreference Resolution Systems without Labeled Test Sets. 107-119 - Soneya Binta Hossain
Neural-Based Test Oracle Generation: A Large-Scale Evaluation and Lessons Learned. 120-132 - Maria-Irina Nicolae
Revisiting Neural Program Smoothing for Fuzzing. 133-145
Automated Repair I
- Weishi Wang
RAP-Gen: Retrieval-Augmented Patch Generation with CodeT5 for Automatic Program Repair. 146-158 - Akshay Utture
From Leaks to Fixes: Automated Repairs for Resource Leak Warnings. 159-171 - Yuxiang Wei
Copiloting the Copilots: Fusing Large Language Models with Completion Engines for Automated Program Repair. 172-184 - Sunbeom So
SmartFix: Fixing Vulnerable Smart Contracts by Accelerating Generate-and-Verify Repair using Statistical Models. 185-197 - Huiyan Wang
Automatically Resolving Dependency-Conflict Building Failures via Behavior-Consistent Loosening of Library Version Constraints. 198-210
Empirical Studies I
- Kobi Feldman
On the Relationship between Code Verifiability and Understandability. 211-223 - Xiaokai Wei
Towards Greener Yet Powerful Code Generation via Quantization: An Empirical Study. 224-236
Testing II
- Huaien Zhang
Statfier: Automated Testing of Static Analyzers via Semantic-Preserving Program Transformations. 237-249 - Kush Jain
Contextual Predictive Mutation Testing. 250-261 - Mohsen Moradi-Moghadam
µAkka: Mutation Testing for Actor Concurrency in Akka using Real-World Bugs. 262-274
Software Evolution I
- Lanxin Yang
EvaCRC: Evaluating Code Review Comments. 275-287 - Quentin Le Dilavrec
HyperDiff: Computing Source Code Diffs at Scale. 288-299 - Lantian Li
Understanding Solidity Event Logging Practices in the Wild. 300-312
Program Analysis I
- Xiaye Chi
An Automated Approach to Extracting Local Variables. 313-325 - Seongmin Lee
Statistical Reachability Analysis. 326-337 - Mengxiao Zhang
PPR: Pairwise Program Reduction. 338-349 - Alan Romano
When Function Inlining Meets WebAssembly: Counterintuitive Impacts on Runtime Performance. 350-362
Code Search and Text to Code
- Yuetian Mao
Self-Supervised Query Reformulation for Code Search. 363-374 - Shangwen Wang
Natural Language to Code: How Far Are We? 375-387 - Akhilesh Deepak Gotmare
Efficient Text-to-Code Retrieval with Cascaded Fast and Slow Transformer Models. 388-400 - Xiangzhe Xu
PEM: Representing Binary Program Semantics for Similarity Analysis via a Probabilistic Execution Model. 401-412
Log Analysis and Debugging
- Junjielong Xu
Hue: A User-Adaptive Parser for Hybrid Logs. 413-424 - Siyu Yu
Log Parsing with Generalization Ability under New Log Types. 425-437 - Martin Eberlein
Semantic Debugging. 438-449 - Kaifeng Huang
Demystifying Dependency Bugs in Deep Learning Stack. 450-462
Machine Learning II
- Yibo Wang
Can Machine Learning Pipelines Be Better Configured? 463-475 - Jun Wang
Compatibility Issues in Deep Learning Systems: Problems and Opportunities. 476-488 - Xiaohu Du
An Extensive Study on Adversarial Attack against Pre-trained Models of Code. 489-501 - Giang Nguyen
Fix Fairness, Don't Ruin Accuracy: Performance Aware Fairness Repair using AutoML. 502-514 - Yuxuan Wan
BiasAsker: Measuring the Bias in Conversational AI System. 515-527 - Sira Vegas
Pitfalls in Experiments with DNN4SE: An Analysis of the State of the Practice. 528-540 - Boyue Caroline Hu
DecompoVision: Reliability Analysis of Machine Vision Components through Decomposition and Reuse. 541-552
Fault Diagnosis and Root Cause Analysis I
- Guangba Yu
Nezha: Interpretable Fine-Grained Root Causes Analysis for Microservices on Multi-modal Observability Data. 553-565 - Zhiming Chen
DiagConfig: Configuration Diagnosis of Performance Violations in Configurable Software Systems. 566-578 - Yali Du, Zhongxing Yu
Pre-training Code Representation with Semantic Flow Graph for Effective Bug Localization. 579-591 - Enze Ma
Automata-Based Trace Analysis for Aiding Diagnosing GUI Testing Tools for Android. 592-604 - Liyan Song
A Practical Human Labeling Method for Online Just-in-Time Software Defect Prediction. 605-617
Human Aspects II
- Saima Ritonummi
Flow Experience in Software Engineering. 618-630 - Ella Dagan
Building and Sustaining Ethnically, Racially, and Gender Diverse Software Engineering Teams: A Study at Google. 631-643 - Hsu Myat Win
Towards Automated Detection of Unethical Behavior in Open-Source Software Projects. 644-656
Testing III
- Jiawei Liu
NeuRI: Diversifying DNN Generation via Inductive Rule Inference. 657-669 - Yibiao Yang
Heterogeneous Testing for Coverage Profilers Empowered with Debugging Support. 670-681 - Shubham Agarwal
Outage-Watch: Early Prediction of Outages using Extreme Event Regularizer. 682-694
Software Evolution II
- Jiyang Zhang
Multilingual Code Co-evolution using Large Language Models. 695-707 - Zhongkai Zhao
Knowledge-Based Version Incompatibility Detection for Deep Learning. 708-719
Program Analysis II
- Yaohui Peng
Statistical Type Inference for Incomplete Programs. 720-732 - Chengjun Chen
OOM-Guard: Towards Improving the Ergonomics of Rust OOM Handling via a Reservation-Based Approach. 733-744 - Kunsong Zhao
DeepInfer: Deep Type Inference from Smart Contract Bytecode. 745-757 - Yi Li
DeMinify: Neural Variable Name Recovery and Type Inference. 758-770
Clone and Similarity Detection
- Deqing Zou
Tritor: Detecting Semantic Code Clones by Building Social Network-Based Triads Model. 771-783 - Junjie Shan
Gitor: Scalable Code Clone Detection by Building Global Sample Graph. 784-795 - Kairan Sun
Demystifying the Composition and Code Reuse in Solidity Smart Contracts. 796-807 - Tristan Benoit
Scalable Program Clone Search through Spectral Analysis. 808-820
Performance
- Min-Yih Hsu
A Highly Scalable, Hybrid, Cross-Platform Timing Analysis Framework Providing Accurate Differential Throughput Estimation via Instruction-Level Tracing. 821-831 - Siwei Wei
Discovering Parallelisms in Python Programs. 832-844 - Jinfu Chen
IoPV: On Inconsistent Option Performance Variations. 845-857 - Jingzhi Gong
Predicting Software Performance with Divide-and-Learn. 858-870
Machine Learning III
- Xinyu Gao
Benchmarking Robustness of AI-Enabled Multi-sensor Fusion Systems: Challenges and Opportunities. 871-882 - Boxi Yu
Automated Testing and Improvement of Named Entity Recognition Systems. 883-894 - Anastasiia Grishina
The EarlyBIRD Catches the Bug: On Exploiting Early Layers of Encoder Models for More Efficient Code Classification. 895-907 - Bo Liu
Deep Learning Based Feature Envy Detection Boosted by Real-World Examples. 908-920
Security I
- Kaixuan Li
Comparison and Evaluation on Static Application Security Testing (SAST) Tools for Java. 921-933 - Xiaoke Wang
Input-Driven Dynamic Program Debloating for Code-Reuse Attack Mitigation. 934-946 - Chenyang Ma
TransRacer: Function Dependence-Guided Transaction Race Detection for Smart Contracts. 947-959 - Lida Zhao
Software Composition Analysis for Vulnerability Detection: An Empirical Study on Java Projects. 960-972
Fault Diagnosis and Root Cause Analysis II
- Xianglin Yang
DeepDebugger: An Interactive Time-Travelling Debugging Approach for Deep Classifiers. 973-985 - Chong Wang
Mining Resource-Operation Knowledge to Support Resource Leak Detection. 986-998 - Bo Wang
TransMap: Pinpointing Mistakes in Neural Code Translation. 999-1011 - Elvan Kula
Dynamic Prediction of Delays in Software Projects using Delay Patterns and Bayesian Modeling. 1012-1023 - Yi Li
Commit-Level, Neural Vulnerability Detection and Assessment. 1024-1036
Fuzzing
- Mingyuan Wu
Enhancing Coverage-Guided Fuzzing via Phantom Program. 1037-1049 - Ahmad Humayun
Co-dependence Aware Fuzzing for Dataflow-Based Big Data Analytics. 1050-1061 - Mingyuan Wu
SJFuzz: Seed and Mutator Scheduling for JVM Fuzzing. 1062-1074 - Suhwan Song
Metamong: Detecting Render-Update Bugs in Web Browsers through Fuzzing. 1075-1087 - Jingling Sun
Property-Based Fuzzing for Finding Data Manipulation Errors in Android Apps. 1088-1100 - Jiyuan Wang
Leveraging Hardware Probes and Optimizations for Accelerating Fuzz Testing of Heterogeneous Applications. 1101-1113 - Matthew C. Davis
NaNofuzz: A Usable Tool for Automatic Test Generation. 1114-1126 - Guixin Ye
A Generative and Mutational Approach for Synthesizing Bug-Exposing Test Cases to Guide Compiler Fuzzing. 1127-1139
Formal Verification
- David Trabish
State Merging with Quantifiers in Symbolic Execution. 1140-1152 - Bin Yu
Detecting Atomicity Violations in Interrupt-Driven Programs via Interruption Points Selecting and Delayed ISR-Triggering. 1153-1164 - Arthur Correnson
Engineering a Formally Verified Automated Bug Finder. 1165-1176 - Benjamin Mikek
Speeding up SMT Solving via Compiler Optimization. 1177-1189
Automated Repair II
- Xiaofang Qi
Semantic Test Repair for Web Applications. 1190-1202 - Jun Yang
A Large-Scale Empirical Review of Patch Correctness Checking Approaches. 1203-1215 - Yu Liu
Program Repair Guided by Datalog-Defined Static Analysis. 1216-1228 - Emily First
Baldur: Whole-Proof Generation and Repair with Large Language Models. 1229-1241 - Xueying Du
KG4CraSolver: Recommending Crash Solutions via Knowledge Graph. 1242-1254 - Yuxin Zhang
Automated and Context-Aware Repair of Color-Related Accessibility Issues for Android Apps. 1255-1267
Human Aspects III
- Sumit Asthana
A Case Study of Developer Bots: Motivations, Perceptions, and Challenges. 1268-1280 - Courtney Miller
"We Feel Like We're Winging It: " A Study on Navigating Open-Source Dependency Abandonment. 1281-1293 - Chaozheng Wang
How Practitioners Expect Code Completion? 1294-1306
Testing IV
- Mohammad Ganji
Code Coverage Criteria for Asynchronous Programs. 1307-1319 - Xiaoxue Ren
API-Knowledge Aware Search-Based Software Testing: Where, What, and How. 1320-1332 - Shinhae Kim
EtherDiffer: Differential Testing on RPC Services of Ethereum Nodes. 1333-1344
Machine Learning IV
- Yining Yin
Dynamic Data Fault Localization for Deep Neural Networks. 1345-1357 - Xiaohu Du
Understanding the Bug Characteristics and Fix Strategies of Federated Learning Systems. 1358-1370 - Bozhi Wu
Learning Program Semantics for Vulnerability Detection via Vulnerability-Specific Inter-procedural Slicing. 1371-1383 - Fuyuan Zhang
DeepRover: A Query-Efficient Blackbox Attack for Deep Neural Networks. 1384-1394
Program Analysis III
- Nima Karimipour
Practical Inference of Nullability Types. 1395-1406 - Daniel Domínguez-Álvarez
LibKit: Detecting Third-Party Libraries in iOS Apps. 1407-1418 - Soomin Kim
FunProbe: Probing Functions from Binary Code through Probabilistic Analysis. 1419-1430 - Zewen Sun
BigDataflow: A Distributed Interprocedural Dataflow Analysis Framework. 1431-1443
Empirical Studies II
- Wenhua Yang
Understanding the Topics and Challenges of GPU Programming by Classifying and Analyzing Stack Overflow Posts. 1444-1456 - Zhiyuan Wan
Software Architecture in Practice: Challenges and Opportunities. 1457-1469
Models of Code and Documentation
- Martin Weyssow
On the Usage of Continual Learning for Out-of-Distribution Generalization in Pre-trained Language Models of Code. 1470-1482 - Priyanshu Gupta
Grace: Language Models Meet Code Edits. 1483-1495 - Mingwei Liu
Recommending Analogical APIs via Knowledge Graph Embedding. 1496-1508 - Bo Lin
CCT5: A Code-Change-Oriented Pre-trained Model. 1509-1521
Machine Learning V
- Beatriz Souza
LExecutor: Learning-Guided Execution. 1522-1534 - Yiran Zhang
Software Architecture Recovery with Information Fusion. 1535-1547 - Haoyu Gao
Evaluating Transfer Learning for Simplifying GitHub READMEs. 1548-1560 - Zhensu Sun
CodeMark: Imperceptible Watermarking for Code Datasets against Neural Code Completion Models. 1561-1572
Security II
- Ruoxi Sun
Mate! Are You Really Aware? An Explainability-Guided Testing Framework for Robustness of Malware Detectors. 1573-1585 - Prashast Srivastava
Crystallizer: A Hybrid Path Analysis Framework to Aid in Uncovering Deserialization Vulnerabilities. 1586-1597 - Khaled Ahmed
ViaLin: Path-Aware Dynamic Taint Analysis for Android. 1598-1610 - Chao Ni
Distinguishing Look-Alike Innocent and Vulnerable Code by Subtle Semantic Representation Learning and Explanation. 1611-1622
Industry Papers
- Chaozheng Wang
A Unified Framework for Mini-game Testing: Experience on WeChat. 1623-1634 - Haotian Si
Beyond Sharing: Conflict-Aware Multivariate Time Series Anomaly Detection. 1635-1645 - Matthew Jin
InferFix: End-to-End Program Repair with LLMs. 1646-1656 - Pengxiang Jin
Assess and Summarize: Improve Outage Understanding with Large Language Models. 1657-1668 - Andreas Happe
Understanding Hackers' Work: An Empirical Study of Offensive Security Practitioners. 1669-1680 - Sidong Feng
Towards Efficient Record and Replay: A Case Study in WeChat. 1681-1692 - Yuxin Wang
Last Diff Analyzer: Multi-language Automated Approver for Behavior-Preserving Code Revisions. 1693-1704 - Will Shackleton
Dead Code Removal at Meta: Automatically Deleting Millions of Lines of Code and Petabytes of Deprecated Data. 1705-1715 - Tamás Szabó
Incrementalizing Production CodeQL Analyses. 1716-1726 - Zhiwei Xu
xASTNN: Improved Code Representations for Industrial Practice. 1727-1738 - Zhe Xie
From Point-wise to Group-wise: A Fast and Accurate Microservice Trace Anomaly Detection Approach. 1739-1749 - Shilin He
STEAM: Observability-Preserving Trace Sampling. 1750-1761 - Ruomeng Ding
TraceDiag: Adaptive, Interpretable, and Efficient Root Cause Analysis on Large-Scale Microservice Systems. 1762-1773 - Tung Dao
Triggering Modes in Spectrum-Based Multi-location Fault Localization. 1774-1785 - Yongxiang Hu
Appaction: Automatic GUI Interaction for Mobile Apps via Holistic Widget Perception. 1786-1797 - Zimin Chen
MuRS: Mutant Ranking and Suppression using Identifier Templates. 1798-1808 - Audris Mockus
Modeling the Centrality of Developer Output with Software Supply Chains. 1809-1819 - Anes Bendimerad
On-Premise AIOps Infrastructure for a Software Editor SME: An Experience Report. 1820-1831 - Yanming Yang
C³: Code Clone-Based Identification of Duplicated Components. 1832-1843 - Xiaoyu Liu
AdaptivePaste: Intelligent Copy-Paste in IDE. 1844-1854 - Lizhi Liao
Adapting Performance Analytic Techniques in a Real-World Database-Centric System: An Industrial Experience Report. 1855-1866 - Qinghua Xu
KDDT: Knowledge Distillation-Empowered Digital Twin for Anomaly Detection. 1867-1878 - Xiaoyun Liang, Jiayi Qi
AG3: Automated Game GUI Text Glitch Detection Based on Computer Vision. 1879-1890 - Vaibhav Ganatra
Detection Is Better Than Cure: A Cloud Incidents Perspective. 1891-1902 - Yoshiki Takashima
PropProof: Free Model-Checking Harnesses from PBT. 1903-1913 - Yibo Dong
LightF3: A Lightweight Fully-Process Formal Framework for Automated Verifying Railway Interlocking Systems. 1914-1925 - Vahid Haratian
BFSig: Leveraging File Significance in Bus Factor Estimation. 1926-1936 - Christoph Laaber
Automated Test Generation for Medical Rules Web Services: A Case Study at the Cancer Registry of Norway. 1937-1948 - Federico Formica
Test Case Generation for Drivability Requirements of an Automotive Cruise Controller: An Experience with an Industrial Simulator. 1949-1960 - Markos Viggiato
Prioritizing Natural Language Test Cases Based on Highly-Used Game Features. 1961-1972 - Chengjie Lu
EvoCLINICAL: Evolving Cyber-Cyber Digital Twin with Active Transfer Learning for Automated Cancer Registry System. 1973-1984 - Subarno Banerjee
Compositional Taint Analysis for Enforcing Security Policies at Scale. 1985-1996 - Julian Reck
A Multidimensional Analysis of Bug Density in SAP HANA. 1997-2007 - Umme Ayman Koana
Ownership in the Hands of Accountability at Brightsquid: A Case Study and a Developer Survey. 2008-2019
Industry Short Papers
- Paul Robinson
Rotten Green Tests in Google Test. 2020-2025 - Ethem Utku Aktas
Issue Report Validation in an Industrial Context. 2026-2031 - Yuchen Zhang
On the Dual Nature of Necessity in Use of Rust Unsafe Code. 2032-2037 - Jacopo Bufalino
Analyzing Microservice Connectivity with Kubesonde. 2038-2043 - Hassan Sartaj
Testing Real-World Healthcare IoT Application: Experiences and Lessons Learned. 2044-2049 - Fangkai Yang
Diffusion-Based Time Series Data Imputation for Cloud Failure Prediction at Microsoft 365. 2050-2055 - Zheng Li
The Most Agile Teams Are the Most Disciplined: On Scaling out Agile Development. 2056-2061
Ideas, Visions, and Reflections
- Vincenzo Orrei
Contribution-Based Firing of Developers? 2062-2066 - Milos Ojdanic
Keeping Mutation Test Suites Consistent and Relevant with Long-Standing Mutants. 2067-2071 - Jian Gu
Towards Top-Down Automated Development in Limited Scopes: A Neuro-Symbolic Framework from Expressibles to Executables. 2072-2076 - Supatsara Wattanakriengkrai
Lessons from the Long Tail: Analysing Unsafe Dependency Updates across Software Ecosystems. 2077-2081 - Andreas Happe
Getting pwn'd by AI: Penetration Testing with Large Language Models. 2082-2086 - Boyue Caroline Hu
Towards Feature-Based Analysis of the Machine Learning Development Lifecycle. 2087-2091 - Ramtin Ehsani
Exploring Moral Principles Exhibited in OSS: A Case Study on GitHub Heated Issues. 2092-2096 - Amirali Sajadi
Towards Understanding Emotions in Informal Developer Interactions: A Gitter Chat Study. 2097-2101 - Maxime Cordy
Towards Strengthening Formal Specifications with Mutation Model Checking. 2102-2106 - Haonan Li
Assisting Static Analysis with Large Language Models: A ChatGPT Experiment. 2107-2111 - Kelechi G. Kalu
Reflecting on the Use of the Policy-Process-Product Theory in Empirical Software Engineering. 2112-2116 - Jacob Krüger
A Vision on Intentions in Software Engineering. 2117-2121 - Felipe Toledo
Deeper Notions of Correctness in Image-Based DNNs: Lifting Properties from Pixel to Entities. 2122-2126
Demonstrations
- Xiaoyu Sun
LazyCow: A Lightweight Crowdsourced Testing Tool for Taming Android Fragmentation. 2127-2131 - Donald Pinckney
npm-follower: A Complete Dataset Tracking the NPM Ecosystem. 2132-2136 - Jia Le Tian
Ad Hoc Syntax-Guided Program Reduction. 2137-2141 - Laura Cabra-Acela
On Using Information Retrieval to Recommend Machine Learning Good Practices for Software Engineers. 2142-2146 - Prianka Mandal
Helion: Enabling Natural Testing of Smart Homes. 2147-2151 - Chia-Yi Su
A Language Model of Java Methods with Train/Test Deduplication. 2152-2156 - Shriram Shanbhag
DENT: A Tool for Tagging Stack Overflow Posts with Deep Learning Energy Patterns. 2157-2161 - Amit Seal Ami
MASC: A Tool for Mutation-Based Evaluation of Static Crypto-API Misuse Detectors. 2162-2166 - Ruiling Chen
llvm2CryptoLine: Verifying Arithmetic in Cryptographic C Programs. 2167-2171 - Chong Ye
P4b: A Translator from P4 Programs to Boogie. 2172-2176 - Soumik Mohian
D2S2: Drag 'n' Drop Mobile App Screen Search. 2177-2181 - Alejandro Mazuera-Rozo
CONAN: Statically Detecting Connectivity Issues in Android Applications. 2182-2186
Student Research Competition
- Mouna Dhaouadi
A Data Set of Extracted Rationale from Linux Kernel Commit Messages. 2187-2188 - Niklas Risse
Detecting Overfitting of Machine Learning Techniques for Automatic Vulnerability Detection. 2189-2191 - Yi Zhang
Detection of Optimizations Missed by the Compiler. 2192-2194 - Emily Nguyen
Do All Software Projects Die When Not Maintained? Analyzing Developer Maintenance to Predict OSS Usage. 2195-2197 - Didier Ishimwe
Inferring Complexity Bounds from Recurrence Relations. 2198-2200 - Qiuhan Gu
LLM-Based Code Generation Method for Golang Compiler Testing. 2201-2203 - Issam Sedki
Privacy-Centric Log Parsing for Timely, Proactive Personal Data Protection. 2204-2206 - Claudio Spiess
STraceBERT: Source Code Retrieval using Semantic Application Traces. 2207-2209 - Masudul Hasan Masud Bhuiyan
The Call Graph Chronicles: Unleashing the Power Within. 2210-2212 - Zixuan Feng
The State of Survival in OSS: The Impact of Diversity. 2213-2215
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-26 00:59 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: