Write a Blog >>
APLAS 2021
Sun 17 - Fri 22 October 2021 Chicago, Illinois, United States
co-located with SPLASH 2021
Sun 17 Oct 2021 11:05 - 11:20 at Zurich D - Analysis / Synthesis Chair(s): Jiasi Shen
Sun 17 Oct 2021 19:05 - 19:20 at Zurich D - Analysis / Synthesis (mirror) Chair(s): Kihong Heo

Package managers are often used in recent software development to obtain directly-dependent packages recursively. Typically, package managers make requests to the package registry more than once when computing indirect dependencies. Moreover, much amount of computations are duplicated by clients of package managers. This duplication can be avoided by computing indirect dependencies in advance on the server-side of package-management systems. Therefore, we propose two algorithms functioning in parallel on the server-side: one to compute the indirect dependencies when copying all packages in existing package managers to the server and one to add packages to the server. Based on these parallelized algorithms, we implement a server {\tt fpms-server} and a client {\tt fpms} for npm packages. By our experiments, our client obtains dependencies of some package more than two times faster than clients in existing npm and yarn systems.

Sun 17 Oct

Displayed time zone: Central Time (US & Canada) change

10:50 - 12:10
Analysis / Synthesis Research Papers at Zurich D +8h
Chair(s): Jiasi Shen Massachusetts Institute of Technology
10:50
15m
Talk
Scalable and Modular Robustness Analysis of Deep Neural NetworksVirtual
Research Papers
Yuyi Zhong School of Computing, National University of Singapore, Quang-Trung Ta National University of Singapore, Tianzuo Luo School of Computing, National University of Singapore, Fanlong ZHANG School of Computer, Guangdong University of Technology, Siau-Cheng Khoo National University of Singapore
11:05
15m
Talk
Server-Side Computation of Package Dependencies in Package-Management SystemsVirtual
Research Papers
Nobuhiro Kasai Shibaura Institute of Technology, Isao Sasano Shibaura Institute of Technology
11:20
10m
Talk
PyCT: A Python Concolic TesterVirtual
Research Papers
Wei-Lun Tsai Academia Sinica, Wei-Cheng Wu University of Southern California, USA, Di-De Yen Academia Sinica, Fang Yu National Chengchi University, Yu-Fang Chen Academia Sinica, Taiwan
11:30
10m
Talk
Program Synthesis for Musicians: A Usability Testbed for Temporal Logic SpecificationsVirtual
Research Papers
Wonhyuk Choi Columbia University, Michel Vazirani Columbia University, Mark Santolucito Barnard College, Columbia University, USA
11:40
10m
Talk
Function Pointer Eliminator for C ProgramsVirtual
Research Papers
Daisuke Kimura Toho University , Mahmudul Faisal Al Ameen University of Tokyo, Makoto Tatsuta National Institute of Informatics, Koji Nakazawa Nagoya University
11:50
20m
Live Q&A
Q&A and discussionVirtual
Research Papers

18:50 - 20:10
Analysis / Synthesis (mirror)Research Papers at Zurich D
Chair(s): Kihong Heo KAIST
18:50
15m
Talk
Scalable and Modular Robustness Analysis of Deep Neural NetworksVirtual
Research Papers
Yuyi Zhong School of Computing, National University of Singapore, Quang-Trung Ta National University of Singapore, Tianzuo Luo School of Computing, National University of Singapore, Fanlong ZHANG School of Computer, Guangdong University of Technology, Siau-Cheng Khoo National University of Singapore
19:05
15m
Talk
Server-Side Computation of Package Dependencies in Package-Management SystemsVirtual
Research Papers
Nobuhiro Kasai Shibaura Institute of Technology, Isao Sasano Shibaura Institute of Technology
19:20
10m
Talk
PyCT: A Python Concolic TesterVirtual
Research Papers
Wei-Lun Tsai Academia Sinica, Wei-Cheng Wu University of Southern California, USA, Di-De Yen Academia Sinica, Fang Yu National Chengchi University, Yu-Fang Chen Academia Sinica, Taiwan
19:30
10m
Talk
Program Synthesis for Musicians: A Usability Testbed for Temporal Logic SpecificationsVirtual
Research Papers
Wonhyuk Choi Columbia University, Michel Vazirani Columbia University, Mark Santolucito Barnard College, Columbia University, USA
19:40
10m
Talk
Function Pointer Eliminator for C ProgramsVirtual
Research Papers
Daisuke Kimura Toho University , Mahmudul Faisal Al Ameen University of Tokyo, Makoto Tatsuta National Institute of Informatics, Koji Nakazawa Nagoya University
19:50
20m
Live Q&A
Q&A and discussionVirtual
Research Papers