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 = Algorithm + Neural Network
  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. 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. Motion Synthesis for Character Animation
  126. Natural Language Interaction with Robots
  127. NUS Natural Language Processing Group Software
  128. Object Manipulation
  129. OCFGAN: A Characteristic Function Approach to Deep Implicit Generative Modeling
  130. Offline POMDP Planning
  131. Online POMDP Planning
  132. Pathway Modelling
  133. PEM: The first fully automatic metric to evaluate the quality of paraphrases, and consequently, that of paraphrase generation systems
  134. POMDP: Approximate POMDP Planning Software
  135. Protein Flexibility Analysis (PFLEXANA)
  136. Reinforcement Learning with Complex Observations
  137. Reinventing User Interaction with Flying Cameras
  138. Robot Motion Planning and Control Multi-Robot Task Allocation
  139. Robot Placement
  140. Self-Driving Vehicles
  141. Single-Query Randomized Path Planning
  142. Snowstorm—Design and Construction of an Electric Recreational Flying Machine
  143. Solar-Powered Sailing Yachts in the Tropics
  144. Stochastic Roadmap Simulation of Molecular Motion
  145. Tactile Perception and Learning
  146. TactileSGNet: A Spiking Graph Neural Network for Event-based Tactile Object Recognition
  147. Tasty Videos
  148. Tensor Belief Propagation
  149. TESLA: A family of automatic machine translation evaluation metrics with state-of-the-art performances
  150. TESLA-CELAB: Implements the Character-Level Machine Translation Evaluation for Languages with Ambiguous Word Boundaries
  151. The Delta: An Electric Motorized Paraglider Trike
  152. To produce or convert: A case for large scale electric motorcycle conversion in Singapore
  153. Trust in Robots
  154. Trust Models for Human-Robot Collaboration


  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. LogBase: Develop a scalable log-structured database system
  176. Mars: A MapReduce Framework on Graphics Processors
  177. Matrices, Compression, Learning Curves: formulation, and the GROUPNTEACH algorithms
  178. R2-D2: A “Semi-Lazy” Approach to Probabilistic Path Prediction in Dynamic Environments
  179. Structured Data
  180. ThunderML: Next-Generation Machine Learning Platforms on Many-Core Architectures

    Healthcare Informatics

  182. Affective Cognition
  183. Clinical Data Analytics
  184. Empathic Accuracy, Happiness, and Hypomania Risk
  185. Enhanced Brownian diffusion of colloidal dimers in an oscillatory shear flow
  186. Speckle Characterization
  187. Software of Clinical Data Analytics Lab (CDAL)
  188. Towards personalised medicine: subtyping patients using their genomic data
  189. Vacancy and dislocation dynamics in colloidal dimer crystals

    Intelligent Systems

  191. #pin: Bonus workers on Amazon Mechanical Turk
  192. BiQUE: Biquaternionic Embeddings of Knowledge Graphs
  193. colorMeText: Colors input text according to ratings using some dictionary
  194. Continuous version of the Inclusion of Other in Self (IOS) scale
  195. Learning using Structural Motifs (single-CPU version)
  196. Learning via Hypergraph Lifting
  197. pGAT: Probabilistic Logic Graph Attention Networks for Reasoning
  198. Programatically downloading .csv data from Qualtrics and reading it into R
  199. Semantic Network Extractor (Relational Clustering)
  200. Sum-Product Networks for Language Modeling
  201. The Alchemy System for Statistical Relational AI


  203. 3D Motion Analysis for Sports Coaching
  204. 3D Motion Capture for Digital Cultural Heritage
  205. 5-Step Approach to Designing Controlled Experiments
  206. A Classification of Opening Posts in Commercial Software Help Forums
  207. A PDTB-Styled End-to-End Discourse Parser
  208. Annotated 3D Image/Video Quality Databases
  209. Annotated Image Quality Databases
  210. Annotated Video Quality Databases
  211. AutoComPaste: Auto-Completing Text as an Alternative to Copy-Paste
  212. AutoGami: A Low-cost Rapid Prototyping Toolkit for Automated Movable Paper Craft
  213. AVEID: Automatic Video System for Measuring Engagement In Dementia
  214. Beyond Stereo: An Exploration of Unconventional Binocular Presentation for Novel Visual Experience
  215. BezelCopy: An Efficient Cross-Application Copy-Paste Technique for Touchscreen Smartphones
  216. BlindType: Eyes-Free Text Entry on Handheld Touchpad by Leveraging Thumb’s Muscle Memory
  217. Bottomless Joystick: Mid-Air Interaction Device with Haptic Feedback
  218. Bridging the “Intention Gap” in Multimedia Search & Large-Scale Ontology-based Semantic Learning
  219. Catapy (Unchained Vehicle): A car that provides the fun of chasing
  220. Causal Reasoning Framework
  221. City-wide Surveillance with Multiple Cameras
  222. CoFacade: A Customisable Assistive Approach for Elders and Their Helpers
  223. ColorBless: Augmenting Visual Information for Colorblind People with Binocular Luster Effect
  224. Coursera-Crawler: A crawler to scrape Coursera's discussion forum
  225. Designing an Effective Vibration-Based Notification Interface for Mobile Phones
  226. Designing Laser Gesture Interface for Robot Control
  227. Digital Stress Bell
  228. Draco: Bringing Life to Illustrations with Kinetic Textures
  229. Dual Grid Net: hand mesh vertex regression from single depth maps
  230. Dynamic Adaptive Streaming Over HTTP (DASH)
  231. earPod: Eyes-free Menu Selection using Touch Input and Reactive Audio Feedback
  232. EDITalk: Towards Designing Eyes-free Interactions for Mobile Word Processing
  233. Elastic Hierarchies: Combining Treemaps and Node-Link Diagrams
  234. EPOC: Small and Mighty Instant | Fuss Free Connectivity Offering Endless Possibility
  235. Exploring User Motivations for Eyes-free Interaction on Mobile Devices
  236. EYEditor: Towards On-the-Go Heads-up Text Editing Using Voice and Manual Input
  237. Facial Image Analyses API
  238. Farmer’s Tale: A Facebook Game to Promote Volunteerism
  239. Follow-My-Lead: Intuitive Indoor Path Creation and Navigation Using Interactive Videos
  240. Food Messaging: Using an Edible Medium for Social Messaging
  241. Foodlg: A food journaling, nutrition tracking and analysis app on your diet, by simply taking pictures of what you have eaten
  242. FusePrint: A DIY 2.5D Printing Technique Embracing Everyday Artifacts
  243. Generation of Structured knowledge from Heterogonous User-Generated-Content
  244. GIME - Geotechnical Information Management and Exchange
  245. Granny Home Activity Monitor Simulator
  246. HaptiColor: Interpolating Color Information as Haptic Feedback to Assist the Colorblind
  247. Harvesting Caregiving Knowledge: Design Considerations for Integrating Volunteer Input in Dementia Care
  248. Hunter Gatherer: Interaction Support for the Creation and Management of Within-Web-Page Collections
  249. HyNote: Integrated Concept Mapping and Notetaking
  250. InkSeine: In Situ Search for Active Note Taking
  251. Intelligent Social Scene Analytics
  252. JoyTu.be: An interactive video platform for annotating and publishing videos information and it is a management tool for brands and agencies
  253. Korero: Facilitating Complex Referencing of Visual Materials in Asynchronous Discussion Interface
  254. Laκsa: Mobile App for Intelligible Control of Interruption
  255. Large-Scale Analysis, Indexing and Retrieval of Social Image
  256. Learning Controllable Face Generator from Disjoint Datasets
  257. Let's check COVID-19 Claims
  258. Lib4MOOCData: Library for processing MOOC data dumps
  259. Light Verb / Support Verb Annotations
  260. L.IVE: An Integrated Interactive Video-based Learning Environment
  261. Location Analytics
  262. Magic Cards: A Paper Tag Interface for Implicit Robot Control
  263. MapVisuals: A visual analytics platform for multimodal geospatial temporal data – with dynamic real-time parameterization, charting, visual tools for analysing large spatial data sets
  264. Markerless Mixed Reality
  265. Measuring Web Page Revisitation in Tabbed Browsing
  266. MOGCLASS: Evaluation of a Collaborative System of Mobile Devices for Classroom Music Education of Young Children
  267. MoveSpace: On-body Athletic Interaction for Running and Cycling
  268. Multimedia Question-Answering and Dynamic Knowledge Organization
  269. Multimodal Knowledge Graph and Multimodal Conversational Search & Recommendation
  270. NinjaTrack: A shape-changing user interface based on a double-hinge structure
  271. NoteVideo: Facilitating Navigation of Blackboard-style Lecture Videos
  272. NotiRing: A Comparative Study of Notification Channels for Wearable Interactive Rings
  274. NUS SMS Corpus
  275. NUS-WIDE: A Real-World Web Image Dataset from National University of Singapore
  276. Older Adults and Computer Usage: Common Activities and Essential Applications
  277. OmniVib: Towards Cross-body Spatiotemporal Vibrotactile Notifications for Mobile Phones
  278. Perceptual Texture Space
  279. Phosphor: Explaining Transitions in the User Interface Using Afterglow Effects
  280. Physical Loci: Leveraging Spatial, Object and Semantic Memory for Command Selection
  281. Positioning Glass: Investigating Display Positions of Monocular Optical See-Through Head-Mounted Display
  282. Product Search and Brand Tracking in Social Media
  283. Profiling Biometric Authentication on Mobile Devices
  284. Record Matching Package
  285. ReTool: Interactive Microtask and Workflow Design through Demonstration
  286. Ringteraction: Coordinated Thumb-index Interaction Using a Ring
  287. Risingreens: Technology Enabler for Agriculture Communities. Everyone starts somewhere to a better future
  288. Robots in my Contact List: Using Social Media Platforms for Human-Robot Interaction in Domestic Environment
  289. Robust Principal Component Analysis
  290. SandCanvas: A Multi-touch Art Medium Inspired by Sand Animation
  291. Scholarly Paper Recommendation Datasets
  292. SciSumm Pilot Corpus
  293. Search engine wrapper
  294. Shared Input Multimodal Mobile Interfaces: Interaction Modality Effects on Menu Selection in Single-task and Dual-task Environments
  295. Simple vs. Compound Mark Hierarchical Marking Menus
  296. Singapore Heritage Trails: A location-based social app for creating and sharing geographic trails
  297. Smart Sail: Visualizing performance on the sail!
  298. SocialSense: Mining the Sense of Organizations, People and Other Entities from Social Media
  299. SSID: Student Submission Integrity Diagnosis
  300. Talking Drone (To Communicate With Crow): An unmanned aerial vehicle (UAV) that is used to communicate with birds in the air
  301. Task Relation Networks
  302. Temporal Aggregate Representations for Long-Range Video Understanding
  303. The Adaptive Hybrid Cursor: A Pressure-based Target Selection Technique for Pen-based User Interfaces
  304. To Risk or Not to Risk? Improving Financial Risk-Taking of Older Adults by Online Social Information
  305. Toolkit to Support Intelligibility in Context-Aware Applications
  306. Towards Characterizing User Interaction with Progressively Transmitted 3D Meshes
  307. Tracing Tuples Across Dimensions: A Comparison of Scatterplots and Parallel Coordinate Plots
  308. Trade-off between Automation and Accuracy in Mobile Photo Recognition Food Logging
  309. Trustable and Explainable AI
  310. Ubitile: A Finger-Worn I/O Device for Tabletop Vibrotactile Pattern Authoring
  311. Understanding Humans in Crowded Scenes: Multi-Human Parsing
  312. UROP/HYP Report Style: A LaTeX style file created for School of Computing students writing report for FYP/UROP
  313. Using Crowdsourcing for Scientific Analysis of Industrial Tomographic Images
  314. Various Image/Viedo Databases
  315. VidOR: Video Object Relation Dataset
  316. VidVRD: Video Visual Relation Dataset
  317. Vignette: Interactive Texture Design and Manipulation with Freeform Gestures for Pen-and-Ink Illustration
  318. VITA: Towards Supporting Volunteer Interactions with Long-Term Care Residents with Dementia
  319. WADE: Simplified GUI Add-on Development for Third-party Software
  320. XPose: Reinventing User Interaction with Flying Cameras
  321. Zone and Polygon Menus: Using Relative Position to Increase the Breadth of Multi-Stroke Marking Menus

    Programming Languages & Software Engineering

  323. 1-CARD-XOR
  324. AFLFast: An improved Greybox Fuzz testing tool built on AFL (American Fuzzy Lop)
  325. AFLGo: A directed Greybox Fuzz testing tool built on AFL
  326. AFLNet: A greybox fuzzer for network protocols
  327. AFLSmart: Input-structure aware greybox fuzzing
  328. Angelix: Semantics-based test-driven automated program repair tool for C programs
  329. ApproxMC: A hashing-based algorithm for approximate discrete integration over finite domains
  330. Barbarik
  331. Bosphorus
  332. Cache Side Channel Attacks (oo7, KLEESpectre, CacheFix)
  333. CAREER: Mechanisms for Ensuring the Integrity of Distributed Object Systems
  334. Chronos: A Timing Analyzer for Embedded Software
  335. Chronos for multi-cores: a WCET analysis tool for multi-cores
  336. Components for State Restoration in Tree Search
  337. COMPOzE: Intention-based Music Composition through Constraint Programming
  338. Concolic Program Repair or CPR tool : Automated program repair, program synthesis, symbolic execution
  339. COPPICE: A mutation framework for inferring legitimate API rules
  340. CoREBench: Realisitic, complex regression errors
  341. CrystalBall: Employs supervised learning and uses extensive, multi-gigabyte data extracted from runs of a single SAT solver to perform predictive analytics
  342. DASADA: Dynamic software architectures
  343. Developer Patches for Smart Contracts
  344. Dino Service Brokering Software
  345. Don't Be Puzzled!
  346. FixMorph: Automated repair of Linux code
  347. GANAK: A new scalable probabilistic exact model counter
  348. HIMPS: An efficient system for discovering predicated bug signatures to assist in debugging
  349. KUS: A new approach to the uniform generation that builds on recent progress in knowledge compilation
  350. LM MINER: A generic specification miner for software implementation
  351. Manthan: A novel data-driven approach to Boolean functional synthesis
  352. Memory model sensitive checker for C#
  353. MIS: Computes minimal Independent Support for a given CNF formula
  354. Mozart: The Mozart Programming System
  355. NORT: A tool for establishing signatures of normal behaving applications and monitoring the current behavior of applications to check against the learned specifications
  356. NPAQ: A prototype tool that enables checking rich properties over binarized neural networks
  357. Oz: A Programming Language for Multi-Agent Systems
  358. PAT (Process Analysis Toolkit): An Enhanced Simulator, Model Checker and Refinement Checker for Concurrent and Real-time Systems
  359. PowerPointLabs: A free PowerPoint plugin for creating awesome slides with less effort
  360. QuikFix: A Repair-based Timetable Solver
  361. Scheduling a Major College Basketball Conference—Revisited
  362. Semantic Space: An Infrastructure for Smart Spaces
  363. SemFix: First semantic program repair tool
  364. SENSORIA: Software Engineering for Service-Oriented Overlay Computers
  365. SensOS: Architectural styles for embedded software
  366. Siena (Scalable Internet Event Notification Architectures)
  367. SMTApproxMC: An approximate model counter for Bitvector theory
  368. Software timing analysis (Tool, Papers)
  369. Solar powered rotorcraft: a multidisciplinary engineering challenge for undergraduate students
  370. SudokuSat: A Tool for Analyzing Difficult Sudoku Puzzles
  371. Symbolic Simulator Engine for Live Sequence Charts (LSCs)
  372. TEAMMATES: A peer feedback/evaluation tool for student teams
  373. Timed Communicating Object Z (TCOZ): An integration of Object-Z and Timed CSP
  374. 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
  375. TrustDNN: Evaluating the Trustworthiness of Deep Learning Systems
  376. UbiVal: Fundamental Approaches to Validation of Ubiquitous Computing Applications and Infrastructures
  377. UniGen: A hashing-based algorithm to generate uniform samples subject to given set of constraints
  378. User-defined Difficulty Levels for Automated Question Generation
  379. Verified Software Toolchain
  380. WAPS
  381. WeightGen: Hashing-based approximate weighted sampling for weighted CNF formulas
  382. WeightMC: Hashing-based algorithm for weighted counting (discrete integration) over Boolean domains


  384. AutoCrypt: A tool which transforms existing C/C++ applications like those in the Unix CoreUtils package to operate on encrypted sensitive content
  385. AutoCSP: An approach for automatically retrofitting content security policy (CSP)
  386. BesFS: A POSIX Filesystem for Enclaves with a Mechanized Safety Proof
  387. Data-oriented Attack Benchmarks
  388. DexterJS: Auto-Patching DOM-based XSS At Scale
  389. Erebus: A Stealthier Partitioning Attack against Bitcoin Peer-to-Peer Network
  390. EthRacer - Concurrency Bug-finding Tool for Smart Contracts
  391. Fuzz Testing and Symbolic Execution
  392. Kaluza: A String Decision Procedure
  393. Learning Controllable Face Generator from Disjoint Datasets
  394. MAIAN - Symbolic execution tool for multi-transctional contracts
  395. Neural Nets to Learn Function Signatures - datasets
  396. NPAQ - Quantitative Verifier for Deep Nets
  397. OblivP2P Code: An Oblivious Peer-to-Peer Content Sharing System
  398. Obscuro - Bitcoin Mixer using SGX
  399. OHIE - Simple and Scalable Blockchain Consensus
  400. Oyente Smart Contract Analyzer
  401. Panoply - Low TCB Micro-containters using SGX
  402. Profiling Biometric Authentication on Mobile Devices
  403. Program Repair
  404. SmartPool on Ethereum
  405. SMC - String Model Counter
  406. TaintInduce - Taint Rule learner
  407. Task Relation Networks
  408. Tuple-Space Explosion against Open vSwitch
  409. Understanding Humans in Crowded Scenes: Multi-Human Parsing
  410. VIF - Secure In-Network Filters using SGX
  411. VulnLoc - Localizing Vulnerabilities Statistically From One Exploit
  412. Web2Local Attacks on Chrome

    System & Networking

  414. AI-on-skin: On-body AI inference for artificial skin interfaces
  415. BNV: Enabling Scalable Network Experimentation through Bare-metal Network Virtualization
  416. Ceramist- Verified Hash-based Approximate Membership Structures
  417. Cloud-Native Systems
  418. Computational Kernels for Wearables (Sequential and Multi-threaded): A set of representative kernels in iot domain, used for evaluation of LOCUS architecture
  419. Debugging Transient Faults in Data Centers using Synchronized Network-wide Packet Histories
  420. DiSeL: Distributed Separation Logic
  421. Dynamic Networks: Massively Parallel Aggregation in Dynamic Networks
  422. Enabling smartwatches to sense dehydration and skin health from sweat
  423. FCM-sketch: generic network measurements with data plane support
  424. Geographic Routing for Wireless Sensor Networks
  425. Hydra: Peer-to-Peer Architecture for Networked Games
  426. InDP: In-Network Data Processing for Wireless Sensor Networks
  427. Indriya2: A Heterogeneous Wireless Sensor Network (WSN) Testbed
  428. Internet Peering
  429. Internet Transport
  430. Know what I don't know
  431. Laser Attack Benchmark Suite (LABS)
  432. Lin-Analyzer: A High-Level Performance Analysis Tool for FPGA Accelerators
  433. Many-Core System Design for 5G Base Station
  434. Medusa: Building GPU-based Parallel Sparse Graph Applications with Sequential C/C++ Code
  435. Network Neutrality
  436. Neural Network Hardware Accelerator at the Edge
  437. Next-Generation TCP for Mobile Cellular Networks
  438. OmniDB: Towards Portable and Efficient Query Processing on Parallel CPU/GPU Architectures
  439. oo7: Detecting and Patching Spectre Vulnerabilities on Binary
  440. Precise Time-synchronization in the Data-Plane using Programmable Switching ASICs
  441. Robust Blockchains- BCube: Overcoming the 50% Barrier in Blockchains
  442. Scilla: A Smart Contract Intermediate Level Language
  443. Simple C-Linda with Posix Threads
  444. SkyStitch: A multi-UAV based video surveillance system
  445. Software Support for Heterogeneous Multi-Cores in Dark Silicon Era
  446. Stream Systems
  447. SuSLik: Synthesis of Heap-Manipulating Programs from Separation Logic Specifications
  448. The Sniper Multi-Core Simulator
  449. ThunderRiNG can generate 655 billion random numbers per second on a single FPGA!
  450. Tit-for-Tat Transfer Protocol: Achieving High-Bandwidth Peer-to-Peer Data Transfers with the Right Incentives
  451. Toychain: A Coq implementation of a minimalistic blockchain-based consensus protocol
  452. Transformer Core: Next-Generation Many-Core Architecture
  453. Ultra-Low Power CGRA Architectures for General Purpose Acceleration at the Edge
  454. Universal SoC: Automatic Generation of High-Performance SoCs for the Internet of Things (IoT)
  455. Using Sensor Inherent Noise in Wearables for User-level Privacy Preservation in Community Data Sensing