Works Published in 2016

search works

Displaying works 1 - 20 of 313 in total

Sorted by most recent date added to the index first, which may not be the same as publication date order.

2016 journal article

Sandblaster: Reversing the apple sandbox

ArXiv Preprint ArXiv:1608.04303.

By: R. Deaconescu, L. Deshotels, M. Bucicoiu, W. Enck, L. Davi & A. Sadeghi

Source: ORCID
Added: January 2, 2024

2016 conference paper

SandScout: Automatic Detection of Flaws in iOS Sandbox Profiles

Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security, 704–716.

By: L. Deshotels, R. Deaconescu, M. Chiroiu, L. Davi, W. Enck & A. Sadeghi

Event: ACM

Source: ORCID
Added: January 2, 2024

2016 conference paper

Practical DIFC Enforcement on Android.

USENIX Security Symposium, 1119–1136.

By: A. Nadkarni, B. Andow, W. Enck & S. Jha

Source: ORCID
Added: January 2, 2024

2016 conference paper

Practical ${$DIFC$}$ Enforcement on Android

25th USENIX Security Symposium (USENIX Security 16), 1119–1136.

By: A. Nadkarni, B. Andow, W. Enck & S. Jha

Source: ORCID
Added: January 2, 2024

2016 journal article

* droid: Assessment and Evaluation of Android Application Analysis Tools

ACM Computing Surveys (CSUR), 49(3), 55.

By: B. Reaves, J. Bowers, S. Gorski III, O. Anise, R. Bobhate, R. Cho, H. Das, S. Hussain ...

Source: ORCID
Added: January 2, 2024

2016 conference paper

Code-Stop: Code-Reuse Prevention By Context-Aware Traffic Proxying

Proceedings of the Conference on Internet Monitoring and Protection (ICIMP), Barcelona, Spain, 22–26.

By: T. OConnor & W. Enck

Source: ORCID
Added: January 2, 2024

2016 conference paper

Teaching Software Engineering Skills in CS1. 5: Incorporating Real-world Practices and Tools

Proceedings of the 47th ACM Technical Symposium on Computing Science Education, 696–697.

By: S. Heckman & J. King

Event: ACM

Source: ORCID
Added: July 18, 2023

2016 journal article

A Cross-Tool Study on Program Analysis Tool Notification Communication

By: B. Johnson, R. Pandita, J. Smith, D. Ford, S. Elder, E. Murphy-Hill, S. Heckman, C. Sadowski

Source: ORCID
Added: July 18, 2023

2016 conference paper

A cross-tool communication study on program analysis tool notifications

Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 73–84.

By: B. Johnson, R. Pandita, J. Smith, D. Ford, S. Elder, E. Murphy-Hill, S. Heckman, C. Sadowski

Event: ACM

Source: ORCID
Added: July 18, 2023

2016 conference paper

A (Updated) Review of Empiricism at the SIGCSE Technical Symposium

Proceedings of the 47th ACM Technical Symposium on Computing Science Education, 120–125.

By: A. Al-Zubidy, J. Carver, S. Heckman & M. Sherriff

Event: ACM

Source: ORCID
Added: July 18, 2023

2016 conference paper

Iterative User-Driven Fault Localization

Hardware and Software: Verification and Testing - 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings, 82–98.

By: X. Li*, M. d’Amorim* & A. Orso*

TL;DR: Swift, an iterative user-driven technique designed to support developers during debugging, is proposed, which is a first important step towards defining fault localization techniques that account for the presence of humans in the loop and are practically applicable. (via Semantic Scholar)
UN Sustainable Development Goal Categories
16. Peace, Justice and Strong Institutions (OpenAlex)
Source: ORCID
Added: June 21, 2023

2016 conference paper

Hardware and Software: Verification and Testing - 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings

Marcelo D'Amorim

Ed(s): R. Bloem & E. Arbel

TL;DR: Current Trends and Future Direction in Eco-system of Hardware Formal Verification: A Technical and Business Perspective is presented. (via Semantic Scholar)
Source: ORCID
Added: June 21, 2023

2016 conference paper

Mixed-criticality scheduling to minimize makespan

Proceedings of the 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS). Presented at the 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS) Leibniz International Proceedings in Informatics, Chennai, India.

