Projects
Only recently updated projects are shown. Press button to see the full projects.
- Context-Oriented Programming 2024-11-04
- Type-Safe Programming with Versions 2024-11-04
- Adaptive Interface Language for COP 2023-10-02
- Event-based Context-Oriented Programming 2021-03-26
- Context-Oriented Programming in Java 2021-01-24
- Energy-Aware Programming 2020-02-09
- Foundations of Context-Oriented Programming 2020-01-18
- Teaching Programming 2024-10-16
- Enbugging Quiz 2024-10-16
- Mio: a Programming Environment based on Design Recipes 2024-08-26
- SimSym: a Physics Simulator That Encourages Model Descriptions 2023-09-12
- Code Legibility 2023-07-21
- Type Systems 2024-08-26
- Dependent Types and Effects 2024-08-26
- Monae: Monadic Effects and Equational Reasoning in Coq 2024-04-19
- Intrinsically-Typed Interpreters 2024-02-20
- Dependently Typed Music 2023-09-08
- Type-Preserving Translation Between Effectful Calculi 2023-07-31
- 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
- Aspect-Oriented Programming Languages 2021-06-09
- 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
Related