جست‌وجوی استاد و پژوهشگر

Pavel Panchekhaمشاهده پروفایل

استادیار

• Programming Languages
• Program Synthesis
• Verification
• +۴ مورد دیگر

Pavel Panchekha is an Assistant Professor in the School of Computing at the University of Utah, where he holds the Warnock Chair for Junior Faculty. His research spans programming languages, web browsers, and numerical analysis, with a focus on developing programming language techniques to address challenges across computer science. Dr. Panchekha received his educational training at prestigious institutions: PhD in Computer Science from the Paul G. Allen School for Computer Science and Engineering at the University of Washington, advised by Michael D. Ernst and Zachary Tatlock BS in Mathematics from MIT Panchekha's research program has two major thrusts. First, he works on web browser internals , with projects including fuzzing layout invalidation, multi-tenant garbage collection, and optimizing 2D graphics. He is also authoring a textbook on web browsers that informs much of this research. Second, he focuses on automatic numerical analysis , with projects such as automatic accuracy improvement, synthesis via term rewriting, scalable static accuracy analysis, and math library implementation. He leads the FPBench and Herbie projects, which are major deployments of his research. His scholarly output demonstrates consistent contributions across programming languages, verification, and numerical methods. Recent work shows a growing emphasis on bidirectional typing systems, layout invalidation in browsers, and robust floating-point error analysis. His publications reveal a trajectory from foundational work on floating-point accuracy (notably the Herbie tool that won a Distinguished Paper Award at PLDI 2015) toward more comprehensive systems for program synthesis, verification, and browser optimization. Panchekha has received significant recognition for his research contributions: NSF Fellowship ARCS Foundation Fellowship Adobe Research Fellowship Wissner-Slivka Foundation Fellowship 2015 PLDI Distinguished Paper Award for work on the Herbie numerical analysis and repair tool As an advisor, Panchekha mentors a substantial group of students across multiple levels. He currently advises six students: Marisa Kirisame (PhD), Bhargav Kulkarni (PhD), Yumeng He (PhD), Artem Yadrov (MS), Jesus Ponce (BS), and Jonas Regehr (BS). Previously, he has advised over twenty students including PhD candidates like Ian Briggs and numerous MS and BS students. His advising spans theoretical topics in programming languages and practical applications in web browsers and numerical computing. Panchekha leads research groups focused on programming languages applications to web browsers and numerical analysis. His work on the Herbie tool for floating-point accuracy improvement has become influential in the programming languages community, and his more recent work on browser internals is shaping how researchers understand and optimize modern web rendering engines. He is currently developing a textbook on web browsers that aims to synthesize knowledge about browser architecture and implementation.

Brandon Luciaمشاهده پروفایل

استاد

• Intermittent Computing
• Energy-harvesting Systems
• Concurrency
• +۷ مورد دیگر

Brandon Lucia is a Full Professor in the Department of Electrical and Computer Engineering at Carnegie Mellon University's College of Engineering. He leads the abstract research group focusing on the intersection of computer architecture, systems, and programming languages. His work bridges theoretical foundations with practical implementations in energy-constrained environments. Lucia's research centers on intermittent computing systems and edge computing in extreme environments. His work on energy-harvesting systems has established fundamental principles for batteryless computing, while his orbital edge computing research pioneers computational intelligence for nanosatellite constellations. These research thrusts address critical challenges in reliability, efficiency, and programmability for systems operating under severe power constraints. His publication record shows a clear evolution from foundational work on intermittent computing models to sophisticated applications in space computing and edge intelligence. Recent publications demonstrate increasing integration of dataflow architectures with energy-harvesting constraints, particularly in satellite constellations where computational resources must be managed across distributed, power-constrained platforms operating in extreme environments. NSF CAREER Award (2017) IEEE TCCA Young Computer Architect Award (2019) Sloan Foundation Fellowship (2021) ASPLOS Best Paper Awards (2018, 2020) OOPSLA Distinguished Paper and Artifact Awards (2015) Lucia actively mentors numerous PhD students including Brad Denby, Zhuo Cheng, and Emily Ruppel, many of whom contribute significantly to his research program. His abstract research group maintains strong industry connections while pursuing fundamental advances in computing systems. The group has developed multiple open-source tools including Legerdemain for program analysis and MultiCacheSim for cache coherence simulation. His laboratory work spans from theoretical foundations of intermittent computing to practical implementations in space systems. Current projects include computational nanosatellite constellations, energy-minimal dataflow architectures, and secure edge computing systems that operate reliably despite frequent power failures.

