Home
Our Technologies
Demo
Project
About
Our Events
Members
Contact us

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

    92.  

    Artificial Intelligence

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

    156.  

    Database

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

    186.  

    Digital Transformation, Platforms & Innovation

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

    192.  

    Healthcare Informatics

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

    200.  

    Intelligent Systems

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

    300.  

    Media

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

    421.  

    Programming Languages & Software Engineering

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

    482.  

    Security

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

    511.  

    System & Networking

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