| 1. |
- Lazar, J., et al.
(författare)
-
Human-computer interaction and international public policymaking : A framework for understanding and taking future actions
- 2015
-
Ingår i: Foundations and Trends in Human-Computer Interaction. - : Now Publishers Inc.. - 1551-3955 .- 1551-3963. ; 9:2, s. 69-149
-
Tidskriftsartikel (refereegranskat)abstract
- This monograph lays out a discussion framework for understanding the role of human-computer interaction (HCI) in public policymaking. We take an international view, discussing potential areas for research and application, and their potential for impact. Little has been written about the intersection of HCI and public policy; existing reports typically focus on one specific policy issue or incident. To date, there has been no overarching view of the areas of existing impact and potential impact. We have begun that analysis and argue here that such a global view is needed. Our aims are to provide a solid foundation for discussion, cooperation and collaborative interaction, and to outline future programs of activity. The five sections of this report provide relevant background along with a preliminary version of what we expect to be an evolving framework. Sections 1 and 2 provides an introduction to HCI and public policy. Section 3 discusses how HCI already informs public policy, with representative examples. Section 4 discusses how public policy influences HCI and provides representative public policy areas relevant to HCI, where HCI could have even more impact in the future: (i) laws, regulations, and guidelines for HCI research, (ii) HCI research assessments, (iii) research funding, (iv) laws for interface design - accessibility and language, (v) data privacy laws and regulations, (vi) intellectual property, and (vii) laws and regulations in specific sectors. There is a striking difference between where the HCI community has had impact (Section 3) and the many areas of potential involvement (Section 4). Section 5 a framework for action by the HCI community in public policy internationally. This monograph summarizes the observations and recommendations from a daylong workshop at the CHI 2013 conference in Paris, France. The workshop invited the community's perspectives regarding the intersection of governmental policies, international and domestic standards, recent HCI research discoveries, and emergent considerations and challenges. It also incorporates contributions made after the workshop by workshop participants and by individuals who were unable to participate in the workshop but whose work and interests were highly related and relevant.
|
|
| 2. |
- Muntean, P., et al.
(författare)
-
IntRepair : Informed Repairing of Integer Overflows
- 2021
-
Ingår i: IEEE Transactions on Software Engineering. - : Institute of Electrical and Electronics Engineers (IEEE). - 0098-5589 .- 1939-3520. ; 47:10, s. 2225-2241
-
Tidskriftsartikel (refereegranskat)abstract
- Integer overflows have threatened software applications for decades. Thus, in this paper, we propose a novel technique to provide automatic repairs of integer overflows in C source code. Our technique, based on static symbolic execution, fuses detection, repair generation and validation. This technique is implemented in a prototype named IntRepair. We applied IntRepair to 2,052 C programs (approx. 1 million lines of code) contained in SAMATE's Juliet test suite and 50 synthesized programs that range up to 20 KLOC. Our experimental results show that IntRepair is able to effectively detect integer overflows and successfully repair them, while only increasing the source code (LOC) and binary (Kb) size by around 1%, respectively. Furthermore, we present the results of a user study with 30 participants showing that IntRepair repairs are more efficient than manual repairs.
|
|