Heather Millerمشاهده پروفایل

استادیار

• Distributed Systems
• Concurrent Programming
• Programming Languages
• +۴ مورد دیگر

Heather Miller is a tenure-track Assistant Professor in the Software and Societal Systems Department within Carnegie Mellon University's School of Computer Science. Her academic journey includes prior roles as an Assistant Clinical Professor at Northeastern University's College of Computer and Information Science and as Executive Director of the Scala Center at EPFL. Miller's research centers on distributed and concurrent computation through the lens of programming languages, with particular emphasis on data-centric systems, big data processing, and edge computing. A defining theme throughout her work is composability - enabling construction of complex distributed systems through composition of components that are correct by construction. Her projects span distributable closures, flexible serialization techniques, futures and promises for asynchronous programming, and deterministic concurrent dataflow models. Her recent publications demonstrate strong trends in applying programming language theory to practical distributed systems challenges, with increasing focus on WebAssembly instrumentation, microservice resilience, and language model pipelines. This evolution reflects her commitment to bridging theoretical foundations with real-world system requirements. Dahl-Nygaard Junior Prize (2023) Mentorship forms a significant component of Miller's academic work. She actively supervises multiple PhD, MS, and undergraduate researchers at CMU, including Christopher Meiklejohn, Matthew Weidner, Huairui Qui, Ria Pradeep, and Luke Dramko. Her service contributions span numerous top-tier conferences including PLDI, SPLASH, ECOOP, and ICSE where she has served as committee member, chair, and keynote speaker. Miller co-founded the Curry On conference to foster industry-academia dialogue, hosting successful editions in Prague, Rome, Barcelona, Amsterdam, and London. She leads research groups focused on distributed programming models and maintains strong industry connections through Two Sigma, where she holds an affiliation. Her work consistently emphasizes practical open-source implementations, primarily within the Scala ecosystem where she's been a core contributor since 2011.

Vikram S. Adveمشاهده پروفایل

استاد

• Compilers
• Programming Languages
• Parallel Computing
• +۶ مورد دیگر

Vikram S. Adve is a Professor in the Department of Computer Science at the University of Illinois at Urbana-Champaign. He co-founded and co-leads the Center for Digital Agriculture and directs the USDA-funded AIFARMS Institute , focusing on AI applications in sustainable agriculture. His research bridges compilers, parallel systems, and AI to address challenges in edge computing and digital farming. Research interests span compiler technologies (LLVM, HPVM), parallel programming models , software reliability , and AI-driven agriculture . Key projects include: CropWizard : Generative AI for agricultural decision-making. HPVM/ApproxHPVM : Compiler IR for edge devices. Hydride/MISAAL : Automated retargetable compiler construction. Recent publications (2018-2025) emphasize compiler optimizations, approximate computing, binary analysis, and AI for systems. Trends show convergence of compiler techniques , heterogeneous computing , and AI applications in agriculture and edge devices. Adve actively recruits students for projects funded by USDA, Intel, Amazon, and Illinois DPI. He leads the HPVM compiler team and digital agriculture initiatives , integrating cross-disciplinary research across CS, engineering, and agronomy.

Diomidis Spinellisمشاهده پروفایل

استاد

• Software Engineering
• Programming Languages
• Computer Science
• +۵ مورد دیگر

