Guided Feature Identification and Removal for Resource-constrained Firmware (ICSE 2022 - Journal-First Papers)

Who

Ryan Williams, Tongwei Ren, Lorenzo De Carli, Long Lu, Gillian Smith

Track

ICSE 2022 Journal-First Papers

Time Zone

The program is currently displayed in (GMT-04:00) Eastern Time (US & Canada).

Use conference time zone: (GMT-04:00) Eastern Time (US & Canada)Select other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

When

Mon 9 May 2022 20:05 - 20:10 at ICSE room 2-even hours - Program Analysis 2 Chair(s): Jane Cleland-Huang
Fri 13 May 2022 12:00 - 12:05 at ICSE room 2-even hours - Program Analysis 5 Chair(s): Karim Ali

Link to Publication

https://dl.acm.org/doi/abs/10.1145/3487568

Link to Preprint

https://web.cs.wpi.edu/~ldecarli/docs/papers/tosem21-debloat.pdf

Ryan Williams

Northeastern University

United States

Tongwei Ren

Worcester Polytechnic Institute

Lorenzo De Carli

Worcester Polytechnic Institute

Long Lu

Northeastern University, n.n.

Gillian Smith

Worcester Polytechnic Institute

ICSE'22 JF - Guided Feature Identification and Removal for Resource constrained Firmware

Time Zone

The program is currently displayed in (GMT-04:00) Eastern Time (US & Canada).

Use conference time zone: (GMT-04:00) Eastern Time (US & Canada)Select other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

Display full programSpecify a time band

Save

Session Program

Mon 9 May
Displayed time zone: Eastern Time (US & Canada) change

20:00 - 21:00	Program Analysis 2Technical Track / Journal-First Papers / NIER - New Ideas and Emerging Results at ICSE room 2-even hours Chair(s): Jane Cleland-Huang University of Notre Dame

20:00 5m Talk		Pluto: Exposing Vulnerabilities in Inter-Contract Scenarios Journal-First Papers Fuchen Ma Tsinghua University, Zhenyang Xu University of Waterloo, Meng Ren Tsinghua University, Zijing Yin Tsinghua University, Yuanliang Chen Tsinghua University, Yu Jiang Tsinghua University Pre-print Media Attached
20:05 5m Talk		Guided Feature Identification and Removal for Resource-constrained Firmware Journal-First Papers Ryan Williams Northeastern University, Tongwei Ren Worcester Polytechnic Institute, Lorenzo De Carli Worcester Polytechnic Institute, Long Lu Northeastern University, n.n., Gillian Smith Worcester Polytechnic Institute Link to publication Pre-print Media Attached
20:10 5m Talk		Toward the Analysis of Graph Neural Network NIER - New Ideas and Emerging Results Thanh-Dat Nguyen University of Melbourne, Le-Cong Thanh Hanoi University of Science and Technology, ThanhVu Nguyen George Mason University, Xuan-Bach D. Le Singapore Management University, Singapore, Quyet Thang Huynh Hanoi University of Science and Technology Pre-print Media Attached
20:15 5m Talk		PUS: A Fast and Highly Efficient Solver for Inclusion-based Pointer AnalysisDistinguished Paper Award Technical Track Peiming Liu Texas A&M University, Yanze Li University of British Columbia, Bradley Swain Texas A&M University, Jeff Huang Texas A&M University Pre-print Media Attached
20:20 5m Talk		Learning Probabilistic Models for Static Analysis AlarmsBest Artifact Award Technical Track Hyunsu Kim KAIST, Mukund Raghothaman University of Southern California, Kihong Heo KAIST DOI Pre-print Media Attached
20:25 5m Talk		Fast and Precise Application Code Analysis using a Partial Library Technical Track Akshay Utture University of California, Los Angeles (UCLA), Jens Palsberg University of California at Los Angeles DOI Pre-print Media Attached

Fri 13 May
Displayed time zone: Eastern Time (US & Canada) change

12:00 - 13:00	Program Analysis 5SEIP - Software Engineering in Practice / Technical Track / Journal-First Papers at ICSE room 2-even hours Chair(s): Karim Ali University of Alberta

12:00 5m Talk		Guided Feature Identification and Removal for Resource-constrained Firmware Journal-First Papers Ryan Williams Northeastern University, Tongwei Ren Worcester Polytechnic Institute, Lorenzo De Carli Worcester Polytechnic Institute, Long Lu Northeastern University, n.n., Gillian Smith Worcester Polytechnic Institute Link to publication Pre-print Media Attached
12:05 5m Talk		A Static Analysis Framework for Data Science Notebooks SEIP - Software Engineering in Practice Pavle Subotic Microsoft Azure, Lazar Milikic Microsoft, Milan Stojic Microsoft Pre-print Media Attached
12:10 5m Talk		PUS: A Fast and Highly Efficient Solver for Inclusion-based Pointer AnalysisDistinguished Paper Award Technical Track Peiming Liu Texas A&M University, Yanze Li University of British Columbia, Bradley Swain Texas A&M University, Jeff Huang Texas A&M University Pre-print Media Attached
12:15 5m Talk		Characterizing and Detecting Bugs in WeChat Mini-Programs Technical Track Tao Wang , Qingxin Xu Institute of Software, Chinese Academy of Sciences, China, Xiaoning Chang Institute of Software, Chinese Academy of Sciences, Wensheng Dou Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Jiaxin Zhu Institute of Software at Chinese Academy of Sciences, China, Jinhui Xie Tencent Inc., Yuetang Deng Tencent, Jianbo Yang Tencent Inc., Jiaheng Yang Tencent Inc., Jun Wei Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Tao Huang Institute of Software Chinese Academy of Sciences Pre-print Media Attached
12:20 5m Talk		Fast and Precise Application Code Analysis using a Partial Library Technical Track Akshay Utture University of California, Los Angeles (UCLA), Jens Palsberg University of California at Los Angeles DOI Pre-print Media Attached
12:25 5m Talk		Inference and Test Generation Using Program Invariants in Chemical Reaction Networks Technical Track Michael C. Gerten Iowa State University, Alexis L. Marsh Iowa State University, James I. Lathrop Iowa State University, Myra Cohen Iowa State University, Andrew S. Miner Iowa State University, Titus H. Klinge Drake University DOI Pre-print Media Attached

Information for Participants

Info for room ICSE room 2-even hours:

Click here to go to the room on Midspace