Projects
Only recently updated projects are shown. Press button to see the full projects.
- Advanced Modularity 2024-12-21
- Programming with Versions 2024-12-21
- Energy-Aware Programming 2024-11-28
- Context-Oriented Programming 2024-11-28
- Adaptive Interface Language for COP 2023-10-02
- Event-based Context-Oriented Programming 2021-03-26
- Context-Oriented Programming in Java 2021-01-24
- Foundations of Context-Oriented Programming 2020-01-18
- Aspect-Oriented Programming Languages 2024-11-28
- Association Aspects 2021-03-26
- Dflow : dataflow pointcut for aspect-oriented programming languages 2021-03-07
- Test-based Pointcuts 2021-02-22
- Type Relaxed Weaving 2021-02-14
- Detection of Broken Pointcuts 2020-02-17
- Typed Pointcut Lanugage 2020-01-18
- SCoPE – Static Conditional Pointcut Evaluator for AspectJ 2020-01-18
- Pit: Point-in-time Join Point Model for Aspect-Oriented Programming Languages 2020-01-18
- ObjCache: Profile-based Object Caching 2020-01-18
- ITD Interfaces 2020-01-18
- Aspectual Haskell 2020-01-18
- Aspectual Caml (A’Caml): an AOP extension to functional language Caml 2020-01-18
- AspectKlava 2020-01-18
- Aspect Sand Box 2020-01-18
- AOP for implicit conversion 2020-01-18
- A per-type Instantiation Mechanism for Generic Aspects 2020-01-18
- Type System 2024-12-13
- Continuations and Effects 2024-12-13
- Type-Preserving Translation Between Effectful Calculi 2024-12-13
- Object-Oriented Programming Language with Control Operators 2024-12-12
- Dependent Types and Effects 2024-12-12
- Intrinsically-Typed Interpreters 2024-12-13
- Type System for Computational Resource Management 2024-12-13
- Gradual Typing 2024-12-13
- Continuations and Effects 2024-12-13
- Formalization 2024-12-13
- Dependently Typed Music 2024-12-13
- Monae: Monadic Effects and Equational Reasoning in Coq 2024-12-13
- Teaching Programming 2024-10-16
- Teaching How to Design Programs 2024-12-12
- Enbugging Quiz 2024-10-16
- SimSym: a Physics Simulator That Encourages Model Descriptions 2023-09-12
- Code Legibility 2023-07-21
- Software Development Environment 2023-08-08
- JIGSAW: a Visualizing Debugger with User-Defined Representation Conversion 2023-08-03
- Kanon: Live Programming for Data Structure Programming 2023-03-01
- CodeMap: a Graphical Note-Taking Tool for Large-Scale Program Comprehension 2022-11-13
- Refactoring Tools for New Language Features 2021-08-07
- Smarter Keyword Programming 2020-11-14
- Code Completion with Deep Neural Network 2020-01-30
- Selene: a source code recommendation tool 2020-01-18
- Traceglasses : A Trace-Based Debugger 2020-01-18
- Runtime Compilation, Code Generation and Specialization Techniques 2023-03-25
- Adaptive Meta-JIT Compilers 2023-03-25
- Pyrlang: A High Performance Erlang Virtual Machine Based on RPython 2020-01-18
- BCS: BYTECODE SPECIALIZATION 2020-01-18
- GPGPU 2023-03-01
- Sanajeh: a Python DSL for GPGPU 2023-03-01
- DynaSOAr: Efficient Parallel Object Allocator for GPGPU 2023-03-01
- Ikra: a Ruby dialect for GPGPU 2023-03-01
- Extending the LIFT Intermediate Language for GPGPU 2022-11-13
- Proof of Soundness of Concurrent Separation Logic for GPGPU in Coq 2020-01-18
- Reactive Programming 2021-08-07
- Signal Classes 2022-11-13
- Shell Programming Languages 2021-06-09
Related