Professor Diomidis Spinellis is a renowned academic in Software Technology at Athens University of Economics and Business (AUEB). He specializes in software engineering practices, code quality, AI ethics, and system architecture. His work bridges theoretical advancements with practical applications in industry, emphasizing reproducibility and empirical methods. Recipient of the IEEE Computer Society's prestigious 'Distinguished Contributor Recognition,' Spinellis is the sole Greek scientist to achieve this honor. His research spans software evolution, security, and open-source ecosystems, with a focus on methodologies like refactoring, static analysis, and debugging strategies. Key research interests include AI-generated content detection, modular data analytics, and incident management systems. His studies often leverage large-scale datasets (e.g., Unix evolution, Linux supercomputing analysis) to uncover patterns in software behavior and development practices. Publications frequently address emerging technologies' societal impacts, such as energy-efficient computing and ethical AI deployment. He advocates for reproducible research through tools like the Alexandria3k framework and contributes to open-source initiatives.

Steve Blackburnمشاهده پروفایل

استاد

• Memory Management
• Garbage Collection
• Virtual Machine Design and Implementation
• +۷ مورد دیگر

Steve Blackburn is a research scientist at Google DeepMind and professor of computer science at the Australian National University in the College of Engineering and Computer Science. His primary research focus is on programming language implementation, with expertise spanning memory management, virtual machines, and performance analysis. He has served in significant leadership roles including Associate Dean for Diversity and Inclusion (2016-2019) and as Program Chair for PLDI 2015 and General Chair for PLDI 2023. Blackburn's research interests center on making software run faster and more power-efficiently on modern hardware. His primary areas include microarchitectural support for managed languages, fast and efficient garbage collection, and the design and implementation of virtual machines. He maintains a strong interest in sound methodology and infrastructure for successful research innovation. His work bridges theoretical computer science with practical systems implementation, with particular focus on memory management frameworks and performance benchmarking. His publication record reveals a consistent focus on memory management systems, with recent work exploring garbage collection in modern contexts including CRuby, Julia, mobile devices, and memory-disaggregated datacenters. His research shows an evolution from foundational garbage collection algorithms toward practical implementations addressing real-world constraints in contemporary programming languages and hardware platforms. A notable trend is his increasing focus on quantifying and understanding the true costs of garbage collection in production environments. Fellow of the ACM Blackburn has supervised numerous doctoral students including Zhen He, John Zigman, Robin Garner, Ting Cao, and currently advises Wenyu Zhao, Zixian Cai, and others. He has also served on multiple program committees for major conferences including PLDI, ASPLOS, ISMM, and OOPSLA, demonstrating his significant contributions to the programming languages and systems research community. His service includes editorial roles for ACM Transactions on Programming Language Applications and Systems from 2017-2020. He leads two major research infrastructure projects: the MMTk memory management framework and the DaCapo benchmark suite, both of which have become foundational tools for researchers in programming languages and systems. These projects reflect his commitment to shared research infrastructure and reproducible methodology in systems research.

Alastair F. Donaldsonمشاهده پروفایل

استاد

• Programming Languages
• Compilers
• Verification
• +۲ مورد دیگر

Alastair F. Donaldson is a Professor in the Department of Computing at Imperial College London's Faculty of Engineering, where he leads the Multicore Programming Group. He also works as a Software Engineer at Google in the Android Graphics Team. Previously, he served as Director of GraphicsFuzz, an Imperial College spinout company acquired by Google in 2018. His research spans programming languages, compilers, verification, and testing, with a particular focus on randomized and fuzz testing techniques for compilers and program analyzers. Donaldson has developed several influential testing frameworks including GraphicsFuzz, RustSmith, and GrayC, which have significantly advanced compiler testing methodologies. Analysis of his recent publications reveals a strong trend toward practical applications of compiler testing techniques across diverse domains including GPU programming, verification-aware languages, and memory models. His work increasingly incorporates continuous integration practices and focuses on addressing real-world challenges in compiler development and verification. Donaldson maintains active involvement in the programming languages research community, serving on program committees for major conferences including PLDI, POPL, ASPLOS, and SPLASH. He has contributed significantly to advancing compiler testing methodologies and has mentored numerous researchers through PLMW (Programming Languages Mentoring Workshop). He leads the Multicore Programming Group at Imperial College London, which focuses on challenges in parallel and concurrent programming. His work bridges theoretical computer science with practical software engineering challenges, particularly in the areas of compiler correctness and verification.

