复旦大学大数据基础系统软件研究所

发布者:尹秀娟发布时间:2022-10-25浏览次数:380


研究所结合大数据和人工智能等新型应用和各种新型异构硬件对系统软件的需求,开展核心基础软件相关研究。主要开展系统软件、软硬件协同设计、编译优化和量子人工智能等方向的研究,并结合产业界需求,进行科研成果转化和落地。


一、主要研究方向

  • 系统软件方向:研究所结合操作系统技术发展趋势,开展系统软件相关研究,主要包括智能操作系统架构、智能存储系统和高效虚拟化技术。

  • 软硬件协同设计方向:研究所针对当前的体系结构发展趋势,开展面向领域专用软硬件协同的体系结构研究,包括面向领域应用的体系结构特性分析技术、体系结构仿真技术以及面向新型应用的并行优化技术研究等。

  • 编译优化方向:研究所结合编译技术的发展趋势和产业界的需求,开展新型编译优化技术的研究,并结合新型AI技术,研究智能编译技术。主要包括Java虚拟机技术、动态二进制翻译技术和面向深度学习的编译优化技术等。

  • 量子人工智能方向:研究所结合量子技术的发展趋势,开展量子人工智能相关研究,主要包括量子机器学习、量子启发算法和量子仿真等。



二、代表性研究成果

  • 论文:More with Less — Deriving More Translation Rules with Less Training Data for DBTs Using Parameterization, IEEE/ACM International Symposium on Microarchitecture (MICRO), 2020

  • 论文:Architectural Support for NVRAM Persistence in GPUs, IEEE Transactions on Parallel and Distributed Systems (TPDS) Volume: 31, Issue: 5, May 1 2020

  • 论文:A High Throughput B+tree for SIMD architectures, IEEE Transactions on Parallel and Distributed Systems (TPDS) Volume: 31, Issue: 3, March 1 2020

  • 论文:Unleashing the Power of Learning: An Enhanced Learning-based Approach for Dynamic Binary Translation, The 2019 USENIX Annual Technical Conference (ATC’19)

  • 论文:Harmonia: A High Throughput B+ Tree for GPUs, The 24th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming(PPoPP 2019)

  • 论文:Computer comparisons in the presence of performance variation, Frontiers of Computer Science(FCS)

  • 论文:Scaling Concurrent Index Structures under Contention Using HTM, IEEE Transactions on Parallel and Distributed Systems(TPDS) Volume: 29, Issue: 8,Aug 1 2018

  • 论文:qSwitch: Dynamical Off-Chip Bandwidth Allocation between Local and Remote Accesses, IEEE Transactions on on Computer-Aided Design of Integrated Circuits and Systems(TCAD), Volume: 37, Issue: 1, Jan. 2018

  • 论文:Prophet: A Parallel Instruction-Oriented Many-Core Simulator, IEEE Transactions on Parallel and Distributed Systems (TPDS) Volume: 28,Issue:10, Oct 1 2017

  • 论文:VarCatcher: A Framework for Tackling Performance Variability of Parallel Workloads on Multi-core, IEEE Transactions on Parallel and Distributed Systems (TPDS) Volume: 28, Issue: 4, April 1 2017

  • 论文:Eunomia: Scaling Concurrent Search Trees under Contention Using HTM, The 22nd ACM SIGPLAN Symposium on Principle and Practice of Parallel Computing (PPoPP 2017).

  • 论文:Performance Analysis of Multimedia Retrieval Workloads Running on Multicore, IEEE Transaction on Parallel and Distributed Systems (TPDS) Volume: 27, Nov 2016

  • 论文:Hardware Support for Concurrent Detection of Multiple Concurrency Bugs on Fused CPU-GPU Architectures, IEEE Transactions on Computers (TC) Volume: 65, No. 10, October 2016

  • 论文:A Loosely-Coupled Full-System Multicore Simulation Framework, IEEE Transaction on Parallel and Distributed Systems (TPDS) Volume: 27, Issue: 6, June 1 2016

  • 论文:Understanding the Architectural Characteristics of EDA Algorithms, The 45th International Conference on Parallel Processing (ICPP)

  • 论文:Parallelizing Image Feature Extraction Algorithms on Multi-core Platforms, Journal of Parallel and Distributed Computing (JPDC) Volume: 92, May 2016

  • 论文:Performance Analysis and Optimization of Full Garbage Collection in a Production JVM, The 12th Annual International Conference on Virtual Execution Environments (VEE2016)

  • 论文:Characterizing MultiMedia Retrieval Applications, The 44th International Conference on Parallel Processing (ICPP, Best Paper Award)

  • 论文:Multi-level Phase Analysis, ACM Transactions on Embedded Computing Systems (TECS) Volume: 14, Issue: 2, March 2015

  • 论文:Parallelized Race Detection Based on GPU Architecture, 2014 Annual Conference of Advanced Computer Architecture (ACA 2014, Best Paper Award)

  • 论文:Hydra: Efficient Detection of Multiple Concurrency Bugs on Fused CPU-GPU Architecture, The 43rd International Conference on Parallel Processing (ICPP)

  • 论文:RPSim: A Rapid Prototyping Full-system Simulator for SoC Software Development, The 9th IEEE International Conference on Networking, Architecture and Storage (NAS)

  • 论文:DAPs: Dynamic Adjustment and Partial Sampling for Multithreaded/Multicore Simulation, Design Automation Conference (DAC), San Francisco, June 1 – 5, 2014

  • 论文:Understanding Architectural Characteristics of Multimedia Retrieval Workloads, The ACM SIGMETRICS 2013 (POSTER), PA, June 17 – 21, 2013

  • 论文:Multi-level Phase Analysis for Sampling Simulation, Design, Automation & Test in Europe Conference & Exhibition (DATE 2013). Grenoble, France, March, 2013

  • 论文:Adaptive Pipeline Parallelism for Image Feature Extraction Algorithms, In the 41st International Conference on Parallel Processing (ICPP 2012). PA, USA, September, 2012

  • 论文:Improving Dynamic Prediction Accuracy Through Multi-level Phase Analysis, In proceedings of the ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES 2012)

  • 论文:Transformer: A Functional-Driven Cycle-Accurate Multicore Simulator, The 49th Design Automation Conference (DAC 2012) San Francisco, USA, June, 2012

  • 论文:A GPU-based High-throughput Image Retrieval Algorithm, The Fifth Workshop on General Purpose Processing on Graphics Processing Units (GPGPU 5) collocated with ASPLOS 2012

  • 论文:Swift: A Register-based JIT Compiler for Embedded JVMs, The 8th Annual International Conference on Virtual Execution Environments (VEE 2012). London, United Kingdom

  • 论文:COREMU: a Scalable and Portable Parallel Full-system Emulator, ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP 2011). San Antonio, USA, February, 2011

  • 论文:A parallel analysis on scale invariant feature transform (SIFT) algorithm, The 9th International Symposium on Advanced Parallel Processing Technologies (APPT 2011). Shanghai, China

  • 论文:A Comprehensive Analysis and Parallelization of an Image Retrieval Algorithm, IEEE International Symposium on Performance Analysis of Systems and Software (ISPASS 2011). Austin TX, USA, April, 2011

  • 论文:Hierarchical Phase Analysis for Sampling Simulations, The 18th International Conference on Parallel Architectures and Compilation Techniques (PACT 2009), POSTER

  • 论文:Optimizing Techniques for Saturated Arithmetic with First-Order Linear Recurrence, The 24th Annual ACM Symposium on Applied Computing (SAC 2009) Programming Language Track. Honolulu, Hawaii, USA

  • 论文:Evaluating SPLASH-2 benchmarks using Hadoop MapReduce, The 8th international Conference on Advanced Parallel Processing Technologies (APPT 2009). Rapperswil, Switzerland. August, 2009

  • 论文:Optimizing Software Cache Performance of Packet Processing Applications, In proceedings of the 2007 ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES 2007)

  • 论文:Optimizing Bandwidth Constraint through Register Interconnection for Stream Processors, The 6h International Conference on Parallel Architectures and Compilation Techniques (PACT 2007), Poster, Brasov, Romania

  • 论文:Optimizing Compiler for Shared-Memory Multiple SIMD Architecture, In proceedings of the 2006 ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES 2006)

  • 论文:Data Pipeline Optimization for Shared Memory Multiple-SIMD Architecture, The 19th International Workshop on Languages and Compilers for Parallel Computing (LCPC 2006)