Programs & Data (3rd Workshop)

The first day (2022.07.13.(Wed))

Milestone Programs

순번	제목	구분	발표자	소속
1	Evolution of SE Technologies: Looking Back and Looking Forward []	초청 강연	명예교수 강교철	POSTECH
2	Predictive Mutation Analysis via Natural Language Channel in Source Code	연구 발표	교수 홍신	한동대
3	Automated Code Transformation for Distributed Training of TensorFlow DL Models	연구 발표	심유성	KAIST
4	컨테이너 보안을 위한 시스템콜 시퀀스 필터링	연구 발표	송소민	경북대

Researcher Programs

순번	제목	구분	발표자	소속
1	N2Py: 뉴럴 심볼릭 파이썬 프로그램 합성기	학생 발표	김민수,이석현	고려대
2	효율적인 패치공간 탐색	학생 발표	김영재	UNIST
3	연속적 퍼징을 위한 유닛 테스트는 어떻게 변화하는가: OSS-Fuzz의 퍼징 테스트 케이스 변경 연구	학생 발표	김지웅,김예서	한동대
4	불완전한 패치 보완을 위한 패치 일반화 기법	학생 발표	김현수,김태은,박종찬	KAIST
5	지진감지시스템 CrowdQuake 테스트 환경 구축 및 검증 방안	학생 발표	정소희	경북대
6	정적 분석을 활용해 잘못된 자동 패치 결과물 찾기	학생 발표	송도원	고려대
7	디지털트윈 기반의 그래프 모델링을 통한 복합재난 탐지 연구	학생 발표	김선형	경북대
8	Mechanized Specification을 활용한 Javascript Desugarer의 자동 검증	학생 발표	윤동준	KAIST
9	Deobfuscation of MBA expressions via program synthesis	학생 발표	이제형	한양대
10	Tableau Construction for Signal Temporal Logic	학생 발표	이지아	POSTECH

The second day (2022.07.14.(Thu))

Milestone Programs

순번	제목	구분	발표자	소속
1	Collaborative bug finding and bug-fixing []	초청 강연	Shin Hwei Tan	SUSTech
2	Understanding and Detecting Runtime Permission Issues in Android Applications []	초청 강연	Yepang Liu	SUSTech
3	복잡한 C++ 프로그램 분석을 위한 LLVM IR 분석 - Dynamic object extraction 기법 구현 []	연구 발표	이아청	KAIST
4	논리 기반 점진적 모델 검증 []	연구 발표	교수 배경민	POSTECH
5	요약해석과 양방향 탐색 기반 프로그램 합성	연구 발표	교수 이우석	한양대
6	데이터 흐름 분석을 통한 효율적인 지향성 퍼징 []	연구 발표	김태은	KAIST
7	재난 디지털 트윈 구축 기술 소개 []	연구 발표	교수 권영우	경북대
8	스마트 컨트랙트 자동 검증, 테스팅, 수정 []	연구 발표	소순범	고려대

Researcher Programs

순번	제목	구분	발표자	소속
1	사용자가 지정해준 게이트 집합으로 양자회로 합성하기	학생 발표	강찬구	고려대
2	Resource Sharing Among Functions in Serverless Architecture with Caching Techniques	학생 발표	Manish Pandey	경북대
3	Android Auto 프로토콜 퍼징	학생 발표	김경원	KAIST
4	프로그램 합성 기법을 이용한 모델 체킹 검증 효율 향상 및, 반례 트레이스 기반 알람 필터링 기법 연구	학생 발표	김요엘	경북대
5	Conflict Driven Neural Network 검증	학생 발표	채승현	POSTECH
6	Rust 동시성 결함 검출을 위한 랜텀 테스팅 기법	학생 발표	박은찬,김기은	한동대
7	생성 기반 퍼징의 불필요한 입력 줄이기	학생 발표	서윤지	고려대
8	Pyinder: 파이썬 타입에러 탐지 자동화	학생 발표	오원석	고려대
9	Secure OS API 정형 명세 및 검증 기법 연구	학생 발표	유근열	POSTECH
10	SeamFuzz: 시드 입력 맞춤형 돌연변이 생성법	학생 발표	이명호	고려대
11	PLC 소프트웨어의 정형명세 및 검증	학생 발표	이재서	POSTECH
12	An Extension of HybridSynchAADL and its Application to Collaborating UAVs	학생 발표	이재훈	POSTECH
13	프로그래밍 언어 기반 그래프 데이터 기계학습 방법	학생 발표	전민석	고려대
14	Active Learning을 이용한 내장형 소프트웨어 모델 자동 생성 기법 연구	학생 발표	박효빈	경북대
15	정확한 조건문 패치 생성	학생 발표	한승헌	UNIST
16	Proactive Refactoring of Memory Leak Bugs	학생 발표	Arooba Shahoor	경북대
17	프로그램 자동 수정 특화 오류 원인 추정 기술	학생 발표	홍성준,이준희	고려대

The closing day (2022.07.15.(Fri))

Milestone Programs

순번	제목	구분	발표자	소속
1	Human-centered Intelligent Systems: Augmenting Your Life As-is	초청 강연	교수 황인석	POSTECH
2	Automatic Code Generation/Recommendation Kills Programmers?	연구 발표	교수 김동선	경북대
3	Toward Faster and More Precise Fault Localization []	연구 발표	교수 김윤호	한양대
4	유니스트 프로그램 수정 연구	연구 발표	교수 이주용	UNIST
5	ASPICE Assessment Insights Sharing: OEM Perspective	기업 발표	책임연구원 장훈	현대자동차
6	Automotive SPICE 개요	기업 발표	연구원 한유리	현대자동차
7	LG전자 SW공학연구소 소개	기업 발표	책임연구원 정가을	LG전자

Researcher Programs

순번	제목	구분	발표자	소속
1	V8 JIT 컴파일러의 최적화 검증	학생 발표	권승완,강우석	KAIST
2	딥러닝 기반의 로그분석을 통한 시스템 오류 원인 판별	학생 발표	김유양	경북대
3	SAT 분석을 활용한 SMT Solver 버그 탐지	학생 발표	김종욱	고려대
4	범인은 반드시 흔적을 남긴다: 버전 정보를 이용한 결함위치 추정	학생 발표	박종찬,김재호,김태은	KAIST
5	Java 프로젝트 내 NPE 탐지를 위한 테스트 케이스 생성 기술	학생 발표	박지성	고려대
6	DeFi 컨트랙트가 토큰을 잃는 취약점 탐지하기	학생 발표	변지석	고려대
7	DNN 검증을 위한 anti-chain 기반 framework	학생 발표	연주은	POSTECH
8	Development of End-to-End Services for Disaster Management	학생 발표	이장수	경북대
9	재귀호출 프로그램 합성	학생 발표	조한결	한양대
10	커버리지 정보를 활용한 효과적인 테스트 입력 축소	학생 발표	박수현,임성빈	한동대