Wei Yangمشاهده پروفایل

دانشیار

• Software Testing
• Mobile Security
• Machine Learning for Software Engineering
• +۳ مورد دیگر

Wei Yang is an Associate Professor in the Department of Computer Science at the University of Texas at Dallas, actively contributing to software engineering research through program committee roles at ICSE, FSE, ASE, and ISSTA conferences since 2015. His research focuses on software testing innovation , particularly in mobile security, GUI testing, and AI-driven test automation. Key contributions include frameworks for malware analysis (MalScan), UI exploration (Guardian, Vet), and neural network testing (DeepPerform, EREBA), addressing critical challenges in test oracle generation, flaky tests, and resource-constrained environments. Recent work demonstrates a strategic shift toward LLM and foundation model applications for testing, with 2023-2026 publications exploring vision-language models for GUI testing, parameter ownership in collaborative AI development, and instruction alignment in large language models. This evolution reflects the field's broader trajectory toward AI-integrated quality assurance.

Earl T. Barrمشاهده پروفایل

استاد

• Software Engineering
• Program Analysis
• Type Systems
• +۶ مورد دیگر

Earl T. Barr is a Professor of Software Engineering at University College London (UCL), where he heads the System Software Engineering Group and is a member of the Centre for Research on Evolution, Search and Testing (CREST). His academic journey began with a Ph.D. in Computer Science from the University of California, Davis in 2009, after which he joined UCL as faculty. His research spans multiple domains within software engineering, with particular focus on program analysis, type systems, automated program repair, and the emerging field of dual channel analysis that examines the interplay between natural language and formal programming language in source code. Barr's work on the 'naturalness of software' has been influential in understanding how code differs from natural language while exhibiting statistical regularities. Barr's publication record shows a strong trend toward integrating machine learning with traditional software engineering techniques, particularly in type inference (Typilus), program repair, and code understanding. His recent work increasingly focuses on dual channel analysis, exploring how the natural language elements in code (identifiers, comments) interact with the formal programming language to create a richer communication channel for developers. MSR 2019 Most Influential Paper Award Multiple ACM SIGSOFT Distinguished Paper Awards Best Paper Award at IEEE Conference on E-Commerce Technology (2005) Barr actively supervises numerous Ph.D. students and postdocs, with current projects focusing on dual channel program analysis, AI for code, and software security applications. He has established long-term collaborations with researchers at institutions including Royal Holloway and the University of Luxembourg. His teaching portfolio at UCL includes core courses in Malware, Compilers, and Validation and Verification, reflecting his broad expertise across the software engineering spectrum. Barr leads the System Software Engineering Group at UCL, which focuses on practical applications of software engineering research with strong connections to industry problems. The group's work bridges theoretical foundations with real-world software development challenges, particularly in the areas of program analysis and automated software maintenance.

Emery D. Bergerمشاهده پروفایل

استاد

• Programming Languages
• Runtime Systems
• Operating Systems
• +۳ مورد دیگر

Emery D. Berger is a Professor at the Manning College of Information and Computer Sciences, University of Massachusetts Amherst, and an Amazon Scholar at Amazon Web Services. He received his Ph.D. in Computer Science from the University of Texas at Austin in 2002 and has held visiting positions at Microsoft Research and the Barcelona Supercomputing Center. His research focuses on systems that improve reliability, security, and performance, with core interests in: Programming languages and runtime systems Operating systems and memory management Performance optimization and causal profiling Software debugging and AI-assisted tools He has received numerous prestigious awards, including: ACM Fellow (2019) Best Paper Awards (FAST, OOPSLA, SOSP) NSF CAREER Award 5 SIGPLAN Research Highlights 5 CACM Research Highlights Microsoft SEIF Award He advises PhD, Master's, and undergraduate students in the PLASMA Lab, which develops impactful systems like Scalene (Python profiler), Coz (causal profiler), and CSrankings. His work has influenced industry tools, including memory managers in macOS and Windows.

