Journal Information
Computer Languages, Systems and Structures
Impact Factor:

Call For Papers
Computer Languages, Systems and Structures welcomes papers on all aspects of the design, implementation and use of programming languages, from theory to practice. Topics covered include compilers and interpreters; type systems; specification and verification; semantics; program analysis and optimization; language-based security; domain-specific languages; concurrent, distributed and parallel programming; memory management; programming patterns and structures; support for modularity in program construction; programming environments and tools, and the application of programming language ideas to describe and reason about natural or man-made systems. Most papers describe original technical research, but the journal also welcomes empirical studies and survey articles.
Last updated by Dou Sun in 2017-09-15
Special Issues
Special Issue on Static Analysis of Android Apps: Security and Privacy
Submission Date: 2017-10-30

When installing an app on an Android device, we grant it access to parts of our personal (and often sensitive) data that are either stored on the device or dynamically acquired by the environment (e.g., GPS coordinates). How can we detect whether such information is leaked by the app to (unauthorized) external parties? How can we guarantee the absence of security threats when downloading an app from the store? The aim of this special issue is to provide a broad picture of how static analysis techniques address the abovementioned issues: tracing how information is potentially released; how problematic such releases are (as a function of the declassification, or anonymization, applied to the data); whether and how side channels (implicit dependencies) are a threat; and how to prevent undesirable interactions due to multiple applications running on the same device or on connected devices. Topics of interest include, but are not limited to: - Specification of SAAPs - Abstract Interpretation as SAAP - Control Flow Analysis as SAAP - Model Checking as SAAP - Taint Analysis & Dataflow Analysis as SAAP - Validation and Verification of SAAPs - Tools for model-driven SAAP development - Case Studies of SAAPs
Last updated by Dou Sun in 2017-09-15
Related Publications
Related Conferences
CCFCOREQUALISShortFull NameSubmissionNotificationConference
cb1NOCSInternational Symposium on Networks-on-Chip2017-05-152017-07-012017-10-19
ISSEPInternational Conference on Informatics in Schools: Situation, Evolution and Perspectives2015-03-152015-05-152015-09-28
aa*a1SOSPACM Symposium on Operating Systems Principles2017-04-212017-08-072015-10-04
bb2IWANNInternational Work Conference on Artificial Neural Networks2017-01-252017-03-152017-06-14
ITMSInternational Conference on Information Technology for Manufacturing Systems2012-04-012012-04-202012-08-01
INFOCOMPInternational Conference on Advanced Communications and Computation 2012-07-232012-10-21
CCBRChinese Conference on Biometric Recognition2015-06-302015-07-312015-11-13
cba2WCNCIEEE Wireless Communications & Networking Conference2017-10-012017-12-152018-04-15
ca1PSBPacific Symposium on Biocomputing2016-08-012016-09-122017-01-03
CogARTInternational Conference on Cognitive Radio and Advanced Spectrum Management2011-07-312011-09-152011-10-26