C-TRend Centre
Computing Translational Research and Development

Our Technologies

    Algorithms & Theory & Computational Biology

  1. A Model for Analyzing the Interaction Between Bandwidth Demand and Supply
  2. A Universl Cache Miss Equation for the Memory Hierarchy
  3. Applications of Next-Generation Sequencing in Plants
  4. BatAlign: An incremental method for accurate gapped alignment
  5. BatMeth: Improved mapper for bisulfite sequencing reads on DNA methylation
  6. BatMis: Basic Alignment Tool for Mismatches
  7. BatVI: A fast and sensitive method to determine viral integrations
  8. Bayesian optimization with exponential convergence
  9. BayesProm: Bayesian Network Promoter Prediction
  10. BayesProt: Bayesian Protein Prediction Web Server
  11. CCAT3.0: A signal-noise model for significance analysis of ChIP-seq with negative control
  12. ChromSDE: Inference of Spatial Organizations of Chromosomes Using Semi-definite Embedding Approach and Hi-C Data
  13. CoSy Data Lab: Container metadata and synthetic benchmarks
  14. Crowd-Based Deduplication: An Adaptive Approach
  15. CWig: A format and toolkit for storing and analysing genome-wide density signal data
  16. Data Mining Algorithms for Pharmacogenomics
  17. Dealing with Confounders in Omics Analysis
  18. Differential Privacy via Wavelet Transforms
  19. DNA Feature Recognition
  20. Drosophila Cis-Regulatory Database
  21. DSTAR: A Correlated Motif Approach for Finding Short Linear Motifs from Protein-Protein Interaction Data
  22. Effective and Scalable Clustering on Massive Attributed Graphs
  23. Effective Indexing for Approximate Constrained Shortest Path Queries on Large Road Networks
  24. Efficient Route Planning on Public Transportation Networks: A Labelling Approach
  25. Enabling More Sophisticated Gene Expression Analysis
  26. Enabling More Sophisticated Proteomic Profile Analysis
  27. Exploratory Hypothesis Testing and Analysis
  28. FAST-MAP: Fluorescent Allele-calling Software Toolkit: Microsatellite Automation Package
  29. FindProbe: Selects good probes based on the criteria of homogeneity, sensitivity and specificity
  30. FORA: Simple and Effective Approximate Single-Source Personalized PageRank
  31. Functional Mechanism: Regression Analysis under Differential Privacy
  32. Generalization in Deep Learning
  33. GIORG NUS-ORI Data Collection System
  34. Global Time in Distributed Computing
  35. Graph-Based Protein Function Prediction
  36. Homogeneous Network Embedding for Massive Graphs via Reweighted Personalized PageRank
  37. HubPPR: Effective Indexing for Approximate Personalized PageRank
  38. Increasing Confidence of Protein Interactomes
  39. Incremental SQL Queries
  40. Individual-Based Modelling on the Spread of Infectious Diseases in Singapore
  41. Influence Maximization in Near-Linear Time: A Martingale Approach
  42. Influence Maximization: Near-Optimal Time Complexity Meets Practical Efficiency
  43. Intensional Expressive Power of Query Languages
  44. IRAP: Increasing confidence of protein interactomes using network topological metrics
  45. Large Scale End-to-End Entity Resolution: Algorithms & Explanations
  46. Large-Scale Frequent Subgraph Mining in MapReduce
  47. Local Gapped Subforest Aligner
  48. LocalMotif: A software tool for discovering transcription factor binding motifs in a collection of DNA sequences
  49. MMedWeb – Multimedia Medical Conceptual Web for Intelligent Information Access
  50. Model-Based Segmentation of Medical Images
  51. MotifVoter motif finder: A density based ensemble method for discovery of binding sites
  52. NGS Processing Technologies and Applications
  53. Optimal Location Queries in Road Network Databases
  54. Ordered SGD: A New Stochastic Optimization Framework for Empirical Risk Minimization
  55. Pattern Spaces
  56. PEAssember: PE-Assembler Read Me
  57. PPinteraction: Protein-Protein Interaction Prediction
  58. PrivBayes: Private Data Release via Bayesian Networks
  59. PrivGene: Differentially Private Model Fitting Using Genetic Algorithms
  60. PrivTree: A Differentially Private Algorithm for Hierarchical Decompositions
  61. Protein Complex Prediction
  62. Querying Constraint Databases
  63. Querying Nested Relations
  64. RADS : The Route ADvisory System
  65. Reachability Queries on Large Dynamic Graphs: A Total Order Approach
  66. Realtime Index-Free Single Source SimRank Processing on Web-Scale Graphs
  67. Recognition of MicroRNA Precursors and Targets
  68. Redundant Email Elimination
  69. Reliable Protein Interactomes for Infectious Diseases
  70. RNA Inference: A Faster and More Space-Efficient Algorithm for Inferring Arc-Annotations of RNA Sequences through Alignment
  71. SBH Multi: Adaptive Control of Hybridization Noise in DNA Sequencing-by-Hybridization
  72. SBH Single: On the Control of Hybridization Noise in DNA Sequencing-by-Hybridization
  73. Scaling Attributed Network Embedding to Massive Graphs
  74. Shortest Path and Distance Queries on Road Networks: An Experimental Evaluation
  75. Simulation and Planning of Cardiovascular Surgery
  76. Skull Reconstruction Tools
  77. SLING: A Near-Optimal Index Structure for SimRank
  78. Social Network Datasets
  79. SurvIndel: An accurate caller of deletions and duplications from short read dataset
  80. SurVirus: A fast and sensitive method to call virus integrations which is repeat-aware.
  81. Synchrony iterators
  82. Term Rewriting in Associative Commutative Theories with Identities
  83. The Kleisli Query System
  84. The Protein Interaction Extraction System
  85. Tools for Design of Microarray and Analysis of Gene Expression Profiles for Disease Diagnosis and Prognosis
  86. Transcription Factor-Interaction Prediction and Classification
  87. TranSurVeyor: An accurate caller of transpositions from short reads dataset
  88. Ultra-fast implementations of local search algorithms
  89. VisuAlgo: Visualising data structures and algorithms through animation
  90. Viz: Stochastic Local Search Engineering Suite
  91. X-ray Fracture Detection

    Artificial Intelligence

  93. Adaptive Hybrid Sampling
  94. Assistive AI with Intuitive Psychology and Intuitive Physics
  95. Assistive Robotic Transport for Youngsters (ARTY)
  96. Autonomous Driving in a Crowd: Modeling, Planning, and Simulation
  97. Autonomous Driving in Pedestrian and Vehicle Traffic
  98. Autonomous Target Following
  99. Autonomous Target Tracking
  100. BioKIT: A semantic role labeling (SRL) system for biomedical texts
  101. Bonn Furniture
  102. CHyVAE: Hyperprior Induced Unsupervised Disentanglement of Latent Representations
  103. CleverHans: A Python library to benchmark machine learning systems' vulnerability to adversarial examples
  104. Collaborative Design
  105. Collision Detection
  106. Confidence-weighted (CW) learning: An online-learning algorithm for linear classification
  107. Continuous POMDP Planning
  108. Controlling Disease Spread
  109. Differentiable Algorithm Network (DAN)
  110. Discriminator Gradient flow (DGflow)
  111. Factor Graph Neural Networks
  112. Foolbox: Fast adversarial attacks to benchmark the robustness of machine learning models in PyTorch, TensorFlow, and JAX
  113. Grammatical Error Correction
  114. Higher Order CRF (HOSemiCRF): High-order Semi-Markov Conditional Random Field model
  115. IMS (It Makes Sense): A supervised English all-words word sense disambiguation (WSD) system
  116. Integrating Planning and Learning for Large-Scale Decision Making under Uncertainty
  117. Intention-Net for Autonomous Navigation
  118. JARVIS-DHL: Transforming Chronic Care for Diabetes, Hypertension and hyperLipidemia with AI
  119. Kinodynamic Motion Planning in Dynamic Environments
  120. Learning from Data-Streams
  121. Ligand Binding to PXR (pregnane X receptor)
  122. Machine Learning Privacy Meter Tool
  123. MAV Dataset: A benchmarking tool for MAV visual pose estimation
  124. MaxMatch (M^2): A method for evaluating grammatical error correction
  125. MAXSIM: Calculates a similarity score between a pair of English system-reference sentences by comparing information items such as n-grams across the sentence pair
  126. MedTech@iLab
  127. Motion Synthesis for Character Animation
  128. Natural Language Interaction with Robots
  129. NUS Natural Language Processing Group Software
  130. Object Manipulation
  131. OCFGAN: A Characteristic Function Approach to Deep Implicit Generative Modeling
  132. Offline POMDP Planning
  133. Online POMDP Planning
  134. Pathway Modelling
  135. PEM: The first fully automatic metric to evaluate the quality of paraphrases, and consequently, that of paraphrase generation systems
  136. POMDP: Approximate POMDP Planning Software
  137. Protein Flexibility Analysis (PFLEXANA)
  138. Reinforcement Learning with Complex Observations
  139. Reinventing User Interaction with Flying Cameras
  140. Robot Motion Planning and Control Multi-Robot Task Allocation
  141. Robot Placement
  142. Self-Driving Vehicles
  143. Single-Query Randomized Path Planning
  144. Snowstorm—Design and Construction of an Electric Recreational Flying Machine
  145. Solar-Powered Sailing Yachts in the Tropics
  146. Stochastic Roadmap Simulation of Molecular Motion
  147. Tactile Perception and Learning
  148. TactileSGNet: A Spiking Graph Neural Network for Event-based Tactile Object Recognition
  149. Tasty Videos
  150. Tensor Belief Propagation
  151. TESLA: A family of automatic machine translation evaluation metrics with state-of-the-art performances
  152. TESLA-CELAB: Implements the Character-Level Machine Translation Evaluation for Languages with Ambiguous Word Boundaries
  153. The Delta: An Electric Motorized Paraglider Trike
  154. To produce or convert: A case for large scale electric motorcycle conversion in Singapore
  155. Trust in Robots
  156. Trust Models for Human-Robot Collaboration


  158. 5G: A Disruptive Technology.
  159. Apache SINGA: A Distributed Deep Learning Library
  160. BeatLex: Summarizing and Forecasting Time Series with Patterns.
  161. BIRDNEST: Bayesian Inference for Ratings-Fraud Detection
  162. Branch and Border: Partition-Based Change Detection in Multivariate Time Series
  163. BlockBench: The first benchmarking framework for private blockchain systems
  164. COOL: Designed as a holistic solution for the support of various types of data analytics, including online analytical processing (OLAP) and cohort analysis
  165. Crowd Monitoring Solutions
  166. DBSystem: NUS Database System
  167. Discover: A static analysis and formal verification tool that can automatically find security bugs and vulnerabilities in programs written in both general-purpose programming languages, such as C, C++, Go, and domain-specific languages, like Solidity (for writing smart contract)
  168. Elastic, Power-aware, data-Intensive Cloud platform (epiC)
  169. FabricSharp: A variant of Hyperledger Fabric 2.2, a permissioned blockchain platform from Hyperledger
  170. FD-Tree: a Tree Index on Solid State Drives
  171. Fin Tech: AI-driven and Data-driven Financial Management and Analytics
  172. ForkBase: An Efficient Storage Engine for Blockchain and Forkable Applications
  173. FRAUDAR: Bounding Graph Fraud in the Face of Camouflage.
  174. GAM (Globally Addressable Memory): A distributed memory management platform which provides a global, unified memory space over a cluster of nodes connected via RDMA (Remote Direct Memory Access)
  175. GEMINI: A GEneralizable Medical Information aNalysis and Integration Platform
  176. GENIE and LAMP: GENeric IndEx and semi-LAzy Mining Paradigm
  177. ip8value: A Global Platform For IP Marketing, Technology Search And Investment
  178. LogBase: Develop a scalable log-structured database system
  179. Mars: A MapReduce Framework on Graphics Processors
  180. Matrices, Compression, Learning Curves: formulation, and the GROUPNTEACH algorithms
  181. MLCask: A Git-like end-to-end ML life-cycle management system
  182. R2-D2: A “Semi-Lazy” Approach to Probabilistic Path Prediction in Dynamic Environments
  183. Social Media and Social Network Analytics
  184. Structured Data
  185. TezSign: A digital singing platform to provide tools to facilitate trusted, secure, and efficient document signing
  186. ThunderML: Next-Generation Machine Learning Platforms on Many-Core Architectures
  187. Verazt: A collection of tools to find bugs and vulnerabilities in smart contracts

    Digital Transformation, Platforms & Innovation

  189. Information Systems Development
  190. Open Innovation
  191. Crowdfunding and Entrepreneurship
  192. IT for Collaboration - Knowledge Management Systems
  193. Emergent Impacts of IT
  194. Applied Machine Learning / Data Science

    Healthcare Informatics

  196. Affective Cognition
  197. Clinical Data Analytics
  198. Empathic Accuracy, Happiness, and Hypomania Risk
  199. Enhanced Brownian diffusion of colloidal dimers in an oscillatory shear flow
  200. Speckle Characterization
  201. Software of Clinical Data Analytics Lab (CDAL)
  202. Towards personalised medicine: subtyping patients using their genomic data
  203. Vacancy and dislocation dynamics in colloidal dimer crystals

    Intelligent Systems

  205. #pin: Bonus workers on Amazon Mechanical Turk
  206. 2bit-Tactile Hand: Investigated the perceptual abilities of 2bit tactons on the wrist and the hand as a type of complementary feedback
  207. ABI FoodCam: An attempt to promote impromptu introductions and informal social interactions through food sharing
  208. ActualTouch
  209. AiSee: A discreet and reliable bone conduction headphone with an integrated small camera
  210. Affect in the Wild: Bridging the gap between affective technologies and consumer devices while preserving users' data privacy
  211. AI and Smart Decision Analytics
  212. ANISMA: A software and hardware toolkit to prototype on-skin haptic devices
  213. ArmSleeve: A patient monitoring system to support occupational therapists in their upper limb rehabilitation work with stroke patients
  214. Augmented Forearm
  215. BiQUE: Biquaternionic Embeddings of Knowledge Graphs
  216. Birdie: An exploration of a novel sensory experience as a first step towards a true flying experience
  217. BWard: An effective stand-alone electronic platform
  218. CapMat: A smart foot mat that enables user identification, supporting applications such as multi-layer authentication
  219. ChaddyBuddy
  220. ChewIt: A novel intraoral input interface that provides an effective solution for hands-free interaction scenarios
  221. ClothTiles: A prototyping platform to fabricate actuators of clothing
  222. colorMeText: Colors input text according to ratings using some dictionary
  223. CompRate: A computation framework that uses ordinary motion sensors available in common smartwatches and activity trackers to infer heart rate of the wearer
  224. Continuous version of the Inclusion of Other in Self (IOS) scale
  225. CricketCoach: A smart system that creates awareness of the hand-grip force for cricket players
  226. Crowd-Eval-Audio: A frontend focused framework to setup and conduct perceptual listening tests on crowdsourced platforms
  227. Doodle Daydream: An interactive display wall
  228. EarPut: A novel interface concept, which instruments the ear as an interactive surface for touch-based interactions and its prototypical hardware implementation
  229. Evaluating IVR in schools
  230. EyeKnowYou: A DIY toolkit to estimate cognitive load and actual screen time using a head-mounted webcam
  231. EyeRing: A wearable intuitive interface that allows a person to point at an object to see or hear more information about it
  232. Feel the Globe: A thermal, interactive installation
  233. FingerDraw: A novel drawing interface
  234. FingerReader
  235. FingerReader-v0
  236. Foot.Note
  237. fSense: Uses photoplethysmograph (PPG) sensors in commercially available smartwatches to sense the force of performing hand gestures and gripping objects
  238. GesCAD
  239. GestAKey
  240. GymSoles: Enables a correct execution of exercises
  241. HapticChair: A sensory substitution interface that translate music into vibrotactile feedback
  242. Hopu: A mobile game that encourages children (8-12 years) to explore basic science concepts in a fun and engaging way
  243. I-Draw: A drawing tool to assist free hand drawings on physical surfaces
  244. InSight: An intuitive technique to control smart objects with existing input devices in the environment, while simply looking at them
  245. ircX
  246. iSwarm: Depicts luminous sea creatures that interact with the visitors of the event
  247. Jammify
  248. Keepers & Bees: A digital swarm of interactive critters that visitors can interact with in real time via their smartphones
  249. KinVoice: Explores using voices of friends and family (we will refer as ‘kin’) in voice interfaces
  250. Kiwrious: Allows students to experience the fun, creative and social nature of science first-hand
  251. Knoctify
  252. Kyanite
  253. Learning using Structural Motifs (single-CPU version)
  254. Learning via Hypergraph Lifting
  255. LightSense: The latest interactive XR installation by the arc/sec Lab for Cyber-Physical Architecture and Interactive Systems
  256. LightTank
  257. M-Hair: A novel method for providing tactile feedback by stimulating only the body hair without touching the skin
  258. MagicBLOCKS: A tangible interactive tabletop system able to support various interaction modes, such as clicking, pressing, dragging and air gestures
  259. Mobile 360° Video Interaction
  260. MuSS-Bits: Small wearable plug-and-play sensor-display pairs that communicate wirelessly peer-to-peer
  261. nZwarm: A swarm of luminous “sea creatures” that interact with passers-by
  262. OM: Proposes an inclusive wearable technology that can enrich the human experience through frequencies that we can truly feel
  263. oSense: Uses motion sensors to recover finger postures and motion
  264. PaperPixels: A toolkit for animating drawings on a regular paper in a subtle and ambient manner
  265. pGAT: Probabilistic Logic Graph Attention Networks for Reasoning
  266. PhantomTouch: A prototype based on lightweight and stretchable plaster matrix of Shape-Memory-Alloys (SMA)
  267. PostBits
  268. Programatically downloading .csv data from Qualtrics and reading it into R
  269. Prompto: An expansion of the project Prospero
  270. ProspecFit: An effective lab-based memory technique
  271. Prospero: Explores the use of a conversational agent
  272. RainbowHub: A unique creative solution to draw attention to the Ellen Melville Centre
  273. RippleTouch: A low resolution haptic interface that is capable of providing haptic stimulation to multiple areas of the body via a single point of contact actuator
  274. Scratch and Sense: To read and react to the sensor data in real-time
  275. Semantic Network Extractor (Relational Clustering)
  276. Sensei: A mobile interface for language learning
  277. SHRUG: An interactive shoulder rehabilitation exerciser
  278. SmartFinger
  279. SonicSG
  280. SoundFloor
  281. SparKubes: A set of stand-alone tangible objects that are corded with simple behaviors and do not require additional instrumentation or setup
  282. Sparsh
  283. SpeechPlay: An intuitive system for creating expressive synthetic voices in a fun and interactive manner
  284. SpiderVision: A wearable device that extends the human field of view to augment a user’s awareness of things happening behind one’s back
  285. Step Detection Algorithm
  286. StickAmps: An intuitive interface that provides feedback on the AC (Alternating Current) current flow through a bundled-cable
  287. StickEar
  288. StressFoot
  289. StressShoe: A DIY toolkit for self-tracking stress
  290. Sum-Product Networks for Language Modeling
  291. SUTDFoodCam: An IP camera mounted in the L2 pantry
  292. SwimSight
  293. Target Driven Navigation
  294. The Alchemy System for Statistical Relational AI
  295. The RIBbon: An interactive lighting and architectural installation
  296. Thumb in Motion: A one-handed Thumb-to-ring gesture interface to quickly access information without interfering with physical activity
  297. TickleFoot
  298. Toro: A Interactive Literature Exploration tool
  299. WatchMe: A software and hardware platform that focuses on making ambient monitoring intuitive and seamless Interactive Literature Exploration tool
  300. VersaTouch: A portable, plug-and-play system that uses active acoustic sensing to track fine-grained touch locations
  301. VRHook:A novel data collection tool
  302. WaveSense
  303. XRtic: A prototyping toolkit enabling real-world cloth deformations to be used in novel ways in eXtended Reality (XR) applications
  304. zSense: Provides greater input expressivity for smart wearables through a shallow depth gesture recognition system using non-focused infrared sensors


  306. 3D Motion Analysis for Sports Coaching
  307. 3D Motion Capture for Digital Cultural Heritage
  308. 5-Step Approach to Designing Controlled Experiments
  309. A Classification of Opening Posts in Commercial Software Help Forums
  310. A PDTB-Styled End-to-End Discourse Parser
  311. Annotated 3D Image/Video Quality Databases
  312. Annotated Image Quality Databases
  313. Annotated Video Quality Databases
  314. AutoComPaste: Auto-Completing Text as an Alternative to Copy-Paste
  315. AutoGami: A Low-cost Rapid Prototyping Toolkit for Automated Movable Paper Craft
  316. AVEID: Automatic Video System for Measuring Engagement In Dementia
  317. Beyond Stereo: An Exploration of Unconventional Binocular Presentation for Novel Visual Experience
  318. BezelCopy: An Efficient Cross-Application Copy-Paste Technique for Touchscreen Smartphones
  319. BlindType: Eyes-Free Text Entry on Handheld Touchpad by Leveraging Thumb’s Muscle Memory
  320. Bottomless Joystick: Mid-Air Interaction Device with Haptic Feedback
  321. Bridging the “Intention Gap” in Multimedia Search & Large-Scale Ontology-based Semantic Learning
  322. Catapy (Unchained Vehicle): A car that provides the fun of chasing
  323. Causal Reasoning Framework
  324. City-wide Surveillance with Multiple Cameras
  325. CoFacade: A Customisable Assistive Approach for Elders and Their Helpers
  326. ColorBless: Augmenting Visual Information for Colorblind People with Binocular Luster Effect
  327. Coursera-Crawler: A crawler to scrape Coursera's discussion forum
  328. Designing an Effective Vibration-Based Notification Interface for Mobile Phones
  329. Designing Laser Gesture Interface for Robot Control
  330. Digital Stress Bell
  331. Draco: Bringing Life to Illustrations with Kinetic Textures
  332. Dual Grid Net: hand mesh vertex regression from single depth maps
  333. Dynamic Adaptive Streaming Over HTTP (DASH)
  334. earPod: Eyes-free Menu Selection using Touch Input and Reactive Audio Feedback
  335. EDITalk: Towards Designing Eyes-free Interactions for Mobile Word Processing
  336. Elastic Hierarchies: Combining Treemaps and Node-Link Diagrams
  337. EPOC: Small and Mighty Instant | Fuss Free Connectivity Offering Endless Possibility
  338. Exploring User Motivations for Eyes-free Interaction on Mobile Devices
  339. EYEditor: Towards On-the-Go Heads-up Text Editing Using Voice and Manual Input
  340. Facial Image Analyses API
  341. Farmer’s Tale: A Facebook Game to Promote Volunteerism
  342. Follow-My-Lead: Intuitive Indoor Path Creation and Navigation Using Interactive Videos
  343. Food Messaging: Using an Edible Medium for Social Messaging
  344. Foodlg: A food journaling, nutrition tracking and analysis app on your diet, by simply taking pictures of what you have eaten
  345. FusePrint: A DIY 2.5D Printing Technique Embracing Everyday Artifacts
  346. Generation of Structured knowledge from Heterogonous User-Generated-Content
  347. GIME - Geotechnical Information Management and Exchange
  348. Granny Home Activity Monitor Simulator
  349. HaptiColor: Interpolating Color Information as Haptic Feedback to Assist the Colorblind
  350. Harvesting Caregiving Knowledge: Design Considerations for Integrating Volunteer Input in Dementia Care
  351. Human-AI Interaction
  352. Hunter Gatherer: Interaction Support for the Creation and Management of Within-Web-Page Collections
  353. HyNote: Integrated Concept Mapping and Notetaking
  354. InkSeine: In Situ Search for Active Note Taking
  355. Intelligent Social Scene Analytics
  356. JoyTu.be: An interactive video platform for annotating and publishing videos information and it is a management tool for brands and agencies
  357. Korero: Facilitating Complex Referencing of Visual Materials in Asynchronous Discussion Interface
  358. Laκsa: Mobile App for Intelligible Control of Interruption
  359. Large-Scale Analysis, Indexing and Retrieval of Social Image
  360. Learning Controllable Face Generator from Disjoint Datasets
  361. Let's check COVID-19 Claims
  362. Lib4MOOCData: Library for processing MOOC data dumps
  363. Light Verb / Support Verb Annotations
  364. L.IVE: An Integrated Interactive Video-based Learning Environment
  365. Location Analytics
  366. Magic Cards: A Paper Tag Interface for Implicit Robot Control
  367. MapVisuals: A visual analytics platform for multimodal geospatial temporal data – with dynamic real-time parameterization, charting, visual tools for analysing large spatial data sets
  368. MASLAB: Multimedia Analysis and Synthesis Lab
  369. Markerless Mixed Reality
  370. Measuring Web Page Revisitation in Tabbed Browsing
  371. MOGCLASS: Evaluation of a Collaborative System of Mobile Devices for Classroom Music Education of Young Children
  372. MoveSpace: On-body Athletic Interaction for Running and Cycling
  373. Multimedia Question-Answering and Dynamic Knowledge Organization
  374. Multimodal Knowledge Graph and Multimodal Conversational Search & Recommendation
  375. NinjaTrack: A shape-changing user interface based on a double-hinge structure
  376. NoteVideo: Facilitating Navigation of Blackboard-style Lecture Videos
  377. NotiRing: A Comparative Study of Notification Channels for Wearable Interactive Rings
  379. NUS SMS Corpus
  380. NUS-WIDE: A Real-World Web Image Dataset from National University of Singapore
  381. Older Adults and Computer Usage: Common Activities and Essential Applications
  382. OmniVib: Towards Cross-body Spatiotemporal Vibrotactile Notifications for Mobile Phones
  383. Perceptual Texture Space
  384. Phosphor: Explaining Transitions in the User Interface Using Afterglow Effects
  385. Physical Loci: Leveraging Spatial, Object and Semantic Memory for Command Selection
  386. Positioning Glass: Investigating Display Positions of Monocular Optical See-Through Head-Mounted Display
  387. Product Search and Brand Tracking in Social Media
  388. Profiling Biometric Authentication on Mobile Devices
  389. Record Matching Package
  390. ReTool: Interactive Microtask and Workflow Design through Demonstration
  391. Ringteraction: Coordinated Thumb-index Interaction Using a Ring
  392. Risingreens: Technology Enabler for Agriculture Communities. Everyone starts somewhere to a better future
  393. Robots in my Contact List: Using Social Media Platforms for Human-Robot Interaction in Domestic Environment
  394. Robust Principal Component Analysis
  395. SandCanvas: A Multi-touch Art Medium Inspired by Sand Animation
  396. Scholarly Paper Recommendation Datasets
  397. SciSumm Pilot Corpus
  398. Search engine wrapper
  399. Shared Input Multimodal Mobile Interfaces: Interaction Modality Effects on Menu Selection in Single-task and Dual-task Environments
  400. Simple vs. Compound Mark Hierarchical Marking Menus
  401. Singapore Heritage Trails: A location-based social app for creating and sharing geographic trails
  402. Smart Sail: Visualizing performance on the sail!
  403. SocialSense: Mining the Sense of Organizations, People and Other Entities from Social Media
  404. SSID: Student Submission Integrity Diagnosis
  405. Talking Drone (To Communicate With Crow): An unmanned aerial vehicle (UAV) that is used to communicate with birds in the air
  406. Task Relation Networks
  407. Temporal Aggregate Representations for Long-Range Video Understanding
  408. The Adaptive Hybrid Cursor: A Pressure-based Target Selection Technique for Pen-based User Interfaces
  409. To Risk or Not to Risk? Improving Financial Risk-Taking of Older Adults by Online Social Information
  410. Toolkit to Support Intelligibility in Context-Aware Applications
  411. Towards Characterizing User Interaction with Progressively Transmitted 3D Meshes
  412. Tracing Tuples Across Dimensions: A Comparison of Scatterplots and Parallel Coordinate Plots
  413. Trade-off between Automation and Accuracy in Mobile Photo Recognition Food Logging
  414. Trustable and Explainable AI
  415. Ubitile: A Finger-Worn I/O Device for Tabletop Vibrotactile Pattern Authoring
  416. Understanding Humans in Crowded Scenes: Multi-Human Parsing
  417. UROP/HYP Report Style: A LaTeX style file created for School of Computing students writing report for FYP/UROP
  418. Using Crowdsourcing for Scientific Analysis of Industrial Tomographic Images
  419. Various Image/Viedo Databases
  420. VidOR: Video Object Relation Dataset
  421. VidVRD: Video Visual Relation Dataset
  422. Vignette: Interactive Texture Design and Manipulation with Freeform Gestures for Pen-and-Ink Illustration
  423. VITA: Towards Supporting Volunteer Interactions with Long-Term Care Residents with Dementia
  424. WADE: Simplified GUI Add-on Development for Third-party Software
  425. XPose: Reinventing User Interaction with Flying Cameras
  426. Zone and Polygon Menus: Using Relative Position to Increase the Breadth of Multi-Stroke Marking Menus

    Programming Languages & Software Engineering

  428. 1-CARD-XOR
  429. AFLFast: An improved Greybox Fuzz testing tool built on AFL (American Fuzzy Lop)
  430. AFLGo: A directed Greybox Fuzz testing tool built on AFL
  431. AFLNet: A greybox fuzzer for network protocols
  432. AFLSmart: Input-structure aware greybox fuzzing
  433. Angelix: Semantics-based test-driven automated program repair tool for C programs
  434. ApproxMC: A hashing-based algorithm for approximate discrete integration over finite domains
  435. Barbarik
  436. Bosphorus
  437. Cache Side Channel Attacks (oo7, KLEESpectre, CacheFix)
  438. CAREER: Mechanisms for Ensuring the Integrity of Distributed Object Systems
  439. Chronos: A Timing Analyzer for Embedded Software
  440. Chronos for multi-cores: a WCET analysis tool for multi-cores
  441. Components for State Restoration in Tree Search
  442. COMPOzE: Intention-based Music Composition through Constraint Programming
  443. Concolic Program Repair or CPR tool : Automated program repair, program synthesis, symbolic execution
  444. COPPICE: A mutation framework for inferring legitimate API rules
  445. CoREBench: Realisitic, complex regression errors
  446. CrystalBall: Employs supervised learning and uses extensive, multi-gigabyte data extracted from runs of a single SAT solver to perform predictive analytics
  447. DASADA: Dynamic software architectures
  448. Developer Patches for Smart Contracts
  449. Dino Service Brokering Software
  450. Don't Be Puzzled!
  451. FixMorph: Automated repair of Linux code
  452. GANAK: A new scalable probabilistic exact model counter
  453. HIMPS: An efficient system for discovering predicated bug signatures to assist in debugging
  454. KUS: A new approach to the uniform generation that builds on recent progress in knowledge compilation
  455. LM MINER: A generic specification miner for software implementation
  456. Manthan: A novel data-driven approach to Boolean functional synthesis
  457. Memory model sensitive checker for C#
  458. MIS: Computes minimal Independent Support for a given CNF formula
  459. Mozart: The Mozart Programming System
  460. NORT: A tool for establishing signatures of normal behaving applications and monitoring the current behavior of applications to check against the learned specifications
  461. NPAQ: A prototype tool that enables checking rich properties over binarized neural networks
  462. Oz: A Programming Language for Multi-Agent Systems
  463. PAT (Process Analysis Toolkit): An Enhanced Simulator, Model Checker and Refinement Checker for Concurrent and Real-time Systems
  464. PowerPointLabs: A free PowerPoint plugin for creating awesome slides with less effort
  465. QuikFix: A Repair-based Timetable Solver
  466. Scheduling a Major College Basketball Conference—Revisited
  467. Semantic Space: An Infrastructure for Smart Spaces
  468. SemFix: First semantic program repair tool
  469. SENSORIA: Software Engineering for Service-Oriented Overlay Computers
  470. SensOS: Architectural styles for embedded software
  471. Siena (Scalable Internet Event Notification Architectures)
  472. Silas (Dependable and high performance machine learning): Trusted machine learning and decision making
  473. SMTApproxMC: An approximate model counter for Bitvector theory
  474. Software timing analysis (Tool, Papers)
  475. Solar powered rotorcraft: a multidisciplinary engineering challenge for undergraduate students
  476. SudokuSat: A Tool for Analyzing Difficult Sudoku Puzzles
  477. Symbolic Simulator Engine for Live Sequence Charts (LSCs)
  478. TEAMMATES: A peer feedback/evaluation tool for student teams
  479. Timed Communicating Object Z (TCOZ): An integration of Object-Z and Timed CSP
  480. TimeMachine: An automated testing tool for Android apps, which can automatically jump to the most progressive state observed in the past when progress is slow
  481. TrustDNN: Evaluating the Trustworthiness of Deep Learning Systems
  482. UbiVal: Fundamental Approaches to Validation of Ubiquitous Computing Applications and Infrastructures
  483. UniGen: A hashing-based algorithm to generate uniform samples subject to given set of constraints
  484. User-defined Difficulty Levels for Automated Question Generation
  485. Verified Software Toolchain
  486. WAPS
  487. WeightGen: Hashing-based approximate weighted sampling for weighted CNF formulas
  488. WeightMC: Hashing-based algorithm for weighted counting (discrete integration) over Boolean domains


  490. AutoCrypt: A tool which transforms existing C/C++ applications like those in the Unix CoreUtils package to operate on encrypted sensitive content
  491. AutoCSP: An approach for automatically retrofitting content security policy (CSP)
  492. BesFS: A POSIX Filesystem for Enclaves with a Mechanized Safety Proof
  493. Data-oriented Attack Benchmarks
  494. DexterJS: Auto-Patching DOM-based XSS At Scale
  495. Erebus: A Stealthier Partitioning Attack against Bitcoin Peer-to-Peer Network
  496. EthRacer - Concurrency Bug-finding Tool for Smart Contracts
  497. Fuzz Testing and Symbolic Execution
  498. Kaluza: A String Decision Procedure
  499. Learning Controllable Face Generator from Disjoint Datasets
  500. MAIAN - Symbolic execution tool for multi-transctional contracts
  501. Neural Nets to Learn Function Signatures - datasets
  502. NPAQ - Quantitative Verifier for Deep Nets
  503. OblivP2P Code: An Oblivious Peer-to-Peer Content Sharing System
  504. Obscuro - Bitcoin Mixer using SGX
  505. OHIE - Simple and Scalable Blockchain Consensus
  506. Oyente Smart Contract Analyzer
  507. Panoply - Low TCB Micro-containters using SGX
  508. Profiling Biometric Authentication on Mobile Devices
  509. Program Repair
  510. SmartPool on Ethereum
  511. SMC - String Model Counter
  512. TaintInduce - Taint Rule learner
  513. Task Relation Networks
  514. Tuple-Space Explosion against Open vSwitch
  515. Understanding Humans in Crowded Scenes: Multi-Human Parsing
  516. VIF - Secure In-Network Filters using SGX
  517. VulnLoc - Localizing Vulnerabilities Statistically From One Exploit
  518. Web2Local Attacks on Chrome

    System & Networking

  520. AI-on-skin: On-body AI inference for artificial skin interfaces
  521. BNV: Enabling Scalable Network Experimentation through Bare-metal Network Virtualization
  522. Ceramist- Verified Hash-based Approximate Membership Structures
  523. Cloud-Native Systems
  524. Computational Kernels for Wearables (Sequential and Multi-threaded): A set of representative kernels in iot domain, used for evaluation of LOCUS architecture
  525. Debugging Transient Faults in Data Centers using Synchronized Network-wide Packet Histories
  526. DiSeL: Distributed Separation Logic
  527. Dynamic Networks: Massively Parallel Aggregation in Dynamic Networks
  528. Enabling smartwatches to sense dehydration and skin health from sweat
  529. FCM-sketch: generic network measurements with data plane support
  530. Geographic Routing for Wireless Sensor Networks
  531. Hydra: Peer-to-Peer Architecture for Networked Games
  532. InDP: In-Network Data Processing for Wireless Sensor Networks
  533. Indriya2: A Heterogeneous Wireless Sensor Network (WSN) Testbed
  534. Internet Peering
  535. Internet Transport
  536. Know what I don't know
  537. Laser Attack Benchmark Suite (LABS)
  538. Lin-Analyzer: A High-Level Performance Analysis Tool for FPGA Accelerators
  539. Many-Core System Design for 5G Base Station
  540. Medusa: Building GPU-based Parallel Sparse Graph Applications with Sequential C/C++ Code
  541. Network Neutrality
  542. Neural Network Hardware Accelerator at the Edge
  543. Next-Generation TCP for Mobile Cellular Networks
  544. OmniDB: Towards Portable and Efficient Query Processing on Parallel CPU/GPU Architectures
  545. oo7: Detecting and Patching Spectre Vulnerabilities on Binary
  546. Precise Time-synchronization in the Data-Plane using Programmable Switching ASICs
  547. Robust Blockchains- BCube: Overcoming the 50% Barrier in Blockchains
  548. Scilla: A Smart Contract Intermediate Level Language
  549. Simple C-Linda with Posix Threads
  550. SkyStitch: A multi-UAV based video surveillance system
  551. Software Support for Heterogeneous Multi-Cores in Dark Silicon Era
  552. Stream Systems
  553. SuSLik: Synthesis of Heap-Manipulating Programs from Separation Logic Specifications
  554. The Sniper Multi-Core Simulator
  555. ThunderRiNG can generate 655 billion random numbers per second on a single FPGA!
  556. Tit-for-Tat Transfer Protocol: Achieving High-Bandwidth Peer-to-Peer Data Transfers with the Right Incentives
  557. Toychain: A Coq implementation of a minimalistic blockchain-based consensus protocol
  558. Transformer Core: Next-Generation Many-Core Architecture
  559. Ultra-Low Power CGRA Architectures for General Purpose Acceleration at the Edge
  560. Universal SoC: Automatic Generation of High-Performance SoCs for the Internet of Things (IoT)
  561. Using Sensor Inherent Noise in Wearables for User-level Privacy Preservation in Community Data Sensing