• Computer Architecture
• Reliability Engineering
• Cloud Computing
• +۷ مورد دیگر

Professor Gizopoulos Dimitris is a faculty member at the Department of Informatics and Telecommunications, National and Kapodistrian University of Athens. His research focuses on advanced topics in computer architecture, reliability engineering, and hardware security. With a strong emphasis on fault tolerance and computational integrity, his work addresses critical challenges in modern computing systems such as silent data corruptions, GPU reliability, and RISC-V cloud ecosystems. Key research interests include microarchitecture-level analysis, cross-layer system reliability assessment, and energy-efficient computing. His contributions span fault propagation modeling, hardware-software co-design for resilience, and innovative approaches to detecting silent errors in CPUs and GPUs. He actively participates in large-scale projects like NEUROPULS and Vitamin-V, advancing secure neuromorphic architectures and open-source cloud infrastructure. Recent publications highlight trends in silent data corruption quantification, GPU vulnerability analysis, and energy-efficient RISC-V designs. His work bridges theoretical models with practical implementations, emphasizing real-world validation through frameworks like gem5 and fault injection experiments. Despite no listed advisees or grants in current records, his research collaborations and project leadership position him at the forefront of next-generation computing reliability. Labs and teams associated with his work include the Vitamin-V virtual environment development team and the NEUROPULS consortium for secure neuromorphic accelerators. These initiatives reflect his commitment to advancing both theoretical and applied aspects of dependable computing systems.

Adrian Sampsonمشاهده پروفایل

دانشیار

• computer architecture
• programming languages
• compilers
• +۵ مورد دیگر

Adrian Sampson is an Associate Professor in the Department of Computer Science at Cornell University, where he is part of the Computer Systems Laboratory and the programming languages group. He joined Cornell in 2016 as an Assistant Professor and was promoted to Associate Professor in 2022. Prior to Cornell, he was a Visiting Researcher at Microsoft Research (2015-2016). He received his Ph.D. from the University of Washington in 2015 under advisors Luis Ceze and Dan Grossman, with a dissertation on Hardware and Software for Approximate Computing. His research focuses on breaking down abstraction barriers and rethinking the hardware-software interface. He is particularly known for his work on approximate computing, which explores how computers can be more efficient by allowing them to make controlled mistakes. He leads the Capra research group at Cornell, which investigates programming languages and computer architecture. Sampson's recent publications demonstrate a strong focus on hardware acceleration, FPGA programming, compiler design, and programming language theory. His work often bridges the gap between high-level programming abstractions and low-level hardware implementation, with particular attention to predictability, verification, and energy efficiency. He has made significant contributions to geometry types for graphics programming, timeline types for modular hardware design, and virtual machines for FPGA programming. Among his notable recognitions are the IEEE TCCA Young Computer Architect Award (2021), NSF CAREER award (2019), and multiple Distinguished Artifact Awards at major conferences. He has advised numerous Ph.D. students who have gone on to positions at institutions like Wellesley College, Northwestern University, and Amazon. Sampson is actively involved in academic service, serving on program committees for major conferences including PLDI, ASPLOS, and ISCA. He has also held leadership roles such as ACM SIGARCH Board of Directors (2023-2025) and SIGPLAN Information Director. His teaching at Cornell includes courses on computer systems, programming languages, and advanced compilers.

Costas Vassilakisمشاهده پروفایل

استاد

• Information systems
• Semantic web technologies
• Service-oriented architectures
• +۴ مورد دیگر