By: S. Baruah, A. Easwaran & Z. Guo

Event: 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS) Leibniz International Proceedings in Informatics at Chennai, India

Source: NC State University Libraries
Added: April 21, 2023

2016 thesis

Real-Time Scheduling of Mixed-Critical Workloads upon Platforms with Uncertainties

(Ph.D. Thesis). University of North Carolina-Chapel Hill.

By: Z. Guo

Source: NC State University Libraries
Added: April 21, 2023

2016 article proceedings

Mixed-Criticality Scheduling on Varying-Speed Platforms with Bounded Performance Drop Rate

Presented at the 2016 IEEE International Conference on Smart Computing (SMARTCOMP).

By: Z. Guo*

Event: 2016 IEEE International Conference on Smart Computing (SMARTCOMP)

TL;DR: A more sophisticated varying-speed platform model is proposed to more precisely analyze the real-time schedulability of such systems, which takes the physical limitation of performance deceleration of the CPS into consideration. (via Semantic Scholar)
Sources: Crossref, ORCID
Added: April 1, 2023

2016 article proceedings

Scheduling Mixed-Criticality Systems to Guarantee Some Service under All Non-erroneous Behaviors

Presented at the 2016 28th Euromicro Conference on Real-Time Systems (ECRTS).

Event: 2016 28th Euromicro Conference on Real-Time Systems (ECRTS)

TL;DR: A generalization of the Vestal model is considered here, in which a degraded (but non-zero) level of service is required for the less critical functionalities even in the event of only the more conservative assumptions holding. (via Semantic Scholar)
Sources: Crossref, ORCID
Added: April 1, 2023

2016 article proceedings

Fault-aware sensitivity analysis for probabilistic real-time systems

Presented at the 2016 IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFT).

By: L. Santinelli, Z. Guo* & L. George*

Event: 2016 IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFT)

TL;DR: The goal is to develop probabilistic schedulability analysis that is applicable to both faulty and non-faulty execution conditions, and both qualifies and quantifies faults impacts on system Schedulability. (via Semantic Scholar)
UN Sustainable Development Goal Categories
16. Peace, Justice and Strong Institutions (OpenAlex)
Sources: Crossref, ORCID
Added: April 1, 2023

2016 journal article

CGC

ACM Transactions on Knowledge Discovery from Data, 10(4), 1–27.

TL;DR: A flexible and robust framework, Co-regularized Graph Clustering (CGC), based on non-negative matrix factorization (NMF), to tackle multi-view graph clustering challenges and develops an efficient optimization method that guarantees to find the global optimal solution with a given confidence requirement. (via Semantic Scholar)
Sources: Crossref, ORCID
Added: April 1, 2023

2016 journal article

A Neurodynamic Approach for Real-Time Scheduling via Maximizing Piecewise Linear Utility

IEEE Transactions on Neural Networks and Learning Systems, 27(2), 238–248.

By: Z. Guo* & S. Baruah*

MeSH headings : Computer Systems; Humans; Linear Models; Neural Networks, Computer
TL;DR: Experimental studies on a large number of randomly generated sets suggest that the proposed neural network-based optimization method is optimal when the set is nonoverloaded, and outperforms existing typical scheduling strategies when there is overload. (via Semantic Scholar)
Sources: Crossref, ORCID
Added: April 1, 2023

2016 article proceedings

Foraging Among an Overabundance of Similar Variants

Presented at the CHI'16: CHI Conference on Human Factors in Computing Systems.

Event: CHI'16: CHI Conference on Human Factors in Computing Systems

TL;DR: This paper investigates how novice programmers forage through similar variants in exploratory programming, and proposes a refinement to Information Foraging Theory to include constructs about variation foraging behavior and refinements to computational models of IFT to better account for foraging among variants. (via Semantic Scholar)
Sources: Crossref, ORCID
Added: March 26, 2023

Citation Index includes data from a number of different sources. If you have questions about the sources of data in the Citation Index or need a set of data which is free to re-distribute, please contact us.

Certain data included herein are derived from the Web of Science© and InCites© (2024) of Clarivate Analytics. All rights reserved. You may not copy or re-distribute this material in whole or in part without the prior written consent of Clarivate Analytics.