ROSAEC center Seoul National University
NRF

Seminars & Workshops

06/14/16               Efficient Deterministic Replay and Data Race Detection for Multithreaded Programs
이동윤(Dongyoon Lee) ,  Department of Computer Science, Virginia Tech [talk slide]
03/04/16               The Equational, Rational Path Ordering
Jean-Pierre Jouannaud ,  École Polytechnique [talk slide]
12/09/15               Moving Fast with Software Verification
Peter O'Hearn ,  Facebook & University College London [talk slide]
12/08/15               Shape analysis for unstructured sharing (joint work with Huisong Li and Bor-yuh Evan Chang)
Xavier Rival ,  INRIA Paris-Rocquencourt 
09/18/15               Probabilistic Programming
Prof. Hongseok Yang ,  Dept of Computer Science, University of Oxford 
07/07/15               Java Garbage Collection on the Cloud
하정우(Jungwoo Ha) ,  Google INC, USA 
05/07/15               Static Analysis of Spreadsheet Applications for Type-Unsafe Operations Detection
Xavier Rival ,  École Normale Supérieure, Paris 
12/19/14               Automatic Computation Offload for Native Applications
김한준 교수 ,  포항공과대학교 POSTECH 
12/01/14               Empirical Studies in the Effectiveness of Modeling in Software Development
Prof. Michel Chaudron  ,  Department of Computer Science of Chalmers & Gothenburg University in Sweden  
11/04/14               Deploying Formal in a Simulation World
CEO Vigyan Singhai ,  Oski Technology [talk slide]
10/16/14               To Dream the Impossible Dream: Toward Security Analysis for JavaScript
Dr.Julian Dolby ,  IBM Thomas J. Watson Research Center  [talk slide]
07/28/14               [The 11th ROSAEC Center Workshop]
ROSAEC members ,  ROSAEC Center 
05/23/14               Isolation Types and Multi-core Processors
Alan Mycroft ,  Cambridge University 
05/21/14               Application Hacking 및 GCPS(Global Cyber Patrol System) 소개
김문진(Munjin Kim) ,  삼성 SDS 통합보안센터 CERT 
05/01/14               디지털 포렌식 소개 및 R/D 전략
이상진(Sangjin Lee) 교수 ,  고려대학교  
03/06/14               Counterexample ranking using mined invariants
Ansuman Banerjee ,  Indian Statistical Institute, India 
01/13/14               [The 10th ROSAEC Center Workshop]
ROSAEC members ,  ROSAEC Center 
12/31/13               Formal Specification and Verification of Distributed Cyber-Physical Systems
Kyungmin Bae ,  Computer Science at University of Illinois [talk slide]
12/27/13               Understanding Eventual Consistency
Hongseok Yang ,  University of Oxford [talk slide]
11/05/13               Towards a modular memory abstraction
Xavier Rival  ,  École Normale Supérieure, Paris [talk slide]
10/30/13               Modular Construction of Shape-Numeric Analyzers
Xavier Rival ,  École Normale Supérieure, Paris [talk slide]
10/05/13               Probabilistic Programming Workshop
ROPAS members, 허충길(Chung-Kil Hur), 김지훈(Jihun Kim) ,  SNU 
05/16/13               Localizing and Explaining Non-deadlock Concurrency Bugs
박상민(Sangmin Park) ,  Georgia Institute of Technology 
01/30/13               [The 9th ROSAEC Center Workshop]
ROSAEC members ,  ROSAEC Center 
12/18/12               Crowdsourcing Video Annotations to Enhance the Learning Experience of How-to Videos
김주호(Juho Kim) ,  MIT CSAIL 
10/04/12               Static Analysis for JavaScript
Anders Møller ,  Aarhus University 
08/03/12               Pervasive Model Checking
Jin Song Dong ,  National Univ. of Singapore  [talk slide]
07/25/12               [The 8th ROSAEC Center Workshop]
ROSAEC members ,  ROSAEC Center 
06/20/12               Accurate and Scalable Managed Runtime Monitoring and Analysis
하정우(Jungwoo Ha) ,  Google Inc. 
06/08/12               Marco: Safe, Expressive Macros for Any Language
Byeongcheol Lee ,  GIST, KOREA 
06/07/12               Chimera: Hybrid Program Analysis for Determinism
Dongyoon Lee ,  University of Michigan, USA 
05/15/12               Program Analysis using Quantifier Elimination Hueristics
Deepak Kapur ,  University of New Mexico [talk slide]
04/23/12               Formally Certified Satisfiability Solving
Duckki Oe ,  ComputationaLogic Center [talk slide]
03/29/12               Types for Hereditary Permutators
Makoto Tatsuta ,  NII [talk slide]
01/16/12               [The 7th ROSAEC Center Workshop]
ROSAEC members ,  ROSAEC Center 
10/20/11               Software Development, Learning from the Trenches
Charles Hymans ,  EADS 
09/15/11               How to Make Ad Hoc Proof Automation Less Ad Hoc
Derek Dreyer ,  Max Planck Institute for Software Systems [talk slide]
08/26/11               Parametric abstract domains for shape analysis
Xavier Rival ,  École Normale Supérieure [talk slide]
08/22/11               WebBlaze: New Techniques and Tools for Web Security & BitBlaze: Computer Security via Binary Analysis
Dawn Song ,  U.C. Berkeley [talk slide]
06/25/11               [The 6th ROSAEC Center Workshop]
ROSAEC members ,  ROSAEC Center 
04/14/11               Regular Languages and Applications
YoSub Han ,  Yonsei University [talk slide]
03/15/11               Type Inference for Bimorphic Recursion
Makoto Tatsuta ,  National Institute of Informatics, Tokyo [talk slide]
02/14/11               Reasoning about correctness of software transactional memory
Tarmo Uustalu ,  Institue of Cybernetics at TUT, Tallinn [talk slide]
02/11/11               SSLShader: Cheap SSL Acceleration with Commodity Processors
Kyung Soo Park ,  KAIST [talk slide]
01/06/11               [The 5th ROSAEC Center Workshop]
ROSAEC members ,  ROSAEC Center 
12/22/10               TaintDroid: An Information-Flow Tracking System for Realtime Privacy Monitoring on Smartphones
Byung-Gon Chun ,  Intel Labs Berkeley [talk slide]
11/19/10               Robot Skill Synthesis through Human Sensorimotor Learning
Jan Babic ,  Jozef Stefan Institue, Slovenia 
11/11/10               String Analysis as an Abstract Interpretation
Se-Won Kim ,  KAIST 
11/04/10               Abstract parsing with string updateds using LR-parsing technology
David Schmidt ,  Kansas State University [talk slide]
11/04/10               Namespace-based Language Modelling
David Schmidt ,  Kansas State University [talk slide]
09/03/10               A Safety-Assured Development Approach for Real-Time Software
Eunkyoung Jee ,  University of Pennsylvania [talk slide]
08/25/10               [The 4th ROSAEC Center Workshop]
ROSAEC members ,  ROSAEC Center 
04/15/10               Type Checking with Open type Functions
Tom Schrijvers ,  Katholieke Universiteit Leuven, Belgium [talk slide 1/talk slide 2]
04/15/10               Strictness Meets Data Flow
Tom Schrijvers ,  Katholieke Universiteit Leuven, Belgium [talk slide]
04/12/10               ROSAEC, KAOC, and CEEDS Joint Workshop
Sungdeok Cha, Sehun Jeong, Kwangkeun Yi, and Sungkeun Cho ,  CEEDS and ROSAEC Center 
03/15/10               Completeness of Pointer Program Verification by Separation Logic
Makoto Tatsuta ,  National Institute of Informatics [talk slide]
01/07/10               [The 3rd ROSAEC Center Workshop]
ROSAEC members ,  ROSAEC Center 
01/05/10               The Linear Temporal Logic of Rewriting Model Checker in Maude
Kyungmin Bae ,  Univ. of Illinois at Urbana-Champaign [talk slide]
12/23/09               Constrained Environment Inference for Verification of Multi-Threaded Programs
Corneliu Popeea ,  Max Plank Institute for Software Systems 
12/22/09               Local Reasoning for Read-Copy-Update
Hongseok Yang ,  Queen Mary, Univ. of London [talk slide]
12/16/09               Types and Recursion Schemes for Higher-Order Program Verification
Naoki Kobayashi ,  Tohoku University [talk slide]
12/15/09               The Twilight Zone: from testing to formal specifications and back again
Koen Claessen ,  Chalmers University of Technology, Gothenburg, Sweden [talk slide]
12/14/09               The Sketching Approach to Program Synthesis
Armando Solar-Lezama ,  Massachusetts Institute of Technology [talk slide]
12/13/09               Parallel Programming in Fortress
Sukyoung Ryu ,  Computer Science, KAIST [talk slide 1/talk slide 2]
12/13/09               Separation Logic from the Perspective of Program Analysis
Hongseok Yang ,  Queen Mary, University of London [talk slide 1/talk slide 2]
11/06/09               Hoare Logic for the Coinductive Trace-Based Big-Step Semantics of While
Keiko Nakata ,  Tallinn University of Technology [talk slide]
10/29/09               An Evolution-Centric Perspective on Software Testing
Gregg Rothermel ,  University of Nebraska-Lincoln [talk slide]
10/29/09               Automated Verification via Separation Logic
Cristina David ,  National University of Singapore [talk slide]
10/14/09               Logical Relations and Compositional Compiler Correctness
Chung-Kil Hur ,  University of Cambridge [talk slide]
09/08/09               Type Checking Program Generators Using the Record Calculus
Tankut Baris Aktemur ,  Ozyegin University, Turkey [talk slide]
09/05/09               Deriving Invariants by Algorithmic Learning, Decision Procedures, and Predicate Abstraction
Bow-Yaw Wang ,  Institute of Information Science, Academia Sinica [talk slide]
09/05/09               Comparative Study on Software Model Checkers as Unit Testing Tools based on an Industrial Case Study
Moonzoo Kim ,  Computer Science, KAIST [talk slide]
08/31/09               Survey Workshop on Corpus-based Shape Analysis
ROPAS Members, Research on Corpus-based Shape Analysis ,  SNU 
08/31/09               Components and Static analysis
Bruno Oliveira ,  ROSAEC Center [talk slide]
07/30/09               Approximate Inference: Decomposition Methods with Applications to Computer Vision
Kyomin Jung ,  Computer Science, KAIST [talk slide]
07/09/09               [The 2nd ROSAEC Center Workshop]
ROSAEC members ,  ROSAEC Center 
07/08/09               A Brief Overview Assume-Guarantee Reasoning via Learning
Bow-Yaw Wang ,  Institute of Information Science, Academia Sinica [talk slide]
06/19/09               Interactive proving and programming in Coq
Hugo Herbelin ,  INRIA [talk slide]
06/02/09               WYSINWYX: What You See Is Not What You eXecute
Gogul Balakrishnan ,  NEC Laboratories America, Inc.  [talk slide]
05/12/09               Bi-abductive inference for reasoning about heaps
Peter O'Hearn ,  Queen Mary, University of London [talk slide]
05/11/09               From Separation Logic to Systems Code
Peter O'Hearn ,  Queen Mary, University of London [talk slide]
04/30/09               Symbolic Model Checking Property Specification Language
Ji Wang ,  National University of Defense Technology [talk slide]
04/17/09               소형무인헬기용 임베디드 소프트웨어의 구조와 적용
김두현 ,  건국대학교 인터넷미디어공학부 [talk slide]
04/10/09               Relationship between Curry-Howard-correspondence and semantics
Gyesik Lee ,  ROSAEC Center [talk slide]
02/13/09               Survey Workshop on Static Analysis of Binary Code
MES Lab. Members ,  SNU 
02/04/09               Survey Workshop on Static Analysis for Malware Detection
SE Lab. Members ,  SNU 
01/21/09               Domain-Specific Abstract Interpretations : Experience Reports
Jerome Feret ,  INRIA/ENS/CNRS, France [speaker's page]
01/17/09               Survey Workshop on Class Analysis
ROPAS Members, Research On Program Analysis System ,  SNU 
01/14/09               P2P Botnet Enumeration and Banking Trojan Crimwares
Byung-Hoon Kang ,  University of North Carolina at Charlotte [talk slide/paper]
12/30/08               Randomized Active Testing for Concurrent Programs
Chang-Seo Park ,  UC Berkeley [talk slide]
12/24/08               Shared Subtypes : Subtyping recursive parameterized algebraic data types
Ki-Yung Ahn ,  Portland State University [talk slide]
12/12/08               Alleviating False Alarm Problem of Static Buffer Overflow Analysis
Youil Kim ,  KAIST [talk slide]
11/21/08               [ROSAEC Center Kick-off Workshop]
ROSAEC members ,  ROSAEC Center 
11/19/08               Destabilization of Adversarial Organizations with Strategic Interventions: Computational Organization Theory Approach
Il-Chul Moon ,  KAIST [talk slide]
11/17/08               Analyzing and Inferring the Structure of Code Changes
Miryung Kim ,  University of Texas, Austin [talk slide]
10/01/08               Statistical Machine Translation
Changbum Park ,  Seoul National University [talk slide]
09/30/08               Abstract Interpretation and Application to the Static Analysis of Safety-Critical Embedded Computer Software
Patrick Cousot ,  Ecole Normale Superieure, Paris [talk slide]

ROPAS Seminars & Workshops



© Copyright 2008-2010 ROSAEC Center, Seoul National University