Costas Vassilakis is a Professor in the Department of Informatics and Telecommunications at the University of Peloponnese, serving as Dean of the Faculty of Economics and Technology since 2019. He holds a PhD from the University of Athens (1995) and has held academic roles since 2005, including Associate Professor and Visiting positions. His research focuses on information systems, semantic web technologies, and cultural informatics, with contributions to projects like Virtual Museums and SmartGov. He leads initiatives in digital cultural heritage, cybersecurity, and smart agriculture. Notable projects include Experimedia Blue for personalized cultural experiences and Cyber-Trust for IoT security. Active in teaching, he has instructed courses on operating systems, software engineering, and real-time systems. He contributes to academic governance, including roles in the University Council and strategic planning units. His work bridges technology and cultural preservation, emphasizing interdisciplinary innovation. Education: PhD in Informatics, University of Athens (1995); MSc equivalent in Informatics, University of Athens (1990). Research Interests: Focuses on recommenders systems, collaborative filtering optimization, cybersecurity frameworks, and AI applications in agriculture. Active in cultural heritage digitization, museum technologies, and VR systems. Recent Projects: Includes TripMentor (tourism platform), PaloAnalytics (market analytics), and Rehabotics (rehabilitation robotics). Leads EN.I.R.I.S.S.T., a national infrastructure for maritime and logistics research. Awards: No explicit awards listed, but recognized through extensive project leadership and academic roles.

• Software Technology
• Computer System Security
• Cloud Computing Infrastructures
• +۵ مورد دیگر

Diomedes Spinellis is a Professor at the Department of Management Science and Technology, School of Business, Athens University of Economics and Business. He has made significant contributions to software engineering, system security, and cloud computing. His work bridges academia and industry, with notable roles at Google and the Greek Ministry of Finance. Research Interests: His primary research areas include software technology, computer system security, cloud computing infrastructures, and software debugging. He has pioneered methodologies in code quality and system reliability, with a strong emphasis on open-source software development and practical tools for developers. Publications and Impact: Author of influential books such as Code Reading: The Open Source Perspective , Code Quality: The Open Source Perspective , and Effective Debugging: 66 Specific Ways to Debug Software and Systems . His work has garnered over 10,000 citations. Although specific recent articles are not listed, his research spans software engineering, system reliability, and security. Scientific Awards and Honors: Distinguished Member of the ACM Distinguished Member of the IEEE Editorial Director of IEEE Software Author of award-winning books on code reading and code quality Advising and Grants: While specific students and grants are not listed, his long-standing academic career, editorial leadership, and implementation of widely used open-source tools suggest extensive mentorship and research funding involvement. Labs and Research Teams: He leads research activities through the Department of Management Science and Technology at AUEB, with a focus on software systems and infrastructure. His tools are integrated into Apple macOS and BSD Unix systems, indicating deep collaboration with open-source communities and real-world deployment.

Sebastian Erdwegمشاهده پروفایل

استاد

• Programming Languages
• Software Engineering
• Incremental Computation
• +۷ مورد دیگر

Sebastian Erdweg is a Professor at the Institute of Programming and Software Engineering at Johannes Gutenberg University Mainz (JGU Mainz) in Germany. He actively contributes to the programming languages research community as evidenced by his extensive involvement in major conferences including PLDI, ECOOP, SPLASH, and ICFP. His leadership roles include serving as Workshops Co-Chair for ECOOP and ISSTA 2023, Steering Committee Chair for GPCE, and various program committee positions across multiple conferences. His research primarily focuses on programming language design and implementation, with particular expertise in incremental computation, Datalog-based systems, abstract interpretation, and language workbenches. Erdweg's work bridges theoretical foundations with practical applications in static analysis, compiler construction, and program transformation. His research demonstrates a consistent thread of improving developer productivity through better language design and tooling, with recent work emphasizing efficient incremental program analysis techniques. Erdweg's publication record shows a strong emphasis on Datalog as a foundation for program analysis, with increasing focus on incremental techniques and WebAssembly analysis in recent years. His work combines theoretical rigor with practical implementation, often resulting in open-source tools that advance the state of the art in language engineering. The consistent appearance of Datalog, incremental computation, and abstract interpretation across his publications indicates a cohesive research vision spanning over a decade. As an active member of the programming languages community, Erdweg has served in numerous organizational roles including Workshops Co-Chair for ECOOP and ISSTA 2023, Steering Committee Chair for GPCE, and various program committee positions. His contributions to conference organization demonstrate his standing within the academic community and commitment to advancing research in programming languages and software engineering.